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 authors papers by Kai Xu are co-authored with Top authors papers by Samuel Birch are co-authored with Top authors papers by Erdem Yörük are co-authored with Top journals papers by D. Rendić are published in Top authors papers by Tracy Young are co-authored with Top journals papers by Ronald Jay Werner‐Wilson are published in Top journals papers by Michalis Katsimpoulas are published in Top fields papers by R.E. Roller are about