Gerard R. Renardel de Lavalette

	2008
23		Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge: Strong Completeness and Limited Canonicity for PDL. Journal of Logic, Language and Information 17(1): 69-87 (2008)
22		Gerard R. Renardel de Lavalette: Interpolation in computing science: the semantics of modularization. Synthese 164(3): 437-450 (2008)
	2007
21		Wim H. Hesselink, J. C. Hummelen, H. T. Jonkman, H. G. Reker, Gerard R. Renardel de Lavalette, M. H. van der Veen: Kekulé Cells for Molecular Computation CoRR abs/0704.2282: (2007)
	2006
20		Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge: Hybrid Logics with Infinitary Proof Systems. J. Log. Comput. 16(2): 161-175 (2006)
	2005
19		Hendrik Wietze de Haan, Wim H. Hesselink, Gerben Meyer, Gerard R. Renardel de Lavalette: Experiments with strategies for agents in the social interaction game Mafia. BNAIC 2005: 89-95
	2004
18		Hendrik Wietze de Haan, Wim H. Hesselink, Gerard R. Renardel de Lavalette: Knowledge-Based Asynchronous Programming. Fundam. Inform. 63(2-3): 259-281 (2004)
17		Gerard R. Renardel de Lavalette: Changing Modalities. J. Log. Comput. 14(2): 251-275 (2004)
	1998
16		Dieter Fensel, Rix Groenboom, Gerard R. Renardel de Lavalette: Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems. Data Knowl. Eng. 26(3): 243-269 (1998)
	1997
15		Gerard R. Renardel de Lavalette, Rix Groenboom, Ernest Rotterdam, Frank van Harmelen, Annette ten Teije, Fred de Geus: Formalisation for decision support in anaesthesiology. Artificial Intelligence in Medicine 11(3): 189-214 (1997)
	1996
14		Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette: Formalizing Anaesthesia: a case study in formal specification. FME 1996: 120-139
	1993
13		Gerard R. Renardel de Lavalette: From Implicit via Inductive to Explicit Definitions. Semantics of Specification Languages 1993: 304-314
12		Rix Groenboom, Gerard R. Renardel de Lavalette: Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification. Semantics of Specification Languages 1993: 340-355
11		Gerard R. Renardel de Lavalette: The Static Part of the Design Language COLD-K. Semantics of Specification Languages 1993: 51-82
	1992
10		Gerard R. Renardel de Lavalette: Strictness Analysis via Abstract Interpretation for Recursively Defined Types Inf. Comput. 99(2): 154-177 (1992)
	1991
9		Gerard R. Renardel de Lavalette: Logical Semantics of Modularisation. CSL 1991: 306-315
8		Sieger van Denneheuvel, Karen L. Kwast, Gerard R. Renardel de Lavalette, Edith Spaan: Query Optimization Using Rewrite Rules. RTA 1991: 252-263
7		C. A. Middelburg, Gerard R. Renardel de Lavalette: LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K. VDM Europe (1) 1991: 279-308
6		Gerard R. Renardel de Lavalette: Formal Development of a Serial Copy Management System. VDM Europe (1) 1991: 477-495
5		Dick De Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette: Computations in Fragments of Intuitionistic Propositional Logic. J. Autom. Reasoning 7(4): 537-561 (1991)
	1990
4		Gerard R. Renardel de Lavalette: Extended Bar Induction in Applicative Theories. Ann. Pure Appl. Logic 50(2): 139-189 (1990)
	1989
3		Gerard R. Renardel de Lavalette: Modularisation, Parametrisation, Interpolation. Elektronische Informationsverarbeitung und Kybernetik 25(5/6): 283-292 (1989)
2		Gerard R. Renardel de Lavalette: Interpolation in Fragments of Intuitionistic Propositional Logic. J. Symb. Log. 54(4): 1419-1430 (1989)
	1987
1		C. P. J. Koymanns, Gerard R. Renardel de Lavalette: The Logic MPLomega. Algebraic Methods 1987: 247-282

Coauthor Index

1	Sieger van Denneheuvel	[8]
2	Dieter Fensel	[16]
3	Fred de Geus	[15]
4	Rix Groenboom	[12] [14] [15] [16]
5	Hendrik Wietze de Haan	[18] [19]
6	Frank van Harmelen	[15]
7	Edith Hemaspaandra (Edith Spaan)	[8]
8	Lex Hendriks	[5]
9	Wim H. Hesselink	[18] [19] [21]
10	J. C. Hummelen	[21]
11	Dick De Jongh	[5]
12	H. T. Jonkman	[21]
13	Barteld P. Kooi	[20] [23]
14	C. P. J. Koymanns	[1]
15	Karen L. Kwast	[8]
16	Gerben Meyer	[19]
17	Kees Middelburg (C. A. Middelburg)	[7]
18	H. G. Reker	[21]
19	Ernest Rotterdam	[14] [15]
20	Erik Saaman	[14]
21	Annette ten Teije	[15]
22	M. H. van der Veen	[21]
23	Rineke Verbrugge (L. C. Verbrugge)	[20] [23]

Colors in the list of coauthors