Publications DISTRINET

1997

Articles in internationally reviewed journals

4 references

• Aerts, Kris; De Vlaminck, Karel. A GUI on top of a functional language, ACM SIGPLAN Notices, volume 32, issue 8, page308, 1997

  @article{76632,
    author = "Aerts, Kris and De Vlaminck, Karel",
    title = "A {GUI} on top of a functional language",
    journal = "ACM SIGPLAN Notices",
    volume = "32",
    number = "8",
    pages = "308--308",
    month = Aug,
    year = "1997",
    doi = "10.1145/258948.258977",
    url = "https://lirias.kuleuven.be/handle/123456789/76632",
  }
  

• Dussart, Dirk; Heldal, R.; Hughes, J.. Module-sensitive program specialization, ACM SIGPLAN Notices, volume 32, issue 5, pages 206-216, 1997

  @article{134698,
    author = "Dussart, Dirk and Heldal, R. and Hughes, J.",
    title = "Module-sensitive program specialization",
    journal = "ACM SIGPLAN Notices",
    volume = "32",
    number = "5",
    pages = "206--216",
    month = May,
    year = "1997",
    doi = "10.1145/258915.258934",
    url = "https://lirias.kuleuven.be/handle/123456789/134698",
  }
  

• Joosen, Wouter; Bijnens, S.; Matthijs, F.; Robben, B.; Van Oeyen, J.; Verbaeten, Pierre. Building multi-agent systems with CORRELATE, Multi-agent Rationality, volume 1237, pages 197-209, 1997

  @article{125252,
    author = "Joosen, Wouter and Bijnens, S. and Matthijs, F. and Robben, B. and Van Oeyen, J. and Verbaeten, Pierre",
    title = "Building multi-agent systems with {CORRELATE}",
    journal = "Multi-agent Rationality",
    volume = "1237",
    pages = "197--209",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/125252",
  }
  

• Piessens, Frank; Steegmans, Eric. Proving semantical equivalence of data specifications, Journal of Pure and Applied Algebra, volume 116, issue 1-3, pages 291-322, 1997

  @article{123859,
    author = "Piessens, Frank and Steegmans, Eric",
    title = "Proving semantical equivalence of data specifications",
    journal = "Journal of Pure and Applied Algebra",
    volume = "116",
    number = "1-3",
    pages = "291--322",
    month = Mar,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/123859",
  }
  

Other published books; as author

1 reference

• De Decker, Bart. Structuur en Organisatie van Computersystemen, Deel 4, Acco, Leuven, 1997, isbn 903-343-625-6

  @book{134377,
    author = "De Decker, Bart",
    title = "Structuur en {O}rganisatie van {C}omputersystemen, {D}eel 4",
    publisher = "Acco, Leuven",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134377",
  }
  

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

14 references

• Aerts, Kris; De Vlaminck, Karel. Introducing scheme in a FP-less environment -- The students' opinions, II Congreso Argentino de Ciencias de la Computacion, 2nd Latin American Conference on Functional Programming, October 3-4, 1997, La Plata, Argentinië, Anales CACIC'97, II Congreso Argentino de Ciencias de la Computacion, 2nd Latin American Conference on Functional Programming, pages 1359-1374, 1997

  @inproceedings{132868,
    author = "Aerts, Kris and De Vlaminck, Karel",
    title = "Introducing scheme in a {FP}-less environment -- {T}he students' opinions",
    booktitle = "Anales CACIC'97, II Congreso Argentino de Ciencias de la Computacion, 2nd Latin American Conference on Functional Programming, ",
    pages = "1359--1374",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132868",
  }
  

• Berbers, Yolande; De Decker, Bart; Joosen, Wouter; Matthijs, Frank; Robben, Bert. Management of events in a multi-agent systems, The 1997 International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, U.S.A., June 1997, The 1997 International Conference on Parallel and Distributed Processing Techniques and Applications, pages 1141-1150, 1997

  @inproceedings{132869,
    author = "Berbers, Yolande and De Decker, Bart and Joosen, Wouter and Matthijs, Frank and Robben, Bert",
    title = "Management of events in a multi-agent systems",
    booktitle = "The 1997 International Conference on Parallel and Distributed Processing Techniques and Applications, ",
    pages = "1141--1150",
    month = Jun,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132869",
  }
  

• Berbers, Yolande; De Decker, Bart; Joosen, Wouter; Matthijs, Frank; Robben, Bert. Support for event handling in a mobile agents environment, The European Multimedia, Microprocessor Systems and Electronic Commerce Conference, Florence, Italy, The European Multimedia, Microprocessor Systems and Electronic Commerce Conference, pages 583-590, 1997

  @inproceedings{132990,
    author = "Berbers, Yolande and De Decker, Bart and Joosen, Wouter and Matthijs, Frank and Robben, Bert",
    title = "Support for event handling in a mobile agents environment",
    booktitle = "The European Multimedia, Microprocessor Systems and Electronic Commerce Conference, ",
    pages = "583--590",
    month = Nov,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132990",
  }
  

