J. F. Groote

发表

J. F. Groote, J. J. van Wijk, S.C.W. Ploeger, 2004 .
M. Kuntz, J. C. van dePol, J. F. Groote, 2006 .
J. F. Groote, T. A. C. Willemse, 2020, Log. Methods Comput. Sci..
J. F. Groote, M. Laveaux, P.H.M. van Spaendonck, 2021, ArXiv.
Jan Friso Groote, Wim H. Hesselink, J. F. Groote, 2001, Distributed Computing.
Jan Friso Groote, Frits W. Vaandrager, J. F. Groote, 1989, ICALP.
Jan Friso Groote, Jaco van de Pol, J. F. Groote, 1993, AMAST.
J. F. Groote, A. Ponse, 1991 .
Jan Friso Groote, Roland N. Bol, J. F. Groote, 1991, JACM.
Jan Friso Groote, J. F. Groote, Joost P. Warners, 2000, Journal of Automated Reasoning.
Jan Friso Groote, Tim A. C. Willemse, J. F. Groote, 2002 .
Jan Friso Groote, Wan Fokkink, Jun Pang, 2005, Formal Aspects of Computing.
J. F. Groote, J. Springintveld, 1995 .
J. F. Groote, J. V. D. Pol, J. Pol, 2000 .
Reniers, J. F. Groote, M. B. van deZwaag, 2000 .
J. F. Groote, M. Sellink, 1996 .
J. F. Groote, Rutger van Beusekom, T. Willemse, 2015 .
J. F. Groote, J. Wesselink, J. Keiren, 2008 .
J. F. Groote, J. P. Warners, 1999 .
J. F. Groote, M. Reniers, M. Mousavi, 2004 .
Jan Friso Groote, J.C.M. Baeten, J. F. Groote, 1991 .
J. F. Groote, Hoorn Kersenboogerd, S. V. Vlijmen, 2008 .
Jan Friso Groote, J. F. Groote, 1990, PSTV.
Jan Friso Groote, Wan Fokkink, Michel A. Reniers, 2004, Bull. EATCS.
J. F. Groote, E. Vink, Jan Martens, 2022, ArXiv.
Jan Friso Groote, Alban Ponse, J. F. Groote, 1990 .
Jan Friso Groote, Michel A. Reniers, Mark van der Zwaag, 2002, Fundam. Informaticae.
Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers, 2007 .
Jan Friso Groote, Anton Wijs, J. F. Groote, 2016, TACAS.
Jan Friso Groote, J. F. Groote, Ammar Osaiweran, 2011, Softw. Test. Verification Reliab..
Jan Friso Groote, J. F. Groote, 1993, Theor. Comput. Sci..
Hui Gao, Jan Friso Groote, Wim H. Hesselink, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Hui Gao, Jan Friso Groote, Wim H. Hesselink, 2003, Distributed Computing.
Erik P. de Vink, Jan Friso Groote, J. F. Groote, 2017, ModelEd, TestEd, TrustEd.
Jan Friso Groote, Bert Lisser, J. F. Groote, 2002, SIGP.
J. F. Groote, C. A. Middelburg, D. J. Andrews, 1994, Workshops in Computing.
Jan Friso Groote, Alban Ponse, J. F. Groote, 1995 .
Jan Friso Groote, Marc Bezem, J. F. Groote, 1993, CONCUR.
Jan Friso Groote, Alban Ponse, J. F. Groote, 1993, Semantics of Specification Languages.
Jan Friso Groote, Luca Aceto, J. F. Groote, 1995, Theor. Comput. Sci..
Jan Friso Groote, Frits W. Vaandrager, J. F. Groote, 1992, Inf. Comput..
Jan Friso Groote, Bert Lisser, J. F. Groote, 1999 .
Jan Friso Groote, Wan Fokkink, Reniers, 2004 .
Jan Friso Groote, Alban Ponse, J. F. Groote, 1994, Formal Aspects of Computing.
Jan Friso Groote, Hans Hüttel, J. F. Groote, 1994, Inf. Comput..
Jan Friso Groote, J. F. Groote, 1992, Inf. Process. Lett..
Jan Friso Groote, J. F. Groote, Ferry Timmers, 2020, Sci. Ann. Comput. Sci..
Erik P. de Vink, Jan Friso Groote, J. F. Groote, 2019, From Software Engineering to Formal Methods and Tools, and Back.
Erik P. de Vink, Jan Friso Groote, J. F. Groote, 2018, Algorithms.
Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers, 2007, Theor. Comput. Sci..
Jan Friso Groote, Tim A. C. Willemse, J. F. Groote, 2020, Sci. Comput. Program..
Jan Friso Groote, Tim A. C. Willemse, J. F. Groote, 2018, FACS.
Jan Friso Groote, Michel A. Reniers, J. F. Groote, 2001, Handbook of Process Algebra.
Jan Friso Groote, Tim A. C. Willemse, J. F. Groote, 2005, Theor. Comput. Sci..
Jan Friso Groote, Dmitry A. Zaitsev, J. F. Groote, 2019, IEEE/CAA Journal of Automatica Sinica.
Jan Friso Groote, Jan Springintveld, J. F. Groote, 2005, Formal Aspects of Computing.
Sem C. Borst, Jan Friso Groote, Sjouke Mauw, 2003, J. Sched..
Jan Friso Groote, Jan Martijn E. M. van der Werf, Ivo Raedts, 2007, MSVVEIS.
Jan Friso Groote, Ben H. H. Juurlink, Gerard J. M. Smit, 2009, WESE '09.
Hui Gao, Jan Friso Groote, Wim H. Hesselink, 2003, ArXiv.
Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers, 2006, SOS@ICALP.
Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers, 2005 .
Jan Friso Groote, Frank van Ham, J. F. Groote, 2003, TACAS.
Jan Friso Groote, Simona Orzan, J. F. Groote, 2009, Formal Aspects in Security and Trust.
Jan Friso Groote, Tim A. C. Willemse, J. F. Groote, 2004, CONCUR.
Jan Friso Groote, J. F. Groote, Yousra Hafidi, 2021, ArXiv.
J. F. Groote, J. Keiren, 2021, FORTE.
Erik P. de Vink, Bas Luttik, Jan Friso Groote, 2019, FACS.
Jan Friso Groote, Marc Voorhoeve, J. F. Groote, 2007, Theor. Comput. Sci..
Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood, 2005, ITiCSE '05.
Jan Friso Groote, Rolf Morel, Julien Schmaltz, 2021, Logic Gates, Circuits, Processors, Compilers and Computers.
Jan Friso Groote, Mohammad Reza Mousavi, J. F. Groote, 2014 .
Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko, 2000, J. Log. Algebraic Methods Program..
Hui Gao, Jan Friso Groote, Wim H. Hesselink, 2005 .
Jan Friso Groote, Jaco van de Pol, J. F. Groote, 2000, MFCS.
Jan Friso Groote, Jaco van de Pol, J. F. Groote, 1998, CONCUR.
Jan Friso Groote, Marc Bezem, Roland N. Bol, 2005, Formal Aspects of Computing.
Jan Friso Groote, Arash Khabbaz Saberi, Yuting Fu, 2020, SAE International Journal of Connected and Automated Vehicles.
Jan Friso Groote, Andrei Sergeevich Terechko, Arash Khabbaz Saberi, 2020 .
Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko, 2006, MMOSS.
Erik P. de Vink, Jan Friso Groote, Sjoerd Cranen, 2013, TACAS.
Jean-Paul M. G. Linnartz, Jan Friso Groote, J. F. Groote, 2017, ASMTA.
Jan Friso Groote, Wan Fokkink, Jaco van de Pol, 2001, CAV.
Jan Friso Groote, Mohammad Reza Mousavi, J. F. Groote, 2011 .
Jan Friso Groote, Alex Sellink, J. F. Groote, 1995, Theor. Comput. Sci..
Jan Friso Groote, Marc Bezem, J. F. Groote, 1993, Comput. J..
Jan Friso Groote, Frits W. Vaandrager, J. F. Groote, 1990, ICALP.
Jan Friso Groote, Wim H. Hesselink, Sjouke Mauw, 2001, Distributed Computing.
Jan Friso Groote, Rolf Morel, Julien Schmaltz, 2021, Logic Gates, Circuits, Processors, Compilers and Computers.
J. F. Groote, H. Gao, J. F. Groote, 2007, Sci. Comput. Program..
Hui Gao, Jan Friso Groote, Wim H. Hesselink, 2004 .
J. F. Groote, O. Boxma, S. Borst, 2003, Journal of Scheduling.
Jan Friso Groote, Arash Khabbaz Saberi, Jos Hegge, 2020, 2020 IEEE International Systems Conference (SysCon).
Jan Friso Groote, Tim A. C. Willemse, J. F. Groote, 2019, FORTE.
Jan Friso Groote, J. F. Groote, Ammar Osaiweran, 2017, 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS).
Jozef Hooman, Jan Friso Groote, Mathijs Schuts, 2016, International Journal on Software Tools for Technology Transfer.
Jan Friso Groote, Mohammad Reza Mousavi, J. F. Groote, 2014, Bull. EATCS.
Jan Friso Groote, Tim A. C. Willemse, J. van der Wulp, 2008 .
Faron Moller, Jan Friso Groote, J. F. Groote, 1992, CONCUR.
Jan Friso Groote, Reniers, Yaroslav S. Usenko, 2008 .
Jan Friso Groote, Michel A. Reniers, J. F. Groote, 2009, FMCO.
Jan Friso Groote, Anton Wijs, Lars van den Haak, 2021, FACS.
Jan Friso Groote, J. F. Groote, Rick Erkens, 2021, ICTAC.
Jan Friso Groote, J. F. Groote, Henri Korver, 1997, Theor. Comput. Sci..
Jan Friso Groote, Sarmen Keshishzadeh, J. F. Groote, 2015, ArXiv.
J. F. Groote, E. Vink, Jan Martens, 2022, Log. Methods Comput. Sci..
Hans Zantema, Jan Friso Groote, J. F. Groote, 2001, Discret. Appl. Math..
Jan Friso Groote, Frank Hermann, Christoph Brandt, 2011, J. Res. Pract. Inf. Technol..
Jan Friso Groote, Wolfgang Boehmer, Christoph Brandt, 2009, 2009 IEEE Toronto International Conference Science and Technology for Humanity (TIC-STH).
Arie van Deursen, Sjaak Brinkkemper, Jan Friso Groote, 2016, ISoLA.
Jan Friso Groote, Michel A. Reniers, J. F. Groote, 2002 .
V. A. Kostenko, Jan Friso Groote, Kirsten Winter, 2000 .
Jan Friso Groote, J. F. Groote, van den Njm Barend Nieuwelaar, 2004 .
J. F. Groote, Johri van Eerd, M. Osama, 2022, Sci. Comput. Program..
Jan Friso Groote, Jan Martens, Anton Wijs, 2020, FSEN.
J. F. Groote, P. Dieleman, Kevin H. J. Jilissen, 2023, SAC.
Jean-Paul M. G. Linnartz, Jan Friso Groote, J. F. Groote, 2015, 2015 IEEE Symposium on Communications and Vehicular Technology in the Benelux (SCVT).
Jean-Paul M. G. Linnartz, Jan Friso Groote, J. F. Groote, 2015, ArXiv.
Jan Friso Groote, Jun Pang, J. F. Groote, 2003, J. Log. Algebraic Methods Program..
J. F. Groote, F. GrooteEindhoven, F. GrooteEindhoven, 2001 .
J. F. Groote, J.F. Groote, S.F.M. van Vlijmen, 1994, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.
Jan Friso Groote, Anton Wijs, David N. Jansen, 2017, ACM Trans. Comput. Log..
J. F. Groote, D. Latella, M. Massink, 2023, FM.
J. F. Groote, L. Aceto, 1995, Theor. Comput. Sci..
J. F. Groote, A. Ponse, Y. Usenko, 2022 .
Jan Friso Groote, Sebastiaan van Vlijmen, Wilco Koorn, 1999, Algebraic Specification in Action.
Jan Friso Groote, J. F. Groote, Ammar Osaiweran, 2012, FM.
Jan Friso Groote, J. F. Groote, Ammar Osaiweran, 2012, SAC '12.
Jan Friso Groote, J. F. Groote, Ammar Osaiweran, 2011, 2011 27th IEEE International Conference on Software Maintenance (ICSM).