Reduced instruction set computer architectures, Paul Spee
@PhdThesis{M-DEL-1,
  author = 	 "Paul Spee",
  title = 	 "Reduced instruction set computer architectures",
  school = 	 "Delft University of Technology",
  year = 	 1986,
  note =	 "Master's Thesis"
}

Retargeting the Portable C Compiler, Paul Spee
@PhdThesis{M-DEL-2,
  author = 	 "Paul Spee",
  title = 	 "Retargeting the Portable C Compiler",
  school = 	 "Delft University of Technology",
  year = 	 1986,
  note =         "Master's Thesis"
}

The g-machine, a bit-mapped graphics device, Michael J.A. Hamel
@PhdThesis{M-Ota-1,
  author = 	 "Michael J.A. Hamel",
  title = 	 "The g-machine, a bit-mapped graphics device",
  school = 	 "University of Otago",
  year = 	 1984,
  note =	 "Master's Thesis"
}

Rechnerunterstutztes konstruieren - Flexible variantenkonstruktion von werkzeugmaschinenbaugruppen-,
@PhdThesis{DD-AAC-1,
  author = 	 "Hans-J{\"{u}}rgen Wessel-Schlickmann",
  title = 	 "Rechnerunterstutztes konstruieren
                  - Flexible variantenkonstruktion von
                  werkzeugmaschinenbaugruppen-",
  school = 	 "Rheinisch-Westfalischen Technischen Hoshschule
                  Aachen",
  year = 	 1979,
  key =		 "Hans-Jurgen Wessel-Schlickmann",
}

Formal and computational aspects of functional grammar and language typology, Dik Bakker
@PhdThesis{DD-AMS-1,
  author = 	 "Dik Bakker",
  title = 	 "Formal and computational aspects of functional
		  grammar and language typology",
  school = 	 "Universiteit van Amsterdam",
  year = 	 1994,
  note =	 "ISBN: 90-74698-05-0  NUGI: 941/854"
}

Image analysis methods based on hierarchies of graphs multi-scale mathematical morphology, Peter F.M. Nacken
@PhdThesis{DD-AMS-2,
  author = 	 "Peter F.M. Nacken",
  title = 	 "Image analysis methods based on hierarchies of
		  graphs multi-scale mathematical morphology",
  school = 	 "Universiteit van Amsterdam",
  year = 	 1994
}

Graphs and curves on surfaces, Maurits de Graaf
@PhdThesis{DD-AMS-3,
  author = 	 "Maurits de Graaf",
  title = 	 "Graphs and curves on surfaces",
  school = 	 "Universiteit van Amsterdam",
  year = 	 1994
}

Visual robot arm guidance using neural networks, Patrick van der Smagt
@PhdThesis{DD-AMS-4,
  author = 	 "Patrick van der Smagt",
  title = 	 "Visual robot arm guidance using neural networks",
  school = 	 "Universiteit van Amsterdam",
  year = 	 1995,
  note =         "ISBN 90-74795-23-4"
}

A software environment for image interpretation, Dennis Charles Koelma
@PhdThesis{DD-AMS-5,
  author = 	 "Dennis Charles Koelma",
  title = 	 "A software environment for image interpretation",
  school = 	 "Universiteit van Amsterdam",
  year = 	 1996,
  note =	 "ISBN 90-74795-43-9"
}

Computations in propositional logic, Alex Hendriks
@PhdThesis{DD-AMS-6,
  author = 	 "Alex Hendriks",
  title = 	 "Computations in propositional logic",
  school = 	 "Universiteit van Amsterdam",
  year = 	 1996,
  note =	 "ISBN 90-74795-44-7"
}

Fine-grained parallelism in a lazy functional language, Marcel Beemster
@PhdThesis{DD-AMS-7,
  author = 	 "Marcel Beemster",
  title = 	 "Fine-grained parallelism in a lazy functional language",
  school = 	 "Universiteit van Amsterdam",
  year = 	 1996,
  note =	 "ISBN 90-74795-47-1"
}

Algebraic specification of visual languages,
@PhdThesis{DD-AMs-8,
  author = 	 "Susan Michele {\"{U}}sk{\"{u}}darli",
  title = 	 "Algebraic specification of visual languages",
  school = 	 "Universiteit van Amsterdam",
  year = 	 1996,
  key =		 "Susan Michele Uskudarli",
  note =	 "ISBN 90-74795-65-X"
}

