Jurriaan Rot

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 90

Top Venues

CoRR

CMCS

FoSSaCS

Log. Methods Comput. Sci.

Publications

Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
Composing Codensity Bisimulations. CoRR (2024)
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
Composing Codensity Bisimulations. LICS (2024)
Loes Kruger, Sebastian Junges, Jurriaan Rot
Small Test Suites for Active Automata Learning. CoRR (2024)
Jurriaan Rot, Sebastian Junges, Harsh Beohar
Relating Apartness and Branching Bisimulation Games. Logics and Type Systems in Theory and Practice (2024)
Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo
A Unifying Approach to Product Constructions for Quantitative Temporal Inference. CoRR (2024)
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
Proving Behavioural Apartness. CoRR (2024)
Loes Kruger, Sebastian Junges, Jurriaan Rot
State Matching and Multiple References in Adaptive Active Automata Learning. CoRR (2024)
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
Proving Behavioural Apartness. CMCS (2024)
Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
A Categorical Approach to Coalgebraic Fixpoint Logic. CMCS (2024)
Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
A Categorical Approach to Coalgebraic Fixpoint Logic. CoRR (2024)
Damien Pous, Jurriaan Rot, Jana Wagemaker
On Tools for Completeness of Kleene Algebra with Hypotheses. Log. Methods Comput. Sci. 20 (2) (2024)
Loes Kruger, Sebastian Junges, Jurriaan Rot
Small Test Suites for Active Automata Learning. TACAS (2) (2024)
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. TACAS (2) (2024)
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. CoRR (2024)
Jurriaan Rot, Thorsten Wißmann
Bisimilar States in Uncertain Structures. CALCO (2023)
Jurriaan Rot, Thorsten Wißmann
Bisimilar States in Uncertain Structures. CoRR (2023)
Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
Forward and Backward Steps in a Fibration. CALCO (2023)
Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen
Preservation and Reflection of Bisimilarity via Invertible Steps. FoSSaCS (2023)
Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann
A New Approach for Active Automata Learning Based on Apartness. TACAS (1) (2022)
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Processes Parametrised by an Algebraic Theory. ICALP (2022)
David Venhoek, Joshua Moerman, Jurriaan Rot
Fast computations on ordered nominal sets. Theor. Comput. Sci. 935 (2022)
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks. CoRR (2022)
Sebastian Junges, Jurriaan Rot
Learning Language Intersections. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Damien Pous, Jurriaan Rot, Jana Wagemaker
On Tools for Completeness of Kleene Algebra with Hypotheses. CoRR (2022)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
A Categorical Framework for Learning Generalised Tree Automata. CMCS (2022)
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. ESOP (2022)
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Processes Parametrised by an Algebraic Theory. CoRR (2022)
Damien Pous, Jurriaan Rot, Ruben Turkenburg
Corecursion Up-to via Causal Transformations. CMCS (2022)
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation. CoRR (2021)
Jurriaan Rot, Bart Jacobs, Paul Blain Levy
Steps and traces. J. Log. Comput. 31 (6) (2021)
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. LICS (2021)
Clemens Kupke, Jurriaan Rot
Expressive Logics for Coinductive Predicates. Log. Methods Comput. Sci. 17 (4) (2021)
Damien Pous, Jurriaan Rot, Jana Wagemaker
On Tools for Completeness of Kleene Algebra with Hypotheses. RAMiCS (2021)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Learning Pomset Automata. FoSSaCS (2021)
Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann
A New Approach for Active Automata Learning Based on Apartness. CoRR (2021)
Todd Schmid, Jurriaan Rot, Alexandra Silva
On Star Expressions and Coalgebraic Completeness Theorems. CoRR (2021)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Learning Pomset Automata. CoRR (2021)
Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan
Preservation of Equations by Monoidal Monads. CoRR (2020)
Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
A Big Step from Finite to Infinite Computations (SCICO Journal-first). ECOOP (2020)
Joshua Moerman, Jurriaan Rot
Separation and Renaming in Nominal Sets. CSL (2020)
Clemens Kupke, Jurriaan Rot
Expressive Logics for Coinductive Predicates. CoRR (2020)
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
Learning Weighted Automata over Principal Ideal Domains. FoSSaCS (2020)
Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
A big step from finite to infinite computations. Sci. Comput. Program. 197 (2020)
Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan
Preservation of Equations by Monoidal Monads. MFCS (2020)
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Partially Observable Concurrent Kleene Algebra. CoRR (2020)
Rick Erkens, Jurriaan Rot, Bas Luttik
Up-to Techniques for Branching Bisimilarity. SOFSEM (2020)
Clemens Kupke, Jurriaan Rot
Expressive Logics for Coinductive Predicates. CSL (2020)
Jurriaan Rot, Bart Jacobs, Paul Blain Levy
Steps and Traces. CoRR (2020)
Rick Erkens, Jurriaan Rot, Bas Luttik
Up-to Techniques for Branching Bisimilarity. CoRR (2020)
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Partially Observable Concurrent Kleene Algebra. CONCUR (2020)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
A Categorical Framework for Learning Generalised Tree Automata. CoRR (2020)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Tree Automata as Algebras: Minimisation and Determinisation. CoRR (2019)
David Venhoek, Joshua Moerman, Jurriaan Rot
Fast Computations on Ordered Nominal Sets. CoRR (2019)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Tree Automata as Algebras: Minimisation and Determinisation. CALCO (2019)
Jurriaan Rot
Distributive laws for monotone specifications. Acta Informatica 56 (7-8) (2019)
Simone Barlocco, Clemens Kupke, Jurriaan Rot
Coalgebra Learning via Duality. FoSSaCS (2019)
Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Completeness and Incompleteness of Synchronous Kleene Algebra. MPC (2019)
Joshua Moerman, Jurriaan Rot
Separation and Renaming in Nominal Sets. CoRR (2019)
Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot
Bisimilarity of open terms in stream GSOS. Sci. Comput. Program. 172 (2019)
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
Learning Weighted Automata over Principal Ideal Domains. CoRR (2019)
Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Completeness and Incompleteness of Synchronous Kleene Algebra. CoRR (2019)
Damien Pous, Jurriaan Rot
Companions, Causality and Codensity. Log. Methods Comput. Sci. 15 (3) (2019)
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Kleene Algebra with Observations. CONCUR (2019)
Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel
Verifying OpenJDK's Sort Method for Generic Collections. J. Autom. Reason. 62 (1) (2019)
Simone Barlocco, Clemens Kupke, Jurriaan Rot
Coalgebra Learning via Duality. CoRR (2019)
Alexandre Goy, Jurriaan Rot
(In)finite Trace Equivalence of Probabilistic Transition Systems. CMCS (2018)
Meven Bertrand, Jurriaan Rot
Coalgebraic Determinization of Alternating Automata. CoRR (2018)
David Venhoek, Joshua Moerman, Jurriaan Rot
Fast Computations on Ordered Nominal Sets. ICTAC (2018)
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Kleene Algebra with Observations. CoRR (2018)
Bart Jacobs, Paul Blain Levy, Jurriaan Rot
Steps and Traces. CMCS (2018)
Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot
Bisimilarity of Open Terms in Stream GSOS. CoRR (2018)
Damien Pous, Jurriaan Rot
Companions, Causality and Codensity. CoRR (2017)
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
A general account of coinduction up-to. Acta Informatica 54 (2) (2017)
Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva
Enhanced coalgebraic bisimulation. Math. Struct. Comput. Sci. 27 (7) (2017)
Jurriaan Rot
Distributive Laws for Monotone Specifications. EXPRESS/SOS (2017)
Filippo Bonchi, Matias David Lee, Jurriaan Rot
Bisimilarity of Open Terms in Stream GSOS. FSEN (2017)
Henning Basold, Damien Pous, Jurriaan Rot
Monoidal Company for Accessible Functors. CALCO (2017)
Damien Pous, Jurriaan Rot
Companions, Codensity and Causality. FoSSaCS (2017)
Bartek Klin, Jurriaan Rot
Coalgebraic trace semantics via forgetful logics. Log. Methods Comput. Sci. 12 (4) (2016)
Stijn de Gouw, Jurriaan Rot
Effectively Eliminating Auxiliaries. Theory and Practice of Formal Methods (2016)
Jurriaan Rot
Coalgebraic Minimization of Automata by Initiality and Finality. MFPS (2016)
Jurriaan Rot, Marcello M. Bonsangue, Jan Rutten
Proving language inclusion and equivalence by coinduction. Inf. Comput. 246 (2016)
Julian Salamanca, Marcello M. Bonsangue, Jurriaan Rot
Duality of Equations and Coequations via Contravariant Adjunctions. CMCS (2016)
Jurriaan Rot, Marcello M. Bonsangue
Structural congruence for bialgebraic semantics. J. Log. Algebraic Methods Program. 85 (6) (2016)
Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
Model checking recursive programs interacting via the heap. Sci. Comput. Program. 100 (2015)
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
Lax Bialgebras and Up-To Techniques for Weak Bisimulations. CONCUR (2015)
Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. CAV (1) (2015)
Bartek Klin, Jurriaan Rot
Coalgebraic Trace Semantics via Forgetful Logics. FoSSaCS (2015)
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
Presenting Distributive Laws. Log. Methods Comput. Sci. 11 (3) (2015)
Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot
It is pointless to point in bounded heaps. Sci. Comput. Program. 112 (2015)
Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten
A Coalgebraic Foundation for Coinductive Union Types. ICALP (2) (2014)
Stijn de Gouw, Frank S. de Boer, Jurriaan Rot
Proof Pearl: The KeY to Correct and Stable Sorting. J. Autom. Reason. 53 (2) (2014)
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
Coinduction up-to in a fibrational setting. CSL-LICS (2014)
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot
Coinduction up to in a fibrational setting. CoRR (2014)
Jurriaan Rot, Marcello M. Bonsangue
Combining Bialgebraic Semantics and Equations. FoSSaCS (2014)
Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten
Coinductive Proof Techniques for Language Equivalence. LATA (2013)
Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue
Unbounded Allocation in Bounded Heaps. FSEN (2013)
Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten
Coalgebraic Bisimulation-Up-To. SOFSEM (2013)
Stefan Milius, Marcello M. Bonsangue, Robert S. R. Myers, Jurriaan Rot
Rational Operational Models. MFPS (2013)
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
Presenting Distributive Laws. CALCO (2013)

Jurriaan Rot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jurriaan Rot