Jurriaan Rot

According to our database, Jurriaan Rot authored at least 70 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

On Tools for Completeness of Kleene Algebra with Hypotheses.

Damien Pous, Jurriaan Rot, Jana Wagemaker

Log. Methods Comput. Sci., 2024

A Unifying Approach to Product Constructions for Quantitative Temporal Inference.

Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo

CoRR, 2024

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.

Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, Sebastian Junges

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Small Test Suites for Active Automata Learning.

Loes Kruger, Sebastian Junges, Jurriaan Rot

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Composing Codensity Bisimulations.

Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

State Matching and Multiple References in Adaptive Active Automata Learning.

Loes Kruger, Sebastian Junges, Jurriaan Rot

Proceedings of the Formal Methods - 26th International Symposium, 2024

Proving Behavioural Apartness.

Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot

Proceedings of the Coalgebraic Methods in Computer Science, 2024

A Categorical Approach to Coalgebraic Fixpoint Logic.

Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg

Proceedings of the Coalgebraic Methods in Computer Science, 2024

Relating Apartness and Branching Bisimulation Games.

Jurriaan Rot, Sebastian Junges, Harsh Beohar

Proceedings of the Logics and Type Systems in Theory and Practice, 2024

2023

Preservation and Reflection of Bisimilarity via Invertible Steps.

Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen

Proceedings of the Foundations of Software Science and Computation Structures, 2023

Forward and Backward Steps in a Fibration.

Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

Bisimilar States in Uncertain Structures.

Jurriaan Rot, Thorsten Wißmann

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Fast computations on ordered nominal sets.

David Venhoek, Joshua Moerman, Jurriaan Rot

Theor. Comput. Sci., 2022

A New Approach for Active Automata Learning Based on Apartness.

Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Processes Parametrised by an Algebraic Theory.

Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks.

Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva

Proceedings of the Programming Languages and Systems, 2022

Corecursion Up-to via Causal Transformations.

Damien Pous, Jurriaan Rot, Ruben Turkenburg

Proceedings of the Coalgebraic Methods in Computer Science, 2022

A Categorical Framework for Learning Generalised Tree Automata.

Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva

Proceedings of the Coalgebraic Methods in Computer Science, 2022

Learning Language Intersections.

Sebastian Junges, Jurriaan Rot

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Steps and traces.

Jurriaan Rot, Bart Jacobs, Paul Blain Levy

J. Log. Comput., 2021

Expressive Logics for Coinductive Predicates.

Clemens Kupke, Jurriaan Rot

Log. Methods Comput. Sci., 2021

On Star Expressions and Coalgebraic Completeness Theorems.

Todd Schmid, Jurriaan Rot, Alexandra Silva

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation.

Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Learning Pomset Automata.

Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

A big step from finite to infinite computations.

Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca

Sci. Comput. Program., 2020

Up-to Techniques for Branching Bisimilarity.

Rick Erkens, Jurriaan Rot, Bas Luttik

Proceedings of the SOFSEM 2020: Theory and Practice of Computer Science, 2020

Preservation of Equations by Monoidal Monads.

Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

Learning Weighted Automata over Principal Ideal Domains.

Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva

Proceedings of the Foundations of Software Science and Computation Structures, 2020

A Big Step from Finite to Infinite Computations (SCICO Journal-first).

Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Separation and Renaming in Nominal Sets.

Joshua Moerman, Jurriaan Rot

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

Partially Observable Concurrent Kleene Algebra.

Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Bisimilarity of open terms in stream GSOS.

Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot

Sci. Comput. Program., 2019

Companions, Causality and Codensity.

Damien Pous, Jurriaan Rot

Log. Methods Comput. Sci., 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

Completeness and Incompleteness of Synchronous Kleene Algebra.

Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

Coalgebra Learning via Duality.

Simone Barlocco, Clemens Kupke, Jurriaan Rot

Proceedings of the Foundations of Software Science and Computation Structures, 2019

Kleene Algebra with Observations.

Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Tree Automata as Algebras: Minimisation and Determinisation.

Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018

Coalgebraic Determinization of Alternating Automata.

Meven Bertrand, Jurriaan Rot

CoRR, 2018

(In)finite Trace Equivalence of Probabilistic Transition Systems.

Alexandre Goy, Jurriaan Rot

Proceedings of the Coalgebraic Methods in Computer Science, 2018

2017

Enhanced coalgebraic bisimulation.

Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva

Math. Struct. Comput. Sci., 2017

Distributive Laws for Monotone Specifications.

Jurriaan Rot

Proceedings of the Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, 2017

A general account of coinduction up-to.

Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot

Acta Informatica, 2017

Bisimilarity of Open Terms in Stream GSOS.

Filippo Bonchi, Matias David Lee, Jurriaan Rot

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

Companions, Codensity and Causality.

Damien Pous, Jurriaan Rot

Proceedings of the Foundations of Software Science and Computation Structures, 2017

Monoidal Company for Accessible Functors.

Henning Basold, Damien Pous, Jurriaan Rot

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Verification of Counting Sort and Radix Sort.

Stijn de Gouw, Frank S. de Boer, Jurriaan Rot

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Structural congruence for bialgebraic semantics.

Jurriaan Rot, Marcello M. Bonsangue

J. Log. Algebraic Methods Program., 2016

Proving language inclusion and equivalence by coinduction.

Jurriaan Rot, Marcello M. Bonsangue, Jan Rutten

Inf. Comput., 2016

Coalgebraic Minimization of Automata by Initiality and Finality.

Jurriaan Rot

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

Coalgebraic trace semantics via forgetful logics.

Bartek Klin, Jurriaan Rot

Log. Methods Comput. Sci., 2016

Duality of Equations and Coequations via Contravariant Adjunctions.

Julian Salamanca, Marcello M. Bonsangue, Jurriaan Rot

Proceedings of the Coalgebraic Methods in Computer Science, 2016

Effectively Eliminating Auxiliaries.

Stijn de Gouw, Jurriaan Rot

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

It is pointless to point in bounded heaps.

Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot

Sci. Comput. Program., 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

Presenting Distributive Laws.

Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot

Log. Methods Comput. Sci., 2015

Lax Bialgebras and Up-To Techniques for Weak Bisimulations.

Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot

Proceedings of the 26th International Conference on Concurrency Theory, 2015

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

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Proof Pearl: The KeY to Correct and Stable Sorting.

Stijn de Gouw, Frank S. de Boer, Jurriaan Rot

J. Autom. Reason., 2014

A Coalgebraic Foundation for Coinductive Union Types.

Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Combining Bialgebraic Semantics and Equations.

Jurriaan Rot, Marcello M. Bonsangue

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Coinduction up-to in a fibrational setting.

Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Rational Operational Models.

Stefan Milius, Marcello M. Bonsangue, Robert S. R. Myers, Jurriaan Rot

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Coalgebraic Bisimulation-Up-To.

Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten

Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

Coinductive Proof Techniques for Language Equivalence.

Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten

Proceedings of the Language and Automata Theory and Applications, 2013

Unbounded Allocation in Bounded Heaps.

Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2012

Interacting via the Heap in the Presence of Recursion

Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

On the specification of operations on the rational behaviour of systems

Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot

Proceedings of the Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Automated Verification of Recursive Programs with Pointers.

Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012