Follow
Rix Groenboom
Rix Groenboom
Hanze University of Applied Sciences
Verified email at pl.hanze.nl - Homepage
Title
Cited by
Cited by
Year
The unified problem-solving method development language UPML
D Fensel, E Motta, F Van Harmelen, VR Benjamins, M Crubezy, S Decker, ...
Knowledge and Information Systems 5, 83-131, 2003
2152003
Specifying knowledge-based systems with reusable components
D Fensel, R Groenboom
AIFB, Univ., 1997
691997
Specification and verification of knowledge-based systems
D Fensel, A Schonegge, R Groenboom, B Wielinga
Proceedings of the 10th Banff knowledge acquisition for knowledge-based …, 1996
621996
The component model of UPML in a nutshell
D Fensel, VR Benjamins, S Decker, M Gaspari, R Groenboom, W Grosso, ...
WWW Proceedings of the 1st Working IFIP Conference on Software Architectures …, 1999
411999
Defining a semantics and axiomatization for specifying the reasoning proces of knowledge-based systems
D Fensel, R Groenboom
New YorkJohn Wiley & Sons, 1996
401996
Reasoning about dynamic features in specification languages: A modal view on creation and modification
R Groenboom, GR Renardel de Lavalette
Semantics of Specification Languages (SoSL) Proceedings of the International …, 1994
361994
A formalization of evolving algebras
R Groenboom, GRR de Lavalette
Proceedings of Accolade 95, 17-28, 1995
331995
A software architecture for knowledge-based systems
D Fensel, R Groenboom
The Knowledge Engineering Review 14 (2), 153-173, 1999
271999
Modal change logic (MCL): Specifying the reasoning of knowledge-based systems
D Fensel, R Groenboom, GRR de Lavalette
Data & knowledge engineering 26 (3), 243-269, 1998
271998
Formalization of a software architecture for embedded systems: a process algebra for SPLICE
P Dechering, R Groenboom, E de Jong, JT Udding
Proceedings of the 32nd Annual Hawaii International Conference on Systems …, 1999
181999
Algebraic proof assistants in HOL
R Groenboom, C Hendriks, I Polak, J Terlouw, JT Udding
Mathematics of Program Construction: Third International Conference, MPC'95 …, 1995
131995
Normal form in a delay-insensitive algebra
R Groenboom, MB Josephs, PG Lucassen, JT Udding
IFIP WG10. 5 Working Conference on Asynchronous Design Methodologies, 57-70, 1993
131993
Testing for highly distributed service-oriented systems using virtual environments
F Nizamic, R Groenboom, A Lazovik
Proceedings of 17th Dutch Testing Day, 2011
112011
Formalizing anaesthesia: a case study in formal specification
R Groenboom, E Saaman, E Rotterdam, G Renardel deLavalette
FME'96: Industrial Benefit and Advances in Formal Methods: Third …, 1996
101996
Policy-based scheduling of Cloud services
F Nizamic, V Degeler, R Groenboom, A Lazovik
Scalable Computing: Practice and Experience 13 (3), 187-200, 2012
92012
The unified problem-solving method description language UPML
D Fensel, VR Benjamins, S Decker, M Gaspari, R Groenboom, E Motta, ...
IBROW-3 Esprit Project 27169. Project Deliverable 1, 1998
91998
Formalizing knowledge domains.-static and dynamic aspects
HM Groenboom
91997
The Unified Problem-solving Method Development Language UPML, to appear
D Fensel, E Motta, VR Benjamins, M Crubezy, S Decker, M Gaspari, ...
Knowledge and Information Systems (KAIS): An International Journal, 0
8
F. van Harmelen, M
D Fensel, E Motta, V Benjamins, S Decker, M Gaspari, R Groenboom, ...
Musen, E. Plaza, G. Schreiber, R. Studer, A. Ten, B. Wielinga,“An …, 1998
61998
Formalisation for decision support in anaesthesiology
GRR de Lavalette, R Groenboom, E Rotterdam, F van Harmelen, ...
Artificial Intelligence in Medicine 11 (3), 189-214, 1997
61997
The system can't perform the operation now. Try again later.
Articles 1–20