- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c6 |      | Marc Brockschmidt, Richard Musiol, Carsten Otto, Jürgen Giesl: Automated Termination Proofs for Java Programs with Cyclic Data. CAV 2012: 105-122 |
| 2011 | ||
| c5 | | Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl: Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode. FoVeOOS 2011: 123-141 |
| c4 | | Marc Brockschmidt, Carsten Otto, Jürgen Giesl: Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting. RTA 2011: 155-170 |
| 2010 | ||
| c3 | | Marc Brockschmidt, Carsten Otto, Christian von Essen, Jürgen Giesl: Termination Graphs for Java Bytecode. Verification, Induction, Termination Analysis 2010: 17-37 |
| c2 | | Carsten Otto, Marc Brockschmidt, Christian von Essen, Jürgen Giesl: Automated Termination Analysis of Java Bytecode by Term Rewriting. RTA 2010: 259-276 |
| 2008 | ||
| c1 | | Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp: Search Techniques for Rational Polynomial Orders. AISC/MKM/Calculemus 2008: 109-124 |
| 1 | Marc Brockschmidt | |
| 2 | Christian von Essen | |
| 3 | Carsten Fuhs | |
| 4 | Jürgen Giesl | |
| 5 | Salvador Lucas | |
| 6 | Richard Musiol | |
| 7 | Rafael Navarro-Marset | |
| 8 | Peter Schneider-Kamp | |
| 9 | Thomas Ströder |
Data released under the ODC-BY 1.0 license — See also our legal information page