 | 2009 |
|---|
| 12 |       | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Complexity of Fractran and Productivity.
CADE 2009: 371-387 |
| 11 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Complexity of Fractran and Productivity
CoRR abs/0903.4366: (2009) |
| 2008 |
|---|
| 10 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Data-Oblivious Stream Productivity.
LPAR 2008: 79-96 |
| 9 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
Jan Willem Klop,
Roel C. de Vrijer:
Proving Infinitary Normalization.
TYPES 2008: 64-82 |
| 8 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Data-Oblivious Stream Productivity
CoRR abs/0806.2680: (2008) |
| 2007 |
|---|
| 7 | | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
Ariya Isihara,
Jan Willem Klop:
Productivity of Stream Definitions.
FCT 2007: 274-287 |
| 6 | | Clemens Grabmayer:
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs.
Electr. Notes Theor. Comput. Sci. 72(1): 59-74 (2007) |
| 5 | | Jos C. M. Baeten,
Flavio Corradini,
Clemens Grabmayer:
A characterization of regular expressions under bisimulation.
J. ACM 54(2): (2007) |
| 4 | | Clemens Grabmayer:
A duality between proof systems for cyclic term graphs.
Mathematical Structures in Computer Science 17(3): 439-484 (2007) |
| 2006 |
|---|
| 3 | | Clemens Grabmayer,
Jan Willem Klop,
Bas Luttik:
Some Remarks on Definability of Process Graphs.
CONCUR 2006: 16-36 |
| 2 | | Clemens Grabmayer,
Jan Willem Klop,
Bas Luttik:
Reflections on a Geometry of Processes.
Electr. Notes Theor. Comput. Sci. 162: 183-190 (2006) |
| 2005 |
|---|
| 1 | | Clemens Grabmayer:
Using Proofs by Coinduction to Find "Traditional" Proofs.
CALCO 2005: 175-193 |
