Normal Form in a Delay-Insensitive Algebra. - Rix Groenboom; Mark B. Josephs; Paul G. Lucassen; Jan Tijmen Udding (Asynchronous Design Methodologies, 1993)

Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification. - Rix Groenboom; Gerard R. Renardel de Lavalette (Semantics of Specification Languages, 1993)

Algebraic Proof Assistants in HOL. - Rix Groenboom; Chris Hendriks; Indra Polak; Jan Terlouw; Jan Tijmen Udding (MPC, 1995)

MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems. - Dieter Fensel; Rix Groenboom (ECAI, 1996)

Formalizing Anaesthesia: a case study in formal specification. - Rix Groenboom; Erik Saaman; Ernest Rotterdam; Gerard R. Renardel de Lavalette (FME, 1996)

Formalisation for decision support in anaesthesiology. - Gerard R. Renardel de Lavalette; Rix Groenboom; Ernest Rotterdam; Frank van Harmelen; Annette ten Teije; Fred de Geus (Artif. Intell. Medicine, 1997)

Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems. - Dieter Fensel; Rix Groenboom; Gerard R. Renardel de Lavalette (Data Knowl. Eng., 1998)

Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE. - Rix Groenboom; Paul Dechering; Edwin D. de Jong; Jan Tijmen Udding (HICSS, 1999)

A software architecture for knowledge-based systems. - Dieter Fensel; Rix Groenboom (Knowl. Eng. Rev., 1999)

The Unified Problem-Solving Method Development Language UPML. - 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; et al. (Knowl. Inf. Syst., 2003)

Methods for testing web services. - Peter Dencker; Rix Groenboom (Software Engineering (Workshops), 2007)

Policy-Based Scheduling of Cloud Services. - Faris Nizamic; Viktoriya Degeler; Rix Groenboom; Alexander Lazovik (Scalable Comput. Pract. Exp., 2012)

Software Metrics for Policy-Driven Software Development Life Cycle Automation. - Leonid Borodaev; Alexandru C. Telea; Rix Groenboom; Rein Smedinga (ICST Workshops, 2018)

Using Advanced Code Analysis for Boosting Unit Test Creation. - Miroslaw Zielinski; Rix Groenboom (ICST Workshops, 2021)