Lorenzo Clemente
About
Lorenzo Clemente has authored 16 papers that have received a total of 38 indexed citations.
This includes 14 papers in Computational Theory and Mathematics, 11 papers in Artificial Intelligence and 3 papers in Molecular Biology. The topics of these papers are semigroups and automata theory (11 papers), Formal Methods in Verification (9 papers) and Logic, programming, and type systems (7 papers). Lorenzo Clemente is often cited by papers focused on semigroups and automata theory (11 papers), Formal Methods in Verification (9 papers) and Logic, programming, and type systems (7 papers) and collaborates with scholars based in Poland, United Kingdom and France. Lorenzo Clemente's co-authors include Sławomir Lasota, Richard Mayr, Thomas Colcombet, Paweł Parys and Lukáš Holík and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Computational Logic and Fundamenta Informaticae.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Anak Agung Putu Agung Breakdown of academic impact, for papers by H. J. Lubatti Breakdown of academic impact, for papers by J. Fydrych Breakdown of academic impact, for papers by Yoonjung Yoonie Joo Breakdown of academic impact, for papers by A. S. Tritton Breakdown of academic impact, for papers by Josef Hilbert Breakdown of academic impact, for papers by S. Cabrera Urbán Breakdown of academic impact, for papers by Dávid Vass