Healfdene Goguen
About
Healfdene Goguen has authored 5 papers that have received a total of 28 indexed citations.
This includes 4 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 1 paper in Electrical and Electronic Engineering. The topics of these papers are Logic, Reasoning, and Knowledge (4 papers), Logic, programming, and type systems (4 papers) and Formal Methods in Verification (3 papers). Healfdene Goguen is often cited by papers focused on Logic, Reasoning, and Knowledge (4 papers), Logic, programming, and type systems (4 papers) and Formal Methods in Verification (3 papers) and collaborates with scholars based in United States and United Kingdom. Healfdene Goguen's co-authors include Adriana Compagnoni, Pamela Zave, Thomas M. Smith and Jean Goubault-Larrecq and has published in prestigious journals such as Computer Networks, ACM SIGPLAN Notices and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Anne Hollander are co-authored with Top journals papers by C. Sharp are published in Top countries impacted by papers by Harold Bernstein Top authors papers by Mary-Grace Brandt are co-authored with Top authors papers by D. M. Hicks are co-authored with Top countries impacted by papers by Nina Scherer Top journals papers by A. E. Murneek are published in Top fields papers by Harshini Asogan are about