Pieter J. L. Cuijpers

	2009
15		Harsh Beohar, Pieter J. L. Cuijpers, Jos C. M. Baeten: Design of asynchronous supervisors CoRR abs/0910.0868: (2009)
14		Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg: A Basic Parallel Process as a Parallel Pushdown Automaton. Electr. Notes Theor. Comput. Sci. 242(1): 35-48 (2009)
	2008
13		Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg: A Context-Free Process as a Pushdown Automaton. CONCUR 2008: 98-113
12		Pieter J. L. Cuijpers, Michel A. Reniers: Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. HSCC 2008: 116-129
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)
10		Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. Mosterman: Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs. Simulation 84(7): 339-358 (2008)
	2007
9		Pieter J. L. Cuijpers, Reinder J. Bril: Towards Budgeting in Real-Time Calculus: Deferrable Servers. FORMATS 2007: 98-113
8		Pieter J. L. Cuijpers: On Bicontinuous Bisimulation and the Preservation of Stability. HSCC 2007: 676-679
7		L. L. F. Merkx, Pieter J. L. Cuijpers, H. M. Duringhof: Algebraic software analysis and embedded simulation of a driving robot. SCSC 2007: 473-480
	2006
6		Pieter J. L. Cuijpers, A. V. Fyukov: Simulation-Based Performance Analysis of a Medical Image-Processing Architecture. FMICS/PDMC 2006: 195-210
5		Pieter J. L. Cuijpers, Michel A. Reniers: Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis. Electr. Notes Theor. Comput. Sci. 162: 153-158 (2006)
4		P. C. W. den Brand van, Michel A. Reniers, Pieter J. L. Cuijpers: Linearization of hybrid processes. J. Log. Algebr. Program. 68(1-2): 54-104 (2006)
	2005
3		Ka L. Man, Michel A. Reniers, Pieter J. L. Cuijpers: Case Studies in The Hybrid Process Algebra Hypa. International Journal of Software Engineering and Knowledge Engineering 15(2): 299-306 (2005)
2		Pieter J. L. Cuijpers, Michel A. Reniers: Hybrid process algebra. J. Log. Algebr. Program. 62(2): 191-245 (2005)
	2004
1		Pieter J. L. Cuijpers, Michel A. Reniers: Topological (Bi-)Simulation. Electr. Notes Theor. Comput. Sci. 100: 49-64 (2004)

Coauthor Index

1	Jos C. M. Baeten	[11] [13] [14] [15]
2	D. A. van Beek	[11]
3	Harsh Beohar	[15]
4	Reinder J. Bril	[9]
5	Jan F. Broenink	[10]
6	H. M. Duringhof	[7]
7	A. V. Fyukov	[6]
8	Ka Lok Man (Ka L. Man)	[3]
9	L. L. F. Merkx	[7]
10	Pieter J. Mosterman	[10]
11	Michel A. Reniers	[1] [2] [3] [4] [5] [11] [12]
12	J. E. Rooda	[11]
13	Ramon R. H. Schiffelers	[11]
14	R. J. M. Theunissen	[11]
15	P. J. A. van Tilburg	[13] [14]
16	P. C. W. den Brand van	[4]

Colors in the list of coauthors