• De Decker, Bart; Piessens, Frank. A java-based distributed didactical environment, 4th International Conference on Computer Aided Engineering Education, Krakow, Poland, 4th International Conference on Computer Aided Engineering Education, pages II/38 - II/45, 1997

  @inproceedings{132755,
    author = "De Decker, Bart and Piessens, Frank",
    title = "A java-based distributed didactical environment",
    booktitle = "4th International Conference on Computer Aided Engineering Education, ",
    pages = "II/38 -- II/45",
    month = Sep,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132755",
  }
  

• De Decker, Bart; Piessens, Frank. Cryptolog: a theorem prover for cryptographic protocols, Rutgers University, New Jersey, U.S.A., DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997

  @inproceedings{132777,
    author = "De Decker, Bart and Piessens, Frank",
    title = "Cryptolog: a theorem prover for cryptographic protocols",
    booktitle = "DIMACS Workshop on Design and Formal Verification of Security Protocols",
    month = Sep,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132777",
  }
  

• Dussart, Dirk; Hughes, J.; Thiemann, P.. Type specialisation for imperative languages, International Conference on Functional Programming ICFP97, Amsterdam, the Netherlands, International Conference on Functional Programming ICFP97, pages 204-216, 1997

  @inproceedings{134522,
    author = "Dussart, Dirk and Hughes, J. and Thiemann, P.",
    title = "Type specialisation for imperative languages",
    booktitle = "International Conference on Functional Programming ICFP97, ",
    pages = "204--216",
    month = Jun,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/134522",
  }
  

• Holvoet, Tom; Kielmann, T.. Behaviour specifications of active objects in generative communication environments, El-Rewini, Hesman; Patt, Yale N (eds.), 30th Hawaii International Conference: Track on Coordination Models, Languages and Systems, 30th Hawaii International Conference: Track on Coordination Models, Languages and Systems, pages 349-358, 1997

  @inproceedings{132686,
    author = "Holvoet, Tom and Kielmann, T.",
    title = "Behaviour specifications of active objects in generative communication environments",
    booktitle = "30th Hawaii International Conference: Track on Coordination Models, Languages and Systems, ",
    editor = "El-Rewini, Hesman and Patt, Yale N.",
    pages = "349--358",
    month = Jan,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132686",
  }
  

• Joosen, Wouter; Bijnens, Stijn; Van Oeyen, Johan; Robben, Bert; Verbaeten, Pierre; Perram, J.. Affordable overhead in CORRELATE: comparing two MD simulators, Lidell, H.; Colbrook, A.; Hertzberger, B.; Sloot, P (eds.), International Conference and Exhibition on High-Performance Computing and Networking (HPCN Europe 1996), International Conference and Exhibition on High-Performance Computing and Networking (HPCN Europe 1996), pages 217-227, 1997

  @inproceedings{132566,
    author = "Joosen, Wouter and Bijnens, Stijn and Van Oeyen, Johan and Robben, Bert and Verbaeten, Pierre and Perram, J.",
    title = "Affordable overhead in {CORRELATE}: comparing two {MD} simulators",
    booktitle = "International Conference and Exhibition on High-Performance Computing and Networking (HPCN Europe 1996), ",
    editor = "Lidell, H. and Colbrook, A. and Hertzberger, B. and Sloot, P.",
    pages = "217--227",
    month = Apr,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132566",
  }
  

• Matthijs, Frank; Joosen, Wouter; Robben, Bert; Vanhaute, Bart; Verbaeten, Pierre. Multi-Level Patterns, Bosch, Jan; Mitchell, Stuart (eds.), Object-Oriented Technology - ECOOP'97 Workshop Reader, Proceedings of Object-Oriented Technology - ECOOP'97 Workshop Reader, pages 112-115, 1997

  @inproceedings{132818,
    author = "Matthijs, Frank and Joosen, Wouter and Robben, Bert and Vanhaute, Bart and Verbaeten, Pierre",
    title = "Multi-{L}evel {P}atterns",
    booktitle = "Proceedings of Object-Oriented Technology - ECOOP'97 Workshop Reader, ",
    editor = "Bosch, Jan and Mitchell, Stuart",
    pages = "112--115",
    month = Dec,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132818",
  }
  

• Piessens, Frank; Steegmans, Eric. Selective Attribute Elimination for Categorical Data Specifications, The 6th International Conference on Algebraic Methodology and Software Technology, The 6th International Conference on Algebraic Methodology and Software Technology, pages 424-436, 1997

  @inproceedings{132978,
    author = "Piessens, Frank and Steegmans, Eric",
    title = "Selective {A}ttribute {E}limination for {C}ategorical {D}ata {S}pecifications",
    booktitle = "The 6th International Conference on Algebraic Methodology and Software Technology, ",
    pages = "424--436",
    month = Dec,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132978",
  }
  

