Maria Chiara Meo
About
Maria Chiara Meo has authored 30 papers that have received a total of 165 indexed citations.
This includes 28 papers in Artificial Intelligence, 17 papers in Computational Theory and Mathematics and 6 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (24 papers), Logic, Reasoning, and Knowledge (16 papers) and Formal Methods in Verification (14 papers). Maria Chiara Meo is often cited by papers focused on Logic, programming, and type systems (24 papers), Logic, Reasoning, and Knowledge (16 papers) and Formal Methods in Verification (14 papers) and collaborates with scholars based in Italy, The Netherlands and Brazil. Maria Chiara Meo's co-authors include Maurizio Gabbrielli, Giorgio Levi, Frank S. de Boer, Jacopo Mauro and Annalisa Bossi and has published in prestigious journals such as Future Generation Computer Systems, Theoretical Computer Science and ACM Transactions on Programming Languages and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Petro Du Preez are co-authored with Top countries impacted by papers by Ronald J. Leach Top authors papers by Stefano Barberis are co-authored with Top fields papers by D. Novák are about Top journals papers by Mongkol Konghirun are published in Top countries impacted by papers by M. Kapishin Top countries impacted by papers by Arthur C. Stern Top fields papers by B. Prabhakara Rao are about