The Logic MPLomega. - C. P. J. Koymanns; Gerard R. Renardel de Lavalette (Algebraic Methods, 1987)

Modularisation, Parametrisation, Interpolation. - Gerard R. Renardel de Lavalette (J. Inf. Process. Cybern., 1989)

Interpolation in Fragments of Intuitionistic Propositional Logic. - Gerard R. Renardel de Lavalette (J. Symb. Log., 1989)

Extended Bar Induction in Applicative Theories. - Gerard R. Renardel de Lavalette (Ann. Pure Appl. Log., 1990)

Logical Semantics of Modularisation. - Gerard R. Renardel de Lavalette (CSL, 1991)

Formal Development of a Serial Copy Management System. - Gerard R. Renardel de Lavalette (VDM Europe (1), 1991)

LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K. - Cornelis A. Middelburg; Gerard R. Renardel de Lavalette (VDM Europe (1), 1991)

Query Optimization Using Rewrite Rules. - Sieger van Denneheuvel; Karen L. Kwast; Gerard R. Renardel de Lavalette; Edith Spaan (RTA, 1991)

Computations in Fragments of Intuitionistic Propositional Logic. - Dick De Jongh; Lex Hendriks; Gerard R. Renardel de Lavalette (J. Autom. Reason., 1991)

Strictness Analysis via Abstract Interpretation for Recursively Defined Types - Gerard R. Renardel de Lavalette (Inf. Comput., 1992)

Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification. - Rix Groenboom; Gerard R. Renardel de Lavalette (Semantics of Specification Languages, 1993)

The Static Part of the Design Language COLD-K. - Gerard R. Renardel de Lavalette (Semantics of Specification Languages, 1993)

From Implicit via Inductive to Explicit Definitions. - Gerard R. Renardel de Lavalette (Semantics of Specification Languages, 1993)

Formalizing Anaesthesia: a case study in formal specification. - Rix Groenboom; Erik Saaman; Ernest Rotterdam; Gerard R. Renardel de Lavalette (FME, 1996)

Formalisation for decision support in anaesthesiology. - Gerard R. Renardel de Lavalette; Rix Groenboom; Ernest Rotterdam; Frank van Harmelen; Annette ten Teije; Fred de Geus (Artif. Intell. Medicine, 1997)

Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems. - Dieter Fensel; Rix Groenboom; Gerard R. Renardel de Lavalette (Data Knowl. Eng., 1998)

Knowledge-Based Asynchronous Programming. - Hendrik Wietze de Haan; Wim H. Hesselink; Gerard R. Renardel de Lavalette (Fundam. Informaticae, 2004)

Changing Modalities. - Gerard R. Renardel de Lavalette (J. Log. Comput., 2004)

Experiments with strategies for agents in the social interaction game Mafia. - Hendrik Wietze de Haan; Wim H. Hesselink; Gerben G. Meyer; Gerard R. Renardel de Lavalette (BNAIC, 2005)

Hybrid Logics with Infinitary Proof Systems. - Barteld P. Kooi; Gerard R. Renardel de Lavalette; Rineke Verbrugge (J. Log. Comput., 2006)

Kekulé Cells for Molecular Computation - Wim H. Hesselink; J. C. Hummelen; H. T. Jonkman; H. G. Reker; Gerard R. Renardel de Lavalette; M. H. van der Veen (CoRR, 2007)

Interpolation in computing science: the semantics of modularization. - Gerard R. Renardel de Lavalette (Synth., 2008)

Strong Completeness and Limited Canonicity for PDL. - Gerard R. Renardel de Lavalette; Barteld P. Kooi; Rineke Verbrugge (J. Log. Lang. Inf., 2009)

Intuitionistic implication without disjunction. - Gerard R. Renardel de Lavalette; Alex Hendriks; Dick de Jongh (J. Log. Comput., 2012)

Finite and infinite implementation of transition systems. - Wim H. Hesselink; Gerard R. Renardel de Lavalette (Theor. Comput. Sci., 2012)

Put Your Money Where Your Mouth Is: DIAL, A Dialogical Model for Opinion Dynamics. - Piter Dykstra; Corinna Elsenbroich; Wander Jager; Gerard R. Renardel de Lavalette; Rineke Verbrugge (J. Artif. Soc. Soc. Simul., 2013)

An Agent-Based Dialogical Model with Fuzzy Attitudes. - Piter Dykstra; Wander Jager; Corinna Elsenbroich; Rineke Verbrugge; Gerard R. Renardel de Lavalette (J. Artif. Soc. Soc. Simul., 2015)

Interpolation in propositional Horn logic. - Gerard R. Renardel de Lavalette (J. Log. Comput., 2018)