Publications

  • Frits Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann.
    A New Approach for Active Automata Learning Based on Apartness.
    To appear in proceedings TACAS 2022. arXiv
  • Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva.
    Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks.
    To appear in proceedings of ESOP 2022. arXiv
  • Clemens Kupke, Jurriaan Rot.
    Expressive Logics for Coinductive Predicates.
    LMCS, special issue CSL 2020. Volume 3, issue 3. Available here
  • Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo.
    Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation.
    LICS 2021, IEEE. arXiv
  • Jurriaan Rot, Bart Jacobs, Paul Levy.
    Steps and Traces.
    Journal of Logic and Computation – special issue of CMCS 2018. Extended version of a CMCS 2018 paper. Volume 31, Issue 6, 2021. Available here, and on arXiv
  • Damien Pous, Jurriaan Rot, Jana Wagemaker.
    On Tools for Completeness of Kleene Algebra with Hypotheses.
    RAMiCS 2021, LNCS 13027, Springer. HAL
  • Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva.
    Learning Pomset Automata.
    FoSSaCS 2021, LNCS 12650, Springer. arXiv
  • Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca.
    A Big Step from Finite to Infinite Computations.
    Science of Computer Programming: Special issue of ECOOP 2020, volume 197.
  • Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot and Alexandra Silva.
    Partially Observable Concurrent Kleene Algebra.
    CONCUR 2020, LIPIcs 171. Available here
  • Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva.
    Learning Weighted Automata over Principal Ideal Domains.
    FoSSaCS 2020, LNCS 12077, Springer. arXiv
  • Louis Parlant, Jurriaan Rot, Alexandra Silva and Bas Westerbaan.
    Preservation of Equations by Monoidal Monads.
    MFCS 2020. LIPIcs 170, available here
  • Clemens Kupke, Jurriaan Rot.
    Expressive Logics for Coinductive Predicates.
    CSL 2020, LIPIcs 152, available here.
  • Joshua Moerman, Jurriaan Rot.
    Separated nominal automata.
    CSL 2020, LIPIcs 152, available here.
  • Rick Erkens, Jurriaan Rot, Bas Luttik.
    Up-to Techniques for Branching Bisimilarity.
    SOFSEM 2020, LNCS 12011, Springer. arXiv
  • Damien Pous, Jurriaan Rot.
    Companions, Causality and Codensity.
    LMCS – special issue of FoSSaCS 2017, volume 3, issue 3. Available here.
  • Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi.
    Kleene Algebra with Observations.
    CONCUR 2019. LIPIcs, available here. arXiv
  • Jana Wagemaker, Marcello Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva.
    Completeness and Incompleteness of Synchronous Kleene Algebra.
    MPC 2019. LNCS 11825, Springer. arXiv
  • Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva.
    Tree Automata as Algebras: Minimisation and Determinisation.
    CALCO 2019. LIPIcs, available here. Pre-print available on arXiv.
  • Simone Barlocco, Clemens Kupke, Jurriaan Rot.
    Coalgebra Learning via Duality.
    FoSSaCS 2019. LNCS 11425, Springer.
    Extended pre-print available on arXiv.
  • Filippo Bonchi, Tom van Bussel, Matias Lee, Jurriaan Rot.
    Bisimilarity of open terms in stream GSOS.
    Science of Computer Programming, special issue FSEN 2017, Volume 172, pages 1-26, 2019.
    https://doi.org/10.1016/j.scico.2018.10.007, pre-print available on arXiv.
    Extended version of an FSEN 2017 paper.
  • Jurriaan Rot.
    Distributive Laws for Monotone Specifications.
    Acta Informatica, special issue of EXPRESS/SOS ’16/’17, Volume 56, 2019. Available here. Extended version of an EXPRESS/SOS 2017 paper.
  • David Venhoek, Joshua Moerman, Jurriaan Rot.
    Fast Computations on Ordered Nominal Sets
    ICTAC 2018. LNCS 11187, Springer. pdf. Extended version available here.
  • Bart Jacobs, Paul Levy, Jurriaan Rot.
    Steps and Traces.
    CMCS 2018. LNCS 11202, Springer. pdf. Extended version available here.
  • Alexandre Goy, Jurriaan Rot.
    (In)finite trace equivalence of Probabilistic Transition Systems.
    CMCS 2018. LNCS 11202, Springer. pdf
  • Jurriaan Rot.
    Distributive Laws for Monotone Specifications.
    EXPRESS/SOS 2017. EPTCS volume 255, pages 83-97. Available here.
  • Henning Basold, Damien Pous, Jurriaan Rot.
    Monoidal company for accessible functors.
    CALCO 2017. LIPIcs volume 72. Available here.
  • Jurriaan Rot, Filippo Bonchi, Marcello Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva.
    Enhanced coalgebraic bisimulation.
    MSCS, volume 27, number 7, 2017. pdf
  • Damien Pous, Jurriaan Rot.
    Companions, Codensity and Causality.
    FoSSaCS 2017. LNCS 10203, pages 106–123, 2017. Available here.
  • Filippo Bonchi, Matias Lee, Jurriaan Rot.
    Bisimilarity of Open Terms in Stream GSOS.
    FSEN 2017. LNCS 10522, pages 35-50.
  • Stijn de Gouw, Frank de Boer, Richard Bubel, Reiner Haehnle, Jurriaan Rot, Dominic Steinhofel.
    Verifying OpenJDK’s sort method for generic collections.
    Journal of Automated Reasoning, Volume 62, 2019 (First online 2017).
  • Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot.
    A general account of coinduction up-to.
    Acta Informatica, special issue of CONCUR 2015, volume 54, issue 2, pages 127–190, 2017. Extended version of (CONCUR 2015) and (CSL-LICS 2014).
  • Bartek Klin, Jurriaan Rot.
    Coalgebraic Trace Semantics via Forgetful Logics.
    Logical Methods in Computer Science – special issue FoSSaCS 2015, volume 12, issue 4, 2016. Available here.
  • Jurriaan Rot, Marcello Bonsangue.
    Structural Congruence for Bialgebraic Semantics.
    Journal of Logical and Algebraic Methods in Programming, special issue of NWPT 2013, volume 85, issue 6, pages 1268–1291, 2016. Extended version of (FoSSaCS 2014). pdf
  • Jurriaan Rot.
    Coalgebraic minimization of automata by initiality and finality.
    MFPS 2016, ENTCS 325, pages 253–276, 2016. pdf
  • Julian Salamanca, Marcello Bonsangue, Jurriaan Rot.
    Duality of Equations and Coequations via Contravariant Adjunctions.
    CMCS 2016. LNCS 9608, Springer, pages 73-93. full version (pdf)
  • Stijn de Gouw, Jurriaan Rot.
    Effectively eliminating auxiliaries.
    Theory and practice of formal methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. LNCS 9660, Springer, pages 226-241. pdf
  • Jurriaan Rot, Marcello M. Bonsangue, Jan J.M.M. Rutten.
    Proving Language Inclusion and Equivalence by Coinduction.
    Information and Computation, Volume 246, 2016. Extended version of (LATA 2013). pdf
  • Jurriaan Rot.
    Enhanced Coinduction.
    PhD thesis, Leiden University. pdf
  • Stijn de Gouw, Jurriaan Rot, Frank de Boer, Richard Bubel, Reiner Haehnle.
    OpenJDK’s java.utils.Collection.sort() is broken: The good, the bad and the worst case.
    CAV 2015. LNCS 9206, Springer, pages 273–289. pdf
  • Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz and Jurriaan Rot.
    Presenting Distributive Laws.
    Logical Methods in Computer Science (special issue CALCO 2013).
    Extended version of (CALCO 2013), available here
  • 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., Volume 100, pages 61-83, 2015. Extended version of (ICE 2012).
  • Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot.
    It is pointless to point in bounded heaps.
    Sci. Comput. Program., Volume 112, pages 102-118, 2015. Extended version of (FSEN 2013).
  • Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot.
    Lax bialgebras and Up-To Techniques for Weak Bisimulations.
    CONCUR 2015. LIPIcs, available here
  • Bartek Klin, Jurriaan Rot.
    Coalgebraic trace semantics via forgetful logics.
    FoSSaCS 2015, LNCS 9034, Springer, pages 151–166. full version (pdf)
  • Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank de Boer, Jan Rutten.
    A Coalgebraic Foundation for Coinductive Union Types.
    ICALP 2014. LNCS 8573, Springer, pages 62-73. pdf
  • Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot.
    Coinduction up-to in a Fibrational Setting.
    CSL-LICS 2014, ACM. Full version available here.
  • Jurriaan Rot, Marcello M. Bonsangue.
    Combining Bialgebraic Semantics and Equations.
    FoSSaCS 2014. LNCS 8412, Springer, pages 381-395. pdf
  • Stijn de Gouw, Frank de Boer, Jurriaan Rot
    Proof Pearl: The KeY to Correct and Stable Sorting.
    Journal of Automated Reasoning. Volume 53, Number 2, pages 129-139.
    A modified version of this paper appeared as chapter 19 of
    Deductive Software Verification – The KeY Book – From Theory to Practice, LNCS 10001, 2016. Available here, also see the website of the book.
  • Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz and Jurriaan Rot.
    Presenting Distributive Laws.
    5th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2013).
    LNCS 8089, Springer, pages 95-109. An extended version appeared in LMCS, see above.
  • Jurriaan Rot, Joost Winter.
    On Language Equations and Grammar Coalgebras for Context-free Languages.
    CALCO Early Ideas 2013.
  • Stefan Milius, Marcello Bonsangue, Rob Myers and Jurriaan Rot.
    Rational Operational Models.
    Twenty-Ninth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIX).
    ENTCS 298, pages 257-282. pdf
  • Jurriaan Rot, Marcello M. Bonsangue, Jan J.M.M. Rutten.
    Coinductive Proof Techniques for Language Equivalence.
    7th International Conference on Language and Automata Theory and Applications (LATA 2013).

    LNCS 7810, Springer, pages 480-492.

  • Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue
    Unbounded allocation in bounded heaps.
    5th IPM International Conference on Fundamentals of Software Engineering (FSEN 2013).

    LNCS 8161, Springer, pages 1-16.

  • Jurriaan Rot, Marcello M. Bonsangue, Jan J.M.M. Rutten.
    Coalgebraic Bisimulation-up-to.
    39th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2013).

    LNCS 7741, Springer, pages 369-381.

  • Marcello M. Bonsangue, Stefan Milius and Jurriaan Rot.
    On the specification of operations on the rational behaviour of systems.
    Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (EXPRESS/SOS 2012).

    EPTCS 89, 2012, pages 3-18. pdf

  • Jurriaan Rot, Irina M. Asavoae, Frank S. De Boer, Marcello M. Bonsangue, Dorel Lucanu.
    Interacting via the Heap in the Presence of Recursion.
    Fifth Interaction and Concurrency Experience (ICE 2012).

    EPTCS 104, pages 99-113. pdf

  • Irina M. Asavoae, Frank S. De Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot.
    Bounded Model Checking of Recursive Programs with Pointers in K.
    21st International Workshop on Algebraic Development Techniques (WADT 2012).

    LNCS 7841, Springer, pages 59-76.

  • Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot.
    Automated verification of recursive programs with pointers.
    6th International Joint Conference on Automated Reasoning (IJCAR 2012).

    LNAI 7364, Springer, pages 149-163.