| 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 | 220 | 2003 |
| Specifying knowledge-based systems with reusable components D Fensel, R Groenboom AIFB, Univ., 1997 | 69 | 1997 |
| 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 | 64 | 1996 |
| 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 | 41 | 1999 |
| Defining a semantics and axiomatization for specifying the reasoning proces of knowledge-based systems D Fensel, R Groenboom New YorkJohn Wiley & Sons, 1996 | 40 | 1996 |
| 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 | 36 | 1994 |
| A formalization of evolving algebras R Groenboom, GRR de Lavalette Proceedings of Accolade 95, 17-28, 1995 | 33 | 1995 |
| 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 | 28 | 1998 |
| A software architecture for knowledge-based systems D Fensel, R Groenboom The Knowledge Engineering Review 14 (2), 153-173, 1999 | 27 | 1999 |
| 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 | 18 | 1999 |
| Testing for highly distributed service-oriented systems using virtual environments F Nizamic, R Groenboom, A Lazovik Proceedings of 17th Dutch Testing Day, 2011 | 13 | 2011 |
| 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 | 13 | 1995 |
| 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 | 13 | 1993 |
| Policy-based scheduling of Cloud services F Nizamic, V Degeler, R Groenboom, A Lazovik Scalable Computing: Practice and Experience 13 (3), 187-200, 2012 | 10 | 2012 |
| 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 | 10 | 1996 |
| 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 | 9 | 1998 |
| Formalizing knowledge domains.-static and dynamic aspects HM Groenboom | 9 | 1997 |
| 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 | 6 | 1998 |
| 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 | 6 | 1997 |
Mauro GaspariDipartimento di Informatica (DISI), University of BolognaVerified email at unibo.it
