Automated Verification of Recursive Programs with Pointers. - Frank S. de Boer; Marcello M. Bonsangue; Jurriaan Rot (IJCAR, 2012)

Bounded Model Checking of Recursive Programs with Pointers in K. - Irina Mariuca Asavoae; Frank S. de Boer; Marcello M. Bonsangue; Dorel Lucanu; Jurriaan Rot (WADT, 2012)

On the specification of operations on the rational behaviour of systems - Marcello M. Bonsangue; Stefan Milius; Jurriaan Rot (EXPRESS/SOS, 2012)

Interacting via the Heap in the Presence of Recursion - Jurriaan Rot; Irina Mariuca Asavoae; Frank S. de Boer; Marcello M. Bonsangue; Dorel Lucanu (ICE, 2012)

Unbounded Allocation in Bounded Heaps. - Jurriaan Rot; Frank S. de Boer; Marcello M. Bonsangue (FSEN, 2013)

Coinductive Proof Techniques for Language Equivalence. - Jurriaan Rot; Marcello M. Bonsangue; Jan J. M. M. Rutten (LATA, 2013)

Coalgebraic Bisimulation-Up-To. - Jurriaan Rot; Marcello M. Bonsangue; Jan J. M. M. Rutten (SOFSEM, 2013)

Rational Operational Models. - Stefan Milius; Marcello M. Bonsangue; Robert S. R. Myers; Jurriaan Rot (MFPS, 2013)

Coinduction up-to in a fibrational setting. - Filippo Bonchi; Daniela Petrisan; Damien Pous; Jurriaan Rot (CSL-LICS, 2014)

Combining Bialgebraic Semantics and Equations. - Jurriaan Rot; Marcello M. Bonsangue (FoSSaCS, 2014)

A Coalgebraic Foundation for Coinductive Union Types. - Marcello M. Bonsangue; Jurriaan Rot; Davide Ancona; Frank S. de Boer; Jan J. M. M. Rutten (ICALP (2), 2014)

Proof Pearl: The KeY to Correct and Stable Sorting. - Stijn de Gouw; Frank S. de Boer; Jurriaan Rot (J. Autom. Reason., 2014)

OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. - Stijn de Gouw; Jurriaan Rot; Frank S. de Boer; Richard Bubel; Reiner Hähnle (CAV (1), 2015)

Lax Bialgebras and Up-To Techniques for Weak Bisimulations. - Filippo Bonchi; Daniela Petrisan; Damien Pous; Jurriaan Rot (CONCUR, 2015)

Presenting Distributive Laws. - Marcello M. Bonsangue; Helle Hvid Hansen; Alexander Kurz 001; Jurriaan Rot (Log. Methods Comput. Sci., 2015)

Model checking recursive programs interacting via the heap. - Irina Mariuca Asavoae; Frank S. de Boer; Marcello M. Bonsangue; Dorel Lucanu; Jurriaan Rot (Sci. Comput. Program., 2015)

It is pointless to point in bounded heaps. - Frank S. de Boer; Marcello M. Bonsangue; Jurriaan Rot (Sci. Comput. Program., 2015)

Effectively Eliminating Auxiliaries. - Stijn de Gouw; Jurriaan Rot (Theory and Practice of Formal Methods, 2016)

Duality of Equations and Coequations via Contravariant Adjunctions. - Julian Salamanca; Marcello M. Bonsangue; Jurriaan Rot (CMCS, 2016)

Coalgebraic trace semantics via forgetful logics. - Bartek Klin; Jurriaan Rot (Log. Methods Comput. Sci., 2016)

Coalgebraic Minimization of Automata by Initiality and Finality. - Jurriaan Rot (MFPS, 2016)

Proving language inclusion and equivalence by coinduction. - Jurriaan Rot; Marcello M. Bonsangue; Jan Rutten (Inf. Comput., 2016)

Structural congruence for bialgebraic semantics. - Jurriaan Rot; Marcello M. Bonsangue (J. Log. Algebraic Methods Program., 2016)

Verification of Counting Sort and Radix Sort. - Stijn de Gouw; Frank S. de Boer; Jurriaan Rot (Deductive Software Verification, 2016)

Monoidal Company for Accessible Functors. - Henning Basold; Damien Pous; Jurriaan Rot (CALCO, 2017)

Companions, Codensity and Causality. - Damien Pous; Jurriaan Rot (FoSSaCS, 2017)

Bisimilarity of Open Terms in Stream GSOS. - Filippo Bonchi; Matias David Lee; Jurriaan Rot (FSEN, 2017)

A general account of coinduction up-to. - Filippo Bonchi; Daniela Petrisan; Damien Pous; Jurriaan Rot (Acta Informatica, 2017)

Distributive Laws for Monotone Specifications. - Jurriaan Rot (EXPRESS/SOS, 2017)

Enhanced coalgebraic bisimulation. - Jurriaan Rot; Filippo Bonchi; Marcello M. Bonsangue; Damien Pous; Jan Rutten; Alexandra Silva 001 (Math. Struct. Comput. Sci., 2017)

(In)finite Trace Equivalence of Probabilistic Transition Systems. - Alexandre Goy 002; Jurriaan Rot (CMCS, 2018)

Coalgebraic Determinization of Alternating Automata. - Meven Bertrand; Jurriaan Rot (CoRR, 2018)

Tree Automata as Algebras: Minimisation and Determinisation. - Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva 001 (CALCO, 2019)

Kleene Algebra with Observations. - Tobias Kappé; Paul Brunet; Jurriaan Rot; Alexandra Silva 001; Jana Wagemaker; Fabio Zanasi (CONCUR, 2019)

Coalgebra Learning via Duality. - Simone Barlocco; Clemens Kupke; Jurriaan Rot (FoSSaCS, 2019)

Completeness and Incompleteness of Synchronous Kleene Algebra. - Jana Wagemaker; Marcello M. Bonsangue; Tobias Kappé; Jurriaan Rot; Alexandra Silva 001 (MPC, 2019)

Verifying OpenJDK's Sort Method for Generic Collections. - Stijn de Gouw; Frank S. de Boer; Richard Bubel; Reiner Hähnle; Jurriaan Rot; Dominic Steinhöfel (J. Autom. Reason., 2019)

Companions, Causality and Codensity. - Damien Pous; Jurriaan Rot (Log. Methods Comput. Sci., 2019)

Bisimilarity of open terms in stream GSOS. - Filippo Bonchi; Tom van Bussel; Matias David Lee; Jurriaan Rot (Sci. Comput. Program., 2019)

Partially Observable Concurrent Kleene Algebra. - Jana Wagemaker; Paul Brunet; Simon Docherty; Tobias Kappé; Jurriaan Rot; Alexandra Silva 001 (CONCUR, 2020)

Separation and Renaming in Nominal Sets. - Joshua Moerman; Jurriaan Rot (CSL, 2020)

A Big Step from Finite to Infinite Computations (SCICO Journal-first). - Davide Ancona; Francesco Dagnino; Jurriaan Rot; Elena Zucca (ECOOP, 2020)

Learning Weighted Automata over Principal Ideal Domains. - Gerco van Heerdt; Clemens Kupke; Jurriaan Rot; Alexandra Silva 001 (FoSSaCS, 2020)

Preservation of Equations by Monoidal Monads. - Louis Parlant; Jurriaan Rot; Alexandra Silva 001; Bas Westerbaan (MFCS, 2020)

Up-to Techniques for Branching Bisimilarity. - Rick Erkens; Jurriaan Rot; Bas Luttik (SOFSEM, 2020)

A big step from finite to infinite computations. - Davide Ancona; Francesco Dagnino; Jurriaan Rot; Elena Zucca (Sci. Comput. Program., 2020)

Learning Pomset Automata. - Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Alexandra Silva 001 (FoSSaCS, 2021)

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. - Yuichi Komorida; Shin-ya Katsumata; Clemens Kupke; Jurriaan Rot; Ichiro Hasuo (LICS, 2021)

On Star Expressions and Coalgebraic Completeness Theorems. - Todd Schmid; Jurriaan Rot; Alexandra Silva 001 (MFPS, 2021)

Expressive Logics for Coinductive Predicates. - Clemens Kupke; Jurriaan Rot (Log. Methods Comput. Sci., 2021)

Steps and traces. - Jurriaan Rot; Bart Jacobs 001; Paul Blain Levy (J. Log. Comput., 2021)

Learning Language Intersections. - Sebastian Junges; Jurriaan Rot (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

A Categorical Framework for Learning Generalised Tree Automata. - Gerco van Heerdt; Tobias Kappé; Jurriaan Rot; Matteo Sammartino; Alexandra Silva 001 (CMCS, 2022)

Corecursion Up-to via Causal Transformations. - Damien Pous; Jurriaan Rot; Ruben Turkenburg (CMCS, 2022)

Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. - Jana Wagemaker; Nate Foster; Tobias Kappé; Dexter Kozen; Jurriaan Rot; Alexandra Silva 001 (ESOP, 2022)

Processes Parametrised by an Algebraic Theory. - Todd Schmid; Wojciech Rozowski; Alexandra Silva 001; Jurriaan Rot (ICALP, 2022)

A New Approach for Active Automata Learning Based on Apartness. - Frits W. Vaandrager; Bharat Garhewal; Jurriaan Rot; Thorsten Wißmann (TACAS (1), 2022)

Fast computations on ordered nominal sets. - David Venhoek; Joshua Moerman; Jurriaan Rot (Theor. Comput. Sci., 2022)

Bisimilar States in Uncertain Structures. - Jurriaan Rot; Thorsten Wißmann (CALCO, 2023)

Forward and Backward Steps in a Fibration. - Ruben Turkenburg; Harsh Beohar; Clemens Kupke; Jurriaan Rot (CALCO, 2023)

Preservation and Reflection of Bisimilarity via Invertible Steps. - Ruben Turkenburg; Clemens Kupke; Jurriaan Rot; Ezra Schoen (FoSSaCS, 2023)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Ichiro Hasuo; Jurriaan Rot; Sebastian Junges (Zenodo, 2023)

Relating Apartness and Branching Bisimulation Games. - Jurriaan Rot; Sebastian Junges; Harsh Beohar (Logics and Type Systems in Theory and Practice, 2024)

A Categorical Approach to Coalgebraic Fixpoint Logic. - Ezra Schoen; Clemens Kupke; Jurriaan Rot; Ruben Turkenburg (CMCS, 2024)

Proving Behavioural Apartness. - Ruben Turkenburg; Harsh Beohar; Clemens Kupke; Jurriaan Rot (CMCS, 2024)

State Matching and Multiple References in Adaptive Active Automata Learning. - Loes Kruger; Sebastian Junges; Jurriaan Rot (FM (1), 2024)

Correct and Complete Symbolic Execution for Free. - Erik Voogd; Einar Broch Johnsen; Åsmund Aqissiaq Arild Kløvstad; Jurriaan Rot; Alexandra Silva 001 (IFM, 2024)

Composing Codensity Bisimulations. - Mayuko Kori; Kazuki Watanabe 003; Jurriaan Rot; Shin-ya Katsumata (LICS, 2024)

Small Test Suites for Active Automata Learning. - Loes Kruger; Sebastian Junges; Jurriaan Rot (TACAS (2), 2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. - Kazuki Watanabe 003; Marck van der Vegt; Ichiro Hasuo; Jurriaan Rot; Sebastian Junges (TACAS (2), 2024)

Relational Connectors and Heterogeneous Bisimulations. - Pedro Nora; Jurriaan Rot; Lutz Schröder; Paul Wild (CoRR, 2024)

Behavioural Metrics and Quantitative Logics (Dagstuhl Seminar 24432). - Barbara König 001; Radu Mardare; Prakash Panangaden; Jurriaan Rot; Florence Clerc (Dagstuhl Reports, 2024)

On Tools for Completeness of Kleene Algebra with Hypotheses. - Damien Pous; Jurriaan Rot; Jana Wagemaker (Log. Methods Comput. Sci., 2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Ichiro Hasuo; Jurriaan Rot; Sebastian Junges (Zenodo, 2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material. - Kazuki Watanabe 003; Marck van der Vegt; Ichiro Hasuo; Jurriaan Rot; Sebastian Junges (Zenodo, 2024)

Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl). - Thorsten Wißmann; Bálint Kocsis; Jurriaan Rot; Ruben Turkenburg (CALCO, 2025)

Intrinsically Correct Sorting in Cubical Agda. - Cass Alexandru; Vikraman Choudhury; Jurriaan Rot; Niels van der Weide (CPP, 2025)

Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach. - Samuel Humeau 002; Daniela Petrisan; Jurriaan Rot (CSL, 2025)

Complete Test Suites for Automata in Monoidal Closed Categories. - Bálint Kocsis; Jurriaan Rot (FoSSaCS, 2025)

Relational Connectors and Heterogeneous Simulations. - Pedro Nora; Jurriaan Rot; Lutz Schröder; Paul Wild (FoSSaCS, 2025)

Preface to special issue: EXPRESS/SOS 2019 and EXPRESS/SOS 2020. - Ornela Dardha; Jorge A. Pérez 001; Jurriaan Rot (Inf. Comput., 2025)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference. - Kazuki Watanabe 003; Sebastian Junges; Jurriaan Rot; Ichiro Hasuo (Proc. ACM Program. Lang., 2025)

Learning Automata with Name Allocation. - Florian Frank 002; Stefan Milius; Jurriaan Rot; Henning Urbat (CoRR, 2025)

Trees in Coalgebra from Generalized Reachability. - Thorsten Wißmann; Bálint Kocsis; Jurriaan Rot; Ruben Turkenburg (CoRR, 2025)

Constructing Witnesses for Lower Bounds on Behavioural Distances. - Ruben Turkenburg; Harsh Beohar; Franck van Breugel; Clemens Kupke; Jurriaan Rot (CoRR, 2025)

Initial Algebra Correspondence under Reachability Conditions. - Mayuko Kori; Kazuki Watanabe 003; Jurriaan Rot (CoRR, 2025)