A Linear Algorithm for Solving Fixed-Point Equations on Transition Systems. - Bart Vergauwen; Johan Lewi (CAAP, 1992)

Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language. - Bart Vergauwen; Johan Lewi (ICCI, 1992)

A Linear Local Model Checking Algorithm for CTL. - Bart Vergauwen; Johan Lewi (CONCUR, 1993)

Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems. - Bart Vergauwen; Johan Lewi (ICALP, 1994)

Efficient Computation of Nested Fix-Points, with Applications to Model Checking. - Bart Vergauwen; Johan Lewi; I. Avau; A. Poté (ICTL, 1994)

Efficient FixPoint Computation. - Bart Vergauwen; J. Wauman; Johan Lewi (SAS, 1994)

Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. - Henrik Reif Andersen; Bart Vergauwen (CAV, 1995)