| 2009 |
|---|
| 10 | EE | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Complexity of Fractran and Productivity
CoRR abs/0903.4366: (2009) |
| 2008 |
|---|
| 9 | EE | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Data-Oblivious Stream Productivity.
LPAR 2008: 79-96 |
| 8 | EE | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks:
Data-Oblivious Stream Productivity
CoRR abs/0806.2680: (2008) |
| 2007 |
|---|
| 7 | EE | Jörg Endrullis,
Clemens Grabmayer,
Dimitri Hendriks,
Ariya Isihara,
Jan Willem Klop:
Productivity of Stream Definitions.
FCT 2007: 274-287 |
| 6 | EE | 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 | EE | Jos C. M. Baeten,
Flavio Corradini,
Clemens Grabmayer:
A characterization of regular expressions under bisimulation.
J. ACM 54(2): (2007) |
| 4 | EE | Clemens Grabmayer:
A duality between proof systems for cyclic term graphs.
Mathematical Structures in Computer Science 17(3): 439-484 (2007) |
| 2006 |
|---|
| 3 | EE | Clemens Grabmayer,
Jan Willem Klop,
Bas Luttik:
Some Remarks on Definability of Process Graphs.
CONCUR 2006: 16-36 |
| 2 | EE | Clemens Grabmayer,
Jan Willem Klop,
Bas Luttik:
Reflections on a Geometry of Processes.
Electr. Notes Theor. Comput. Sci. 162: 183-190 (2006) |
| 2005 |
|---|
| 1 | EE | Clemens Grabmayer:
Using Proofs by Coinduction to Find "Traditional" Proofs.
CALCO 2005: 175-193 |
