| 2008 |
|---|
| 23 | EE | 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 | EE | Gerard R. Renardel de Lavalette:
Interpolation in computing science: the semantics of modularization.
Synthese 164(3): 437-450 (2008) |
| 2007 |
|---|
| 21 | EE | 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 | EE | 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 | EE | 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 | EE | Gerard R. Renardel de Lavalette:
Changing Modalities.
J. Log. Comput. 14(2): 251-275 (2004) |
| 1998 |
|---|
| 16 | EE | 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 |
