SCEAS

The SCEAS System

Title:
Author:

Bart Vergauwen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Bart Vergauwen, Johan Lewi
A Linear Algorithm for Solving Fixed-Point Equations on Transition Systems. [Citation Graph (0, 0)][DBLP]
CAAP, 1992, pp:322-341 [Conf]
Henrik Reif Andersen, Bart Vergauwen
Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. [Citation Graph (0, 0)][DBLP]
CAV, 1995, pp:142-154 [Conf]
Bart Vergauwen, Johan Lewi
A Linear Local Model Checking Algorithm for CTL. [Citation Graph (0, 0)][DBLP]
CONCUR, 1993, pp:447-461 [Conf]
Bart Vergauwen, Johan Lewi
Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems. [Citation Graph (0, 0)][DBLP]
ICALP, 1994, pp:304-315 [Conf]
Bart Vergauwen, Johan Lewi
Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language. [Citation Graph (0, 0)][DBLP]
ICCI, 1992, pp:46-49 [Conf]
Bart Vergauwen, Johan Lewi, I. Avau, A. Poté
Efficient Computation of Nested Fix-Points, with Applications to Model Checking. [Citation Graph (0, 0)][DBLP]
ICTL, 1994, pp:165-179 [Conf]
Bart Vergauwen, J. Wauman, Johan Lewi
Efficient FixPoint Computation. [Citation Graph (0, 0)][DBLP]
SAS, 1994, pp:314-328 [Conf]

Search in 0.001secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP