Publications DISTRINET

1992

Articles in internationally reviewed journals

2 references

• Demoen, Bart; Mariën, André. Implementation of prolog as binary definite programs, Lecture Notes in Artificial Intelligence, volume 592, pages 165-176, 1992

  @article{125083,
    author = "Demoen, Bart and Mari{\"e}n, Andr{\'e}",
    title = "Implementation of prolog as binary definite programs",
    journal = "Lecture Notes in Artificial Intelligence",
    volume = "592",
    pages = "165--176",
    year = "1992",
    doi = "10.1007/3-540-55460-2\_{}12",
    url = "https://lirias.kuleuven.be/handle/123456789/125083",
  }
  

• Steegmans, Eric; Lewi, Joannes; Van Horebeek, Ivo. Generation of interactive parsers with error handling, IEEE Transactions on Software Engineering, volume 18, issue 5, pages 357-367, 1992

  @article{124364,
    author = "Steegmans, Eric and Lewi, Joannes and Van Horebeek, Ivo",
    title = "Generation of interactive parsers with error handling",
    journal = "IEEE Transactions on Software Engineering",
    volume = "18",
    number = "5",
    pages = "357--367",
    month = May,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/124364",
  }
  

Books, internationally recognised scientific publisher; as author

1 reference

• Lewi, Joannes; De Vlaminck, Karel; Steegmans, Eric; Van Horebeek, Ivo. Software development by LL(1) syntax description, 380 pages, John Wiley and Sons, New York, 1992, isbn 047-193-148-9

  @book{134354,
    author = "Lewi, Joannes and De Vlaminck, Karel and Steegmans, Eric and Van Horebeek, Ivo",
    title = "Software development by {LL}(1) syntax description",
    publisher = "John Wiley and Sons",
    location = "New York",
    pages = "380",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134354",
  }
  

Books, internationally recognised scientific publisher; as editor

2 references

• Dickman, Peter; Berbers, Yolande (eds.), Proceedings of the Workshop Dynamic Object Placement and Load Balancing in Parallel and Distributed Systems, IOS Press, 1992, isbn 081-862-865-0

  @book{133899,
    editor = "Dickman, Peter and Berbers, Yolande",
    title = "Proceedings of the {W}orkshop {D}ynamic {O}bject {P}lacement and {L}oad {B}alancing in {P}arallel and {D}istributed {S}ystems",
    publisher = "IOS Press",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/133899",
  }
  

• Joosen, Wouter; Milgrom, E (eds.), Parallel Computing, From Theory to Sound Practice, 185 pages, IOS Press, 1992, isbn 044-489-156-0

  @book{133925,
    editor = "Joosen, Wouter and Milgrom, E.",
    title = "Parallel {C}omputing, {F}rom {T}heory to {S}ound {P}ractice",
    publisher = "IOS Press",
    pages = "185",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/133925",
  }
  

Papers at international conferences and symposia, published in full in proceedings

18 references

• Berbers, Yolande; Joosen, Wouter; Verbaeten, Pierre. Object-Orientation as an appropriate Paradigm for High-Performance Environments for Scientific Computing, Mont Saint-Michel, France, ACM SIGOPS European Workshop on Models and Paradigms for Distributed Systems Structuring, 1992

  @inproceedings{132727,
    author = "Berbers, Yolande and Joosen, Wouter and Verbaeten, Pierre",
    title = "Object-{O}rientation as an appropriate {P}aradigm for {H}igh-{P}erformance {E}nvironments for {S}cientific {C}omputing",
    booktitle = "ACM SIGOPS European Workshop on Models and Paradigms for Distributed Systems Structuring",
    month = Sep,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132727",
  }
  

• Bijnens, Stijn; Joosen, Wouter; Verbaeten, Pierre. Transparent observation of Xenoops objects, Dallas, Texas, Proceedings of the Supercomputing Debugging Workshop '92, pages 209-220, 1992

  @inproceedings{132513,
    author = "Bijnens, Stijn and Joosen, Wouter and Verbaeten, Pierre",
    title = "Transparent observation of {X}enoops objects",
    booktitle = "Proceedings of the Supercomputing Debugging Workshop '92",
    pages = "209--220",
    month = Oct,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132513",
  }
  

