The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rix Groenboom: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dieter Fensel, Rix Groenboom
    MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:423-427 [Conf]
  2. 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]
  3. Rix Groenboom, Paul Dechering, Edwin D. de Jong, Jan Tijmen Udding
    Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  4. Rix Groenboom, Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding
    Normal Form in a Delay-Insensitive Algebra. [Citation Graph (0, 0)][DBLP]
    Asynchronous Design Methodologies, 1993, pp:57-70 [Conf]
  5. Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding
    Algebraic Proof Assistants in HOL. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:304-321 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. Dieter Fensel, Enrico Motta, Frank van Harmelen, V. Richard Benjamins, Monica Crubézy, Stefan Decker, Mauro Gaspari, Rix Groenboom, William E. Grosso, Mark A. Musen, Enric Plaza, Guus Schreiber, Rudi Studer, Bob J. Wielinga
    The Unified Problem-Solving Method Development Language UPML. [Citation Graph (0, 0)][DBLP]
    Knowl. Inf. Syst., 2003, v:5, n:1, pp:83-131 [Journal]
  10. Peter Dencker, Rix Groenboom
    Methods for testing web services. [Citation Graph (0, 0)][DBLP]
    Software Engineering (Workshops), 2007, pp:137-142 [Conf]

Search in 0.034secs, Finished in 0.035secs
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