| 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
|
| 2018 |
J |
jnl |
IEEE Trans. Intell. Transp. Syst.
Tim Korssen, Victor S. Dolk, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Maurice Heemels
|
| 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
|
| 2016 |
— |
conf |
FESCA@ETAPS
Avinash Visagan Varadarajan, Marcel Romijn, Bart Oosthoek, Joanna M. van de Mortel-Fronczak, Jos Beijer
|
| 2015 |
— |
conf |
CDC
Thijs Janssen, Joanna M. van de Mortel-Fronczak, Emile van Gerwen, Michel A. Reniers
|
| 2014 |
A |
conf |
TACAS
D. A. van Beek, Wan J. Fokkink, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers
|
| 2014 |
— |
conf |
ICCPS
Joanna M. van de Mortel-Fronczak, Rudolf G. M. Huisman, Martin H. R. van der Heijden, Michel A. Reniers
|
| 2012 |
J |
jnl |
Discret. Event Dyn. Syst.
Stefan T. J. Forschelen, Joanna M. van de Mortel-Fronczak, Rong Su, Jacobus E. Rooda
|
| 2012 |
— |
conf |
SAFECOMP Workshops
Jasen Markovski, Joanna M. van de Mortel-Fronczak
|
| 2011 |
J |
jnl |
Comput. Ind.
N. C. W. M. Braspenning, R. Boumen, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2010 |
— |
conf |
WODES
Stefan T. J. Forschelen, Joanna M. van de Mortel-Fronczak, Rong Su, Jacobus E. Rooda
|
| 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 |
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
|
| 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 |
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 |
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
|
| 2006 |
— |
conf |
MBT
N. C. W. M. Braspenning, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 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 |
C |
conf |
ICINCO
Elena M. Bortnik, D. A. van Beek, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2003 |
— |
conf |
ECC
N. J. M. van den Nieuwelaar, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
|
| 2000 |
— |
conf |
ESM
Joanna M. van de Mortel-Fronczak, R. J. A. Gorter, Jacobus E. Rooda
|
| 1999 |
— |
conf |
APMS
Joanna M. van de Mortel-Fronczak, J. P. M. Schmitz, Jacobus E. Rooda
|