• Craeynest, Dirk; De Vlaminck, Karel. The Absynt metaprogramming environment for language implementation, Systä, ;K., ;Kellomäki, ; Mäkinen, R (eds.), Proceedings of the Nordic Workshop on Programming Environment Research, 15 pages, 1992

  @inproceedings{166887,
    author = "Craeynest, Dirk and De Vlaminck, Karel",
    title = "The {A}bsynt metaprogramming environment for language implementation",
    booktitle = "Proceedings of the Nordic Workshop on Programming Environment Research",
    editor = "Syst{\"a},  andK.,  andKellom{\"a}ki,  and M{\"a}kinen, R.",
    pages = "15",
    month = Jan,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/166887",
  }
  

• Craeynest, Dirk; De Vlaminck, Karel. The Absynt metaprogramming environment for language implementation, Kastens, Uwe; Pfahler, Peter (eds.), Proceedings of the International Workshop on Compiler Construction CC'92, pages 13-17, 1992

  @inproceedings{131199,
    author = "Craeynest, Dirk and De Vlaminck, Karel",
    title = "The {A}bsynt metaprogramming environment for language implementation",
    booktitle = "Proceedings of the International Workshop on Compiler Construction CC'92",
    editor = "Kastens, Uwe and Pfahler, Peter",
    pages = "13--17",
    month = Oct,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/131199",
  }
  

• De Decker, Bart. Unix Security and Kerberos, Proceedings 1991 ESAT International Course on Cryptography and Computer Security, 1992

  @inproceedings{132693,
    author = "De Decker, Bart",
    title = "Unix {S}ecurity and {K}erberos",
    booktitle = "Proceedings 1991 ESAT International Course on Cryptography and Computer Security",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132693",
  }
  

• De Decker, Bart; Van Herreweghen, Els; Piessens, Frank. Heterogeneous intra-domain authentication, Proceedings UNIX Security Symposium III, pages 285-298, 1992

  @inproceedings{132692,
    author = "De Decker, Bart and Van Herreweghen, Els and Piessens, Frank",
    title = "Heterogeneous intra-domain authentication",
    booktitle = "Proceedings UNIX Security Symposium III",
    pages = "285--298",
    month = Sep,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132692",
  }
  

