Jurriaan Rot
发表
Jurriaan Rot,
Marcello M. Bonsangue,
2014,
FoSSaCS.
Frank S. de Boer,
Jurriaan Rot,
Marcello M. Bonsangue,
2012,
ICE.
Jurriaan Rot,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2013,
Inf. Comput..
Jurriaan Rot,
Marcello M. Bonsangue,
Stefan Milius,
2012,
EXPRESS/SOS.
Frank S. de Boer,
Jurriaan Rot,
Stijn de Gouw,
2016,
Deductive Software Verification.
Jurriaan Rot,
Elena Zucca,
Davide Ancona,
2020,
ECOOP.
Frank S. de Boer,
Jurriaan Rot,
Marcello M. Bonsangue,
2012,
IJCAR.
Frank S. de Boer,
Jurriaan Rot,
Marcello M. Bonsangue,
2012,
WADT.
Alexandra Silva,
Jurriaan Rot,
Fabio Zanasi,
2018,
CONCUR.
Jurriaan Rot,
Alexandre Goy,
J. Rot,
2018,
CMCS.
Frank S. de Boer,
Jurriaan Rot,
Marcello M. Bonsangue,
2015,
Sci. Comput. Program..
Jurriaan Rot,
Damien Pous,
Filippo Bonchi,
2016,
Acta Informatica.
Jurriaan Rot,
Marcello M. Bonsangue,
Julian Salamanca,
2016,
CMCS.
Jurriaan Rot,
Marcello M. Bonsangue,
Helle Hvid Hansen,
2013,
CALCO.
Davide Ancona,
Frank S. de Boer,
Jurriaan Rot,
2014,
ICALP.
Jurriaan Rot,
Marcello M. Bonsangue,
Stefan Milius,
2013,
MFPS.
Alexandra Silva,
Jurriaan Rot,
Bas Westerbaan,
2020,
MFCS.
Jurriaan Rot,
David Venhoek,
Joshua Moerman,
2018,
ICTAC.
Alexandra Silva,
Jurriaan Rot,
Clemens Kupke,
2019,
FoSSaCS.
Davide Ancona,
Jurriaan Rot,
Elena Zucca,
2020,
ECOOP.
Jurriaan Rot,
Bartek Klin,
2015,
FoSSaCS.
Frank S. de Boer,
Jurriaan Rot,
Reiner Hähnle,
2017,
Journal of Automated Reasoning.
Jurriaan Rot,
Filippo Bonchi,
Matias David Lee,
2017,
FSEN.
Jurriaan Rot,
Clemens Kupke,
J. Rot,
2020,
CSL.
Alexandra Silva,
Jurriaan Rot,
Marcello M. Bonsangue,
2019,
MPC.
Bart Jacobs,
Jurriaan Rot,
Paul Levy,
2018,
CMCS.
Jurriaan Rot,
Bartek Klin,
Bartek Klin,
2015,
FoSSaCS.
Jurriaan Rot,
J. Rot,
2011
.
Alexandra Silva,
Jurriaan Rot,
Simon Docherty,
2020,
CONCUR.
Jurriaan Rot,
Jorge A. Pérez,
2019,
EXPRESS/SOS.
Frank S. de Boer,
Jurriaan Rot,
Reiner Hähnle,
2015,
CAV.
Jurriaan Rot,
Marcello M. Bonsangue,
M. Bonsangue,
2016,
J. Log. Algebraic Methods Program..
Frank S. de Boer,
Jurriaan Rot,
Stijn de Gouw,
2013,
Journal of Automated Reasoning.
Jurriaan Rot,
Meven Bertrand,
2018,
ArXiv.
Jurriaan Rot,
J. Rot,
2016,
MFPS.
Jurriaan Rot,
Filippo Bonchi,
Matias David Lee,
2017,
FSEN.
Jurriaan Rot,
Damien Pous,
Filippo Bonchi,
2015,
CONCUR.
Alexandra Silva,
Jurriaan Rot,
Tobias Kappé,
2020,
ArXiv.
Jurriaan Rot,
Ornela Dardha,
2020,
EXPRESS/SOS.
Jurriaan Rot,
J. Rot,
2017,
Acta Informatica.
Alexandra Silva,
Jurriaan Rot,
Marcello M. Bonsangue,
2015,
Mathematical Structures in Computer Science.
Jurriaan Rot,
Clemens Kupke,
Simone Barlocco,
2019,
FoSSaCS.
Jurriaan Rot,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2013,
LATA.
Jurriaan Rot,
Jurriaan Rot,
2011
.
Frank S. de Boer,
Jurriaan Rot,
Marcello M. Bonsangue,
2015,
Sci. Comput. Program..
Frank S. de Boer,
Jurriaan Rot,
Marcello M. Bonsangue,
2013,
FSEN.
Jurriaan Rot,
Damien Pous,
2017,
FoSSaCS.
Jurriaan Rot,
Damien Pous,
Filippo Bonchi,
2014,
CSL-LICS.
Jurriaan Rot,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2013,
SOFSEM.
Bas Luttik,
Jurriaan Rot,
Rick Erkens,
2020,
SOFSEM.
Jurriaan Rot,
Marcello M. Bonsangue,
Helle Hvid Hansen,
2013,
CALCO.
Jurriaan Rot,
Stijn de Gouw,
2016,
Theory and Practice of Formal Methods.
Alexandra Silva,
Jurriaan Rot,
Tobias Kappé,
2019,
CALCO.
Jurriaan Rot,
Damien Pous,
Henning Basold,
2017,
CALCO.
Jurriaan Rot,
Joshua Moerman,
2020,
CSL.
Jurriaan Rot,
Frits Vaandrager,
Thorsten Wissmann,
2021,
ArXiv.
Bart Jacobs,
Jurriaan Rot,
Paul Blain Levy,
2018,
CMCS.
Jurriaan Rot,
Alexandra Silva,
Todd Schmid,
2021,
Electronic Proceedings in Theoretical Computer Science.
Jurriaan Rot,
Nate Foster,
Dexter Kozen,
2022
.
Jurriaan Rot,
Ichiro Hasuo,
Clemens Kupke,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Jurriaan Rot,
Alexandra Silva,
Todd Schmid,
2021,
MFPS.
Jurriaan Rot,
Damien Pous,
Jana Wagemaker,
2022,
RAMiCS.
Jurriaan Rot,
Alexandra Silva,
Gerco van Heerdt,
2021,
FoSSaCS.
Jurriaan Rot,
David Venhoek,
Joshua Moerman,
2019
.
Jurriaan Rot,
Marcello M. Bonsangue,
F. S. deBoer,
2010
.