Fritz Henglein
About
Fritz Henglein has authored 32 papers that have received a total of 429 indexed citations.
This includes 21 papers in Artificial Intelligence, 14 papers in Computer Networks and Communications and 13 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (13 papers), Advanced Database Systems and Queries (8 papers) and Formal Methods in Verification (7 papers). Fritz Henglein is often cited by papers focused on Logic, programming, and type systems (13 papers), Advanced Database Systems and Queries (8 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in Denmark, United States and United Kingdom. Fritz Henglein's co-authors include Martin Elsman, Omri Ross, Alberto Pettorossi, Cosmin E. Oancea and Harry G. Mairson and has published in prestigious journals such as Communications of the ACM, Lecture notes in computer science and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Porter Jm are about Top fields papers by Hiroyuki Kadoya are about Top journals papers by Frank Siewerdt are published in Top journals papers by Biao Jin are published in Top authors papers by Girish Chandel are co-authored with Top authors papers by Christopher J. Yarnell are co-authored with Top countries impacted by papers by Xinyi Li Top journals papers by Yisheng Tao are published in