| 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
|
| 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
|
| 2017 |
J |
jnl |
Simul. Model. Pract. Theory
Lennart Swartjes, D. A. van Beek, Wan J. Fokkink, J. A. W. M. van Eekelen
|
| 2016 |
— |
conf |
WODES
Lennart Swartjes, Michel A. Reniers, D. A. van Beek, Wan J. Fokkink
|
| 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
|
| 2013 |
J |
jnl |
J. Log. Algebraic Methods Program.
D. E. Nadales Agut, D. A. van Beek, Jacobus E. Rooda
|
| 2011 |
C |
conf |
ACC
Jos C. M. Baeten, D. A. van Beek, Bas Luttik, Jasen Markovski, Jacobus E. Rooda
|
| 2009 |
— |
conf |
ECC
Mihály Petreczky, Rolf J. M. Theunissen, Rong Su, D. A. van Beek, Jan H. van Schuppen, Jacobus E. Rooda
|
| 2009 |
— |
conf |
ECC
Rolf J. M. Theunissen, Ramon R. H. Schiffelers, D. A. van Beek, 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, D. A. van Beek, Jos C. M. Baeten
|
| 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 |
— |
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
|
| 2003 |
J |
jnl |
ACM Trans. Model. Comput. Simul.
D. A. van Beek, Victor Bos, 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
|
| 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 |
— |
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
|