Ugo Dal Lago
About
Ugo Dal Lago has authored 66 papers that have received a total of 408 indexed citations.
This includes 63 papers in Artificial Intelligence, 52 papers in Computational Theory and Mathematics and 10 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (49 papers), Logic, Reasoning, and Knowledge (44 papers) and Formal Methods in Verification (28 papers). Ugo Dal Lago is often cited by papers focused on Logic, programming, and type systems (49 papers), Logic, Reasoning, and Knowledge (44 papers) and Formal Methods in Verification (28 papers) and collaborates with scholars based in Italy, France and Germany. Ugo Dal Lago's co-authors include Margherita Zorzi, Simone Martini, Patrick Baillot, Gilles Barthe and Martin Hofmann and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Mladen Jurišić are about Top journals papers by Hitoshi Kanamori are published in Top countries impacted by papers by C. Schulz Top authors papers by Jyotsna Joshi are co-authored with Top fields papers by Andréas Chiabi are about Top fields papers by Maria Adriana Henriques are about Top authors papers by Chun-Yao Wang are co-authored with Top fields papers by Yaşar Bayındır are about