Alexandra Silva
About
Alexandra Silva has authored 63 papers that have received a total of 365 indexed citations.
This includes 47 papers in Artificial Intelligence, 42 papers in Computational Theory and Mathematics and 14 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (38 papers), Formal Methods in Verification (27 papers) and semigroups and automata theory (18 papers). Alexandra Silva is often cited by papers focused on Logic, programming, and type systems (38 papers), Formal Methods in Verification (27 papers) and semigroups and automata theory (18 papers) and collaborates with scholars based in The Netherlands, United Kingdom and United States. Alexandra Silva's co-authors include Marcello Bonsangue, Jan Rutten, Filippo Bonchi, Dexter Kozen and Nate Foster and has published in prestigious journals such as American Mathematical Monthly, Journal of Computer and System Sciences and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Enrico Ruzzier are published in Top journals papers by Jens Bliedtner are published in Top countries impacted by papers by R. Bogacz Top authors papers by Alberto Mota are co-authored with Top authors papers by Tomasz Maciejewski are co-authored with Top countries impacted by papers by André Augusto Rodrigues Salgado Top countries impacted by papers by Harold Joseph Highland Top fields papers by Sang‐Seok Lee are about