Gerard R. Renardel de Lavalette

	2012
j15		Gerard R. Renardel de Lavalette, Alex Hendriks, Dick de Jongh: Intuitionistic implication without disjunction. J. Log. Comput. 22(3): 375-404 (2012)
j14		Wim H. Hesselink, Gerard R. Renardel de Lavalette: Finite and infinite implementation of transition systems. Theor. Comput. Sci. 458: 131-135 (2012)
	2009
j13		Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge: Strong Completeness and Limited Canonicity for PDL. Journal of Logic, Language and Information 18(2): 291-292 (2009)
	2008
j12		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)
j11		Gerard R. Renardel de Lavalette: Interpolation in computing science: the semantics of modularization. Synthese 164(3): 437-450 (2008)
	2007
i1		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
j10		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
c10		Hendrik Wietze de Haan, Wim H. Hesselink, Gerben G. Meyer, Gerard R. Renardel de Lavalette: Experiments with strategies for agents in the social interaction game Mafia. BNAIC 2005: 89-95
	2004
j9		Hendrik Wietze de Haan, Wim H. Hesselink, Gerard R. Renardel de Lavalette: Knowledge-Based Asynchronous Programming. Fundam. Inform. 63(2-3): 259-281 (2004)
j8		Gerard R. Renardel de Lavalette: Changing Modalities. J. Log. Comput. 14(2): 251-275 (2004)
	1998
j7		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
j6		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
c9		Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette: Formalizing Anaesthesia: a case study in formal specification. FME 1996: 120-139
	1993
c8		Gerard R. Renardel de Lavalette: The Static Part of the Design Language COLD-K. Semantics of Specification Languages 1993: 51-82
c7		Gerard R. Renardel de Lavalette: From Implicit via Inductive to Explicit Definitions. Semantics of Specification Languages 1993: 304-314
c6		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
	1992
j5		Gerard R. Renardel de Lavalette: Strictness Analysis via Abstract Interpretation for Recursively Defined Types. Inf. Comput. 99(2): 154-177 (1992)
	1991
j4		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)
c5		Gerard R. Renardel de Lavalette: Logical Semantics of Modularisation. CSL 1991: 306-315
c4		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
c3		Gerard R. Renardel de Lavalette: Formal Development of a Serial Copy Management System. VDM Europe (1) 1991: 477-495
c2		Sieger van Denneheuvel, Karen L. Kwast, Gerard R. Renardel de Lavalette, Edith Spaan: Query Optimization Using Rewrite Rules. RTA 1991: 252-263
	1990
j3		Gerard R. Renardel de Lavalette: Extended Bar Induction in Applicative Theories. Ann. Pure Appl. Logic 50(2): 139-189 (1990)
	1989
j2		Gerard R. Renardel de Lavalette: Modularisation, Parametrisation, Interpolation. Elektronische Informationsverarbeitung und Kybernetik 25(5/6): 283-292 (1989)
j1		Gerard R. Renardel de Lavalette: Interpolation in Fragments of Intuitionistic Propositional Logic. J. Symb. Log. 54(4): 1419-1430 (1989)
	1987
c1		C. P. J. Koymanns, Gerard R. Renardel de Lavalette: The Logic MPLomega. Algebraic Methods 1987: 247-282

Coauthor Index

Colors in the list of coauthors

Last update Tue May 21 17:34:17 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page