Lawrence C. Paulson - Concepedia

Author

Lawrence C. Paulson

Also Known As

Holden, Sean, ITP 2010 Edinburgh, L. C. Paulson, L. Paulson, L.C. Paulson, LAWRENCE C. PAULSON, Lachnitt, Hanna, Larry C. Paulson, Larry Paulson, Lawrence C Paulson

291

Publications

9.5K

Citations

H-Index

Concepts

All Affiliations

University of Cambridge University of Catania University of Trento

About

Lawrence C. Paulson is an author at University of Cambridge specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	29	43	3K
2	Computer Science	25	32	2.3K
3	Language Studies	6	6	545
4	Computer Engineering	2	2	37
5	Business	1	1	50

Lawrence C. Paulson

Publications

3.9K

Citations

H-Index

Page 1

	Year	Citations

Page 1