The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gerard R. Renardel de Lavalette: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002