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 fields papers by Marcin K. Widomski are about Top authors papers by Çağrı Ergin are co-authored with Top fields papers by S. P. Kruchinin are about Top fields papers by Xuejun Zhang are about Top authors papers by Eyal Zamir are co-authored with Top countries impacted by papers by Fatemeh Alishahi Top journals papers by Rajeev Jyoti are published in Top fields papers by M. M. Parmenter are about