Johan Lewi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1975–1994
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | ICALP | Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems. | Bart Vergauwen, Johan Lewi |
| 1994 | SAS | Efficient FixPoint Computation. | Bart Vergauwen, J. Wauman, Johan Lewi |
| 1993 | CONCUR | A Linear Local Model Checking Algorithm for CTL. | Bart Vergauwen, Johan Lewi |
| 1992 | ICCI | Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language. | Bart Vergauwen, Johan Lewi |
| 1975 | GI | SLS/1: A Translator Writing System. | Johan Lewi, Karel De Vlaminck, J. Huens, Peter Mertens |