( en | de | ru )

 

Disambiguation of "Rot, Jurriaan"

Author of the publication

copydeleteadd this publication to your clipboard
A Big Step from Finite to Infinite Computations (SCICO Journal-first).

, , , and . ECOOP, volume 166 of LIPIcs, page 32:1-32:2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jurriaan Feijth

Sergej Rot

Jurriaan Schulman

Jurriaan Souer

Jurriaan Schulman

 

Other publications of authors with the same name

On Star Expressions and Coalgebraic Completeness Theorems., , and . MFPS, volume 351 of EPTCS, page 242-259. (2021)Preservation and Reflection of Bisimilarity via Invertible Steps., , , and . FoSSaCS, volume 13992 of Lecture Notes in Computer Science, page 328-348. Springer, (2023)Learning Language Intersections., and . A Journey from Process Algebra via Timed Automata to Model Learning, volume 13560 of Lecture Notes in Computer Science, page 371-381. Springer, (2022)Fast Computations on Ordered Nominal Sets., , and . ICTAC, volume 11187 of Lecture Notes in Computer Science, page 493-512. Springer, (2018)Up-to Techniques for Branching Bisimilarity., , and . SOFSEM, volume 12011 of Lecture Notes in Computer Science, page 285-297. Springer, (2020)Effectively Eliminating Auxiliaries., and . Theory and Practice of Formal Methods, volume 9660 of Lecture Notes in Computer Science, page 226-241. Springer, (2016)Composing Codensity Bisimulations., , , and . LICS, page 52:1-52:13. ACM, (2024)Expressive Logics for Coinductive Predicates., and . CSL, volume 152 of LIPIcs, page 26:1-26:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Forward and Backward Steps in a Fibration., , , and . CALCO, volume 270 of LIPIcs, page 6:1-6:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation., , , , and . LICS, page 1-14. IEEE, (2021)