Home > Publications > PhD theses > Informatics (CW) > Before 2000


1999

  1. Henk Vandecasteele, Constraint logic programming: applications and implementation, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 1999, 226+vii pages. Advisors: Danny De Schreye and Maurice Bruynooghe.
  2. Bert Robben, Language technology and metalevel architectures for distributed objects, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 1999, 186+vi pages. Advisors: Pierre Verbaeten and Wouter Joosen.
  3. Frank Matthijs, Component framework technology for protocol stacks, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1999, 221+vi pages. Advisors: Yolande Berbers and Pierre Verbaeten.
  4. Philippe Bekaert, Hierarchical and stochastic algorithms for radiosity, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1999, 260+xi pages. Advisor: Yves Willems.
  5. Walid Al-Ahmad, Inheritance in object-oriented languages: towards an integration of the conceptual modeling and the code reuse perspectives, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 1999, 193+v pages. Advisors: Eric Steegmans and Marc Gobin.
  6. Dirk Lecluse, A design support system for three dimensional components and assemblies , Ph.D. Thesis, Department of Mechanical Engineering, K.U.Leuven, Leuven, Belgium, 1999, liii+245 pages. Advisors: Jean-Pierre Kruth and Yves willems.
  7. Marie-Francine Moens, Automatically Indexing and Abstracting the Content of Document Texts, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 28, 1999, pages. Advisors: Henk Olivié, Leopold Verstraelen, and Joseph Dumortier.

1998

  1. Luc Dehaspe, Frequent pattern discovery in first-order logic, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1998, 193+xiii pages. Advisors: Luc De Raedt and Maurice Bruynooghe.
  2. Hendrik Blockeel, Top-down induction of first order logical decision trees, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1998, 202+xv pages. Advisors: Luc De Raedt and Maurice Bruynooghe.

1997

  1. Kristof Van Belleghem, Open logic programming as a knowledge representation language for dynamic problem domains, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1997. Advisor: Danny de Schreye.
  2. Michael Leuschel, Advanced techniques for logic program specialisation, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 1997, Pages: 431. Advisors: Danny De Schreye and Walter Van Assche.
  3. Tom Holvoet, An approach for open concurrent software development, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1997, Pages: 235. Advisors: Pierre Verbaeten and Marc Gobin.
  4. Dirk Dussart, Topics in program specialization and analysis for statically typed functional languages, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 1997. Advisors: Karel De Vlaminck, Maurice Bruynooghe and Marc Gobin.
  5. Stefaan Decorte, Enchancing the power of termination analysis of logic programs through types and constraints, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1997, Pages: 320. Advisors: Danny de Schreye and Marc Gobin.

1996

  1. Frank Piessens, Semantic data specifications: an analysis based on a categorical formalization, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 1996, Pages: 176. Advisors: Pierre Verbaeten and Eric Steegmans.
  2. Wouter Joosen, Load balancing in distributed and parallel systems, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January, 1996, Pages: 266. Advisor: Pierre Verbaeten.
  3. Rudy Maelbrancke, Linear and spatial data structures: new techniques for analysis and optimiation, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 1996, Pages: 213. Advisors: Henk Olivié and Walter Van Assche.
  4. Philip Dutré, Mathematical frameworks and Monte Carlo Algorithms for global illumination in computer graphics, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September, 1996, Pages: . Advisors: Yves Willems.

1995

  1. Bart Vergauwen, Automatische formele verificatie van reactieve (transitie) systemen, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1995, Pages: 270. Advisors: Johan Lewi and Danny De Schreye.
  2. Gunther Sablon, Iterative versionspaces with an application in inductive logic programming, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 1995, Pages: 278. Advisors: Maurice Bruynooghe and Marc Gobin.
  3. Remco Moolenaar, The paralell implementation of the Andorra kernel language, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November, 1995, Pages: 291. Advisor: Bart Demoen.
  4. Jef Wijsen, Extending dependency theory for temporal databases, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 1995. Advisors: Jacques Vandenbulcke, Maurice Bruynooghe, and Marc Gobin.
  5. Eric Lafortune, Mathematical models and Monte Carlo algorithms for physically based rendering, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 1995, Pages: 167. Advisor: Yves Willems.
  6. Erik Duval, Large-Scale Hypermedia Systems: Data Modeling, Design and Applications in Open and Flexible Learning, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1995. Advisor: Henk Olivié.
  7. Hilde Adé, Theory revision in inductive logic programming: inductive learning, abductive reasoning and bias, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1995, Pages: 304. Advisors: Maurice Bruynooghe and Marc Gobin.
  8. Jef Wijsen, Extending dependency theory for temporal databases. Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 1995. Advisors: Jacques Vandenbulcke, Maurice Bruynooghe and Marc Gobin.
  9. Monique Snoeck, On a process algebra approach for the construction and analysis of M.E.R.O.DE.-based conceptual models, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 1995, Pages: 209. Advisors: Guido Dedene, Roger Holvoet, and Johan Lewi.