• Pilar da Silva, Denise; Kabasele, J.-M.; Lobelle, Marc; Olivié, Hendrik. Multimedia integration into an engineering course: a lesson learned, Chrzanowski, M.; Nawarecki, E (eds.), Fourth International Computer Aided Engineering Education, Fourth International Computer Aided Engineering Education, pages II/192-II/199, 1997

  @inproceedings{133268,
    author = "Pilar da Silva, Denise and Kabasele, J.-M. and Lobelle, Marc and Olivi{\'e}, Hendrik",
    title = "Multimedia integration into an engineering course: a lesson learned",
    booktitle = "Fourth International Computer Aided Engineering Education, ",
    editor = "Chrzanowski, M. and Nawarecki, E.",
    pages = "II/192--II/199",
    month = Nov,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/133268",
  }
  

• Robben, Bert; Joosen, Wouter; Van Oeyen, Johan; Matthijs, Frank; Verbaeten, Pierre. Real-time scheduling in correlate, Mühlhauser, M (ed.), European Conference on Object-Oriented Programming (ECOOP'96), The European Conference on Object-Oriented Programming (ECOOP'96), pages 461-464, 1997

  @inproceedings{133571,
    author = "Robben, Bert and Joosen, Wouter and Van Oeyen, Johan and Matthijs, Frank and Verbaeten, Pierre",
    title = "Real-time scheduling in correlate",
    booktitle = "The European Conference on Object-Oriented Programming (ECOOP'96), ",
    editor = "M{\"u}hlhauser, M.",
    pages = "461--464",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/133571",
  }
  

• Robben, Bert; Piessens, Frank; Joosen, Wouter. Formalizing correlate - from practice to Pi, Duke, D.J.; Evans, A.S (eds.), 2nd International BCS-FACW Northern Formal Methods Workshop(NFMW'97), 2nd International BCS-FACS Northern Formal Methods Workshop(NFMW'97), pages 1-16, 1997

  @inproceedings{131726,
    author = "Robben, Bert and Piessens, Frank and Joosen, Wouter",
    title = "Formalizing correlate - from practice to {P}i",
    booktitle = "2nd International BCS-FACS Northern Formal Methods Workshop(NFMW'97), ",
    editor = "Duke, D.J. and Evans, A.S.",
    pages = "1--16",
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/131726",
  }
  

• Robben, Bert; Piessens, Frank; Joosen, Wouter. Formalizing correlate through the Pi-calculus, Bosch, Jan; Mitchell, Stuart (eds.), Object-Oriented Technology - ECOOP'97 Workshop Reader, Proceedings of Object-Oriented Technology - ECOOP'97 Workshop Reader, pages 239-241, 1997

  @inproceedings{132820,
    author = "Robben, Bert and Piessens, Frank and Joosen, Wouter",
    title = "Formalizing correlate through the {P}i-calculus",
    booktitle = "Proceedings of Object-Oriented Technology - ECOOP'97 Workshop Reader, ",
    editor = "Bosch, Jan and Mitchell, Stuart",
    pages = "239--241",
    month = Dec,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132820",
  }
  

Meeting abstracts, presented at other conferences and symposia

2 references

• Van Baelen, Stefan. Overview of UML, UML seminars, Leuven, Belgium, 10 March 1997, Department of Computer Science, K.U.Leuven

  @unpublished{167599,
    author = "Van Baelen, Stefan",
    title = "Overview of {UML}",
    note = "UML seminars, Leuven, Belgium, 10 March 1997",
    publisher = "Department of Computer Science, K.U.Leuven",
    month = Mar,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/167599",
  }
  

• Van Baelen, Stefan. Use case diagrams in UML, UML seminars, Leuven, Belgium, 26 May 1997, Department of Computer Science, K.U.Leuven

  @unpublished{167667,
    author = "Van Baelen, Stefan",
    title = "Use case diagrams in {UML}",
    note = "UML seminars, Leuven, Belgium, 26 May 1997",
    publisher = "Department of Computer Science, K.U.Leuven",
    month = May,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/167667",
  }
  

Thesis

2 references

• Dussart, Dirk. Topics in program specialization and analysis for statically typed functional languages, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1997, De Vlaminck, Karel and Bruynooghe, Maurice and Gobin, Marc (supervisors)

  @phdthesis{134597,
    author = "Dussart, Dirk",
    title = "Topics in program specialization and analysis for statically typed functional languages",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    month = May,
    year = "1997",
    note = "De Vlaminck, Karel and Bruynooghe, Maurice and Gobin, Marc (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/134597",
  }
  

• Holvoet, Tom. An approach for open concurrent software development, PhD thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1997, Verbaeten, Pierre and Gobin, Marc (supervisors)

  @phdthesis{131420,
    author = "Holvoet, Tom",
    title = "An approach for open concurrent software development",
    school = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    pages = "235",
    month = Dec,
    year = "1997",
    note = "Verbaeten, Pierre and Gobin, Marc (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/131420",
  }
  

Internal reports

1 reference

• Al-Ahmad, Walid; Steegmans, Eric. Java and the object-oriented paradigm: comparison and evaluation, CW Reports, volume CW249, 12 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1997

  @techreport{132108,
    author = "Al-Ahmad, Walid and Steegmans, Eric",
    title = "Java and the object-oriented paradigm: comparison and evaluation",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW249",
    month = Apr,
    year = "1997",
    url = "https://lirias.kuleuven.be/handle/123456789/132108",
  }
  

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

Yearly overview: