Jurriaan Rot

132 papers A* 4A 3B 31C 4Journal 63Unranked 23
YearRankTypeTitle / Venue / Authors
2026 B conf
Constructing Witnesses for Lower Bounds on Behavioural Distances.
CSL
Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot
2026 J jnl
Error-awareness Accelerates Active Automata Learning.
CoRR
Loes Kruger, Sebastian Junges, Jurriaan Rot
2026 C conf
Fan-Causality and Uniform Continuity on Final Coalgebras.
RAMICS
Henning Basold, Tanjona Ralaivaosaona, Jurriaan Rot
2026 J jnl
Incremental Fingerprinting in an Open World.
CoRR
Loes Kruger, Paul Kobialka, Andrea Pferscher, Einar Broch Johnsen, Sebastian Junges, Jurriaan Rot
2025 J jnl
A Unifying Approach to Product Constructions for Quantitative Temporal Inference.
Proc. ACM Program. Lang.
Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo
2025 B conf
Complete Test Suites for Automata in Monoidal Closed Categories.
FoSSaCS
Bálint Kocsis, Jurriaan Rot
2025 J jnl
Constructing Witnesses for Lower Bounds on Behavioural Distances.
CoRR
Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot
2025 B conf
Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach.
CSL
Samuel Humeau, Daniela Petrisan, Jurriaan Rot
2025 A* conf
Initial Algebra Correspondence under Reachability Conditions.
LICS
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot
2025 J jnl
Initial Algebra Correspondence under Reachability Conditions.
CoRR
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot
2025 B conf
Intrinsically Correct Sorting in Cubical Agda.
CPP
Cass Alexandru, Vikraman Choudhury, Jurriaan Rot, Niels van der Weide
2025 J jnl
Learning Automata with Name Allocation.
CoRR
Florian Frank, Stefan Milius, Jurriaan Rot, Henning Urbat
2025 J jnl
Preface to special issue: EXPRESS/SOS 2019 and EXPRESS/SOS 2020.
Inf. Comput.
Ornela Dardha, Jorge A. Pérez, Jurriaan Rot
2025 B conf
Relational Connectors and Heterogeneous Simulations.
FoSSaCS
Pedro Nora, Jurriaan Rot, Lutz Schröder, Paul Wild
2025 B conf
Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl).
CALCO
Thorsten Wißmann, Bálint Kocsis, Jurriaan Rot, Ruben Turkenburg
2025 J jnl
Trees in Coalgebra from Generalized Reachability.
CoRR
Thorsten Wißmann, Bálint Kocsis, Jurriaan Rot, Ruben Turkenburg
2024 — conf
A Categorical Approach to Coalgebraic Fixpoint Logic.
CMCS
Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
2024 J jnl
A Categorical Approach to Coalgebraic Fixpoint Logic.
CoRR
Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
2024 J jnl
A Unifying Approach to Product Constructions for Quantitative Temporal Inference.
CoRR
Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo
2024 J jnl
Behavioural Metrics and Quantitative Logics (Dagstuhl Seminar 24432).
Dagstuhl Reports
Barbara König, Radu Mardare, Prakash Panangaden, Jurriaan Rot, Florence Clerc
2024 J jnl
Complete Test Suites for Automata in Monoidal Closed Categories.
CoRR
Bálint Kocsis, Jurriaan Rot
2024 A* conf
Composing Codensity Bisimulations.
LICS
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
2024 J jnl
Composing Codensity Bisimulations.
CoRR
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
2024 B conf
Correct and Complete Symbolic Execution for Free.
IFM
Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva
2024 J jnl
Correspondences between codensity and coupling-based liftings, a practical approach.
CoRR
Samuel Humeau, Daniela Petrisan, Jurriaan Rot
2024 J jnl
Intrinsically Correct Sorting in Cubical Agda.
CoRR
Cass Alexandru, Vikraman Choudhury, Jurriaan Rot, Niels van der Weide
2024 J jnl
On Tools for Completeness of Kleene Algebra with Hypotheses.
Log. Methods Comput. Sci.
Damien Pous, Jurriaan Rot, Jana Wagemaker
2024 — conf
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.
TACAS (2)
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
2024 J jnl
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.
CoRR
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
2024 — conf
Proving Behavioural Apartness.
CMCS
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
2024 J jnl
Proving Behavioural Apartness.
CoRR
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
2024 — conf
Relating Apartness and Branching Bisimulation Games.
Logics and Type Systems in Theory and Practice
Jurriaan Rot, Sebastian Junges, Harsh Beohar
2024 J jnl
Relating Apartness and Branching Bisimulation Games.
CoRR
Jurriaan Rot, Sebastian Junges, Harsh Beohar
2024 J jnl
Relational Connectors and Heterogeneous Bisimulations.
CoRR
Pedro Nora, Jurriaan Rot, Lutz Schröder, Paul Wild
2024 — conf
Small Test Suites for Active Automata Learning.
TACAS (2)
Loes Kruger, Sebastian Junges, Jurriaan Rot
2024 J jnl
Small Test Suites for Active Automata Learning.
CoRR
Loes Kruger, Sebastian Junges, Jurriaan Rot
2024 — conf
State Matching and Multiple References in Adaptive Active Automata Learning.
FM (1)
Loes Kruger, Sebastian Junges, Jurriaan Rot
2024 J jnl
State Matching and Multiple References in Adaptive Active Automata Learning.
CoRR
Loes Kruger, Sebastian Junges, Jurriaan Rot
2023 B conf
Bisimilar States in Uncertain Structures.
CALCO
Jurriaan Rot, Thorsten Wißmann
2023 J jnl
Bisimilar States in Uncertain Structures.
CoRR
Jurriaan Rot, Thorsten Wißmann
2023 B conf
Forward and Backward Steps in a Fibration.
CALCO
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
2023 B conf
Preservation and Reflection of Bisimilarity via Invertible Steps.
FoSSaCS
Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen
2022 — conf
A Categorical Framework for Learning Generalised Tree Automata.
CMCS
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2022 — conf
A New Approach for Active Automata Learning Based on Apartness.
TACAS (1)
Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann
2022 A conf
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks.
ESOP
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
2022 J jnl
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks.
CoRR
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
2022 — conf
Corecursion Up-to via Causal Transformations.
CMCS
Damien Pous, Jurriaan Rot, Ruben Turkenburg
2022 J jnl
Fast computations on ordered nominal sets.
Theor. Comput. Sci.
David Venhoek, Joshua Moerman, Jurriaan Rot
2022 — conf
Learning Language Intersections.
A Journey from Process Algebra via Timed Automata to Model Learning
Sebastian Junges, Jurriaan Rot
2022 J jnl
On Tools for Completeness of Kleene Algebra with Hypotheses.
CoRR
Damien Pous, Jurriaan Rot, Jana Wagemaker
2022 A* conf
Processes Parametrised by an Algebraic Theory.
ICALP
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
2022 J jnl
Processes Parametrised by an Algebraic Theory.
CoRR
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
2021 J jnl
A New Approach for Active Automata Learning Based on Apartness.
CoRR
Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann
2021 J jnl
Expressive Logics for Coinductive Predicates.
Log. Methods Comput. Sci.
Clemens Kupke, Jurriaan Rot
2021 A* conf
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation.
LICS
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
2021 J jnl
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation.
CoRR
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
2021 B conf
Learning Pomset Automata.
FoSSaCS
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2021 J jnl
Learning Pomset Automata.
CoRR
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2021 B conf
On Star Expressions and Coalgebraic Completeness Theorems.
MFPS
Todd Schmid, Jurriaan Rot, Alexandra Silva
2021 C conf
On Tools for Completeness of Kleene Algebra with Hypotheses.
RAMiCS
Damien Pous, Jurriaan Rot, Jana Wagemaker
2021 J jnl
Steps and traces.
J. Log. Comput.
Jurriaan Rot, Bart Jacobs, Paul Blain Levy
2020 A conf
A Big Step from Finite to Infinite Computations (SCICO Journal-first).
ECOOP
Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
2020 J jnl
A Categorical Framework for Learning Generalised Tree Automata.
CoRR
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2020 J jnl
A big step from finite to infinite computations.
Sci. Comput. Program.
Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
2020 — ed.
Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings
CMCS
Daniela Petrisan, Jurriaan Rot
2020 B conf
Expressive Logics for Coinductive Predicates.
CSL
Clemens Kupke, Jurriaan Rot
2020 J jnl
Expressive Logics for Coinductive Predicates.
CoRR
Clemens Kupke, Jurriaan Rot
2020 B conf
Learning Weighted Automata over Principal Ideal Domains.
FoSSaCS
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
2020 B conf
Partially Observable Concurrent Kleene Algebra.
CONCUR
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2020 J jnl
Partially Observable Concurrent Kleene Algebra.
CoRR
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2020 B conf
Preservation of Equations by Monoidal Monads.
MFCS
Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan
2020 J jnl
Preservation of Equations by Monoidal Monads.
CoRR
Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan
2020 — ed.
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020.
EXPRESS/SOS
Ornela Dardha, Jurriaan Rot
2020 B conf
Separation and Renaming in Nominal Sets.
CSL
Joshua Moerman, Jurriaan Rot
2020 J jnl
Steps and Traces.
CoRR
Jurriaan Rot, Bart Jacobs, Paul Blain Levy
2020 B conf
Up-to Techniques for Branching Bisimilarity.
SOFSEM
Rick Erkens, Jurriaan Rot, Bas Luttik
2020 J jnl
Up-to Techniques for Branching Bisimilarity.
CoRR
Rick Erkens, Jurriaan Rot, Bas Luttik
2019 J jnl
Bisimilarity of open terms in stream GSOS.
Sci. Comput. Program.
Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot
2019 B conf
Coalgebra Learning via Duality.
FoSSaCS
Simone Barlocco, Clemens Kupke, Jurriaan Rot
2019 J jnl
Coalgebra Learning via Duality.
CoRR
Simone Barlocco, Clemens Kupke, Jurriaan Rot
2019 J jnl
Companions, Causality and Codensity.
Log. Methods Comput. Sci.
Damien Pous, Jurriaan Rot
2019 B conf
Completeness and Incompleteness of Synchronous Kleene Algebra.
MPC
Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2019 J jnl
Completeness and Incompleteness of Synchronous Kleene Algebra.
CoRR
Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2019 J jnl
Distributive laws for monotone specifications.
Acta Informatica
Jurriaan Rot
2019 J jnl
Fast Computations on Ordered Nominal Sets.
CoRR
David Venhoek, Joshua Moerman, Jurriaan Rot
2019 B conf
Kleene Algebra with Observations.
CONCUR
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2019 J jnl
Learning Weighted Automata over Principal Ideal Domains.
CoRR
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
2019 — ed.
Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, 26th August 2019.
EXPRESS/SOS
Jorge A. Pérez, Jurriaan Rot
2019 J jnl
Separation and Renaming in Nominal Sets.
CoRR
Joshua Moerman, Jurriaan Rot
2019 B conf
Tree Automata as Algebras: Minimisation and Determinisation.
CALCO
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2019 J jnl
Tree Automata as Algebras: Minimisation and Determinisation.
CoRR
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2019 J jnl
Verifying OpenJDK's Sort Method for Generic Collections.
J. Autom. Reason.
Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel
2018 — conf
(In)finite Trace Equivalence of Probabilistic Transition Systems.
CMCS
Alexandre Goy, Jurriaan Rot
2018 J jnl
Bisimilarity of Open Terms in Stream GSOS.
CoRR
Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot
2018 J jnl
Coalgebraic Determinization of Alternating Automata.
CoRR
Meven Bertrand, Jurriaan Rot
2018 C conf
Fast Computations on Ordered Nominal Sets.
ICTAC
David Venhoek, Joshua Moerman, Jurriaan Rot
2018 J jnl
Kleene Algebra with Observations.
CoRR
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2018 — conf
Steps and Traces.
CMCS
Bart Jacobs, Paul Blain Levy, Jurriaan Rot
2017 J jnl
A general account of coinduction up-to.
Acta Informatica
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
2017 — conf
Bisimilarity of Open Terms in Stream GSOS.
FSEN
Filippo Bonchi, Matias David Lee, Jurriaan Rot
2017 J jnl
Companions, Causality and Codensity.
CoRR
Damien Pous, Jurriaan Rot
2017 B conf
Companions, Codensity and Causality.
FoSSaCS
Damien Pous, Jurriaan Rot
2017 — conf
Distributive Laws for Monotone Specifications.
EXPRESS/SOS
Jurriaan Rot
2017 J jnl
Enhanced coalgebraic bisimulation.
Math. Struct. Comput. Sci.
Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva
2017 B conf
Monoidal Company for Accessible Functors.
CALCO
Henning Basold, Damien Pous, Jurriaan Rot
2016 B conf
Coalgebraic Minimization of Automata by Initiality and Finality.
MFPS
Jurriaan Rot
2016 J jnl
Coalgebraic trace semantics via forgetful logics.
Log. Methods Comput. Sci.
Bartek Klin, Jurriaan Rot
2016 — conf
Duality of Equations and Coequations via Contravariant Adjunctions.
CMCS
Julian Salamanca, Marcello M. Bonsangue, Jurriaan Rot
2016 — conf
Effectively Eliminating Auxiliaries.
Theory and Practice of Formal Methods
Stijn de Gouw, Jurriaan Rot
2016 J jnl
Proving language inclusion and equivalence by coinduction.
Inf. Comput.
Jurriaan Rot, Marcello M. Bonsangue, Jan Rutten
2016 J jnl
Structural congruence for bialgebraic semantics.
J. Log. Algebraic Methods Program.
Jurriaan Rot, Marcello M. Bonsangue
2016 — ch.
Verification of Counting Sort and Radix Sort.
Deductive Software Verification
Stijn de Gouw, Frank S. de Boer, Jurriaan Rot
2015 B conf
Coalgebraic Trace Semantics via Forgetful Logics.
FoSSaCS
Bartek Klin, Jurriaan Rot
2015 J jnl
It is pointless to point in bounded heaps.
Sci. Comput. Program.
Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot
2015 B conf
Lax Bialgebras and Up-To Techniques for Weak Bisimulations.
CONCUR
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
2015 J jnl
Model checking recursive programs interacting via the heap.
Sci. Comput. Program.
Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
2015 — conf
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case.
CAV (1)
Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle
2015 J jnl
Presenting Distributive Laws.
Log. Methods Comput. Sci.
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
2014 — conf
A Coalgebraic Foundation for Coinductive Union Types.
ICALP (2)
Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten
2014 J jnl
Coinduction up to in a fibrational setting.
CoRR
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
2014 — conf
Coinduction up-to in a fibrational setting.
CSL-LICS
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
2014 B conf
Combining Bialgebraic Semantics and Equations.
FoSSaCS
Jurriaan Rot, Marcello M. Bonsangue
2014 J jnl
Proof Pearl: The KeY to Correct and Stable Sorting.
J. Autom. Reason.
Stijn de Gouw, Frank S. de Boer, Jurriaan Rot
2013 B conf
Coalgebraic Bisimulation-Up-To.
SOFSEM
Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten
2013 C conf
Coinductive Proof Techniques for Language Equivalence.
LATA
Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten
2013 B conf
Presenting Distributive Laws.
CALCO
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
2013 B conf
Rational Operational Models.
MFPS
Stefan Milius, Marcello M. Bonsangue, Robert S. R. Myers, Jurriaan Rot
2013 — conf
Unbounded Allocation in Bounded Heaps.
FSEN
Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue
2012 A conf
Automated Verification of Recursive Programs with Pointers.
IJCAR
Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot
2012 — conf
Bounded Model Checking of Recursive Programs with Pointers in K.
WADT
Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
2012 — conf
Interacting via the Heap in the Presence of Recursion
ICE
Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu
2012 — conf
On the specification of operations on the rational behaviour of systems
EXPRESS/SOS
Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot