Bart Vergauwen (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

6		Bart Vergauwen, Johan Lewi: Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems. ICALP 1994: 304-315
5		Bart Vergauwen, Johan Lewi, I. Avau, A. Poté: Efficient Computation of Nested Fix-Points, with Applications to Model Checking. ICTL 1994: 165-179
4		Bart Vergauwen, J. Wauman, Johan Lewi: Efficient FixPoint Computation. SAS 1994: 314-328
3		Bart Vergauwen, Johan Lewi: A Linear Local Model Checking Algorithm for CTL. CONCUR 1993: 447-461
2		Bart Vergauwen, Johan Lewi: A Linear Algorithm for Solving Fixed-Point Equations on Transition Systems. CAAP 1992: 322-341
1		Bart Vergauwen, Johan Lewi: Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language. ICCI 1992: 46-49

Selection of 6 from 7 records - Bart Vergauwen has 5 coauthors