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
Breakdown of academic impact, for papers by Jundong Wang Breakdown of academic impact, for papers by Malene Roland Vils Pedersen Breakdown of academic impact, for papers by Kentaroh Miyoshi Breakdown of academic impact, for papers by Jehan Akbar Breakdown of academic impact, for papers by Mohit Chowdhry Breakdown of academic impact, for papers by Shigeru Ishikawa Breakdown of academic impact, for papers by Amel Chaabane Breakdown of academic impact, for papers by Ma J