Author

Johan Lewi

Observed names: J. Lewi, Lewi, Johan

Institution: KU Leuven

Observed institution: KU Leuven

OpenAlex ID: A5066927237

A linear local model checking algorithm for CTL

1993 · Bart Vergauwen, Johan Lewi · Lecture notes in computer science · 47

Algebraic Specifications in Software Engineering

1989 · Ivo Van Horebeek, Johan Lewi · Springer eBooks · 45

Efficient local correctness checking for single and alternating boolean equation systems

1994 · B. Vergauwen, J. Lewi · Lecture notes in computer science · 33

A scheme of storage allocation and garbage collection for ALGOL 68

1970 · P Branquart, Johan Lewi · 26

A linear algorithm for solving fixed-point equations on transition systems

1992 · Bart Vergauwen, Johan Lewi · Lecture notes in computer science · 23

The composition of semantics in Algol 68

1971 · P. Branquart, J. Lewi, et al. · Communications of the ACM · 21

PDF

Efficient fixpoint computation

1994 · B. Vergauwen, J. Wauman, et al. · Lecture notes in computer science · 18

A Programming methodology in compiler construction

1979 · Johan Lewi, M. Huybrechts, et al. · 18

An Optimized Translation Process and Its Application to ALGOL 68

1976 · Paul Branquart, Jean-Pierre Cardinael, et al. · Lecture notes in computer science · 18

The ELL(1) parser generator and the error recovery mechanism

1978 · J. Lewi, K. De Vlaminck, et al. · Acta Informatica · 14

EROOS: an entity-relationship based object-oriented specification method

1992 · Stefan Van Baelen, Johan Lewi, et al. · Lirias · 12

PDF

Object-oriented programming: concepts

2003 · J. Goossenaerts, J. Lewi · CompEuro · 11

Proving termination of (conditional) rewrite systems

1993 · Eddy Bevers, Johan Lewi · Acta Informatica · 11

Proof by consistency in conditional equational theories

1991 · Eddy Bevers, Johan Lewi · Lecture notes in computer science · 11

An exception handling method for constructive algebraic specifications

1988 · Ivo van Horebeek, Johan Lewi, et al. · Software Practice and Experience · 11

Software development by LL(1) syntax description

1992 · Johan Lewi, Karel De Vlaminck, et al. · 8

Constraints in object-oriented analysis and design

1994 · Stefan Van Baelen, Johan Lewi, et al. · Lirias · 7

PDF

Constraints in object-oriented analysis

1993 · Stefan Baelen, Johan Lewi, et al. · Lecture notes in computer science · 7

PDF

ABACUS: a powerful tool in a mathematical sciences laboratory

1989 · R. Piessens, J. Lewi, et al. · International Journal of Mathematical Education in Science and Technology · 5

EROOS reference manual version 1.0

1995 · Eric Steegmans, Johan Lewi, et al. · Lirias (KU Leuven) · 4

PDF

EROOS: Entity-relationship object-oriented specifications

1990 · Johan Lewi, Eric Steegmans, et al. · 4

SLS/1 : A translator writing system

1975 · J. Lewi, K. Vlaminck, et al. · Lecture notes in computer science · 4

A context-free syntax of algol 68

1972 · P. Branquart, J.P. Cardinael, et al. · Information Processing Letters · 4

Object oriented sotware development with EROOS: The analysis phase

1993 · Johan Lewi, Eric Steegmans, et al. · Lirias (KU Leuven) · 3

PDF

Generation of interactive parsers with error handling

1992 · E. Steegmans, J. Lewi, et al. · IEEE Transactions on Software Engineering · 3

Works count: 81

Citation count: 389

H-index: 11

I10-index: 15