J. Rot
发表
Jurriaan Rot,
Marcello M. Bonsangue,
F. S. deBoer,
2010
.
J. Rot,
2020
.
Gerco van Heerdt,
Matteo Sammartino,
Alexandra Silva,
2020,
ArXiv.
J. Rot,
2020
.
J. Rutten,
Alexandra Silva,
D. Pous,
2016
.
Alexandra Silva,
Jurriaan Rot,
Clemens Kupke,
2019,
FoSSaCS.
D. Pous,
F. Bonchi,
J. Rot,
2017
.
M. Bonsangue,
F. D. Boer,
J. Rot,
2017
.
Bart Jacobs,
Jurriaan Rot,
Paul Blain Levy,
2018,
CMCS.
Alexandra Silva,
P. Brunet,
J. Rot,
2018
.
D. Kozen,
Nate Foster,
Alexandra Silva,
2022,
ESOP.
D. Pous,
J. Rot,
R. Turkenburg,
2022,
CMCS.
J. Rot,
2007
.
Gerco van Heerdt,
Matteo Sammartino,
Alexandra Silva,
2020,
International Workshop on Coalgebraic Methods in Computer Science.
Gerco van Heerdt,
Alexandra Silva,
J. Rot,
2021,
FoSSaCS.
Gerco van Heerdt,
Alexandra Silva,
J. Rot,
2019,
FoSSaCS.
Alexandra Silva,
Jurriaan Rot,
Tobias Kappé,
2019,
CALCO.
Jurriaan Rot,
Clemens Kupke,
Simone Barlocco,
2019,
FoSSaCS.
Frank S. de Boer,
Jurriaan Rot,
Marcello M. Bonsangue,
2012,
IJCAR.
Jurriaan Rot,
Clemens Kupke,
J. Rot,
2020,
CSL.
Jurriaan Rot,
Alexandre Goy,
J. Rot,
2018,
CMCS.
Frank S. de Boer,
Jurriaan Rot,
Marcello M. Bonsangue,
2015,
Sci. Comput. Program..
Jurriaan Rot,
Bartek Klin,
Bartek Klin,
2015,
FoSSaCS.
Jurriaan Rot,
J. Rot,
2011
.
F. Vaandrager,
Thorsten Wißmann,
J. Rot,
2021,
TACAS.
Jurriaan Rot,
J. Rot,
2016,
MFPS.
Jurriaan Rot,
Damien Pous,
Jana Wagemaker,
2022,
RAMiCS.
Alexandra Silva,
Jurriaan Rot,
Marcello M. Bonsangue,
2019,
MPC.
Jurriaan Rot,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2013,
LATA.
Jurriaan Rot,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2013,
SOFSEM.
D. Kozen,
Nate Foster,
Alexandra Silva,
2022,
ESOP.
Alexandra Silva,
Simon Docherty,
Paul Brunet,
2020,
CONCUR.
Alexandra Silva,
Jurriaan Rot,
Fabio Zanasi,
2018,
CONCUR.
Alexandra Silva,
J. Rot,
Todd J. Schmid,
2022,
ICALP.
Jurriaan Rot,
Alexandra Silva,
Todd Schmid,
2021,
MFPS.
Alexandra Silva,
J. Rot,
Todd J. Schmid,
2021,
Electronic Proceedings in Theoretical Computer Science.
Jurriaan Rot,
Ichiro Hasuo,
Clemens Kupke,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Jurriaan Rot,
Marcello M. Bonsangue,
Stefan Milius,
2013,
MFPS.
Jurriaan Rot,
Marcello M. Bonsangue,
Stefan Milius,
2012,
EXPRESS/SOS.
Jurriaan Rot,
Marcello M. Bonsangue,
M. Bonsangue,
2016,
J. Log. Algebraic Methods Program..
J. Rot,
Loes Kruger,
Sebastian Junges,
2024,
2401.12703.
Alexandra Silva,
B. Westerbaan,
Louis Parlant,
2020,
MFCS.
Bart Jacobs,
Jurriaan Rot,
Paul Levy,
2018,
CMCS.
Jurriaan Rot,
J. Rot,
2017,
Acta Informatica.
Jurriaan Rot,
Marcello M. Bonsangue,
Helle Hvid Hansen,
2013,
CALCO.
D. Pous,
F. Bonchi,
J. Rot,
2016,
Acta Informatica.
D. Pous,
F. Bonchi,
J. Rot,
2014,
CSL-LICS.
J. Rot,
Shin-ya Katsumata,
Mayuko Kori,
2024,
2404.08308.
Thorsten Wißmann,
J. Rot,
2023,
CALCO.
Bas Luttik,
Jurriaan Rot,
Rick Erkens,
2020,
SOFSEM.
Jurriaan Rot,
Filippo Bonchi,
Matias David Lee,
2017,
FSEN.
D. Pous,
J. Rot,
2017,
FoSSaCS.
J. Rot,
Alexandre Goy,
2022
.
Alexandra Silva,
Jurriaan Rot,
Marcello M. Bonsangue,
2015,
Mathematical Structures in Computer Science.
Jurriaan Rot,
Damien Pous,
Filippo Bonchi,
2015,
CONCUR.
Jurriaan Rot,
Damien Pous,
Henning Basold,
2017,
CALCO.
Jurriaan Rot,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2013,
Inf. Comput..
Jurriaan Rot,
David Venhoek,
Joshua Moerman,
2018,
ICTAC.
Jurriaan Rot,
David Venhoek,
Joshua Moerman,
2019
.
Davide Ancona,
Jurriaan Rot,
Elena Zucca,
2020,
ECOOP.
M. Bonsangue,
J. Rot,
Frank S. de Boer,
2010
.