| NNIL, a study in intuitionistic propositional logic A Visser, J van Benthem, D de Jongh, G Renardel de Lavalette Logic Group Preprint Series 111, 2008 | 63* | 2008 |
| Formal definition of the design language COLD-K LMG Feijs, HBM Jonkers, CPJ Koymans, GR Renardel de Lavalette METEOR Report t7/PRLE/7, Philips Research Lab., Eindhoven, 1987 | 54 | 1987 |
| Computations in fragments of intuitionistic propositional logic D De Jongh, L Hendriks, GR Renardel de Lavalette Journal of Automated Reasoning 7 (4), 537-561, 1991 | 42 | 1991 |
| Reasoning about dynamic features in specification languages R Groenboom, GR Renardel de Lavalette Semantics of Specification Languages (SoSL), 340-355, 1994 | 36* | 1994 |
| The logic MPLω CPJ Koymans, GR Renardel de Lavalette Algebraic Methods: Theory, tools and applications, 247-282, 1989 | 36 | 1989 |
| A Formalisation of Evolving Algebras R Groenboom, G Renardel de Lavalette Proc. Accolade95, 17-28, 1995 | 33 | 1995 |
| Intuitionistic implication without disjunction GR Renardel de Lavalette, A Hendriks, DHJ de Jongh Journal of Logic and Computation 22 (3), 375-404, 2012 | 32 | 2012 |
| Strictness analysis via abstract interpretation for recursively defined types GR Renardel de Lavalette Information and Computation 99 (2), 154-177, 1992 | 32 | 1992 |
| Changing modalities GR Renardel de Lavalette Journal of Logic and Computation 14 (2), 251-275, 2004 | 28 | 2004 |
| Interpolation in fragments of intuitionistic propositional logic GR Renardel de Lavalette The Journal of symbolic logic 54 (04), 1419-1430, 1989 | 26 | 1989 |
| Modal change logic (MCL): Specifying the reasoning of knowledge-based systems D Fensel, R Groenboom, GR Renardel de Lavalette Data & knowledge engineering 26 (3), 243-269, 1998 | 25 | 1998 |
| A survey of the design language COLD LMG Feijs, HBM Jonkers, JH Obbink, CPJ Koymans, GRR de Lavalette, ... Esprit 86, 631-644, 1987 | 25 | 1987 |
| Put your money where your mouth is: DIAL, a dialogical model for opinion dynamics P Dykstra, C Elsenbroich, W Jager, G Renardel de Lavalette, ... Journal of Artificial Societies and Social Simulation 16 (3), 4, 2013 | 23 | 2013 |
| An agent-based dialogical model with fuzzy attitudes P Dykstra, W Jager, C Elsenbroich, R Verbrugge, GR De Lavalette Journal of Artificial Societies and Social Simulation 18 (3), 2015 | 19 | 2015 |
| Strong completeness and limited canonicity for PDL G Renardel de Lavalette, B Kooi, R Verbrugge Journal of logic, language and information 17 (1), 69-87, 2008 | 19 | 2008 |
| Modularisation, parameterisation, interpolation GRR de Lavalette Department of Philosophy, University of Utrecht, 1988 | 19 | 1988 |
| Normalisation of database expressions involving calculations S van Denneheuvel, GR Renardel de Lavalette Rijksuniversiteit Utrecht. Faculteit der Wijsbegeerte, 1989 | 18 | 1989 |
| A strongly complete proof system for propositional dynamic logic G Renardel de Lavalette, B Kooi, R Verbrugge AiML2002—Advances in Modal Logic (conference proceedings), 377-393, 0 | 18* | |
| A logic of modification and creation GR Renardel de Lavalette Logical Perspectives on Language and Information. CSLI publications …, 2001 | 17* | 2001 |
| The interpolation theorem in fragments of logics GR Renardel de Lavalette Indagationes Mathematicae 84 (1), 71-86, 1981 | 17* | 1981 |
