D. A. van Beek

	2008
11		Jos C. M. Baeten, D. A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers, R. J. M. Theunissen: Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. Electr. Notes Theor. Comput. Sci. 209: 21-53 (2008)
	2007
10		D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda: Foundations of a Compositional Interchange Format for Hybrid Systems. HSCC 2007: 587-600
9		D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers: Relating Hybrid Chi to Other Formalisms. Electr. Notes Theor. Comput. Sci. 191: 85-113 (2007)
	2006
8		D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers: Syntax and consistent equation semantics of hybrid Chi. J. Log. Algebr. Program. 68(1-2): 129-210 (2006)
	2005
7		E. M. Bortnik, D. A. van Beek, J. M. van de Mortel-Fronczak, J. E. Rooda: Verification of timed chi models using uppaal. ICINCO 2005: 486-492
	2003
6		Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda: Formal Semantics of Hybrid Chi. FORMATS 2003: 151-165
5		D. A. van Beek, Niek G. Jansen, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers: Hybrid dynamic systems: relating Chi to hybrid automata. Winter Simulation Conference 2003: 632-640
4		D. A. van Beek, Victor Bos, J. E. Rooda: Declaration of unknowns in DAE-based hybrid system specification. ACM Trans. Model. Comput. Simul. 13(1): 39-61 (2003)
	1998
3		Gina Fábián, D. A. van Beek, J. E. Rooda: Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulator. ESM 1998: 252-256
	1997
2		D. A. van Beek, S. H. F. Gordijn, J. E. Rooda: Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines. Simul. Pr. Theory 5(7-8): 653-669 (1997)
	1995
1		D. A. van Beek, J. E. Rooda, S. H. F. Gordijn: A Combined Continuous-Time / Discrete-Event Approach to Modelling and Simulation of Manufacturing Machines. EUROSIM 1995: 1029-1034

Coauthor Index

1	Jos C. M. Baeten	[11]
2	E. M. Bortnik	[7]
3	Victor Bos	[4]
4	Pieter J. L. Cuijpers	[11]
5	Gina Fábián	[3]
6	S. H. F. Gordijn	[1] [2]
7	Niek G. Jansen	[5]
8	Ka Lok Man (Ka L. Man)	[5] [6] [8] [9]
9	J. M. van de Mortel-Fronczak	[7]
10	Michel A. Reniers	[5] [6] [8] [9] [10] [11]
11	J. E. Rooda	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
12	Ramon R. H. Schiffelers	[5] [6] [8] [9] [10] [11]
13	R. J. M. Theunissen	[11]