I agree that this site is using cookies. You can find further informations here.
X
Rot, Jurriaan
157  results:
Search for persons X
?
1

Small Test Suites for Active Automata Learning:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Kruger, Loes ; Junges, Sebastian ; Rot, Jurriaan - p. 109-129 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Pareto Curves for Compositionally Model Checking String Dia..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Watanabe, Kazuki ; van der Vegt, Marck ; Hasuo, Ichiro.. - p. 279-298 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Relating Apartness and Branching Bisimulation Games:

, In: Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice,
Rot, Jurriaan ; Junges, Sebastian ; Beohar, Harsh - p. 203-213 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Composing Codensity Bisimulations:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,
Kori, Mayuko ; Watanabe, Kazuki ; Rot, Jurriaan. - p. 1-13 , 2024
Link: https://dl.acm.org/doi/1..
 
?
5

Preservation and Reflection of Bisimilarity via Invertible ..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Turkenburg, Ruben ; Kupke, Clemens ; Rot, Jurriaan. - p. 328-348 , 2023
Link: https://doi.org/10.1007/..
 
?
6

A New Approach for Active Automata Learning Based on Apartn..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Vaandrager, Frits ; Garhewal, Bharat ; Rot, Jurriaan. - p. 223-243 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Concurrent NetKAT: Modeling and analyzing stateful, concurr..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Wagemaker, Jana ; Foster, Nate ; Kappé, Tobias... - p. 575-602 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Fast computations on ordered nominal sets:

Venhoek, David ; Moerman, Joshua ; Rot, Jurriaan
Theoretical Computer Science.  935 (2022)  - p. 82-104 , 2022
Link: https://doi.org/10.1016/..
 
?
9

Learning Language Intersections:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,
Junges, Sebastian ; Rot, Jurriaan - p. 371-381 , 2022
Link: https://doi.org/10.1007/..
 
?
10

A Categorical Framework for Learning Generalised Tree Autom..:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,
Heerdt, Gerco van ; Kappé, Tobias ; Rot, Jurriaan.. - p. 67-87 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Corecursion Up-to via Causal Transformations:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,
Pous, Damien ; Rot, Jurriaan ; Turkenburg, Ruben - p. 133-154 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Expressive Logics for Coinductive Predicates:

Kupke, Clemens ; Rot, Jurriaan
Logical Methods in Computer Science.  17, Issue 4 (2021)  - p. , 2021
Link: https://doi.org/10.46298..
 
?
13

Expressivity of quantitative modal logics categorical found..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Komorida, Yuichi ; Katsumata, Shin-ya ; Kupke, Clemens.. - p. 1-14 , 2021
Link: https://dl.acm.org/doi/1..
 
?
14

Steps and traces:

Rot, Jurriaan ; Jacobs, Bart ; Levy, Paul Blain
Journal of Logic and Computation.  31 (2021)  6 - p. 1482-1525 , 2021
Link: https://doi.org/10.1093/..
 
?
15

Learning Pomset Automata:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
van Heerdt, Gerco ; Kappé, Tobias ; Rot, Jurriaan. - p. 510-530 , 2021
Link: https://doi.org/10.1007/..
 
1-15