| Publication | Date of Publication | Type |
|---|
| Uncertainty reasoning for probabilistic Petri nets via Bayesian networks | 2026-03-23 | Paper |
| Graded monads and behavioural equivalence games | 2024-12-06 | Paper |
Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms
Information and Computation | 2024-12-03 | Paper |
| A lattice-theoretical view of strategy iteration | 2024-09-25 | Paper |
| Hennessy-Milner theorems via Galois connections | 2024-09-25 | Paper |
Up-to techniques for behavioural metrics via fibrations
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
| A monoidal view on fixpoint checks | 2024-01-12 | Paper |
| Stochastic decision Petri nets | 2023-11-16 | Paper |
Fixpoint Theory -- Upside Down
Logical Methods in Computer Science | 2023-08-26 | Paper |
Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
(available as arXiv preprint) | 2022-12-07 | Paper |
A flexible and easy-to-use library for the rapid development of graph tools in Java
Graph Transformation | 2022-09-01 | Paper |
scientific article; zbMATH DE number 7559481 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
scientific article; zbMATH DE number 7471695 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471695 (Why is no real title available?) | 2022-02-09 | Paper |
Fixpoint theory -- upside down
(available as arXiv preprint) | 2021-10-18 | Paper |
Up-to techniques for behavioural metrics via fibrations
(available as arXiv preprint) | 2021-08-04 | Paper |
(Metric) bisimulation games and real-valued modal logics for coalgebras
(available as arXiv preprint) | 2021-08-04 | Paper |
Updating probabilistic knowledge on condition/event nets using Bayesian networks
(available as arXiv preprint) | 2021-08-04 | Paper |
Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas
(available as arXiv preprint) | 2021-02-22 | Paper |
A van Benthem theorem for fuzzy modal logic
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Up-To Techniques for Weighted Systems
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| On the Decidability Status of Reachability and Coverability in Graph Transformation Systems | 2020-05-27 | Paper |
Rewriting abstract structures: materialization explained categorically
(available as arXiv preprint) | 2020-01-28 | Paper |
CoReS: a tool for computing core graphs via SAT/SMT solvers
Journal of Logical and Algebraic Methods in Programming | 2019-11-28 | Paper |
Specifying graph languages with type graphs
Lecture Notes in Computer Science | 2019-11-22 | Paper |
Specifying graph languages with type graphs
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
scientific article; zbMATH DE number 7020157 (Why is no real title available?)
(available as arXiv preprint) | 2019-02-08 | Paper |
A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
Soft Computing | 2018-10-22 | Paper |
Coalgebraic behavioral metrics
(available as arXiv preprint) | 2018-09-26 | Paper |
Recognizable languages of arrows and cospans
Mathematical Structures in Computer Science | 2018-09-05 | Paper |
CoReS: a tool for computing core graphs via SAT/SMT solvers
Graph Transformation | 2018-08-24 | Paper |
scientific article; zbMATH DE number 6864542 (Why is no real title available?)
(available as arXiv preprint) | 2018-04-25 | Paper |
| A tutorial on graph transformation | 2018-04-04 | Paper |
Towards trace metrics via functor lifting
(available as arXiv preprint) | 2017-07-11 | Paper |
Behavioral metrics via functor lifting
(available as arXiv preprint) | 2017-04-25 | Paper |
Well-structured graph transformation systems
Information and Computation | 2016-12-22 | Paper |
Processes and unfoldings: concurrent computations in adhesive categories
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Proving termination of graph transformation systems using weighted type graphs over semirings
Graph Transformation | 2015-09-22 | Paper |
Lifting adjunctions to coalgebras to (re)discover automata constructions
Advanced Information Systems Engineering | 2015-09-11 | Paper |
A general framework for well-structured graph transformation systems
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata
Advanced Information Systems Engineering | 2014-09-15 | Paper |
Termination analysis for graph transformation systems
Advanced Information Systems Engineering | 2014-09-15 | Paper |
Termination of cycle rewriting
Lecture Notes in Computer Science | 2014-07-24 | Paper |
Coalgebraic trace semantics for continuous probabilistic transition systems
Logical Methods in Computer Science | 2014-01-08 | Paper |
| Verifying a behavioural logic for graph transformation systems | 2013-09-11 | Paper |
Well-structured graph transformation systems with negative application conditions
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Efficient symbolic implementation of graph automata with applications to invariant checking
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory
Lecture Notes in Computer Science | 2012-09-25 | Paper |
| Conditional reactive systems | 2012-08-31 | Paper |
Efficient unfolding of contextual Petri nets
Theoretical Computer Science | 2012-08-13 | Paper |
A Coalgebraic Perspective on Minimization and Determinization
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Deriving Bisimulation Congruences for Conditional Reactive Systems
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Unfolding Grammars in Adhesive Categories
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
A lattice-theoretical perspective on adhesive categories
Journal of Symbolic Computation | 2011-03-14 | Paper |
A logic on subobjects and recognizability
IFIP Advances in Information and Communication Technology | 2010-10-27 | Paper |
Unfolding-based diagnosis of systems with an evolving topology
Information and Computation | 2010-10-07 | Paper |
Verification of graph transformation systems with context-free specifications
Lecture Notes in Computer Science | 2010-10-04 | Paper |
On the computation of McMillan's prefix for contextual nets and graph grammars
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Incremental construction of coverability graphs
Information Processing Letters | 2010-03-24 | Paper |
| scientific article; zbMATH DE number 5604119 (Why is no real title available?) | 2009-09-15 | Paper |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Logical Methods in Computer Science | 2009-04-29 | Paper |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Deriving Bisimulation Congruences with Borrowed Contexts
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Synthesising CCS bisimulation using graph rewriting
Information and Computation | 2009-03-02 | Paper |
McMillan’s Complete Prefix for Contextual Nets
Transactions on Petri Nets and Other Models of Concurrency I | 2009-02-03 | Paper |
Sesqui-Pushout Rewriting
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Process Bisimulation Via a Graphical Encoding
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Composition and Decomposition of DPO Transformations with Borrowed Context
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Unfolding-Based Diagnosis of Systems with an Evolving Topology
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Towards the Verification of Attributed Graph Transformation Systems
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Open Petri Nets: Non-deterministic Processes and Compositionality
Lecture Notes in Computer Science | 2008-11-20 | Paper |
On the Recognizability of Arrow and Graph Languages
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Workshop on Petri Nets and Graph Transformations
Lecture Notes in Computer Science | 2008-11-20 | Paper |
A framework for the verification of infinite-state graph transformation systems
Information and Computation | 2008-08-14 | Paper |
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
Computer Aided Verification | 2008-07-15 | Paper |
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
A Temporal Graph Logic for Verification of Graph Transformation Systems
Recent Trends in Algebraic Development Techniques | 2007-09-10 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
Mathematical Structures in Computer Science | 2007-02-07 | Paper |
Developments in Language Theory
Lecture Notes in Computer Science | 2006-06-23 | Paper |
A general framework for types in graph rewriting
Acta Informatica | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2242585 (Why is no real title available?) | 2006-01-02 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Analysing input/output-capabilities of mobile processes with a generic type system
The Journal of Logic and Algebraic Programming | 2005-04-18 | Paper |
On deterministic finite automata and syntactic monoid size
Theoretical Computer Science | 2005-01-11 | Paper |
| scientific article; zbMATH DE number 2090850 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2080217 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2040919 (Why is no real title available?) | 2004-02-11 | Paper |
| scientific article; zbMATH DE number 2016064 (Why is no real title available?) | 2003-12-10 | Paper |
| scientific article; zbMATH DE number 1948503 (Why is no real title available?) | 2003-07-13 | Paper |
| scientific article; zbMATH DE number 1863175 (Why is no real title available?) | 2003-02-03 | Paper |
Hypergraph construction and its application to the static analysis of concurrent systems
Mathematical Structures in Computer Science | 2002-09-11 | Paper |
| scientific article; zbMATH DE number 1670840 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1361132 (Why is no real title available?) | 1999-11-10 | Paper |
