Hayo Thielecke
About
Hayo Thielecke has authored 15 papers that have received a total of 152 indexed citations.
This includes 15 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 4 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (15 papers), Formal Methods in Verification (6 papers) and Logic, Reasoning, and Knowledge (6 papers). Hayo Thielecke is often cited by papers focused on Logic, programming, and type systems (15 papers), Formal Methods in Verification (6 papers) and Logic, Reasoning, and Knowledge (6 papers) and collaborates with scholars based in United Kingdom. Hayo Thielecke's co-authors include John Power and Paul Blain Levy and has published in prestigious journals such as ACM SIGPLAN Notices, Information and Computation and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by J. C. Lange are about Top authors papers by I Armenis are co-authored with Top journals papers by Raymond H. Wallace are published in Top journals papers by Shruti Rijhwani are published in Top fields papers by Jennifer Webster are about Top journals papers by M. C. E. Huber are published in Top fields papers by Sorin Visanica are about Top fields papers by Katharina Kinder‐Kurlanda are about