Data density: A powerful abstraction fo manage and analyze multivariate data, Hans Hinterberger
@PhdThesis{DD-ETH-1,
  author = 	 "Hans Hinterberger",
  title = 	 "Data density:  A powerful abstraction fo manage and 
                  analyze multivariate data",
  school = 	 "ETH: Swiss Federal Institute of Technology
                  Z{\"{u}}rich",
  year = 	 1987,
  key =		 "Swiss Federal Institute of Technology Zurich",
  note =	 "Diss. ETH No. 8330"
}

Rule-based geometric modelling,
@PhdThesis{DD-ETH-2,
  author = 	 "Beat Dominik Br{\"{u}}derlin",
  title = 	 "Rule-based geometric modelling",
  school = 	 "ETH: Swiss Federal Institute of Technology
                  Z{\"{u}}rich",
  year = 	 1987,
  key =		 "Swiss Federal Institute of Technology Zurich / 
                  Beat Dominik Bruderlin",
  note =	 "Diss. ETH NO. 8382"
}

Information retrieval based on information structures,
@PhdThesis{DD-ETH-3,
  author = 	 "Peter Karl Sch{\"{a}}uble",
  title = 	 "Information retrieval based on information structures",
  school = 	 "ETH: Swiss Federal Institute of Technology
                  Z{\"{u}}rich",
  year = 	 1989,
  key =		 "Swiss Federal Institute of Technology Zurich /
                  Peter Karl Schauble",
  note =	 "Diss. ETH No. 8784"
}

A new approach to formal language definition and its application to oberon, Martin Odersky
@PhdThesis{DD-ETH-4,
  author = 	 "Martin Odersky",
  title = 	 "A new approach to formal language definition and
                  its application to oberon",
  school = 	 "ETH: Swiss Federal Institute of Technology
                  Z{\"{u}}rich",
  year = 	 1989,
  key =		 "Swiss Federal Institute of Technology Zurich",
  note =	 "Diss. ETH No. 8938"
}

Smart game board: a workbench for game-playing programs, with go and othello as case studies, Anders Kierulf
@PhdThesis{DD-ETH-5,
  author = 	 "Anders Kierulf",
  title = 	 "Smart game board: a workbench for game-playing 
                  programs, with go and othello as case studies",
  school = 	 "ETH: Swiss Federal Institute of Technology
                  Z{\"{u}}rich",
  year = 	 1990,
  key =		 "Swiss Federal Institute of Technology Zurich",
  note =	 "Diss. ETH No. 9135"
}

Contributions to the exact design of switched- capacitor filters with emphasis on modular structures and dynamic range, August Kaelin
@PhdThesis{DD-ETH-6,
  author = 	 "August Kaelin",
  title = 	 "Contributions to the exact design of switched-
                  capacitor filters with emphasis on modular
                  structures and dynamic range",
  school = 	 "ETH: Swiss Federal Institute of Technology
                  Z{\"{u}}rich",
  year = 	 1991,
  key =		 "Swiss Federal Institute of Technology Zurich",
  note =	 "Diss. ETH No. 9299 / published by Hartung-Gorre
                  Verlag Konstanz ( series in microelectronics ; Vol.9 )"
}

< Visual prolog > An object-oriented platform for interactive modeling and problem solving, Carlo Muller
@PhdThesis{DD-ETH-7,
  author = 	 "Carlo Muller",
  title = 	 "< Visual prolog > An object-oriented platform
                  for interactive modeling and problem solving",
  school = 	 "ETH: Swiss Federal Institute of Technology
                  Z{\"{u}}rich",
  year = 	 1991,
  key =		 "Swiss Federal Institute of Technology Zurich",
  note =	 "Diss ETH No. 9396"
}

Large deductive databases with constraints,
@PhdThesis{DD-ETH-8,
  author = 	 "Beat W{\"{u}}thrich",
  title = 	 "Large deductive databases with constraints",
  school = 	 "ETH: Swiss Federal Institute of Technology
                  Z{\"{u}}rich",
  year = 	 1991,
  key =		 "Swiss Federal Institute of Technology Zurich",
  note =	 "Diss. ETH No. 9293"
}

, Stefan Bondeli
@PhdThesis{DD-ETH-9,
  author = 	 "Stefan Bondeli",
  title = 	 "Divide and conquer:  Parallele algorithmen zur
                  l{\"{o}}sung tridiagonaler gleichungssysteme",
  school = 	 "ETH: Swiss Federal Institute of Technology
                  Z{\"{u}}rich",
  year = 	 1991,
  key =		 "Swiss Federal Institute of Technology Zurich",
  note =	 "Diss. ETH No. 9493"
}

Robust algorithms in a program library for geometric computation, Peter Schorn
@PhdThesis{DD-ETH-10,
  author = 	 "Peter Schorn",
  title = 	 "Robust algorithms in a program library for 
                  geometric computation",
  school = 	 "ETH: Swiss Federal Institute of Technology
                  Z{\"{u}}rich",
  year = 	 1991,
  key =		 "Swiss Federal Institute of Technology Zurich",
  note =	 "Diss. ETH No. 9519"
}

Un modele de traitements pour les bases de donnees: Un formalisme pour la conception, la validation et l'execution de la specification d'une applecation, Jacques GUYOT
@PhdThesis{DD-GEN-1,
  author = 	 "Jacques GUYOT",
  title = 	 "Un modele de traitements pour les bases de donnees:
                  Un formalisme pour la conception, la validation et
                  l'execution de la specification d'une applecation",
  school = 	 "Universite de Geneve, Department D'Informatique",
  year = 	 1986,
  note =	 "THESE N 2204"
}

Un systeme d'analyse et e'interpretation automatique d'images de gels d'electrophorese bidimensionnelle, Matthieu Funk
@PhdThesis{DD-GEN-2,
  author = 	 "Matthieu Funk",
  title = 	 "Un systeme d'analyse et e'interpretation automatique
                  d'images de gels d'electrophorese bidimensionnelle",
  school = 	 "Universite de Geneve, Department D'Informatique",
  year = 	 1987,
  note =	 "THESE N 2236"
}

Un systeme d'analyse et d'interpretation automatique d'images de gels d'electrophorese bidimensionnelle - systemes experts et apprentissage automatique, Ron D. Appel
@PhdThesis{DD-GEN-3,
  author = 	 "Ron D. Appel",
  title = 	 "Un systeme d'analyse et d'interpretation
                  automatique d'images de gels d'electrophorese
                  bidimensionnelle - systemes experts et apprentissage
                  automatique",
  school = 	 "Universite de Geneve, Department D'Informatique",
  year = 	 1987,
  note =	 "THESE N 2241"
}

The automatic development of concepts and methods, Kurt Ammon
@PhdThesis{DD-HAM-1,
  author = 	 "Kurt Ammon",
  title = 	 "The automatic development of concepts and methods",
  school = 	 "University of Hamburg",
  year = 	 1987,
}

, Heiko Neumann
@PhdThesis{DD-HAM-2,
  author = 	 "Heiko Neumann",
  title = 	 "Theoretische untersuchungen zur extraktion
		  monokularer tiefenhinweise (konturen und
		  schattierung) und ihre partielle methodische 
                  evaluierung in einem rechnergest{\"{u}}zten
                  perzeptionslabor",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1988
}

Nonmonotonic reasoning: From theoretical foundation towards efficient computation, Gerhard Brewka
@PhdThesis{DD-HAM-3,
  author = 	 "Gerhard Brewka",
  title = 	 "Nonmonotonic reasoning:  From theoretical 
                  foundation towards efficient computation",
  school = 	 "University of Humburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1989
}

Alternierung und logarithmischer platz, Birgit Jenner, Bernd Kirsig
@PhdThesis{DD-HAM-4,
  author = 	 "Birgit Jenner, Bernd Kirsig",
  title = 	 "Alternierung und logarithmischer platz",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1989
}

, Carsten Vogt
@PhdThesis{DD-HAM-5,
  author = 	 "Carsten Vogt",
  title = 	 "Mehrstufige speicherhierarchien f{\"{u}}r
                  objektorientierte systeme:  Realisierung und
                  leistungsbewertung",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1990
}

Ein gesamtsystem zur auswertung von infrarotspektren durch lernen und erkennen spektraler merkmale sowie zerlegung und synthese chemischer strukturgraphen, Thomas Blaffert
@PhdThesis{DD-HAM-6,
  author = 	 "Thomas Blaffert",
  title = 	 "Ein gesamtsystem zur auswertung von infrarotspektren
                  durch lernen und erkennen spektraler merkmale sowie
                  zerlegung und synthese chemischer strukturgraphen",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1990
}

Semilinearity of the reachablility set is decidable for petri nets, Dirk Hauschildt
@PhdThesis{DD-HAM-7,
  author = 	 "Dirk Hauschildt",
  title = 	 "Semilinearity of the reachablility set is decidable
                  for petri nets",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1990
}

, Rainer Buschke
@PhdThesis{DD-HAM-8,
  author = 	 "Rainer Buschke",
  title = 	 "Grundlagen und methoden zur
		  computerunterst{\"{u}}tzten auswetung von 
                  simulationsergebnissen im VLSI-design",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1990
}

, Oskar Dressler
@PhdThesis{DD-HAM-9,
  author = 	 "Oskar Dressler",
  title = 	 "Annahmenbasierte begr{\"{u}}ndungsverwaltung
		  f{\"{u}}r modellbasierte diagnose",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1990
}

Unscharge mengen (fuzzy sets) zur behandlung von unsicherheit in der bildanalyse, Wido Menhardt
@PhdThesis{DD-HAM-10,
  author = 	 "Wido Menhardt",
  title = 	 "Unscharge mengen (fuzzy sets) zur behandlung von
                  unsicherheit in der bildanalyse",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1990
}

, Helmut Stecker
@PhdThesis{DD-HAM-11,
  author = 	 "Helmut Stecker",
  title = 	 "Simulationsgest{\"{u}}tzte systemkonfigurierung
                  am beispiel automatischer
                  r{\"{o}}ntgenpr{\"{u}}fsysteme",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1991
}

Leistungsanalyse von rechen- und kommunikationssystemen - konzepte der modellauswertung und definition einer modellierungssprache, Manfred R. Jobmann
@PhdThesis{DD-HAM-12,
  author = 	 "Manfred R. Jobmann",
  title = 	 "Leistungsanalyse von rechen- und
		  kommunikationssystemen - konzepte der
		  modellauswertung und definition einer
                  modellierungssprache",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1991
}

Datenbankprogrammierung in heterogenen rechnernetzen, Kurt Reinhardt
@PhdThesis{DD-HAM-13,
  author = 	 "Kurt Reinhardt",
  title = 	 "Datenbankprogrammierung in heterogenen rechnernetzen",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1991
}

Das BABYLON-system : Struktur-, funktions- und architekturmerkmale eines hybriden verarbeitungsmodelles., Franco di Primio
@PhdThesis{DD-HAM-14,
  author = 	 "Franco di Primio",
  title = 	 "Das BABYLON-system :
                  Struktur-, funktions- und architekturmerkmale eines
                  hybriden verarbeitungsmodelles.",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1991
}

Fallbasiertes konfigurieren technischer systeme, Kai Pfitzner
@PhdThesis{DD-HAM-15,
  author = 	 "Kai Pfitzner",
  title = 	 "Fallbasiertes konfigurieren technischer systeme",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1993
}

, Hartmut Freitag
@PhdThesis{DD-HAM-16,
  author = 	 "Hartmut Freitag",
  title = 	 "Methoden zur modellbasierten diagnose von systemen
		  mit komplexer struktur und zeitabh{\"{a}}ngigem
		  verhalten  :  Methods of model-based diagnosis for
		  systems with complex structure and time-dependent
		  behavior",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1993,
  key =		 "Methoden zur modellbasierten diagnose von systemen
		  mit komplexer struktur und zeitabhangigem verhalten"
}

, Peter Gerstl
@PhdThesis{DD-HAM-17,
  author = 	 "Peter Gerstl",
  title = 	 "Sprachtheoretische grundlagen f{\"{u}}r die
		  computerlinguistik",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1994,
  key =		 "Sprachtheoretische grundlagen fur die
		  computerlinguistik"
}

, Carola Eschenbach
@PhdThesis{DD-HAM-18,
  author = 	 "Carola Eschenbach",
  title = 	 "Struktur- und quantit{\"{a}}tsbezug",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1994,
  key =		 "Struktur- und quantitatsbezug"
}

, Martin Weigele
@PhdThesis{DD-HAM-19,
  author = 	 "Martin Weigele",
  title = 	 "Mathematisches Informations-Engineering Daten- und
		  Transaktions-orienteierter Softwareentwurf oder
		  Transaktionen in der Wissensrepr{\"{a}}sentation",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1993,
  key =		 "Mathematisches Infromations-Engineering Daten- und
		  Transaktions-orientierter Softwareentwurf oder
		  Transaktionen in der Wissensreprasentation"
}

, Karl Rohr
@PhdThesis{DD-HAM-20,
  author = 	 "Karl Rohr",
  title = 	 "Modellgest{\"{u}}tztes erkennen charakteristischer
		  strukturen in Bildern",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1994,
  key =		 "Modellgestutztes erkennen charakteristicscher
		  strukturen in Bildern"
}

Pronominalisierung Der informationsbeitrag von pronomen in der sprachproduktion, Andrea Schopp
@PhdThesis{DD-HAM-21,
  author = 	 "Andrea Schopp",
  title = 	 "Pronominalisierung  Der informationsbeitrag von
		  pronomen in der sprachproduktion",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1994
}

Segmentationsverfahren zur 3D-visualisierung von Kernspintomogrammen des kopfes, Michael Bomans
@PhdThesis{DD-HAM-22,
  author = 	 "Michael Bomans",
  title = 	 "Segmentationsverfahren zur 3D-visualisierung von
		  Kernspintomogrammen des kopfes",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1994,
  key =		 "Evaluierung der standardverfahren und entwurf und
		  realisierung eines klinisch einsetzbaren systems"
}

Dynamische fallbasierte lehrsysteme / Ein kognitionswissenschaftlicher ansatz, Thomas J. Schult
@PhdThesis{DD-HAM-23,
  author = 	 "Thomas J. Schult",
  title = 	 "Dynamische fallbasierte lehrsysteme / Ein
		  kognitionswissenschaftlicher ansatz",
  school = 	 "University of Hamburg  /  Universit{\"{a}}t Hamburg",
  year = 	 1996
}

, Manfred Windfuhr
@PhdThesis{DD-KAR-1,
  author = 	 "Manfred Windfuhr",
  title = 	 "Methoden und verfahren zur leistungsermittlung von
                  datenverarbeitungsanlagen f{\"{u}}r den 
                  standardisierten einsatz in unternehmen",
  school = 	 "Universit{\"{a}}t Karlsruhe (Technische Hochschule)",
  year = 	 1977,
  key =		 "Universitat Karlsruhe"
}

, Oswald Drobnik
@PhdThesis{DD-KAR-2,
  author = 	 "Oswald Drobnik",
  title = 	 "Verfahren zur sicherung der operationalen
		  intergrit{\"{a}}t in verteilten datenbasen bei 
                  dezentraler kontrollstruktur",
  school = 	 "Universit{\"{a}}t Karlsruhe (Technische Hochschule)",
  year = 	 1977,
  key =		 "Universitat Karlsruhe"
}

, Walter Sonnenberg
@PhdThesis{DD-KAR-3,
  author = 	 "Walter Sonnenberg",
  title = 	 "Konzeptstrukturen f{\"{u}}r programmerstellung
                  und -adaption",
  school = 	 "Universit{\"{a}}t Karlsruhe (Technische Hochschule)",
  year = 	 1979,
  key =		 "Universitat Karlsruhe"
}

, Bernd Wolfinger
@PhdThesis{DD-KAR-4,
  author = 	 "Bernd Wolfinger",
  title = 	 "Modelle zur rechnergest{\"{u}}tzten simulation von
                  kommunikationsfl{\"{u}}ssen in rechnernetzen",
  school = 	 "Universit{\"{a}}t Karlsruhe (Technische Hochschule)",
  year = 	 1979,
  key =		 "Universitat Karlsruhe"
}

, Ernst Friedrich Ruf
@PhdThesis{DD-KAR-5,
  author = 	 "Ernst Friedrich Ruf",
  title = 	 "Untersuchungen zur zuverl{\"{a}}ssigkeit
                  hochintegrierter schaltungen",
  school = 	 "Universit{\"{a}}t Karlsruhe (Technische Hochschule)",
  year = 	 1980,
  key =		 "Universitat Karlsruhe"
}

, Wolfgang Doster
@PhdThesis{DD-KAR-6,
  author = 	 "Wolfgang Doster",
  title = 	 "{\"{U}}ber ein kontextbenutzendes
                  schrift-erkennungssystem mit
		  glaubw{\"{u}}rdigkeitsgesteuerter
		  einzelzeichenalternativenbildung ",
  school = 	 "Universit{\"{a}}t Karlsruhe (Technische Hochschule)",
  year = 	 1980,
  key =		 "Universitat Karlsruhe"
}

,
@PhdThesis{DD-KAR-7,
  author = 	 "G{\"{u}}nter W{\"{o}}hlke",
  title = 	 "Wissensbasierte greifplanung f{\"{u}}r
                  mehrfinger-roboterh{\"{a}}nde",
  school = 	 "Universit{\"{a}}t Karlsruhe (Technische Hochschule)",
  year = 	 1991,
  key =		 "Gunter Wohlke / Universitat Karlsruhe"
}

The optimum two-dimensional allocation of irregular, multiply-connected shapes with linear, logical and geometric constraints, Michael Adamowicz
@PhdThesis{DD-NEW-1,
  author = 	 "Michael Adamowicz",
  title = 	 "The optimum two-dimensional allocation of 
                  irregular, multiply-connected shapes with linear,
                  logical and geometric constraints",
  school = 	 "New York University, Department of Electrical
                  Engineering",
  year = 	 1969
}

Toward a computational theory of pragmatics -- Discourse, presupposition, and implicature, Takao Gunji, B.S. , M.S. , M.A.
@PhdThesis{DD-OHI-1,
  author = 	 "Takao Gunji, B.S. , M.S. , M.A.",
  title = 	 "Toward a computational theory of pragmatics --
                  Discourse, presupposition, and implicature",
  school = 	 "The Ohio State University",
  year = 	 1981
}

Interpr\'etation fonctionnelle et \'elimination des coupures de l'arithm\'etique d'ordre sup\'erieur, Jean-Yves GIRARD
@PhdThesis{DD-PAR-1,
  author = 	 "Jean-Yves GIRARD",
  title = 	 "Interpr{\'{e}}tation fonctionnelle et
		  {\'{e}}limination des coupures de
		  l'arithm{\'{e}}tique d'ordre sup{\'{e}}rieur",
  school = 	 "Universit{\'{e}} Paris 7",
  year = 	 1972
  key =          "Interpretation fonctionnelle et elimination des
                  coupures de l'arithmetique d'ordre superieur/
                  Universite Paris 7" 
}

Cylindres de langages algebriques, Jean-Michel AUTEBERT
@PhdThesis{DD-PAR-2,
  author = 	 "Jean-Michel AUTEBERT",
  title = 	 "Cylindres de langages algebriques",
  school = 	 "Universit{\'{e}} Paris 7",
  year = 	 1978,
  key =		 "Universite Paris 7",
  note =	 "N 78-37"
}

Syntaxe des lagages de chomsky - essai sur le d\'eterminisme, Jacques Sakarovitch
@PhdThesis{DD-PAR-3,
  author = 	 "Jacques Sakarovitch",
  title = 	 "Syntaxe des lagages de chomsky - essai sur le
                  d{\'{e}}terminisme",
  school = 	 "Universit{\'{e}} Paris 7",
  year = 	 1979,
  key =		 "Universite Paris 7
}

On the content of information in edges and optical flow, Fredrik Bergholm
@PhdThesis{DD-STO-1,
  author = 	 "Fredrik Bergholm",
  title = 	 "On the content of information in edges and optical
                  flow",
  school = 	 "Department of Numeridal Analysis and Computing
		  Science, University of Stockholm & Royal Institute
                  of Technology Stockholm, Sweden",
  year = 	 1989,
  note =	 "TRITA-NA-P8904 / ISBN: 91-7146-759-9"
}

Algorithms and minimal forbidden minors for tree-decomposable graphs, Jens Lagergren
@PhdThesis{DD-STO-2,
  author = 	 "Jens Lagergren",
  title = 	 "Algorithms and minimal forbidden minors for
                  tree-decomposable graphs",
  school = 	 "Department of Numerical Analysis and Computing
		  Science, University of Stockholm & Royal Institute
                  of Technology Stockholm, Sweden",
  year = 	 1991,
  note =	 "TRITA-NA-9104"
}

An architecture for diagnostic reasoning based on causal models, Jan Olsson
@PhdThesis{DD-STO-3,
  author = 	 "Jan Olsson",
  title = 	 "An architecture for diagnostic reasoning based
                  on causal models",
  school = 	 "Department of Computer & Systems Science,
                  University of Stockholm & Royal Institute of 
                  Technology Stockholm, Sweden",
  year = 	 1991,
  note =	 "No. 91-004-DSV / ISBN: 91-7146-823-4"
}

Informatics and systems science applications for analysis and structural improvement of a municipal organization, Sven Raseg\aard
@PhdThesis{DD-STO-4,
  author = 	 "Sven Raseg{\aa}rd",
  title = 	 "Informatics and systems science applications for
                  analysis and structural improvement of a municipal
                  organization",
  school = 	 "Department of Informatics and System Science,
		  University of Stockholm & Royal Institute of
		  Technology Stockholm, Sweden",
  year = 	 1992,
  key =          "Sven Rasegard",
  note =	 "TRITA-IS-5419 / ISBN: 91-7146-973-7"
}

On the efficiency of the bayesian bootsrap, Raul Cano
@PhdThesis{DD-STO-5,
  author = 	 "Raul Cano",
  title = 	 "On the efficiency of the bayesian bootsrap",
  school = 	 "Department of Statistics, University of Stockholm",
  year = 	 1992,
  note =	 "ISBN: 91-7153-024-x"
}

Schema integration, schema translation, and interoperability in federated information systems, Paul Johannesson
@PhdThesis{DD-STO-6,
  author = 	 "Paul Johannesson",
  title = 	 "Schema integration, schema translation, and
                  interoperability in federated information systems",
  school = 	 "Department of Computer & Systems Sciences,
		  University of Stockholm & Royal Institute of
		  Technology Stockholm, Sweden",
  year = 	 1993,
  note =	 "No. 93-010-DSV / ISBN: 91-7153-101-7"
}

A logical specification of federated information system, Magnus Boman
@PhdThesis{DD-STO-7,
  author = 	 "Magnus Boman",
  title = 	 "A logical specification of federated information
                  system",
  school = 	 "Department of Computer & Systems Sciences,
                  University of Stockholm & Royal Institute of 
                  Technology Stockholm, Sweden",
  year = 	 1993,
  note =	 "No. 93-019-DSV / ISBN: 91-7153-103-3"
}

GCLA The design, use, and implementation of a program development system, Martin Aronsson
@PhdThesis{DD-STO-8,
  author = 	 "Martin Aronsson",
  title = 	 "GCLA  The design, use, and implementation of
                  a program development system",
  school = 	 "Department of Computer & Systems Sciences,
                  University of Stockholm & Royal Institute of 
                  Technology Stockholm, Sweden  /
                  Swedish Institute of Computer Science",
  year = 	 1993,
  note =	 "93-026 / ISBN: 91-7153-148-3"
}

Explanation-based transformation of logic programs,
@PhdThesis{DD-STO-9,
  author = 	 "Henrik Bostr{\"{o}}m",
  title = 	 "Explanation-based transformation of logic 
                  programs",
  school = 	 "Department of Computer & Systems Sciences,
                  University of Stockholm & Royal Institute of 
                  Technology Stockholm, Sweden",
  year = 	 1993,
  key =		 "Henrik Bostrom",
  note =	 "No. 93-029 / ISBN: 91-7153-167-X"
}

Generalization of clauses, Peter Idestam-Almquist
@PhdThesis{DD-STO-10,
  author = 	 "Peter Idestam-Almquist",
  title = 	 "Generalization of clauses",
  school = 	 "Department of Computer & Systems Sciences,
                  University of Stockholm & Royal Institute of 
                  Technology Stockholm, Sweden",
  year = 	 1993,
  note =	 "No. 93-025 / ISBN: 91-7153-145-9"
}

Decision support in numerically imprecise domains, Love Ekenberg
@PhdThesis{DD-STO-11,
  author = 	 "Love Ekenberg",
  title = 	 "Decision support in numerically imprecise domains",
  school = 	 "Department of Computer & Systems Sciences,
                  University of Stockholm & Royal Institute of 
                  Technology Stockholm, Sweden",
  year = 	 1994,
  note =	 "No. 94-003-DSV / ISBN: 91-7153-208-0"
}

Partial explanations as a basis for learning, Lars Asker
@PhdThesis{DD-STO-12,
  author = 	 "Lars Asker",
  title = 	 "Partial explanations as a basis for learning",
  school = 	 "Department of Computer & Systems Sciences,
                  University of Stockholm & Royal Institute of 
                  Technology Stockholm, Sweden",
  year = 	 1994,
  note =	 "No. 94-007 / ISBN: 91-7153-223-2"
}

Object database design, Stefan Britts
@PhdThesis{DD-STO-13,
  author = 	 "Stefan Britts",
  title = 	 "Object database design",
  school = 	 "Department of Computer & Systems Sciences,
                  University of Stockholm & Royal Institute of 
                  Technology Stockholm, Sweden",
  year = 	 1994,
  note =	 "No.94-011-DSV / ISBN: 91-7153-221-8"
}

Incremental conceptual clustering in an on-line application, Fredrik Kilander
@PhdThesis{DD-STO-14,
  author = 	 "Fredrik Kilander",
  title = 	 "Incremental conceptual clustering in an on-line
		  application",
  school = 	 "Department of Computer & Systems Sciences,
                  University of Stockholm & Royal Institute of 
                  Technology Stockholm, Sweden",
  year = 	 1994,
  note =	 "No. 94-014 / ISBN: 91-7153-224-2"
}

Schema Integration - Principles, methods, and applications, Wei Song
@PhdThesis{DD-STO-15,
  author = 	 "Wei Song",
  title = 	 "Schema Integration - Principles, methods, and
		  applications",
  school = 	 "Department of Computer & Systems Sciences,
                  University of Stockholm & Royal Institute of 
                  Technology Stockholm, Sweden",
  year = 	 1995,
  note =	 "No. 95-019 / ISBN: 91-7153-362-1"
}

Wavelet-based algorithms for fast PDE solvers, Mihai Dorobantu
@PhdThesis{DD-STO-16,
  author = 	 "Mihai Dorobantu",
  title = 	 "Wavelet-based algorithms for fast PDE solvers",
  school = 	 "Department of Numerical Analysis and Computing
		  Science, University of Stockholm & Royal 
                  Institute of Technology Stockholm, Sweden",
  year = 	 1995,
  note =         "TRITA-NA-9507 / ISBN: 91-7170-702-6"
}

Logic program synthesis using schema instantiation in an interactive environment, Anna-Lena Johansson
@PhdThesis{DD-STO-17,
  author = 	 "Anna-Lena Johansson",
  title = 	 "Logic program synthesis using schema instantiation
		  in an interactive environment",
  school = 	 "University of Stockholm & Royal Institute of 
                  Technology Stockholm, Sweden",
  year = 	 1995,
  note =	 "No. 95-050 / ISBN: 91-7153-414-8"
}

Visualization of dynamic information, Viveca Asproth
@PhdThesis{DD-STO-18,
  author = 	 "Viveca Asproth",
  title = 	 "Visualization of dynamic information",
  school = 	 "School of Business, Informatics and Systems Science,
		  Stockholm University",
  year = 	 1995,
  note =	 "Research Reports No. 1995:12"
}

Models and methods for the management of dynamic information in geo informatic systems, Anita H\aakansson
@PhdThesis{DD-STO-19,
  author = 	 "Anita H{\aa}kansson",
  title = 	 "Models and methods for the management of dynamic
		  information in geo informatic systems",
  school = 	 "School of Business, Informatics and Systems Science,
		  Stockholm University",
  year = 	 1995,
  key =          "Anita Hakansson",
  note =	 "Research Reports No. 1995-11"
}

On the design and usage of information technology and the structuring of communication and work, Peter Holm
@PhdThesis{DD-STO-20,
  author = 	 "Peter Holm",
  title = 	 "On the design and usage of information technology
		  and the structuring of communication and work",
  school = 	 "Department of Computer & Systems Sciences,
                  University of Stockholm, Sweden",
  year = 	 1996,
  note =	 "Report series No. 96-009"
}

Biophysical simulation of cortical associative memory, Erik Frans\'en
@PhdThesis{DD-STO-21,
  author = 	 "Erik Frans{\'{e}}n",
  title = 	 "Biophysical simulation of cortical associative
		  memory",
  school = 	 "Department of Computer & Systems Sciences,
                  University of Stockholm, Sweden",
  year = 	 1996,
  key =		 "Erik Fransen",
  note =	 "TRITA-NA-P96/28, KTH/NA/P-96/28-SE"
}

A glass box approach to adaptive hypermedia,
@PhdThesis{DD-STO-22,
  author = 	 "Kristina H{\"{o}}{\"{o}}k",
  title = 	 "A glass box approach to adaptive hypermedia",
  school = 	 "Department of Computer & Systems Sciences,
                  University of Stockholm, Sweden",
  year = 	 1996,
  key =		 "Kristina Hook",
  note =	 "DSV 96-018",
  annote =	 "Swedish Institute of Computer Science"
}

A systemic-Holistic approach to academic programmes in IT security,
@TechReport{DD-STO-23,
  author = 	 "Louise Yngstr{\"{o}}m",
  title = 	 "A systemic-Holistic approach to academic programmes
		  in IT security",
  institution =  "Department of Computer & Systems Sciences,
                  University of Stockholm, Sweden",
  year = 	 1996,
  key =		 "Louise Yngstrom",
  number =	 "No.96-021"
}

Contributions to evolutionary computation, Pierre Wijkman
@TechReport{DD-STO-24,
  author = 	 "Pierre Wijkman",
  title = 	 "Contributions to evolutionary computation",
  institution =  "Department of Computer & Systems Sciences,
                  University of Stockholm, Sweden",
  year = 	 1997,
  number =	 "Report series No. 97-012",
  note =	 "SU-KTH/DSV/R-97/12-SE"
}

Neural control of locomotion in biological and robotic systems, Tom Wadden
@TechReport{DD-STO-25,
  author = 	 "Tom Wadden",
  title = 	 "Neural control of locomotion in biological and
		  robotic systems",
  institution =  "Department of Computer & Systems Sciences,
                  University of Stockholm, Sweden",
  year = 	 1998,
  note =	 "TRITA-NA-P9809, ISRN KTH/NA--P98/09--SE"
}

Zur automatisierung des systementwurfs integrierter schaltungen, Stefan Rust
@PhdThesis{DD-STU-1,
  author = 	 "Stefan Rust",
  title = 	 "Zur automatisierung des systementwurfs
                  integrierter schaltungen",
  school = 	 "Universit{\"{a}}t Stuttgart",
  year = 	 1990,
  key =		 "Universitat Stuttgart"
}

Integration von konzepten der objektorientierten und logischen programmierung, Christoph Welsch
@PhdThesis{DD-STU-2,
  author = 	 "Christoph Welsch",
  title = 	 "Integration von konzepten der objektorientierten
                  und logischen programmierung",
  school = 	 "Universit{\"{a}}t Stuttgart",
  year = 	 1990,
  key =		 "Universitat Stuttgart"
}