# Clemens Grabmayer

According to our database

Collaborative distances:

^{1}, Clemens Grabmayer authored at least 37 papers between 2002 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes.

CoRR, 2024

2023

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity.

Log. Methods Comput. Sci., 2023

The Image of the Process Interpretation of Regular Expressions is Not Closed under Bisimulation Collapse.

CoRR, 2023

2022

Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete: Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions.

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity.

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions.

Proceedings of the Proceedings 11th International Workshop on Computing with Terms and Graphs, 2020

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2018

Proceedings of the Proceedings Tenth International Workshop on Computing with Terms and Graphs, 2018

2016

Linear Depth Increase of Lambda Terms in Leftmost-Outermost Beta-Reduction Rewrite Sequences.

CoRR, 2016

2015

CoRR, 2015

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Proceedings of the Combinatorics on Words - 10th International Conference, 2015

2014

Proceedings of the Proceedings 8th International Workshop on Computing with Terms and Graphs, 2014

Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples.

Log. Methods Comput. Sci., 2014

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Proceedings of the Proceedings 7th International Workshop on Computing with Terms and Graphs, 2013

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

Proceedings of the Language and Automata Theory and Applications, 2013

2012

CoRR, 2012

Ann. Pure Appl. Log., 2012

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2011

Theor. Comput. Sci., 2011

Rev. Symb. Log., 2011

Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011

2010

Theor. Comput. Sci., 2010

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

2009

CoRR, 2009

CoRR, 2009

Proceedings of the Automated Deduction, 2009

2008

Proceedings of the Types for Proofs and Programs, International Conference, 2008

Proceedings of the Logic for Programming, 2008

2007

Math. Struct. Comput. Sci., 2007

J. ACM, 2007

2006

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2002

A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs.

Proceedings of the First International Workshop on Term Graph Rewriting, 2002