| 2021 | CALCO | A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity. | Clemens Grabmayer |
| 2020 | LICS | A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity. | Clemens Grabmayer, Wan J. Fokkink |
| 2015 | LICS | Regularity Preserving but Not Reflecting Encodings. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
| 2014 | ICFP | Maximal sharing in the Lambda calculus with letrec. | Clemens Grabmayer, Jan Rochel |
| 2013 | LATA | Mix-Automatic Sequences. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
| 2012 | LICS | Automatic Sequences and Zip-Specifications. | Clemens Grabmayer, Jrg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss |
| 2009 | CADE | Complexity of Fractran and Productivity. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
| 2008 | LPAR | Data-Oblivious Stream Productivity. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks |
| 2007 | FCT | Productivity of Stream Definitions. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop |
| 2006 | CONCUR | Some Remarks on Definability of Process Graphs. | Clemens Grabmayer, Jan Willem Klop, Bas Luttik |
| 2005 | CALCO | Using Proofs by Coinduction to Find "Traditional" Proofs. | Clemens Grabmayer |