2023
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity.
Log. Methods Comput. Sci., 2023
From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes.
Proceedings of the Proceedings 13th International Workshop on Developments in Computational Models, 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
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity.
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
2018
Modeling Terms by Graphs with Structure Constraints (Two Illustrations).
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
The Degree of Squares is an Atom (Extended Version).
CoRR, 2015
Regularity Preserving but Not Reflecting Encodings.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
The Degree of Squares is an Atom.
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
Maximal sharing in the Lambda calculus with letrec.
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014
2013
Term Graph Representations for Cyclic Lambda-Terms
Proceedings of the Proceedings 7th International Workshop on Computing with Terms and Graphs, 2013
Expressibility in the Lambda Calculus with Mu.
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013
Proceedings of the Language and Automata Theory and Applications, 2013
2012
Expressibility in the Lambda Calculus with Letrec
CoRR, 2012
Expressive power of digraph solvability.
Ann. Pure Appl. Log., 2012
Automatic Sequences and Zip-Specifications.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
2011
Theor. Comput. Sci., 2011
On the Termination of Russell's Description Elimination Algorithm.
Rev. Symb. Log., 2011
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)
Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011
2010
Productivity of stream definitions.
Theor. Comput. Sci., 2010
Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting.
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010
2009
From Abstract Rewriting Systems to Abstract Proof Systems
CoRR, 2009
Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting
CoRR, 2009
Complexity of Fractran and Productivity.
Proceedings of the Automated Deduction, 2009
2008
Proving Infinitary Normalization.
Proceedings of the Types for Proofs and Programs, International Conference, 2008
Data-Oblivious Stream Productivity.
Proceedings of the Logic for Programming, 2008
2007
A duality between proof systems for cyclic term graphs.
Math. Struct. Comput. Sci., 2007
A characterization of regular expressions under bisimulation.
J. ACM, 2007
2006
Some Remarks on Definability of Process Graphs.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
2005
Reflections on a Geometry of Processes.
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Using Proofs by Coinduction to Find "Traditional" Proofs.
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