Patrick C. McGeer
About
Patrick C. McGeer has authored 7 papers that have received a total of 337 indexed citations.
This includes 5 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 3 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (5 papers), Logic, programming, and type systems (4 papers) and VLSI and FPGA Design Techniques (2 papers). Patrick C. McGeer is often cited by papers focused on Formal Methods in Verification (5 papers), Logic, programming, and type systems (4 papers) and VLSI and FPGA Design Techniques (2 papers) and collaborates with scholars based in United States and Canada. Patrick C. McGeer's co-authors include Robert K. Brayton, Masahiro Fujita, Kenneth L. McMillan, Alberto Sangiovanni‐Vincentelli and Alexander Saldanha and has published in prestigious journals such as ACM SIGPLAN Notices, IEEE Transactions on Very Large Scale Integration (VLSI) Systems and Formal Methods in System Design.
In The Last Decade
side by side view
Countries citing papers authored by Patrick C. McGeer
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Rosanne Cawley Breakdown of academic impact, for papers by James V. Atherton Breakdown of academic impact, for papers by Emily Dexter Breakdown of academic impact, for papers by Wannes Sambaer Breakdown of academic impact, for papers by Michael Lagler Breakdown of academic impact, for papers by Marek Nečada Breakdown of academic impact, for papers by Yasmin Riaz Breakdown of academic impact, for papers by Danuta Tomkiewicz