Gerald E. Peterson
About
Gerald E. Peterson has authored 18 papers that have received a total of 279 indexed citations.
This includes 7 papers in Artificial Intelligence, 5 papers in Applied Mathematics and 4 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (5 papers), Logic, Reasoning, and Knowledge (3 papers) and Formal Methods in Verification (3 papers). Gerald E. Peterson is often cited by papers focused on Logic, programming, and type systems (5 papers), Logic, Reasoning, and Knowledge (3 papers) and Formal Methods in Verification (3 papers) and collaborates with scholars based in United States. Gerald E. Peterson's co-authors include Stephen Aylward and Mark E. Stickel and has published in prestigious journals such as Journal of the ACM, Transactions of the American Mathematical Society and SIAM Journal on Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Sithum Munasinghe are published in Top authors papers by Pisoot Vijarnsorn are co-authored with Top journals papers by Kristian Barrett are published in Top fields papers by Paweł Majewski are about Top countries impacted by papers by Ashoka G. Dessai Top authors papers by Antonio Moreno‐Docón are co-authored with Top authors papers by Hervé Brunel are co-authored with Top journals papers by Akio Tanaka are published in