1994

  1. Eric Van Gestel, Moose:a framework uniting data base modelling, object-orientation and formal specifications, engineeering style, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March, 1994, Pages: 483. Advisor: Johan lewi.
  2. Bern Martens, On the semantics of meta-programming and the control of partial deduction in logic programming, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 1994, Pages: 295. Advisors: Danny De Schreye and Marc Gobin.
  3. Philip Vanneste, The use of reverse engineering in novice program analysis, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June, 1994, Pages:. Advisors: Bart De Decker.
  4. Veroniek Dumortier, Freeness and related analyses of constraint logic programs using abstract interpretation, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October, 1994, Pages: 281. Advisors: Maurice Bruynooghe and Marc Gobin.

1993

  1. Yu Weiha, Constructing fault-tolerant distributed applications using object-oriented techniques, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1993, Pages: 204. Advisor: Pierre Verbaeten.
  2. Patrick Weemeeuw, Two parallel garbage collection algorithms for Prolog, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 1993, Pages: 151. Advisors: Yves Willems and Bart Demoen.
  3. André Mariën, Improving the compilation of Prolog in the framework of the Warren Abstract Machine, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September, 1993, Pages: 270. Advisors: Yves Willems and Bart Demoen.
  4. Marc Denecker, Knowledge representation and reasoning in incomplete logic programming, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September, 1993, Pages: 292. Advisors: Danny De Schreye and Jan Denef.
  5. Eddy Bevers, Automated reasoning in conditional algebraic specfications: termination and proof by consistence, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March, 1993, Pages: 331. Advisors: Johan Lewi and Karel De Vlaminck.
  6. Tom Tollenaere, The simulation of entropy driven artificial neural networks on message-passing multiprocessors, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 1993, Pages: . Advisors: Guy Orban, Bart De Decker, and Dirk Roose.
  7. Anne De Niel, Self-applicable partial evaluation of polymorphically typed functional languages, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January, 1993, Pages: 363. Advisor: Karel De Vlaminck.

1992

  1. Christophe Verschaetse, Static termination analysis for definite Horn clause programs, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June, 1992. Advisors: Danny De Schreye and Jan Denef

1991

  1. Anne Mulkers, Deriving live data structures in logic programs by means of abstract interpretation, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1991, Pages: 250. Advisors: Maurice Bruynooghe and Marc Gobin.
  2. Lode Missiaen, Localized abductive planning with the event calculus, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September, 1991, Pages: 268. Advisor: Yves Willems.
  3. Jan Goossenaerts, TIE: a formal language for organization design, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April, 1991, Pages: 288. Advisors: Johan Lewi, Roger Holvoet and Guido Dedene.
  4. Luc De Raedt, Interactive concept-learning, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 1991, Pages: 250. Advisors: Maurice Bruynooghe and Marc Gobin.

1990

  1. Gerda Janssens, Deriving run time properties of logic programs by means of abstract interpretation, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March, 1990, Pages: 312. Advisors: Maurice Bruynooghe and Yves Willems.
  2. Jan Van Gael, A generic framework for the interpretation of contextintensitive images and its application to aerial images, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September, 1990, Pages: 185. Advisors: Paul Suetens and Yves Willems.

1988

  1. Ivo Van Horebeek, Formal specifications based on many-sorted initial algebras and their applications to software engineering, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 1988, Pages: 360. Advisor: Johan Lewi.
  2. Bart De Decker, Communication in Distributed Systems: The Hermix(co Model, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 1988, Pages:363. Advisor: P. Verbaeten.
  3. Maurice Bruynooghe, Twee methodes voor de globale optimalisatie van programma's in de logika der Horn-uitdrukkingen, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January, 1988, (1988-01), Speciaal Doctoraat Toegepaste Wetenschappen - Pages: 207

1987

  1. Yolande Berbers, Design of the Hermix distributed operating system: strutural aspects, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December, 1987, Pages: 201. Advisor: P. Verbaeten.

1985

  1. Eric Steegmans, Automatic generation of error recovery in ell(1) translators: concepts and implementation, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June, 1985, Pages: 317. Advisor: Johan Lewi.

1981

  1. Rik Maes, Bijdrage tot een kritische waardering van de beslissingstabellentechniek, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 1981, Pages: 397. Advisor: Maurice Verhelst and Co-advisor: Johan Lewi.

1980

  1. Karel De Vlaminck, Een methodologie in vertalerbouw : concepten en realisatie, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 1980, Pages: 191. Advisor: Johan Lewi.

1979

  1. Maurice Bruynooghe, Naar een betere beheersing van de uitvoering van programma's in de logika der Horn-uitdrukkingen, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 1979, Pages: 194. Advisors: Yves Willems and Marc Gobin

1978

  1. Hubert Christiaen, Ontwerpen en weergeven van driediensionale voorwerpen met behulp van de computer, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January, 1978, Pages: 125+n. Advisor: Yves Willems

1977

  1. G.M. Nijsen, Een evaluatie van de Codasyl voorstellen voor database talen, Ph.D. Thesis, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February, 1977, Pages: 173. Advisor: Yves Willems