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
Top fields papers by Özden FAKIOĞLU are about Top journals papers by Cécile Dumaine are published in Top countries impacted by papers by Douglas Gifford Top fields papers by Hans Binnendijk are about Top journals papers by Douglas John Hall are published in Top fields papers by Robert Bly are about Top fields papers by P. Mättig are about Top authors papers by I. A. Belousov are co-authored with