Concepedia

Jürgen Giesl

JG

29

Publications

1.7K

Citations

19

H-Index

1997

Active since

Affiliations

RWTH Aachen University(Current)

University of Southern Denmark

Universität Innsbruck

Technical University of Darmstadt

Eindhoven University of Technology

Jürgen Giesl is an author at RWTH Aachen University specializing in formal methods, engineering, and computer science.

ORCID

Top concepts

Publications per year

1997–2020

29

Publications

29

Termination of term rewriting using dependency pairs

Thomas Arts, Jürgen Giesl · Theoretical Computer Science · 2000 · 494 citations

, , +4

Mechanizing and Improving Dependency Pairs

Jürgen Giesl, René Thiemann, Peter Schneider–Kamp et al. · Journal of Automated Reasoning · 2007 · 193 citations

, , +9

Analyzing Program Termination and Complexity Automatically with AProVE

Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt et al. · Journal of Automated Reasoning · 2016 · 124 citations · Full text

, , +10

Modular Termination Proofs for Rewriting Using Dependency Pairs

Jürgen Giesl, Thomas Arts, Enno Ohlebusch · Journal of Symbolic Computation · 2002 · 75 citations

, , +8

Automated termination proofs for haskell by term rewriting

Jürgen Giesl, Matthias Raffelsieper, Peter Schneider–Kamp et al. · ACM Transactions on Programming Languages and Systems · 2011 · 74 citations · Full text

, , +14

Rows per page

1–5 of 29