Lawrence C. Paulson

73 papers and 1.5k indexed citations i.

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, Mohamed H. Zaki, Jasmin Christian Blanchette, Fabio Massacci and Meng Jia 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.