W. O. David Griffioen

	2004
9		W. O. David Griffioen, Frits W. Vaandrager: A theory of normed simulations. ACM Trans. Comput. Log. 5(4): 577-610 (2004)
	2002
8		Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebr. Program. 52-53: 163-181 (2002)
	2000
7		W. O. David Griffioen, Frits W. Vaandrager: A theory of normed simulations CoRR cs.LO/0007030: (2000)
6		Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager: Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. Formal Methods in System Design 16(3): 307-320 (2000)
	1998
5		W. O. David Griffioen, Frits W. Vaandrager: Normed Simulations. CAV 1998: 332-344
4		W. O. David Griffioen, Marieke Huisman: A Comparison of PVS and Isabelle/HOL. TPHOLs 1998: 123-142
	1997
3		Marco Devillers, W. O. David Griffioen, Olaf Müller: Possibly Infinite Sequences in Theorem Provers: A Comparative Study. TPHOLs 1997: 89-104
	1996
2		Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV 1996: 244-256
1		D. J. B. Bosscher, W. O. David Griffioen: Regularity for a Large Class of Context-Free Processes is Decidable. ICALP 1996: 182-193

Coauthor Index

1	Johan Bengtsson	[2] [8]
2	D. J. B. Bosscher	[1]
3	Marco Devillers	[3] [6]
4	Marieke Huisman	[4]
5	Kåre J. Kristoffersen	[2] [8]
6	Kim Guldstrand Larsen (Kim G. Larsen)	[2] [8]
7	Fredrik Larsson	[2] [8]
8	Olaf Müller	[3]
9	Paul Pettersson	[2] [8]
10	Judi Romijn	[6]
11	Frits W. Vaandrager	[5] [6] [7] [9]
12	Wang Yi	[2] [8]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page