The SCEAS System
Navigation Menu

Search the dblp DataBase


Jacques Loeckx: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas Lehmann, Jacques Loeckx
    The Specification Language of OBSCURE. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:131-153 [Conf]
  2. Claus-Werner Lermen, Jacques Loeckx
    OBSCURE, A New Specification Language. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:28-30 [Conf]
  3. Jacques Loeckx
    The Description of Programming Languages and the Verification of their Compilers with the Help of Algorithmic Specifications of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1982, pp:- [Conf]
  4. Jacques Loeckx
    Program Verification with fewer Tears. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  5. Jacques Loeckx
    The Specification Language OBSCURE. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  6. Jacques Loeckx, Annette Hoffmann
    Verification in OBSCURE. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  7. Jacques Loeckx
    The algorithmic specification method of abstract data types: an overview. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:194-200 [Conf]
  8. Jacques Loeckx
    Implementations of Abstract Data Types and Their Verifaction. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:96-108 [Conf]
  9. Heinrich Hußmann, Jacques Loeckx, Wolfgang Reif
    KORSO: Das Verbundprojekt "Korrekte Software". [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1993, pp:266-271 [Conf]
  10. Jacques Loeckx
    Algorithmic Specifications of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ICALP, 1981, pp:129-147 [Conf]
  11. Jacques Loeckx, Joachim Philippi
    Das OBSCURE-Projekt. [Citation Graph (0, 0)][DBLP]
    Innovative Informations-Infrastrukturen, 1988, pp:132-145 [Conf]
  12. Jacques Loeckx, Jörg Zeyer
    Experiences with a Specification Environment. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:255-269 [Conf]
  13. Jacques Loeckx, Ingrid Glasner
    A calculus for proving properties of while-programs. [Citation Graph (0, 0)][DBLP]
    Mathematical Studies of Information Processing, 1978, pp:252-281 [Conf]
  14. Jacques Loeckx
    Formale Korrecktheitsbeweise für While-Programme. [Citation Graph (0, 0)][DBLP]
    Theoretical Computer Science, 1977, pp:190-207 [Conf]
  15. Thomas Lehmann, Jacques Loeckx
    OBSCURE: A Specification Language for Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1993, v:30, n:4, pp:303-350 [Journal]
  16. Hartmut Ehrig, Jacques Loeckx, Bernd Mahr
    A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1986, v:30, n:, pp:61-65 [Journal]
  17. Jacques Loeckx
    The Specification System OBSCURE. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:40, n:, pp:168-171 [Journal]
  18. Jacques Loeckx
    The Parsing for General Phrase-Structure Grammars [Citation Graph (0, 0)][DBLP]
    Information and Control, 1970, v:16, n:5, pp:443-464 [Journal]
  19. Jürgen Eickel, Jacques Loeckx
    The Relation Between Derivations and Syntactical Structures in Phrase-Structure Grammars. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1972, v:6, n:3, pp:267-282 [Journal]
  20. Jacques Loeckx
    Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1987, v:9, n:4, pp:646-685 [Journal]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002