| Publication | Date of Publication | Type |
|---|
Completeness theorems for Kleene algebra with tests and top
Logical Methods in Computer Science | 2024-11-12 | Paper |
Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines
Logical Methods in Computer Science | 2024-09-04 | Paper |
Completeness theorems for Kleene algebra with top
| 2024-08-13 | Paper |
On tools for completeness of Kleene algebra with hypotheses
Logical Methods in Computer Science | 2024-06-27 | Paper |
On tools for completeness of Kleene algebra with hypotheses
| 2023-03-30 | Paper |
A certificate-based approach to formally verified approximations
| 2023-02-03 | Paper |
Cyclic Proofs and Jumping Automata
| 2023-02-03 | Paper |
scientific article; zbMATH DE number 7649887 (Why is no real title available?)
| 2023-02-03 | Paper |
Corecursion up-to via causal transformations
| 2022-12-07 | Paper |
scientific article; zbMATH DE number 7559485 (Why is no real title available?)
| 2022-07-18 | Paper |
scientific article; zbMATH DE number 7533344 (Why is no real title available?)
| 2022-05-28 | Paper |
Coinductive algorithms for Büchi automata
Fundamenta Informaticae | 2021-10-25 | Paper |
scientific article; zbMATH DE number 7407797 (Why is no real title available?)
| 2021-10-08 | Paper |
Treewidth-two graphs as a free algebra
| 2021-08-04 | Paper |
Completeness for identity-free Kleene lattices
| 2021-08-04 | Paper |
Allegories: decidability and graph homomorphisms
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Fully abstract encodings of \(\lambda \)-calculus in HOcore through abstract machines
| 2021-01-19 | Paper |
Graph theory in Coq: minors, treewidth, and isomorphisms
Journal of Automated Reasoning | 2020-11-02 | Paper |
On the positive calculus of relations with transitive closure
| 2020-08-05 | Paper |
scientific article; zbMATH DE number 7204945 (Why is no real title available?)
| 2020-05-27 | Paper |
scientific article; zbMATH DE number 7204410 (Why is no real title available?)
| 2020-05-26 | Paper |
Kleene algebra with hypotheses
| 2020-01-28 | Paper |
Bisimulation and coinduction enhancements: a historical perspective
Formal Aspects of Computing | 2019-12-18 | Paper |
Coinductive algorithms for Büchi automata
| 2019-10-15 | Paper |
Companions, causality and codensity
| 2019-08-13 | Paper |
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
EPiC Series in Computing | 2019-07-04 | Paper |
Innocent strategies as presheaves and interactive equivalences for CCS
| 2019-02-08 | Paper |
A formal proof of the minor-exclusion property for treewidth-two graphs
| 2018-10-04 | Paper |
Monoidal company for accessible functors
| 2018-08-13 | Paper |
Coinduction up-to in a fibrational setting
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Petri Automata for Kleene Allegories
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Coinduction All the Way Up
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
A formal exploration of nominal Kleene algebra
| 2018-03-21 | Paper |
A cut-free cyclic proof system for Kleene algebra
| 2018-02-02 | Paper |
Petri automata
| 2017-10-12 | Paper |
Enhanced coalgebraic bisimulation
| 2017-09-27 | Paper |
Lax bialgebras and up-to techniques for weak bisimulations
| 2017-09-12 | Paper |
Companions, codensity and causality
Lecture Notes in Computer Science | 2017-05-19 | Paper |
A general account of coinduction up-to
Acta Informatica | 2017-04-20 | Paper |
Cardinalities of Finite Relations in Coq
Interactive Theorem Proving | 2016-10-27 | Paper |
Symbolic algorithms for language equivalence and Kleene algebra with tests
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
Algorithms for Kleene algebra with converse
Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
Relative Hilbert-Post completeness for exceptions
Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
Brzozowski's and up-to algorithms for must testing
Programming Languages and Systems | 2015-01-12 | Paper |
Checking NFA equivalence with bisimulations up to congruence
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
Bisimulations up-to: beyond first-order transition systems
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Enhancements of the bisimulation proof method
Advanced Topics in Bisimulation and Coinduction | 2014-04-25 | Paper |
Kleene algebra with converse
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Coalgebraic up-to techniques
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Kleene algebra with tests and Coq tools for while programs
Interactive Theorem Proving | 2013-08-07 | Paper |
Untyping typed algebras and colouring cyclic linear logic
Logical Methods in Computer Science | 2012-07-03 | Paper |
Deciding Kleene algebras in \texttt{Coq}
Logical Methods in Computer Science | 2012-04-03 | Paper |
Tactics for Reasoning Modulo AC in Coq
Certified Programs and Proofs | 2011-11-22 | Paper |
An efficient Coq tactic for deciding Kleene algebras
Interactive Theorem Proving | 2010-09-14 | Paper |
On Bisimilarity and Substitution in Presence of Replication
Automata, Languages and Programming | 2010-09-07 | Paper |
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic
Computer Science Logic | 2010-09-03 | Paper |
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines
Trustworthy Global Computing | 2009-03-05 | Paper |
A Distribution Law for CCS and a New Congruence Result for the pi-calculus
Logical Methods in Computer Science | 2008-08-07 | Paper |
Using bisimulation proof techniques for the analysis of distributed abstract machines
Theoretical Computer Science | 2008-08-06 | Paper |
Complete Lattices and Up-To Techniques
Programming Languages and Systems | 2008-05-15 | Paper |
A Distribution Law for CCS and a New Congruence Result for the π-Calculus
Foundations of Software Science and Computational Structures | 2007-09-07 | Paper |
Weak Bisimulation Up to Elaboration
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
New up-to techniques for weak bisimulation
Theoretical Computer Science | 2007-07-16 | Paper |
An efficient abstract machine for safe ambients
The Journal of Logic and Algebraic Programming | 2007-05-23 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
