Uniform Interpolation, Automata and the Modal μ-Calculus. - Giovanna D'Agostino; Marco Hollenberg (Advances in Modal Logic, 1996)

Counting Variables in a Dynamic Setting. - Marco Hollenberg; Kees Vermeulen (J. Log. Comput., 1996)

Equational Axioms of Test Algebra. - Marco Hollenberg (CSL, 1997)

An Equational Axiomatization of Dynamic Negation and Relational Composition. - Marco Hollenberg (J. Log. Lang. Inf., 1997)

Characterizations of Negative Definability in Modal Logic. - Marco Hollenberg (Stud Logica, 1998)

Test Templates for Test Generation. - Marco Hollenberg (IWTCS, 1999)

Dynamic Negation, the One and Only. - Marco Hollenberg; Albert Visser (J. Log. Lang. Inf., 1999)

LARIS 1.0 - LAnguage for Railway Interlooking Specifications. - Wan J. Fokkink; Jan Friso Groote; Marco Hollenberg; Bas van Vlijmen (CWI, 2000)

Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski. - Giovanna D'Agostino; Marco Hollenberg (J. Symb. Log., 2000)