The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Johan Lewi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paul Branquart, Johan Lewi
    A Scheme of Storage Allocation and Garbage Collection for Algol 68. [Citation Graph (0, 0)][DBLP]
    ALGOL 68 Implementation, 1970, pp:199-238 [Conf]
  2. Paul Branquart, Johan Lewi, Jean-Pierre Cardinael
    Analysis of the Parenthesis Structure of Algol 68. [Citation Graph (0, 0)][DBLP]
    ALGOL 68 Implementation, 1970, pp:37-76 [Conf]
  3. 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]
  4. Bart Vergauwen, Johan Lewi
    A Linear Local Model Checking Algorithm for CTL. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:447-461 [Conf]
  5. Eddy Bevers, Johan Lewi
    Proof by Consistency in Conditional Equational Theories. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:194-205 [Conf]
  6. Paul Branquart, Jean-Pierre Cardinael, Johan Lewi, Jean-Paul Delescaille, Michael Van Begin
    A simple translation automaton allowing the generation of optimized code. [Citation Graph (0, 0)][DBLP]
    Methods of Algorithmic Language Implementation, 1975, pp:209-217 [Conf]
  7. Johan Lewi, Karel De Vlaminck, J. Huens, Peter Mertens
    SLS/1: A Translator Writing System. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1975, pp:627-641 [Conf]
  8. 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]
  9. 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]
  10. Johan Lewi, Karel De Vlaminck, J. Huens, M. Huybrechts
    Project LILA. The ELL(1) Generator of LILA, an Introduction. [Citation Graph (0, 0)][DBLP]
    International Computing Symposium, 1977, pp:237-251 [Conf]
  11. 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]
  12. Stefan Van Baelen, Johan Lewi, Eric Steegmans, Bart Swennen
    Constraints in Object-Oriented Analysis. [Citation Graph (0, 0)][DBLP]
    ISOTAS, 1993, pp:393-407 [Conf]
  13. Bart Vergauwen, J. Wauman, Johan Lewi
    Efficient FixPoint Computation. [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:314-328 [Conf]
  14. Stefan Van Baelen, Johan Lewi, Eric Steegmans, Helena Van Riel
    EROOS: An Entity-Relationship Based OO Specification Method. [Citation Graph (0, 0)][DBLP]
    TOOLS (7), 1992, pp:103-117 [Conf]
  15. Stefan Van Baelen, Johan Lewi, Eric Steegmans
    Constraints in Object-Oriented Analysis and Design. [Citation Graph (0, 0)][DBLP]
    TOOLS (13), 1994, pp:185-199 [Conf]
  16. Eddy Bevers, Johan Lewi
    Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1993, v:30, n:6, pp:537-568 [Journal]
  17. Johan Lewi, Karel De Vlaminck, J. Huens, M. Huybrechts
    The ELL(1) Parser Generator and the Error Recovery Mechanism. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:209-228 [Journal]
  18. Paul Branquart, Johan Lewi, Michel Sintzoff, Pierre Wodon
    The Composition of Semantics in Algol 68. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1971, v:14, n:11, pp:697-708 [Journal]
  19. Paul Branquart, Jean-Pierre Cardinael, Jean-Paul Delescaille, Johan Lewi
    A Context-Free Syntax of ALGOL 68. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1972, v:1, n:4, pp:141-148 [Journal]
  20. Ivo van Horebeek, Johan Lewi
    Are constructive formal specifications less abstract? [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1990, v:25, n:5, pp:60-68 [Journal]
  21. Ivo van Horebeek, Johan Lewi, Eddi Bevers, Luc Duponcheel, Willy Van Puymbroeck
    An Exception Handling Method for Constructive Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1988, v:18, n:5, pp:443-458 [Journal]
  22. Eric Steegmans, Johan Lewi, Ivo van Horebeek
    Generation of Interactive Parsers With Error Handling. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:5, pp:357-367 [Journal]

Search in 0.028secs, Finished in 0.029secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002