Jan Friso Groote
发表
Jacob Perrenet,
Jan Friso Groote,
Eric Kaasenbrood,
2005,
ITiCSE '05.
Jan Friso Groote,
Frits W. Vaandrager,
H. Brinksma,
1995
.
Jan Friso Groote,
Sebastiaan van Vlijmen,
Wilco Koorn,
1999,
Algebraic Specification in Action.
Jan Friso Groote,
Roland N. Bol,
1991,
ICALP.
Jan Friso Groote,
Fpm Frank Stappers,
Michel A. Reniers,
2011
.
Jan Friso Groote,
Arjan J. Mooij,
Hans van Wezep,
2018,
ISoLA.
Jan Friso Groote,
Arash Khabbaz Saberi,
Jos Hegge,
2020,
2020 IEEE International Systems Conference (SysCon).
Jan Friso Groote,
Martin Rem,
1997
.
Jan Friso Groote,
Radu Mateescu,
1998,
AMAST.
Jan Friso Groote,
Arash Khabbaz Saberi,
Yuting Fu,
2020,
SAE International Journal of Connected and Automated Vehicles.
Jan Friso Groote,
Alban Ponse,
J. F. Groote,
1995
.
Jan Friso Groote,
Alexander Serebrenik,
Stefan Blom,
2005,
Electron. Notes Theor. Comput. Sci..
Jan Friso Groote,
Mohammad Reza Mousavi,
Michel A. Reniers,
2005
.
Jan Friso Groote,
Tim A. C. Willemse,
J. F. Groote,
2005,
Theor. Comput. Sci..
Erik P. de Vink,
Bas Luttik,
Jan Friso Groote,
2019,
FACS.
Jan Friso Groote,
Wim H. Hesselink,
Sjouke Mauw,
2001,
Distributed Computing.
Jan Friso Groote,
Tim A. C. Willemse,
J. F. Groote,
2020,
Sci. Comput. Program..
Jan Friso Groote,
Derek J. Andrews,
C. A. Middleburg,
1994
.
Jan Friso Groote,
Thomas Neele,
Marijn Rol,
2019,
FSEN.
Jan Friso Groote,
Jos van Wamel,
2001,
Theor. Comput. Sci..
Jan Friso Groote,
Mohammad Reza Mousavi,
2014
.
Bas Luttik,
Jan Friso Groote,
Jos van Wamel,
1998,
Formal Aspects of Computing.
Jan Friso Groote,
Jan Martijn E. M. van der Werf,
Ivo Raedts,
2007,
MSVVEIS.
Jan Friso Groote,
Aah Ammar Osaiweran,
Mtw Mathijs Schuts,
2011
.
Jan Friso Groote,
Mohammad Reza Mousavi,
Michel A. Reniers,
2005,
Inf. Comput..
Hui Gao,
Jan Friso Groote,
Wim H. Hesselink,
2005
.
Jan Friso Groote,
Wan Fokkink,
Jaco van de Pol,
2001,
CAV.
Jan Friso Groote,
J.C.M. Baeten,
1991
.
Jan Friso Groote,
Jaco van de Pol,
2000,
LPAR.
Jan Friso Groote,
J. F. Groote,
Joost P. Warners,
2000,
Journal of Automated Reasoning.
Jan Friso Groote,
Michel A. Reniers,
Sven Weber,
2012,
2012 35th Annual IEEE Software Engineering Workshop.
Hans Zantema,
Jan Friso Groote,
Freek Wiedijk,
2016,
SIAM Rev..
Jan Friso Groote,
Jeroen Keiren,
Tim A. C. Willemse,
2011,
Softw. Pract. Exp..
Jan Friso Groote,
1990,
CONCUR.
Jan Friso Groote,
Tim A. C. Willemse,
J. F. Groote,
2004,
CONCUR.
Jan Friso Groote,
Remco van der Hofstad,
Matthias Raffelsieper,
2016,
Sci. Comput. Program..
Jan Friso Groote,
Marc Bezem,
J. F. Groote,
1993,
CONCUR.
Jan Friso Groote,
2006
.
Jan Friso Groote,
Alban Ponse,
J. F. Groote,
1993,
Semantics of Specification Languages.
Jan Friso Groote,
Mohammad Reza Mousavi,
J. F. Groote,
2014,
Bull. EATCS.
Jan Friso Groote,
1999
.
Jan Friso Groote,
1996,
CSUR.
Hui Gao,
Jan Friso Groote,
Wim H. Hesselink,
2003,
ArXiv.
Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko,
2006,
Electron. Notes Theor. Comput. Sci..
Jan Friso Groote,
Wan Fokkink,
Anton Wijs,
1997
.
Jan Friso Groote,
David N. Jansen,
Pengfei Yang,
2020,
CONCUR.
Hans Zantema,
Jan Friso Groote,
2003,
Electron. Notes Theor. Comput. Sci..
Jan Friso Groote,
Yaroslav S. Usenko,
Bert Lisser,
1999
.
Jan Friso Groote,
Thomas Neele,
Marijn Rol,
2019,
FSEN 2019.
Jan Friso Groote,
Marc Bezem,
J. F. Groote,
1993
.
Jan Friso Groote,
Anton Wijs,
J. F. Groote,
2016,
TACAS.
Jan Friso Groote,
Simona Orzan,
J. F. Groote,
2009,
Formal Aspects in Security and Trust.
Jan Friso Groote,
Tim A. C. Willemse,
2003,
FMCO.
Jan Friso Groote,
Chris Verhoef,
2006
.
Hans Zantema,
Jan Friso Groote,
2001,
Ershov Memorial Conference.
Jan Friso Groote,
Reniers,
Yaroslav S. Usenko,
2008
.
Jan Friso Groote,
J. J. van Wamel,
2000
.
Jan Friso Groote,
Sarmen Keshishzadeh,
Arash Khabbaz Saberi,
2013,
ECAL.
Jan Friso Groote,
Sjoerd Cranen,
Michel A. Reniers,
2011,
Theor. Comput. Sci..
Jan Friso Groote,
Roland N. Bol,
J. F. Groote,
1991,
JACM.
Jan Friso Groote,
Wan Fokkink,
Marco Hollenberg,
1991
.
Jan Friso Groote,
Jan Springintveld,
2001,
J. Log. Algebraic Methods Program..
Jan Friso Groote,
Alex Sellink,
J. F. Groote,
1995,
Theor. Comput. Sci..
Jan Friso Groote,
Paul Klint,
Johan J. Lukkien,
2007
.
Jan Friso Groote,
J. F. Groote,
1993,
Theor. Comput. Sci..
Modeling and Reconfigurating critical Business Processes for the purpose of a Business Continuity Ma
Jan Friso Groote,
Frank Hermann,
Christoph Brandt,
2010
.
Jan Friso Groote,
Mohammad Reza Mousavi,
2014
.
Jan Friso Groote,
Mohammad Reza Mousavi,
Michel A. Reniers,
2005,
Inf. Process. Lett..
Jan Friso Groote,
Mohammad Reza Mousavi,
Michel A. Reniers,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Jan Friso Groote,
Dmitry A. Zaitsev,
J. F. Groote,
2019,
IEEE/CAA Journal of Automatica Sinica.
Erik P. de Vink,
Jan Friso Groote,
J. F. Groote,
2017,
ModelEd, TestEd, TrustEd.
Jan Friso Groote,
J. F. Groote,
1990,
PSTV.
Jan Friso Groote,
Jos van Wamel,
2001,
Sci. Comput. Program..
Jan Friso Groote,
Michel A. Reniers,
J. F. Groote,
2009,
FMCO.
Erik P. de Vink,
Jan Friso Groote,
Anton Wijs,
2019,
TACAS.
Jan Friso Groote,
Frank Hermann,
Christoph Brandt,
2011,
J. Res. Pract. Inf. Technol..
Jan Friso Groote,
1990,
CONCUR.
Jan Friso Groote,
Yaroslav S. Usenko,
Aad Mathijssen,
2006,
Electron. Notes Theor. Comput. Sci..
Jan Friso Groote,
Martin Rem,
1997,
Sci. Comput. Program..
Jan Friso Groote,
Anton Wijs,
David N. Jansen,
2017,
ACM Trans. Comput. Log..
Jan Friso Groote,
Rob van Glabbeek,
Peter Hofner,
2015,
MARS.
Jan Friso Groote,
Hans Hüttel,
J. F. Groote,
1994,
Inf. Comput..
Jan Friso Groote,
Mohammad Reza Mousavi,
Michel A. Reniers,
2007,
Theor. Comput. Sci..
Jan Friso Groote,
Wim H. Hesselink,
J. F. Groote,
1999
.
Jan Friso Groote,
Misa Keinänen,
2005,
ICTAC.
Jan Friso Groote,
Bert Lisser,
J. F. Groote,
2002,
SIGP.
Jan Friso Groote,
Mohammad Reza Mousavi,
2014
.
Jan Friso Groote,
David N. Jansen,
Anton Wijs,
2020,
TACAS.
Jan Friso Groote,
Wan Fokkink,
Michel A. Reniers,
2004,
Bull. EATCS.
Jan Friso Groote,
Mohammad Reza Mousavi,
2014
.
Jan Friso Groote,
J. F. Groote,
Ammar Osaiweran,
2012,
SAC '12.
Jan Friso Groote,
Alban Ponse,
J. F. Groote,
1991,
CONCUR.
Jan Friso Groote,
Kees M. van Hee,
Alessandro Di Bucchianico,
2008,
Commun. Stat. Simul. Comput..
Jan Friso Groote,
J. Springintveld,
1996
.
Jan Friso Groote,
Mark van den Brand,
2014,
ERCIM News.
Arie van Deursen,
Sjaak Brinkkemper,
Jan Friso Groote,
2016,
ISoLA.
Jan Friso Groote,
Misa Keinänen,
2004
.
Jan Friso Groote,
Tim A. C. Willemse,
J. F. Groote,
2018,
FACS.
V. A. Kostenko,
Jan Friso Groote,
Kirsten Winter,
2000
.
Erik P. de Vink,
Jan Friso Groote,
Sjoerd Cranen,
2013,
TACAS.
Jan Friso Groote,
Tim A. C. Willemse,
Muck van Weerdenburg,
2009,
J. Log. Algebraic Methods Program..
Jan Friso Groote,
Robert Howe,
Paul F. Hoogendijk,
2017,
FMICS-AVoCS.
Hui Gao,
Jan Friso Groote,
Wim H. Hesselink,
2004,
18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Jan Friso Groote,
Wan Fokkink,
Jun Pang,
2004,
AMAST.
Jan Friso Groote,
Mohammad Reza Mousavi,
J. F. Groote,
2014
.
Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko,
2006,
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Jan Friso Groote,
Yaroslav S. Usenko,
Bert Lisser,
1999
.
Jan Friso Groote,
Olga Tveretina,
2003,
J. Log. Algebraic Methods Program..
Jan Friso Groote,
Mark van den Brand,
2012,
ERCIM News.
Jan Friso Groote,
Jaco van de Pol,
J. F. Groote,
1998,
CONCUR.
Jan Friso Groote,
Remco van der Hofstad,
Matthias Raffelsieper,
2014,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Jozef Hooman,
Jan Friso Groote,
Mathijs Schuts,
2016,
International Journal on Software Tools for Technology Transfer.
Jan Friso Groote,
Ammar Osaiweran,
Jacco H. Wesselius,
2012,
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Jan Friso Groote,
Mohammad Reza Mousavi,
2014
.
Jan Friso Groote,
Peter Höfner,
Rob van Glabbeek,
2015
.
Jan Friso Groote,
Misa Keinänen,
2004,
TACAS.
Erik P. de Vink,
Jan Friso Groote,
J. F. Groote,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Jan Friso Groote,
1992
.
Jan Friso Groote,
Roland N. Bol,
Bezem,
1995
.
Jan Friso Groote,
Ed Brinksma,
1999
.
Jan Friso Groote,
Frank van Ham,
J. F. Groote,
2003,
TACAS.
Jan Friso Groote,
1996,
Formal Methods Syst. Des..
Jan Friso Groote,
Aah Ammar Osaiweran,
Jh Wesselius,
2011
.
Faron Moller,
Jan Friso Groote,
J. F. Groote,
1992,
CONCUR.
Jean-Paul M. G. Linnartz,
Jan Friso Groote,
J. F. Groote,
2015,
2015 IEEE Symposium on Communications and Vehicular Technology in the Benelux (SCVT).
Jan Friso Groote,
C. A. Middelburg,
D. J. Andrews,
1993
.
Jan Friso Groote,
J. F. Groote,
Ammar Osaiweran,
2017,
2017 IEEE International Conference on Software Quality, Reliability and Security (QRS).
Hui Gao,
Jan Friso Groote,
Wim H. Hesselink,
2004
.
Jan Friso Groote,
Ammar Osaiweran,
Tim W. D. M. Kouters,
2011,
FSEN.
Jan Friso Groote,
Omar al Duhaiby,
2019,
EXPRESS/SOS.
Jan Friso Groote,
Mark van den Brand,
2015,
Sci. Comput. Program..
Jan Friso Groote,
Mohammad Reza Mousavi,
2014
.
Jan Friso Groote,
Frits W. Vaandrager,
J. F. Groote,
1992,
Inf. Comput..
Jan Friso Groote,
Michel A. Reniers,
J. F. Groote,
2002
.
Jan Friso Groote,
J.C.M. Baeten,
J. F. Groote,
1991
.
Jan Friso Groote,
J. F. Groote,
Ammar Osaiweran,
2012,
FM.
Jan Friso Groote,
Marc Bezem,
J. F. Groote,
1993,
Comput. J..
Erik P. de Vink,
Jan Friso Groote,
Rob J. van Glabbeek,
2019,
The Art of Modelling Computational Systems.
Jan Friso Groote,
Mohammad Reza Mousavi,
2014
.
Jan Friso Groote,
Alban Ponse,
Yaroslav S. Usenko,
2000,
J. Log. Algebraic Methods Program..
Jan Friso Groote,
J. J. van Wamel,
S. P. Luttik,
1998
.
Hui Gao,
Jan Friso Groote,
Wim H. Hesselink,
2003
.
Jan Friso Groote,
J. F. Groote,
C. A. Middelburg,
1994
.
Jan Friso Groote,
Mohammad Reza Mousavi,
Michel A. Reniers,
2006,
SOS@ICALP.
Jan Friso Groote,
Omar al Duhaiby,
2020,
FormaliSE@ICSE.
Jan Friso Groote,
Mohammad Reza Mousavi,
2014
.
Jan Friso Groote,
Alex Sellink,
1995,
CONCUR.
Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko,
2006
.
Jan Friso Groote,
Michel A. Reniers,
J. F. Groote,
2001,
Handbook of Process Algebra.
Jan Friso Groote,
Luca Aceto,
J. F. Groote,
1995,
Theor. Comput. Sci..
Jan Friso Groote,
J. F. Groote,
van den Njm Barend Nieuwelaar,
2004
.
Jan Friso Groote,
Frits W. Vaandrager,
H. Brinksma,
1995
.
Jan Friso Groote,
van Fjj Frank Ham,
2002
.
Jan Friso Groote,
Wan Fokkink,
Reniers,
2004
.
Jan Friso Groote,
Alban Ponse,
J. F. Groote,
1990
.
Jan Friso Groote,
Alban Ponse,
J. F. Groote,
1994,
Formal Aspects of Computing.
Jan Friso Groote,
Jan Springintveld,
J. F. Groote,
2005,
Formal Aspects of Computing.
Jan Friso Groote,
Sarmen Keshishzadeh,
J. F. Groote,
2015,
ArXiv.
Jan Friso Groote,
Tim A. C. Willemse,
J. F. Groote,
2002
.
Jan Friso Groote,
J. F. Groote,
Ammar Osaiweran,
2011,
2011 27th IEEE International Conference on Software Maintenance (ICSM).
Jan Friso Groote,
J. F. Groote,
Ammar Osaiweran,
2011,
Softw. Test. Verification Reliab..
Jan Friso Groote,
Tim A. C. Willemse,
J. F. Groote,
2019,
FORTE.
Jan Friso Groote,
J. F. Groote,
Ferry Timmers,
2020,
Sci. Ann. Comput. Sci..
Jan Friso Groote,
Mohammad Reza Mousavi,
J. F. Groote,
2011
.
Jan Friso Groote,
Remco van der Hofstad,
Matthias Raffelsieper,
2014
.
Jan Friso Groote,
Jan Martens,
Anton Wijs,
2020,
FSEN.
Jan Friso Groote,
Mohammad Reza Mousavi,
2014
.
Jan Friso Groote,
Tim A. C. Willemse,
2005,
Sci. Comput. Program..
Erik P. de Vink,
Jan Friso Groote,
J. F. Groote,
2018,
Algorithms.
Jean-Paul M. G. Linnartz,
Jan Friso Groote,
J. F. Groote,
2015,
ArXiv.
Jan Friso Groote,
D. Latella,
S. Gnesi,
1997
.
Jan Friso Groote,
Wan Fokkink,
Jun Pang,
2005,
Formal Aspects of Computing.
Jan Friso Groote,
Michel A. Reniers,
Mark van der Zwaag,
2002,
Fundam. Informaticae.
Jan Friso Groote,
Jos van Wamel,
2007
.
Jan Friso Groote,
Ramon Schiffelers,
L. Sanchez,
2019,
FSEN.
Sem C. Borst,
Jan Friso Groote,
Sjouke Mauw,
2003,
J. Sched..
Jan Friso Groote,
J. F. Groote,
Henri Korver,
1997,
Theor. Comput. Sci..
Jan Friso Groote,
Frits W. Vaandrager,
J. F. Groote,
1989,
ICALP.
Jan Friso Groote,
Wolfgang Boehmer,
Christoph Brandt,
2009,
2009 IEEE Toronto International Conference Science and Technology for Humanity (TIC-STH).
Jan Friso Groote,
Chris Verhoef,
Alban Ponse,
1994
.
Jan Friso Groote,
Mohammad Reza Mousavi,
Michel A. Reniers,
2007
.
Jan Friso Groote,
Bas Ploeger,
2008,
Electron. Notes Theor. Comput. Sci..
Jan Friso Groote,
Jjm Jozef Hooman,
Aah Ammar Osaiweran,
2012
.
Jan Friso Groote,
Jun Pang,
Arno Wouters,
2001
.
Jan Friso Groote,
Conrad Dandelski,
Mahmoud Talebi,
2017,
MARS@ETAPS.
Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko,
2006,
MMOSS.
Jan Friso Groote,
Jaco van de Pol,
J. F. Groote,
2000,
MFCS.
Jan Friso Groote,
Bas Ploeger,
2009,
Int. J. Found. Comput. Sci..
Jan Friso Groote,
Thierry Massart,
Christian Hernalsteen,
1998
.
Jan Friso Groote,
Jaco van de Pol,
J. F. Groote,
1993,
AMAST.
Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko,
2006
.
Jan Friso Groote,
Wim H. Hesselink,
J. F. Groote,
2001,
Distributed Computing.
Hui Gao,
Jan Friso Groote,
Wim H. Hesselink,
2005,
ISPA.
Jean-Paul M. G. Linnartz,
Jan Friso Groote,
J. F. Groote,
2017,
ASMTA.
Jan Friso Groote,
Tim A. C. Willemse,
J. van der Wulp,
2008
.
Jan Friso Groote,
Marc Bezem,
Roland N. Bol,
2005,
Formal Aspects of Computing.
Hui Gao,
Jan Friso Groote,
Wim H. Hesselink,
2003,
Distributed Computing.
Jan Friso Groote,
Frank van Ham,
2005,
International Journal on Software Tools for Technology Transfer.
Jan Friso Groote,
Jun Pang,
J. F. Groote,
2003,
J. Log. Algebraic Methods Program..
Hans Zantema,
Jan Friso Groote,
J. F. Groote,
2001,
Discret. Appl. Math..
Jan Friso Groote,
Marc Voorhoeve,
J. F. Groote,
2007,
Theor. Comput. Sci..
Jan Friso Groote,
Mohammad Reza Mousavi,
2014
.
Jan Friso Groote,
Bert Lisser,
E. Rietjens,
2000
.
Jan Friso Groote,
J. F. Groote,
1992,
Inf. Process. Lett..
Jan Friso Groote,
Marc Bezem,
J. F. Groote,
1993
.
Jan Friso Groote,
Frits W. Vaandrager,
J. F. Groote,
1990,
ICALP.
Jan Friso Groote,
Jaco van de Pol,
Izak van Langevelde,
2003
.
Jan Friso Groote,
Mohammad Reza Mousavi,
Marjan Sirjani,
2007,
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).
Jan Friso Groote,
S.F.M. van Vlijmen,
1994
.
Jan Friso Groote,
Ben H. H. Juurlink,
Gerard J. M. Smit,
2009,
WESE '09.
Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko,
2008,
2008 IEEE International Symposium on Parallel and Distributed Processing.
Jan Friso Groote,
J. C. van de Pol,
2000
.
Jan Friso Groote,
Andrei Sergeevich Terechko,
Arash Khabbaz Saberi,
2020
.
Jan Friso Groote,
Rolf Morel,
Julien Schmaltz,
2021,
Logic Gates, Circuits, Processors, Compilers and Computers.
Jan Friso Groote,
Rolf Morel,
Julien Schmaltz,
2021
.
Jan Friso Groote,
J. F. Groote,
2021,
EXPRESS/SOS.
Jan Friso Groote,
J. F. Groote,
Rick Erkens,
2021,
ICTAC.
Jan Friso Groote,
2021,
Electronic Proceedings in Theoretical Computer Science.
Jan Friso Groote,
Anton Wijs,
Lars van den Haak,
2021,
FACS.
Jan Friso Groote,
Rolf Morel,
Julien Schmaltz,
2021,
Logic Gates, Circuits, Processors, Compilers and Computers.
Jan Friso Groote,
J. F. Groote,
Yousra Hafidi,
2021,
ArXiv.
Jan Friso Groote,
Jeroen J.A. Keiren,
2021,
FORTE.
Jan Friso Groote,
M. P. A. Sellink,
1996
.
Jan Friso Groote,
Jaco van de Pol,
Stefan Blom,
2003,
Electron. Notes Theor. Comput. Sci..
Jan Friso Groote,
Luca Aceto,
1995
.
Jan Friso Groote,
Anton Wijs,
David N. Jansen,
2019
.
Jan Friso Groote,
S. P. Luttik,
1998
.
Jan Friso Groote,
Bezem,
1994
.
Jan Friso Groote,
Joost P. Warners,
1999
.
Jan Friso Groote,
Bert Lisser,
J. F. Groote,
1999
.