| 2026 |
J |
jnl |
Discret. Event Dyn. Syst.
Marzhan M. Baubekova, Koen van Eldik, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
|
| 2025 |
J |
jnl |
CoRR
Marzhan M. Baubekova, Martijn A. Goorden, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda, Wan J. Fokkink
|
| 2023 |
— |
conf |
TACAS (2)
Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, Lars Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Bram van der Sanden, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel
|
| 2023 |
— |
conf |
CASE
J. J. Verbakel, Jeroen van Meurs, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
|
| 2023 |
J |
jnl |
IEEE Trans Autom. Sci. Eng.
Lars Moormann, Reinier H. J. Schouten, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
|
| 2023 |
B |
conf |
ICECCS
J. J. Verbakel, Wan J. Fokkink, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2022 |
J |
jnl |
Computer
Wan J. Fokkink, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Ferdie F. H. Reijnen, Jacobus E. Rooda
|
| 2022 |
J |
jnl |
Discret. Event Dyn. Syst.
Ferdie F. H. Reijnen, Toby R. Erens, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2021 |
— |
conf |
CASE
J. J. Verbakel, M. E. W. Vos de Wael, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
|
| 2021 |
J |
jnl |
Discret. Event Dyn. Syst.
Martijn A. Goorden, Martin Fabian, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
|
| 2021 |
— |
conf |
CCTA
Lars Moormann, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2021 |
J |
jnl |
CoRR
J. van Hegelsom, Joanna M. van de Mortel-Fronczak, Lars Moormann, Dirk A. van Beek, Jacobus E. Rooda
|
| 2021 |
— |
conf |
CASE
Lars Moormann, Reinier H. J. Schouten, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
|
| 2021 |
J |
jnl |
CoRR
Reinier H. J. Schouten, Lars Moormann, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2021 |
J |
jnl |
Comput. Ind.
Ferdie F. H. Reijnen, Eva-Britt Leliveld, Joanna M. van de Mortel-Fronczak, John van Dinther, Jacobus E. Rooda, Wan J. Fokkink
|
| 2020 |
C |
conf |
ICARCV
Ferdie F. H. Reijnen, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2020 |
— |
conf |
CASE
Ferdie F. H. Reijnen, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
|
| 2020 |
— |
conf |
CASE
Lars Moormann, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
|
| 2020 |
J |
jnl |
CoRR
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Martin Fabian, Wan J. Fokkink, Jacobus E. Rooda
|
| 2020 |
J |
jnl |
Discret. Event Dyn. Syst.
Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2020 |
J |
jnl |
IEEE Trans. Autom. Control.
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
|
| 2020 |
Misc |
conf |
SETTA
Martijn A. Goorden, Lars Moormann, Ferdie F. H. Reijnen, J. J. Verbakel, D. A. van Beek, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda, L. F. P. Etman
|
| 2019 |
— |
conf |
CASE
Ferdie F. H. Reijnen, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
|
| 2019 |
— |
conf |
CCTA
Ferdie F. H. Reijnen, J. J. Verbakel, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2019 |
— |
conf |
FACS
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
|
| 2019 |
— |
conf |
ECC
Martijn A. Goorden, Calvin Dingemans, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
|
| 2019 |
C |
conf |
FMICS
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
|
| 2018 |
— |
conf |
CCTA
Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
|
| 2017 |
— |
conf |
CDC
Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
|
| 2017 |
— |
conf |
CCTA
Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2014 |
J |
jnl |
IEEE Trans Autom. Sci. Eng.
Rolf J. M. Theunissen, Mihály Petreczky, Ramon R. H. Schiffelers, Dirk A. van Beek, Jacobus E. Rooda
|
| 2014 |
J |
jnl |
J. Simulation
Ricky Andriansyah, L. F. P. Etman, Ivo J. B. F. Adan, Jacobus E. Rooda
|
| 2013 |
— |
conf |
MIM
Dirk van Zwieten, Erjen Lefeber, Ivo J. B. F. Adan, Jacobus E. Rooda
|
| 2013 |
J |
jnl |
J. Log. Algebraic Methods Program.
D. E. Nadales Agut, D. A. van Beek, Jacobus E. Rooda
|
| 2012 |
Misc |
conf |
WSC
F. J. A. Jansen, L. F. P. Etman, Jacobus E. Rooda, Ivo J. B. F. Adan
|
| 2012 |
J |
jnl |
Discret. Event Dyn. Syst.
Stefan T. J. Forschelen, Joanna M. van de Mortel-Fronczak, Rong Su, Jacobus E. Rooda
|
| 2012 |
J |
jnl |
Math. Control. Signals Syst.
Varvara Feoktistova, Alexey S. Matveev, Erjen Lefeber, Jacobus E. Rooda
|
| 2012 |
J |
jnl |
Adv. Eng. Informatics
Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda
|
| 2012 |
J |
jnl |
Autom.
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
|
| 2012 |
J |
jnl |
IEEE Trans. Autom. Control.
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
|
| 2011 |
— |
conf |
ICCA
Lennart Swartjes, Rong Su, Jacobus E. Rooda
|
| 2011 |
J |
jnl |
Comput. Ind.
Ricky Andriansyah, W. W. H. de Koning, R. M. E. Jordan, L. F. P. Etman, Jacobus E. Rooda
|
| 2011 |
C |
conf |
ACC
Jos C. M. Baeten, D. A. van Beek, Bas Luttik, Jasen Markovski, Jacobus E. Rooda
|
| 2011 |
Misc |
conf |
WSC
L. F. P. Etman, C. P. L. Veeger, Erjen Lefeber, Ivo J. B. F. Adan, Jacobus E. Rooda
|
| 2011 |
C |
conf |
SIMULTECH
Ricky Andriansyah, L. F. P. Etman, Ivo J. B. F. Adan, Jacobus E. Rooda
|
| 2011 |
J |
jnl |
Comput. Ind.
N. C. W. M. Braspenning, R. Boumen, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2011 |
— |
conf |
CDC/ECC
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
|
| 2011 |
J |
jnl |
Syst. Control. Lett.
Erjen Lefeber, Stefan Lämmer, Jacobus E. Rooda
|
| 2011 |
C |
conf |
CCA
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
|
| 2010 |
— |
conf |
CDC
Jasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, Jacobus E. Rooda
|
| 2010 |
Misc |
conf |
WSC
Ricky Andriansyah, Pascal Etman, Jacobus E. Rooda
|
| 2010 |
J |
jnl |
IEEE Trans. Autom. Control.
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
|
| 2010 |
— |
conf |
WODES
Stefan T. J. Forschelen, Joanna M. van de Mortel-Fronczak, Rong Su, Jacobus E. Rooda
|
| 2010 |
— |
conf |
WODES
Jasen Markovski, Koen G. M. Jacobs, Dirk A. van Beek, Lou J. Somers, Jacobus E. Rooda
|
| 2010 |
J |
jnl |
J. Simulation
Casper Veeger, L. F. P. Etman, Joost van Herk, Jacobus E. Rooda
|
| 2010 |
J |
jnl |
IEEE Trans. Autom. Control.
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
|
| 2010 |
— |
conf |
QTNA
Johan S. H. van Leeuwaarden, Erjen Lefeber, Yoni Nazarathy, Jacobus E. Rooda
|
| 2010 |
J |
jnl |
Autom.
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda, Albert T. Hofkamp
|
| 2010 |
— |
conf |
FORMATS
Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, Jacobus E. Rooda
|
| 2010 |
Misc |
conf |
WSC
Casper Veeger, Pascal Etman, Jacobus E. Rooda, Ivo J. B. F. Adan
|
| 2009 |
— |
conf |
ECC
Mihály Petreczky, Rolf J. M. Theunissen, Rong Su, D. A. van Beek, Jan H. van Schuppen, Jacobus E. Rooda
|
| 2009 |
Misc |
conf |
WSC
Casper Veeger, Pascal Etman, Jacobus E. Rooda, Joost van Herk
|
| 2009 |
— |
conf |
CCA/ISIC
A. G. N. Kommer, Alexander Yu. Pogromsky, Boris R. Andrievsky, Jacobus E. Rooda
|
| 2009 |
— |
conf |
ECC
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda, Albert T. Hofkamp
|
| 2009 |
J |
jnl |
IEEE Trans. Syst. Man Cybern. Part A
R. Boumen, Sui Ruan, Ivo S. M. de Jong, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda, Krishna R. Pattipati
|
| 2009 |
— |
conf |
CCA/ISIC
Ramon R. H. Schiffelers, Alexander Yu. Pogromsky, Dirk A. van Beek, Jacobus E. Rooda
|
| 2009 |
J |
jnl |
IEEE Trans. Syst. Man Cybern. Part A
R. Boumen, Ivo S. M. de Jong, J. M. G. Mestrom, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2009 |
J |
jnl |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda
|
| 2009 |
— |
conf |
ADHS
Dirk A. van Beek, Pieter Collins, D. E. Nadales Agut, Jacobus E. Rooda, Ramon R. H. Schiffelers
|
| 2009 |
— |
conf |
ADHS
Mihály Petreczky, Pieter Collins, Dirk A. van Beek, Jan H. van Schuppen, Jacobus E. Rooda
|
| 2009 |
— |
conf |
CCA/ISIC
E. N. Ivanov, Alexander Yu. Pogromsky, Jacobus E. Rooda
|
| 2009 |
— |
conf |
CCA/ISIC
E. N. Ivanov, Alexander Yu. Pogromsky, Jacobus E. Rooda
|
| 2009 |
— |
conf |
ECC
Rolf J. M. Theunissen, Ramon R. H. Schiffelers, D. A. van Beek, Jacobus E. Rooda
|
| 2008 |
J |
jnl |
Comput. Ind.
N. C. W. M. Braspenning, Elena M. Bortnik, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2008 |
J |
jnl |
Comput. Ind. Eng.
A. A. A. Kock, F. J. J. Wullems, L. F. P. Etman, Ivo J. B. F. Adan, F. Nijsse, Jacobus E. Rooda
|
| 2008 |
J |
jnl |
IEEE Trans. Syst. Man Cybern. Part A
R. Boumen, Ivo S. M. de Jong, J. W. H. Vermunt, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2008 |
— |
conf |
CDC
Rong Su, Jan H. van Schuppen, Jacobus E. Rooda
|
| 2008 |
J |
jnl |
IEEE Trans. Syst. Man Cybern. Part A
R. Boumen, Ivo S. M. de Jong, J. W. H. Vermunt, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2007 |
J |
jnl |
IEEE Trans. Autom. Control.
Alexander Yu. Pogromsky, Henk Nijmeijer, Jacobus E. Rooda
|
| 2007 |
— |
conf |
PSYCO
Alexander Yu. Pogromsky, Henk Nijmeijer, Jacobus E. Rooda
|
| 2007 |
— |
conf |
HSCC
D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, Jacobus E. Rooda
|
| 2007 |
— |
ch. |
Handbook of Dynamic System Modeling
Jacobus E. Rooda, Erjen Lefeber
|
| 2007 |
— |
conf |
PSYCO
Alexander Yu. Pogromsky, Roel A. van den Berg, Jacobus E. Rooda
|
| 2007 |
— |
ch. |
Handbook of Dynamic System Modeling
Jacobus E. Rooda, D. A. van Beek, Jos C. M. Baeten
|
| 2007 |
C |
conf |
ACC
J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda
|
| 2006 |
— |
conf |
MBT
N. C. W. M. Braspenning, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2006 |
— |
conf |
ADHS
Roel A. van den Berg, Alexander Yu. Pogromsky, Jacobus E. Rooda
|
| 2006 |
— |
conf |
CDC
J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda
|
| 2006 |
C |
conf |
ACC
J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda
|
| 2006 |
— |
conf |
LIX
Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers, Rolf J. M. Theunissen
|
| 2006 |
— |
conf |
ADHS
Dirk A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers
|
| 2006 |
J |
jnl |
J. Log. Algebraic Methods Program.
D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers
|
| 2005 |
J |
jnl |
J. Log. Algebraic Methods Program.
Elena M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, Joanna M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan J. Fokkink, Jacobus E. Rooda
|
| 2005 |
— |
conf |
CDC/ECC
J. A. W. M. van Eekelen, Erjen Lefeber, B. J. P. Roset, Henk Nijmeijer, Jacobus E. Rooda
|
| 2005 |
— |
conf |
CDC/ECC
B. J. P. Roset, Henk Nijmeijer, J. A. W. M. van Eekelen, Erjen Lefeber, Jacobus E. Rooda
|
| 2005 |
— |
conf |
IFM Doctoral Symposium
D. A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
|
| 2005 |
C |
conf |
ICINCO
Elena M. Bortnik, D. A. van Beek, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2004 |
— |
conf |
CDC
D. A. van Beek, Alexander Yu. Pogromsky, Henk Nijmeijer, Jacobus E. Rooda
|
| 2004 |
C |
conf |
ACC
Erjen Lefeber, Roel A. van den Berg, Jacobus E. Rooda
|
| 2003 |
— |
conf |
ADHS
Ramon R. H. Schiffelers, Dirk A. van Beek, Ka Lok Man, Michel A. Reniers, Jacobus E. Rooda
|
| 2003 |
J |
jnl |
Formal Methods Syst. Des.
J. J. T. Kleijn, Michel A. Reniers, Jacobus E. Rooda
|
| 2003 |
J |
jnl |
ACM Trans. Model. Comput. Simul.
D. A. van Beek, Victor Bos, Jacobus E. Rooda
|
| 2003 |
— |
conf |
ECC
N. J. M. van den Nieuwelaar, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2003 |
— |
conf |
FORMATS
Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda
|
| 2003 |
Misc |
conf |
WSC
D. A. van Beek, Niek G. Jansen, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
|
| 2000 |
— |
conf |
ESM
Joanna M. van de Mortel-Fronczak, R. J. A. Gorter, Jacobus E. Rooda
|
| 2000 |
Misc |
conf |
WSC
S. J. Abspoel, L. F. P. Etman, J. Vervoort, Jacobus E. Rooda
|
| 1999 |
— |
conf |
APMS
Joanna M. van de Mortel-Fronczak, J. P. M. Schmitz, Jacobus E. Rooda
|
| 1998 |
C |
conf |
ICFEM
J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers
|
| 1998 |
— |
conf |
ESM
Gina Fábián, D. A. van Beek, Jacobus E. Rooda
|
| 1997 |
J |
jnl |
Simul. Pract. Theory
D. A. van Beek, S. H. F. Gordijn, Jacobus E. Rooda
|
| 1996 |
J |
jnl |
Eur. J. Control
Dirk A. van Beek, Jacobus E. Rooda
|
| 1996 |
— |
conf |
ESM
D. A. van Beek, Jacobus E. Rooda, M. van den Muyzenberg
|
| 1995 |
— |
conf |
EUROSIM
D. A. van Beek, Jacobus E. Rooda, S. H. F. Gordijn
|