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 Ravi Shrivastava are published in Top fields papers by Mohammad Almalla are about Top countries impacted by papers by Amir Ajorlou Top fields papers by Samuel Goldlust are about Top journals papers by Belgacem Hanchi are published in Top fields papers by Yoshiomi Hatayama are about Top journals papers by Yong Ho Choa are published in Top journals papers by Liezhong Chen are published in