| Publication | Date of Publication | Type |
|---|
| Infinite choice and probability distributions. An open problem: the real hotel | 2024-11-26 | Paper |
| An autonomous data language | 2024-09-13 | Paper |
| A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice | 2024-03-14 | Paper |
Correct and efficient antichain algorithms for refinement checking
Formal Techniques for Distributed Objects, Components, and Systems | 2024-02-06 | Paper |
Compositional learning for interleaving parallel automata
Lecture Notes in Computer Science | 2023-11-24 | Paper |
Lowerbounds for Bisimulation by Partition Refinement
Logical Methods in Computer Science | 2023-08-26 | Paper |
| Bisimulation by Partitioning Is Ω((m+n)log n). | 2023-08-21 | Paper |
Minimisation of spatial models using branching bisimilarity
Formal Methods | 2023-08-17 | Paper |
Understanding Behaviour of Distributed Systems Using mCRL2
Studies in Systems, Decision and Control | 2023-04-05 | Paper |
Problem solving using process algebra considered insightful
ModelEd, TestEd, TrustEd | 2022-11-09 | Paper |
A Complete Axiomatisation for Probabilistic Trace Equivalence
Scientific Annals of Computer Science | 2022-07-19 | Paper |
| scientific article; zbMATH DE number 7559464 (Why is no real title available?) | 2022-07-18 | Paper |
Term rewriting on GPUs
(available as arXiv preprint) | 2022-06-17 | Paper |
A set automaton to locate all pattern matches in a term
(available as arXiv preprint) | 2022-03-31 | Paper |
| scientific article; zbMATH DE number 7449994 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7449994 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
An \(O(m \log n)\) algorithm for branching bisimilarity on labelled transition systems
Tools and Algorithms for the Construction and Analysis of Systems | 2021-11-10 | Paper |
| Logic Gates, Circuits, Processors, Compilers and Computers | 2021-10-26 | Paper |
scientific article; zbMATH DE number 7327941 (Why is no real title available?)
(available as arXiv preprint) | 2021-03-26 | Paper |
| scientific article; zbMATH DE number 7327941 (Why is no real title available?) | 2021-03-26 | Paper |
An algorithm for the asynchronous \textit{Write-All} problem based on process collision
Distributed Computing | 2020-12-03 | Paper |
Wait-free concurrent memory management by create and read until deletion (CaRuD)
Distributed Computing | 2020-12-03 | Paper |
scientific article; zbMATH DE number 7269247 (Why is no real title available?)
(available as arXiv preprint) | 2020-11-03 | Paper |
| scientific article; zbMATH DE number 7269247 (Why is no real title available?) | 2020-11-03 | Paper |
An \(O(m\log n)\) algorithm for stuttering equivalence and branching bisimulation
(available as arXiv preprint) | 2019-09-17 | Paper |
An efficient algorithm to determine probabilistic bisimulation
Algorithms | 2019-05-08 | Paper |
The mean drift: tailoring the mean field theory of Markov processes for real-world applications
(available as arXiv preprint) | 2018-10-23 | Paper |
An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation
ACM Transactions on Computational Logic | 2017-07-13 | Paper |
The Mean Drift: Tailoring the Mean Field Theory of Markov Processes for Real-World Applications
(available as arXiv preprint) | 2017-03-13 | Paper |
The chance to win the Game of the Goose
Nieuw Archief voor Wiskunde. Vijfde Serie | 2016-09-07 | Paper |
A probabilistic analysis of the Game of the Goose
SIAM Review | 2016-05-20 | Paper |
| Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness | 2015-09-21 | Paper |
Discretization of timed automata in timed \(\mu\)CRL à la regions and zones
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
From \(\mu\)CRL to mCRL2: motivation and outline
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Switching graphs
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
| Modeling and analysis of communicating systems | 2014-10-06 | Paper |
| A hierarchy of SOS rule formats | 2013-10-07 | Paper |
| Analysing the BKE-security protocol with \(\mu\)CRL | 2013-10-02 | Paper |
An overview of the mCRL2 toolset and its recent advances
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Lock-free dynamic hash tables with open addressing
Distributed Computing | 2013-06-07 | Paper |
Transforming equality logic to propositional logic
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Specification guidelines to avoid the state space explosion problem
Fundamentals of Software Engineering | 2012-06-29 | Paper |
A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus
Theoretical Computer Science | 2011-07-07 | Paper |
Suitability of mCRL2 for concurrent-system design: a \(2 \times 2\) Switch case study
Formal Methods for Components and Objects | 2011-01-08 | Paper |
SWITCHING GRAPHS
International Journal of Foundations of Computer Science | 2009-11-19 | Paper |
| scientific article; zbMATH DE number 5604105 (Why is no real title available?) | 2009-09-15 | Paper |
A syntactic commutativity format for SOS
Information Processing Letters | 2009-08-27 | Paper |
Search algorithms for automated validation
The Journal of Logic and Algebraic Programming | 2009-04-29 | Paper |
| Analysis of distributed systems with mCRL2 | 2009-03-09 | Paper |
Hiding propositional constants in BDDs.
Formal Methods in System Design | 2008-12-21 | Paper |
Statistical Certification of Software Systems
Communications in Statistics. Simulation and Computation | 2008-03-18 | Paper |
Task allocation in a multi-server system
Journal of Scheduling | 2007-12-20 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
| Focus points and convergent process operators | 2007-08-22 | Paper |
Operational semantics for Petri net components
Theoretical Computer Science | 2007-07-16 | Paper |
SOS formats and meta-theory: 20 years after
Theoretical Computer Science | 2007-04-19 | Paper |
Lock-free parallel and concurrent garbage collection by mark\&sweep
Science of Computer Programming | 2007-01-11 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Verification of a sliding window protocol in \(\mu\) CRL and PVS
Formal Aspects of Computing | 2005-12-13 | Paper |
A computer checked algebraic verification of a distributed summation algorithm
Formal Aspects of Computing | 2005-12-13 | Paper |
Parameterised Boolean equation systems
Theoretical Computer Science | 2005-11-01 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Model-checking processes with data
Science of Computer Programming | 2005-08-05 | Paper |
| scientific article; zbMATH DE number 2084326 (Why is no real title available?) | 2004-08-06 | Paper |
Binary decision diagrams for first-order predicate logic.
The Journal of Logic and Algebraic Programming | 2004-03-14 | Paper |
Resolution and binary decision diagrams cannot simulate each other polynomially
Discrete Applied Mathematics | 2003-09-15 | Paper |
Analysis of a distributed system for lifting trucks.
The Journal of Logic and Algebraic Programming | 2003-08-13 | Paper |
| scientific article; zbMATH DE number 1956609 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1810494 (Why is no real title available?) | 2003-05-22 | Paper |
| scientific article; zbMATH DE number 1759425 (Why is no real title available?) | 2002-11-04 | Paper |
| scientific article; zbMATH DE number 1796138 (Why is no real title available?) | 2002-09-04 | Paper |
Linearization in parallel pCRL
The Journal of Logic and Algebraic Programming | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1696764 (Why is no real title available?) | 2002-07-22 | Paper |
Focus points and convergent process operators: A proof strategy for protocol verification
The Journal of Logic and Algebraic Programming | 2002-05-21 | Paper |
The parallel composition of uniform processes with data
Theoretical Computer Science | 2002-03-03 | Paper |
| The propositional formula checker HeerHugo | 2001-11-21 | Paper |
Analysis of three hybrid systems in timed \(\mu CRL\)
Science of Computer Programming | 2001-07-05 | Paper |
The propositional formula checker HeerHugo
Journal of Automated Reasoning | 2001-05-01 | Paper |
| Algebraic process verification. | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1324647 (Why is no real title available?) | 1999-08-18 | Paper |
| scientific article; zbMATH DE number 1303726 (Why is no real title available?) | 1999-06-17 | Paper |
A complete equational axiomatization for MPA with string iteration
Theoretical Computer Science | 1999-01-12 | Paper |
Formal verification of a leader election protocol in process algebra
Theoretical Computer Science | 1998-07-23 | Paper |
The meaning of negative premises in transition system specifications
Journal of the ACM | 1998-01-22 | Paper |
The meaning of negative premises in transition system specifications
Journal of the ACM | 1998-01-22 | Paper |
Formalizing process algebraic verifications in the calculus of constructions
Formal Aspects of Computing | 1997-08-17 | Paper |
Confluence for process verification
Theoretical Computer Science | 1997-02-27 | Paper |
Undecidable equivalences for basic process algebra
Information and Computation | 1995-02-16 | Paper |
| scientific article; zbMATH DE number 683363 (Why is no real title available?) | 1994-11-29 | Paper |
Process algebra with guards: Combining hoare logic with process algebra
Formal Aspects of Computing | 1994-06-29 | Paper |
Transition system specifications with negative premises
Theoretical Computer Science | 1994-01-09 | Paper |
| scientific article; zbMATH DE number 177845 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 176757 (Why is no real title available?) | 1993-05-18 | Paper |
Structured operational semantics and bisimulation as a congruence
Information and Computation | 1993-01-16 | Paper |
A short proof of the decidability of bisimulation for normed BPA- processes
Information Processing Letters | 1993-01-16 | Paper |
