D. A. van Beek

22 papers A 1C 2Misc 2Journal 5Unranked 11
YearRankTypeTitle / Venue / Authors
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