dblp.uni-trier.dewww.uni-trier.de

Bart Vergauwen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1995
7EEHenrik Reif Andersen, Bart Vergauwen: Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. CAV 1995: 142-154
1994
6EEBart 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
1993
3EEBart Vergauwen, Johan Lewi: A Linear Local Model Checking Algorithm for CTL. CONCUR 1993: 447-461
1992
2EEBart 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

Coauthor Index

1Henrik Reif Andersen [7]
2I. Avau [5]
3Johan Lewi [1] [2] [3] [4] [5] [6]
4A. Poté [5]
5J. Wauman [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)