| Publication | Date of Publication | Type |
|---|
A categorical approach to coalgebraic fixpoint logic
| 2025-01-20 | Paper |
Proving behavioural apartness
| 2025-01-20 | Paper |
On star expressions and completeness theorems
| 2024-12-17 | Paper |
Forward and backward steps in a fibration
| 2024-11-26 | Paper |
Bisimilar states in uncertain structures
| 2024-11-26 | Paper |
On tools for completeness of Kleene algebra with hypotheses
Logical Methods in Computer Science | 2024-06-27 | Paper |
Processes parametrised by an algebraic theory
| 2024-06-24 | Paper |
A new approach for active automata learning based on apartness
| 2024-01-23 | Paper |
Preservation and reflection of bisimilarity via invertible steps
Lecture Notes in Computer Science | 2023-11-24 | Paper |
Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks
Programming Languages and Systems | 2023-08-03 | Paper |
Learning language intersections
Lecture Notes in Computer Science | 2023-07-26 | Paper |
On tools for completeness of Kleene algebra with hypotheses
| 2023-03-30 | Paper |
Expressive Logics for Coinductive Predicates
| 2023-02-07 | Paper |
Separation and Renaming in Nominal Sets
| 2023-02-07 | Paper |
scientific article; zbMATH DE number 7649889 (Why is no real title available?)
| 2023-02-03 | Paper |
scientific article; zbMATH DE number 7649949 (Why is no real title available?)
| 2023-02-03 | Paper |
A categorical framework for learning generalised tree automata
| 2022-12-07 | Paper |
Corecursion up-to via causal transformations
| 2022-12-07 | Paper |
Bisimilarity of open terms in stream GSOS
| 2022-11-04 | Paper |
Fast computations on ordered nominal sets
Theoretical Computer Science | 2022-10-14 | Paper |
scientific article; zbMATH DE number 7559476 (Why is no real title available?)
| 2022-07-18 | Paper |
scientific article; zbMATH DE number 7559448 (Why is no real title available?)
| 2022-07-18 | Paper |
scientific article; zbMATH DE number 7471679 (Why is no real title available?)
| 2022-02-09 | Paper |
Distributive laws for monotone specifications
| 2021-12-08 | Paper |
Steps and traces
Journal Of Logic And Computation | 2021-10-21 | Paper |
Learning pomset automata
| 2021-10-18 | Paper |
Effectively eliminating auxiliaries
| 2021-05-20 | Paper |
On the specification of operations on the rational behaviour of systems
| 2021-04-27 | Paper |
Learning weighted automata over principal ideal domains
| 2020-09-23 | Paper |
Up-to techniques for branching bisimilarity
SOFSEM 2020: Theory and Practice of Computer Science | 2020-07-20 | Paper |
Completeness and incompleteness of synchronous Kleene algebra
| 2020-05-05 | Paper |
Coalgebra learning via duality
| 2020-01-28 | Paper |
Preservation of Equations by Monoidal Monads
| 2020-01-17 | Paper |
scientific article; zbMATH DE number 7149819 (Why is no real title available?)
| 2020-01-10 | Paper |
Distributive laws for monotone specifications
Acta Informatica | 2019-10-17 | Paper |
Companions, causality and codensity
| 2019-08-13 | Paper |
Verifying OpenJDK's sort method for generic collections
Journal of Automated Reasoning | 2019-02-15 | Paper |
Fast computations on ordered nominal sets
Theoretical Aspects of Computing – ICTAC 2018 | 2018-11-23 | Paper |
(In)finite trace equivalence of probabilistic transition systems
| 2018-10-23 | Paper |
Steps and traces
| 2018-10-23 | 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 |
Coalgebraic minimization of automata by initiality and finality
| 2018-04-23 | 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 |
Coalgebraic trace semantics via forgetful logics
Logical Methods in Computer Science | 2017-04-11 | Paper |
Structural congruence for bialgebraic semantics
Journal of Logical and Algebraic Methods in Programming | 2016-11-07 | Paper |
Duality of equations and coequations via contravariant adjunctions
Coalgebraic Methods in Computer Science | 2016-07-15 | Paper |
Rational operational models
| 2016-04-12 | Paper |
Proving language inclusion and equivalence by coinduction
Information and Computation | 2015-12-28 | Paper |
Coalgebraic Trace Semantics via Forgetful Logics
Lecture Notes in Computer Science | 2015-10-01 | Paper |
Unbounded allocation in bounded heaps
Fundamentals of Software Engineering | 2015-09-30 | Paper |
Presenting distributive laws
Logical Methods in Computer Science | 2015-08-25 | Paper |
Proof pearl: The KeY to correct and stable sorting
Journal of Automated Reasoning | 2015-06-23 | Paper |
Coalgebraic bisimulation-up-to
Lecture Notes in Computer Science | 2014-11-04 | Paper |
A coalgebraic foundation for coinductive union types
Automata, Languages, and Programming | 2014-07-01 | Paper |
Combining bialgebraic semantics and equations
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Presenting distributive laws
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
Bounded model checking of recursive programs with pointers in K
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Coinductive proof techniques for language equivalence
Language and Automata Theory and Applications | 2013-03-18 | Paper |
Automated verification of recursive programs with pointers
Automated Reasoning | 2012-09-05 | Paper |
Composing Codensity Bisimulations
| N/A | Paper |
