Jurriaan Rot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
46
Venues
19
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
46 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | GKAT with Hoare Hypotheses. | Jurriaan Rot, Todd Schmid, Jana Wagemaker |
| 2026 | CSL | Constructing Witnesses for Lower Bounds on Behavioural Distances. | Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot |
| 2026 | FM | Error-Awareness Accelerates Active Automata Learning. | Loes Kruger, Sebastian Junges, Jurriaan Rot |
| 2025 | CALCO | Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl). | Thorsten Wimann, Blint Kocsis, Jurriaan Rot, Ruben Turkenburg |
| 2025 | CPP | Intrinsically Correct Sorting in Cubical Agda. | Cass Alexandru, Vikraman Choudhury, Jurriaan Rot, Niels van der Weide |
| 2025 | CSL | Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach. | Samuel Humeau, Daniela Petrisan, Jurriaan Rot |
| 2025 | FOSSACS | Complete Test Suites for Automata in Monoidal Closed Categories. | Blint Kocsis, Jurriaan Rot |
| 2025 | FOSSACS | Relational Connectors and Heterogeneous Simulations. | Pedro Nora, Jurriaan Rot, Lutz Schrder, Paul Wild |
| 2025 | LICS | Initial Algebra Correspondence under Reachability Conditions. | Mayuko Kori, Kazuki Watanabe, Jurriaan Rot |
| 2024 | FM | State Matching and Multiple References in Adaptive Active Automata Learning. | Loes Kruger, Sebastian Junges, Jurriaan Rot |
| 2024 | IFM | Correct and Complete Symbolic Execution for Free. | Erik Voogd, Einar Broch Johnsen, smund Aqissiaq Arild Klvstad, Jurriaan Rot, Alexandra Silva |
| 2024 | LICS | Composing Codensity Bisimulations. | Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata |
| 2024 | TACAS | Small Test Suites for Active Automata Learning. | Loes Kruger, Sebastian Junges, Jurriaan Rot |
| 2024 | TACAS | Pareto Curves for Compositionally Model Checking String Diagrams of MDPs. | Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges |
| 2023 | CALCO | Bisimilar States in Uncertain Structures. | Jurriaan Rot, Thorsten Wimann |
| 2023 | CALCO | Forward and Backward Steps in a Fibration. | Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot |
| 2023 | FOSSACS | Preservation and Reflection of Bisimilarity via Invertible Steps. | Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen |
| 2022 | ESOP | Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. | Jana Wagemaker, Nate Foster, Tobias Kapp, Dexter Kozen, Jurriaan Rot, Alexandra Silva |
| 2022 | ICALP | Processes Parametrised by an Algebraic Theory. | Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot |
| 2022 | TACAS | A New Approach for Active Automata Learning Based on Apartness. | Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wimann |
| 2021 | FOSSACS | Learning Pomset Automata. | Gerco van Heerdt, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2021 | LICS | Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. | Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo |
| 2020 | CONCUR | Partially Observable Concurrent Kleene Algebra. | Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2020 | CSL | Expressive Logics for Coinductive Predicates. | Clemens Kupke, Jurriaan Rot |
| 2020 | CSL | Separation and Renaming in Nominal Sets. | Joshua Moerman, Jurriaan Rot |
| 2020 | ECOOP | A Big Step from Finite to Infinite Computations (SCICO Journal-first). | Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca |
| 2020 | FOSSACS | Learning Weighted Automata over Principal Ideal Domains. | Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva |
| 2020 | MFCS | Preservation of Equations by Monoidal Monads. | Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan |
| 2020 | SOFSEM | Up-to Techniques for Branching Bisimilarity. | Rick Erkens, Jurriaan Rot, Bas Luttik |
| 2019 | CALCO | Tree Automata as Algebras: Minimisation and Determinisation. | Gerco van Heerdt, Tobias Kapp, Jurriaan Rot, Matteo Sammartino, Alexandra Silva |
| 2019 | CONCUR | Kleene Algebra with Observations. | Tobias Kapp, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2019 | FOSSACS | Coalgebra Learning via Duality. | Simone Barlocco, Clemens Kupke, Jurriaan Rot |
| 2019 | MPC | Completeness and Incompleteness of Synchronous Kleene Algebra. | Jana Wagemaker, Marcello M. Bonsangue, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2018 | ICTAC | Fast Computations on Ordered Nominal Sets. | David Venhoek, Joshua Moerman, Jurriaan Rot |
| 2017 | CALCO | Monoidal Company for Accessible Functors. | Henning Basold, Damien Pous, Jurriaan Rot |
| 2017 | FOSSACS | Companions, Codensity and Causality. | Damien Pous, Jurriaan Rot |
| 2015 | CAV | 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 Hhnle |
| 2015 | CONCUR | Lax Bialgebras and Up-To Techniques for Weak Bisimulations. | Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
| 2015 | FOSSACS | Coalgebraic Trace Semantics via Forgetful Logics. | Bartek Klin, Jurriaan Rot |
| 2014 | CSL | Coinduction up-to in a fibrational setting. | Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot |
| 2014 | FOSSACS | Combining Bialgebraic Semantics and Equations. | Jurriaan Rot, Marcello M. Bonsangue |
| 2014 | ICALP | A Coalgebraic Foundation for Coinductive Union Types. | Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten |
| 2013 | CALCO | Presenting Distributive Laws. | Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot |
| 2013 | LATA | Coinductive Proof Techniques for Language Equivalence. | Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2013 | SOFSEM | Coalgebraic Bisimulation-Up-To. | Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2012 | CADE | Automated Verification of Recursive Programs with Pointers. | Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot |