Moreno Falaschi
About
Moreno Falaschi has authored 50 papers that have received a total of 430 indexed citations.
This includes 35 papers in Artificial Intelligence, 26 papers in Computational Theory and Mathematics and 13 papers in Software. The topics of these papers are Logic, programming, and type systems (30 papers), Formal Methods in Verification (24 papers) and Logic, Reasoning, and Knowledge (19 papers). Moreno Falaschi is often cited by papers focused on Logic, programming, and type systems (30 papers), Formal Methods in Verification (24 papers) and Logic, Reasoning, and Knowledge (19 papers) and collaborates with scholars based in Italy, Spain and Colombia. Moreno Falaschi's co-authors include Catuscia Palamidessi, Marı́a Alpuente, Kim Marriott, Giorgio Levi and Germán Vidal and has published in prestigious journals such as ACM Computing Surveys, Future Generation Computer Systems and Neural Computing and Applications
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Jonathan M. Bekisz are about Top fields papers by Teresa L. Bruno are about Top fields papers by S. A. Zav’yalov are about Top authors papers by Marc Poupart are co-authored with Top fields papers by Timothy Mastroianni are about Top fields papers by Hongxing Qiu are about Top fields papers by Elena Urquía Grande are about Top journals papers by Santanu Raut are published in