( 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.

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

Bounded Model Checking of Recursive Programs with Pointers in K., , , , and . WADT, volume 7841 of Lecture Notes in Computer Science, page 59-76. Springer, (2012)A Coalgebraic Foundation for Coinductive Union Types., , , , and . ICALP (2), volume 8573 of Lecture Notes in Computer Science, page 62-73. Springer, (2014)Verifying OpenJDK's Sort Method for Generic Collections., , , , , and . J. Autom. Reason., 62 (1): 93-126 (2019)Expressive Logics for Coinductive Predicates., and . Log. Methods Comput. Sci., (2021)Steps and traces., , and . J. Log. Comput., 31 (6): 1482-1525 (2021)Corecursion Up-to via Causal Transformations., , and . CMCS, volume 13225 of Lecture Notes in Computer Science, page 133-154. Springer, (2022)A Categorical Framework for Learning Generalised Tree Automata., , , , and . CMCS, volume 13225 of Lecture Notes in Computer Science, page 67-87. Springer, (2022)Proving language inclusion and equivalence by coinduction., , and . Inf. Comput., (2016)Learning Weighted Automata over Principal Ideal Domains., , , and . FoSSaCS, volume 12077 of Lecture Notes in Computer Science, page 602-621. Springer, (2020)Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks., , , , , and . ESOP, volume 13240 of Lecture Notes in Computer Science, page 575-602. Springer, (2022)