Jürgen Giesl
About
Jürgen Giesl has authored 38 papers that have received a total of 495 indexed citations.
This includes 35 papers in Artificial Intelligence, 27 papers in Computational Theory and Mathematics and 8 papers in Software. The topics of these papers are Logic, programming, and type systems (33 papers), Formal Methods in Verification (25 papers) and Logic, Reasoning, and Knowledge (8 papers). Jürgen Giesl is often cited by papers focused on Logic, programming, and type systems (33 papers), Formal Methods in Verification (25 papers) and Logic, Reasoning, and Knowledge (8 papers) and collaborates with scholars based in Germany, Denmark and Austria. Jürgen Giesl's co-authors include René Thiemann, Peter Schneider–Kamp, Marc Brockschmidt, Florian Frohn and Carsten Fuhs and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and ACM Transactions on Programming Languages and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by J. Beyer are published in Top journals papers by Martha Kyrillidou are published in Top fields papers by Zhenwei Liang are about Top journals papers by Silvia Moscatelli are published in Top journals papers by Vanderly Janeiro are published in Top fields papers by Pengfei Tian are about Top journals papers by Telmo Pereira are published in Top authors papers by Ana Sousa are co-authored with