On a Formalization of the Non-Definedness Notion. - Albert Hoogewijs (Math. Log. Q., 1979)

A Partial Predicate Calculus in a Two-Valued Logic. - Albert Hoogewijs (Math. Log. Q., 1983)

Partial-Predicate Logic in Computer Science. - Albert Hoogewijs (Acta Informatica, 1987)

LL(1) descriptions for robots. - Albert Hoogewijs (Robotica, 1997)

Shared Memory Synchronization. - Noemie Slaats; Bart Van Assche; Albert Hoogewijs (Proof in VDM, 1998)

The Non-Definedness Notion in Expert Systems. - Dirk Van Heule; Albert Hoogewijs; Noemie Slaats (Inf. Sci., 1999)

Automated Reasoning with Ordinary Assertions and Default Assumptions. - Dirk Van Heule; Albert Hoogewijs (ISMVL, 2001)

On the size of minimal blocking sets of Q(4; q), for q = 5, 7. - Jan De Beule; Albert Hoogewijs; Leo Storme (SIGSAM Bull., 2004)

SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts. - Sara Van Langenhove; Albert Hoogewijs (WADT, 2006)