Patrick Lincoln
About
Patrick Lincoln has authored 41 papers that have received a total of 1.4k indexed citations.
This includes 25 papers in Artificial Intelligence, 18 papers in Computer Networks and Communications and 16 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (14 papers), Formal Methods in Verification (12 papers) and Logic, Reasoning, and Knowledge (10 papers). Patrick Lincoln is often cited by papers focused on Logic, programming, and type systems (14 papers), Formal Methods in Verification (12 papers) and Logic, Reasoning, and Knowledge (10 papers) and collaborates with scholars based in United States, Spain and Italy. Patrick Lincoln's co-authors include John C. Mitchell, Andre Scedrov, Jean-Yves Girard, Steven Eker and Dan Boneh and has published in prestigious journals such as Communications of the ACM, IEEE Transactions on Software Engineering and Journal of Computer and System Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Lisa-Marie Münter are about Top authors papers by S. Arunkumar are co-authored with Top authors papers by Goutam Dey are co-authored with Top fields papers by Eric E. Wickel are about Top fields papers by Yang Hai are about Top countries impacted by papers by Ulla G. Friis Top countries impacted by papers by Yael Gonen Top authors papers by Richard Oloruntoba are co-authored with