Lawrence C. Paulson
About
Lawrence C. Paulson has authored 73 papers that have received a total of 1.5k indexed citations.
This includes 58 papers in Artificial Intelligence, 45 papers in Computational Theory and Mathematics and 13 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (50 papers), Logic, Reasoning, and Knowledge (36 papers) and Formal Methods in Verification (27 papers). Lawrence C. Paulson is often cited by papers focused on Logic, programming, and type systems (50 papers), Logic, Reasoning, and Knowledge (36 papers) and Formal Methods in Verification (27 papers) and collaborates with scholars based in United Kingdom, Germany and Italy. Lawrence C. Paulson's co-authors include Giampaolo Bella, Jasmin Christian Blanchette, Mohamed H. Zaki, Fabio Massacci and Sofiène Tahar and has published in prestigious journals such as Communications of the ACM, IEEE Journal on Selected Areas in Communications and Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Mercedes de Frutos Breakdown of academic impact, for papers by M. Motta Breakdown of academic impact, for papers by Mitsunori Maruyama Breakdown of academic impact, for papers by Cheng Li Breakdown of academic impact, for papers by Tomohiko Fujisawa Breakdown of academic impact, for papers by Jane Lindschou Breakdown of academic impact, for papers by L. Andrić Breakdown of academic impact, for papers by Michal Mikl