Clemens Grabmayer

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 17

Top Topics

Graph Representation

Regular Expressions

Deterministic Finite Automata

Regular Languages

Top Venues

Log. Methods Comput. Sci.

Publications

Clemens Grabmayer
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity. Log. Methods Comput. Sci. 19 (2) (2023)
Clemens Grabmayer
The Image of the Process Interpretation of Regular Expressions is Not Closed under Bisimulation Collapse. CoRR (2023)
Clemens Grabmayer
Proceedings Twelfth International Workshop on Computing with Terms and Graphs. CoRR (2023)
Clemens Grabmayer
Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions). CoRR (2022)
Clemens Grabmayer
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity. CoRR (2022)
Clemens Grabmayer
A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity. CALCO (2021)
Clemens Grabmayer
A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity. CoRR (2021)
Clemens Grabmayer, Wan J. Fokkink
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity. LICS (2020)
Clemens Grabmayer, Wan J. Fokkink
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity. CoRR (2020)
Clemens Grabmayer
Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions. CoRR (2020)
Clemens Grabmayer
Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions. TERMGRAPH@FSCD (2020)
Clemens Grabmayer
Modeling Terms by Graphs with Structure Constraints (Two Illustrations). TERMGRAPH@FSCD (2018)
Clemens Grabmayer
Linear Depth Increase of Lambda Terms in Leftmost-Outermost Beta-Reduction Rewrite Sequences. CoRR (2016)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Regularity Preserving but not Reflecting Encodings. CoRR (2015)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Regularity Preserving but Not Reflecting Encodings. LICS (2015)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Hans Zantema
The Degree of Squares is an Atom (Extended Version). CoRR (2015)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Hans Zantema
The Degree of Squares is an Atom. WORDS (2015)
Clemens Grabmayer, Jan Rochel
Maximal sharing in the Lambda calculus with letrec. ICFP (2014)
Clemens Grabmayer, Vincent van Oostrom
Nested Term Graphs. TERMGRAPH (2014)
Clemens Grabmayer, Jan Rochel
Maximal Sharing in the Lambda Calculus with letrec. CoRR (2014)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom
Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples. Log. Methods Comput. Sci. 10 (2) (2014)
Clemens Grabmayer, Jan Rochel
Term Graph Representations for Cyclic Lambda-Terms. CoRR (2013)
Clemens Grabmayer, Jan Rochel
Term Graph Representations for Cyclic Lambda-Terms TERMGRAPH (2013)
Clemens Grabmayer, Jan Rochel
Expressibility in the Lambda Calculus with mu CoRR (2013)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Mix-Automatic Sequences. LATA (2013)
Clemens Grabmayer, Jan Rochel
Expressibility in the Lambda Calculus with Mu. RTA (2013)
Clemens Grabmayer, Jan Rochel
Expressibility in the Lambda Calculus with Letrec CoRR (2012)
Marc Bezem, Clemens Grabmayer, Michal Walicki
Expressive power of digraph solvability. Ann. Pure Appl. Log. 163 (3) (2012)
Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss
Automatic Sequences and Zip-Specifications CoRR (2012)
Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss
Automatic Sequences and Zip-Specifications. LICS (2012)
Jan Rochel, Clemens Grabmayer
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress) TERMGRAPH (2011)
Clemens Grabmayer, Joop Leo, Vincent van Oostrom, Albert Visser
On the Termination of Russell's Description Elimination Algorithm. Rev. Symb. Log. 4 (3) (2011)
Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, Vincent van Oostrom
On equal μ-terms. Theor. Comput. Sci. 412 (28) (2011)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Vincent van Oostrom
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting. RTA (2010)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop
Productivity of stream definitions. Theor. Comput. Sci. 411 (4-5) (2010)
Clemens Grabmayer
From Abstract Rewriting Systems to Abstract Proof Systems CoRR (2009)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Complexity of Fractran and Productivity. CADE (2009)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Complexity of Fractran and Productivity CoRR (2009)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop
Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting CoRR (2009)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Data-Oblivious Stream Productivity. LPAR (2008)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Data-Oblivious Stream Productivity CoRR (2008)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer
Proving Infinitary Normalization. TYPES (2008)
Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer
A characterization of regular expressions under bisimulation. J. ACM 54 (2) (2007)
Clemens Grabmayer
A duality between proof systems for cyclic term graphs. Math. Struct. Comput. Sci. 17 (3) (2007)
Clemens Grabmayer
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs. Electron. Notes Theor. Comput. Sci. 72 (1) (2007)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop
Productivity of Stream Definitions. FCT (2007)
Clemens Grabmayer, Jan Willem Klop, Bas Luttik
Some Remarks on Definability of Process Graphs. CONCUR (2006)
Clemens Grabmayer, Jan Willem Klop, Bas Luttik
Reflections on a Geometry of Processes. Electron. Notes Theor. Comput. Sci. 162 (2006)
Clemens Grabmayer
Using Proofs by Coinduction to Find "Traditional" Proofs. CALCO (2005)