Pieter J. L. Cuijpers

2008
12	EE	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
11	EE	Pieter J. L. Cuijpers, Michel A. Reniers: Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. HSCC 2008: 116-129
10	EE	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
9	EE	Pieter J. L. Cuijpers, Reinder J. Bril: Towards Budgeting in Real-Time Calculus: Deferrable Servers. FORMATS 2007: 98-113
8	EE	Pieter J. L. Cuijpers: On Bicontinuous Bisimulation and the Preservation of Stability. HSCC 2007: 676-679
7	EE	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	EE	Pieter J. L. Cuijpers, A. V. Fyukov: Simulation-Based Performance Analysis of a Medical Image-Processing Architecture. FMICS/PDMC 2006: 195-210
5	EE	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	EE	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	EE	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	EE	Pieter J. L. Cuijpers, Michel A. Reniers: Hybrid process algebra. J. Log. Algebr. Program. 62(2): 191-245 (2005)
2004
1	EE	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	[10] [12]
2	D. A. van Beek	[10]
3	Reinder J. Bril	[9]
4	H. M. Duringhof	[7]
5	A. V. Fyukov	[6]
6	Ka Lok Man (Ka L. Man)	[3]
7	L. L. F. Merkx	[7]
8	Michel A. Reniers	[1] [2] [3] [4] [5] [10] [11]
9	J. E. Rooda	[10]
10	Ramon R. H. Schiffelers	[10]
11	R. J. M. Theunissen	[10]
12	P. J. A. van Tilburg	[12]
13	P. C. W. den Brand van	[4]

Colors in the list of coauthors