• Joosen, Wouter; Berbers, Yolande; Bijnens, Stijn; Verbaeten, Pierre. Dynamic load balancing in large scale parallel applications: the XENOOPS approach, Vancouver B.C., Proceedings of the OLDA2 (OOPSLA'92), 1992

  @inproceedings{132627,
    author = "Joosen, Wouter and Berbers, Yolande and Bijnens, Stijn and Verbaeten, Pierre",
    title = "Dynamic load balancing in large scale parallel applications: the {XENOOPS} approach",
    booktitle = "Proceedings of the OLDA2 (OOPSLA'92)",
    month = Sep,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132627",
  }
  

• Joosen, Wouter; Berbers, Yolande; Snyers, Marc; Verbaeten, Pierre. Transparent object migration in adaptive parallel applications, Joosen, Wouter; Milgrom, E (eds.), Parallel Computing, From Theory to Sound Practice, Barcelona, September 28-30, 1992, Parallel Computing, From Theory to Sound Practice, pages 300-311

  @inproceedings{131274,
    author = "Joosen, Wouter and Berbers, Yolande and Snyers, Marc and Verbaeten, Pierre",
    title = "Transparent object migration in adaptive parallel applications",
    booktitle = "Parallel Computing, From Theory to Sound Practice, ",
    editor = "Joosen, Wouter and Milgrom, E.",
    pages = "300--311",
    month = Mar,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/131274",
  }
  

• Joosen, Wouter; Berbers, Yolande; Verbaeten, Pierre. Object migration with time-limited residual dependency, Utrecht, The Netherlands, Proceedings of the Workshop on Dynamic Object Placement and Load Balancing in Parallel and Distributed Systems, ECOOP92, pages 63-65, 1992

  @inproceedings{132628,
    author = "Joosen, Wouter and Berbers, Yolande and Verbaeten, Pierre",
    title = "Object migration with time-limited residual dependency",
    booktitle = "Proceedings of the Workshop on Dynamic Object Placement and Load Balancing in Parallel and Distributed Systems, ECOOP92",
    pages = "63--65",
    month = Jun,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132628",
  }
  

• Joosen, Wouter; Verbaeten, Pierre. An environment for load balancing experiments, Utrecht, The Netherlands, Proceedings of the Workshop on Dynamic Object Placement and Load Balancing in Parallel and Distributed Systems, ECOOP92, pages 8-14, 1992

  @inproceedings{132629,
    author = "Joosen, Wouter and Verbaeten, Pierre",
    title = "An environment for load balancing experiments",
    booktitle = "Proceedings of the Workshop on Dynamic Object Placement and Load Balancing in Parallel and Distributed Systems, ECOOP92",
    pages = "8--14",
    month = Jun,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132629",
  }
  

• Joosen, Wouter; Verbaeten, Pierre. Dynamic load balancing in adaptive parallel applications, Kowalik, J.; Grandinetti, L (eds.), Software for Parallel Computation, pages 333-347, 1992

  @inproceedings{132764,
    author = "Joosen, Wouter and Verbaeten, Pierre",
    title = "Dynamic load balancing in adaptive parallel applications",
    booktitle = "Software for Parallel Computation",
    editor = "Kowalik, J. and Grandinetti, L.",
    pages = "333--347",
    month = Jun,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132764",
  }
  

• Moons, Herman; Verbaeten, Pierre. Persistency support for mobile objects in the COMET heterogeneous environment, Cabrera, Luis-Felipe; Jul, Eric (eds.), Proc. Second International Workshop on Object Orientation in Operating Systems, pages 38-48, 1992

  @inproceedings{133239,
    author = "Moons, Herman and Verbaeten, Pierre",
    title = "Persistency support for mobile objects in the {COMET} heterogeneous environment",
    booktitle = "Proc. Second International Workshop on Object Orientation in Operating Systems",
    editor = "Cabrera, Luis-Felipe and Jul, Eric",
    pages = "38--48",
    month = Sep,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/133239",
  }
  

• Van Baelen, Stefan; Lewi, Johan; Steegmans, Eric. Abstraction stratification in an object-oriented development Method like EROOS, de Champeaux, Dennis (ed.), European conference on object-oriented programming, Utrecht, The Netherlands, 29 June-3 July 1992, Workshop on Object-Oriented Software Development Process, pages 1-4

  @inproceedings{133863,
    author = "Van Baelen, Stefan and Lewi, Johan and Steegmans, Eric",
    title = "Abstraction stratification in an object-oriented development {M}ethod like {EROOS}",
    booktitle = "Workshop on Object-Oriented Software Development Process, ",
    editor = "de Champeaux, Dennis",
    pages = "1--4",
    month = Jun,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/133863",
  }
  

• Van Baelen, Stefan; Lewi, Johan; Steegmans, Eric; Van Riel, Helena. EROOS: An entity-relationship based object-oriented development method, DECUS BELUX 1992 symposium, Genval, Belgium, 25 March 1992, DECUS BELUX 1992 Symposium Proceedings, pages 42-64, DECUS BELUX

  @inproceedings{132548,
    author = "Van Baelen, Stefan and Lewi, Johan and Steegmans, Eric and Van Riel, Helena",
    title = "{EROOS}: {A}n entity-relationship based object-oriented development method",
    booktitle = "DECUS BELUX 1992 Symposium Proceedings, ",
    publisher = "DECUS BELUX",
    location = "Brussels, Belgium",
    pages = "42--64",
    month = Mar,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132548",
  }
  

• Van Baelen, Stefan; Lewi, Johan; Steegmans, Eric; Van Riel, Helena. EROOS: An entity-relationship based object-oriented specification method, Heeg, Georg; Magnusson, Boris; Meyer, Bertramd (eds.), International conference on technology of object-oriented languages and systems (TOOLS EUROPE 1992), Dortmund, Germany, 30 March-2 April 1992, Technology of Object-oriented Languages and Systems TOOLS 7, pages 103-117, Prentice Hall

  @inproceedings{132317,
    author = "Van Baelen, Stefan and Lewi, Johan and Steegmans, Eric and Van Riel, Helena",
    title = "{EROOS}: {A}n entity-relationship based object-oriented specification method",
    booktitle = "Technology of Object-oriented Languages and Systems TOOLS 7, ",
    editor = "Heeg, Georg and Magnusson, Boris and Meyer, Bertramd",
    publisher = "Prentice Hall",
    location = "Hertsfordshire, UK",
    pages = "103--117",
    month = Mar,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132317",
  }
  

• Vergauwen, Bart; Lewi, Joannes. Formal verifications: an industrial case study, Dewilde, P.; Vandewalle, Joseph (eds.), Proceedings COMP EURO 92, pages 208-213, 1992

  @inproceedings{133670,
    author = "Vergauwen, Bart and Lewi, Joannes",
    title = "Formal verifications: an industrial case study",
    booktitle = "Proceedings COMP EURO 92",
    editor = "Dewilde, P. and Vandewalle, Joseph",
    pages = "208--213",
    month = May,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/133670",
  }
  

• Vergauwen, Bart; Lewi, Johan. Linear local and global model checking algorithms for a kernel temporal logic language, Koczkodaj, W.; Lauer, P.; Toptsis, A (eds.), Proceedings ICCI 92, pages 46-49, 1992

  @inproceedings{134713,
    author = "Vergauwen, Bart and Lewi, Johan",
    title = "Linear local and global model checking algorithms for a kernel temporal logic language",
    booktitle = "Proceedings ICCI 92",
    editor = "Koczkodaj, W. and Lauer, P. and Toptsis, A.",
    pages = "46--49",
    month = May,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134713",
  }
  

• Vergauwen, Bart; Lewi, Johan. A linear algorithm for solving fixed-point equations on transition systems, Raoult, J-C (ed.), Proceedings CAAP'92, pages 322-341, 1992

  @inproceedings{134712,
    author = "Vergauwen, Bart and Lewi, Johan",
    title = "A linear algorithm for solving fixed-point equations on transition systems",
    booktitle = "Proceedings CAAP'92",
    editor = "Raoult, J-C.",
    pages = "322--341",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134712",
  }
  

Meeting abstracts, presented at other conferences and symposia

2 references

• Van Baelen, Stefan. Constraints in object-oriented analysis and design, NFWO-FNRS fundamental computer science contact group: meeting on object-orientation: models, programming, databases, Antwerp, Belgium, 14 May 1992, U.I.A.

  @unpublished{166728,
    author = "Van Baelen, Stefan",
    title = "Constraints in object-oriented analysis and design",
    note = "NFWO-FNRS fundamental computer science contact group: meeting on object-orientation: models, programming, databases, Antwerp, Belgium, 14 May 1992",
    publisher = "U.I.A.",
    month = May,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/166728",
  }
  

• Van Baelen, Stefan; Bulens, Pierre. TOOLS EUROPE 1992 report, Belgian smalltalk user group meeting, Leuven, Belgium, 7 May 1992, BSUG

  @unpublished{178241,
    author = "Van Baelen, Stefan and Bulens, Pierre",
    title = "{TOOLS} {EUROPE} 1992 report",
    note = "Belgian smalltalk user group meeting, Leuven, Belgium, 7 May 1992",
    publisher = "BSUG",
    month = May,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/178241",
  }
  

Internal reports

4 references

• Bevers, Eddy; Lewi, Joannes. Proving termination of conditional rewrite systems: a semantic approach, CW Reports, volume CW156, 40 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1992

  @techreport{134637,
    author = "Bevers, Eddy and Lewi, Joannes",
    title = "Proving termination of conditional rewrite systems: a semantic approach",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW156",
    month = Nov,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/134637",
  }
  

• Demoen, Bart; Mariën, André. Can Prolog execute as fast as Aquarius, CW Reports, volume CW144, Department of Computer Science, K.U.Leuven, Leuven, Belgium, 1992

  @techreport{131853,
    author = "Demoen, Bart and Mari{\"e}n, Andr{\'e}",
    title = "Can {P}rolog execute as fast as {A}quarius",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW144",
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/131853",
  }
  

• Moons, Herman; Verbaeten, Pierre. The COMET Type and Object Model, CW Reports, volume CW150, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1992

  @techreport{132603,
    author = "Moons, Herman and Verbaeten, Pierre",
    title = "The {COMET} {T}ype and {O}bject {M}odel",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW150",
    month = Jun,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132603",
  }
  

• Moons, Herman; Verbaeten, Pierre. Naming and Locating Mobile Objects in Open Distributed Systems, CW Reports, volume CW151, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1992

  @techreport{132276,
    author = "Moons, Herman and Verbaeten, Pierre",
    title = "Naming and {L}ocating {M}obile {O}bjects in {O}pen {D}istributed {S}ystems",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW151",
    month = Mar,
    year = "1992",
    url = "https://lirias.kuleuven.be/handle/123456789/132276",
  }
  

 
Last update local database Sun May 26 2013 0:18 am; It contains now 9738 items.

Yearly overview: