Jahresbibliographie 1999

Veröffentlichungen von
Angehörigen der Hochschulen des Saarlandes

Dissertationen: Technik (29.05.00)

Barth, Margit E.
- Profilrekonstruktion an Mehrphasenströmungen mittels ortsaufgelöster
Ultraschall-Geschwindigkeitsmessung. 1999. - 95 Bl. Diss. 2000. - Prof. Dr.
Klaus Gersonde
 
Baumeister, Hubert
- Relations between abstract datatypes modeled as abstract datatypes. 1998,
XIV, 194 S. Diss. 1999. - Prof. Dr. Harald Ganzinger
 
Bender, Jürgen
- Aufbau und modellbasierte Untersuchung der Übertragungs- und
Abbildungseigenschaften eines Barkhausenrausch- und Wirbelstrommikroskops für
die hochauflösende Materialcharakterisierung. - Aachen : Shaker, 1999, 152 S. -
(Berichte aus der Elektrotechnik). Diss. 1998. - Prof. Dr. Michael Kröning
 
Bendzko, Norbert
- Herstellung und Charakterisierung neuer Sol-Gel-PZT-Filme und ihre
Eigenschaftsverbesserung durch Impfen mit PZT-Pulvern. 1998. - 239 Bl. Diss.
1999. - Prof. Dr. Helmut Schmidt
 
Benzmüller, Christoph
- Equality and extensionality in automated higher-order theorem proving.
1999, XX, 158 S. Diss. 1999. - Prof. Dr. Jörg Siekmann
 
Blocher, Anselm
- Ressourcenadaptierende Raumbeschreibung : ein beschränkt-optimaler
Lokalisationsagent. 1999, XIV, 178 S. Diss. 1999. - Prof. Dr. Wolfgang
Wahlster
 
Bölter, Ralf
- Design von Aktoren mit magnetorheologischen Flüssigkeiten. - Aachen :
Shaker, 1999, XII, 138 S. - (Berichte aus der Elektrotechnik). Diss. 1999. -
Prof. Dr.-Ing. Hartmut Janocha
 
Brants, Thorsten
- Tagging and parsing with cascaded Markov models : automation of corpus
annotation. - Saarbrücken : German Research Center for Artificial
Intelligence, 1999, VIII, 174 S. - (Saarbrücken dissertations in computational
linguistics and language technology ; 6). Diss. 1999. - Prof. Dr. Hans
Uszkoreit
 
Britten, Werner
- CAD-basierte Übersetzung geometrischer Toleranzen in vektorielle
Darstellungen. - Saarbrücken : LKT, Lehrstuhl für Konstruktionstechnik/CAD,
1999, IV, 182 S. - (Schriftenreihe Produktionstechnik ; 17). Diss. 1999. -
Prof. Dr.-Ing. Christian Weber
 
Buck, Matthias
- Simulation interaktiv bewegter Objekte mit Hinderniskontakten. - München :
Utz, Wiss., 1999, II, 132 S. - (Informatik). Diss. 1999. - Prof. Dr. Günter
Hotz
 
Busch, Peter
- Modellierung linearer Materialbezeichnungen. 1999. - III, III, 38 Bl.
Diss. 1999. - Prof. Dr. Klaus-Dieter Becker
 
Chadzelek, Thomas
- Analytische Maschinen. - München : Utz, Wiss., 1999, VIII, 78 S. -
(Informatik). Diss. 1998. - Prof. Dr.-Ing. Günther Hotz
 
Clephas, Bernd
- Untersuchung von hybriden Festkörperaktoren. - München : Utz, 1999, IX,
114 S. - (Ingenieurswissenschaften). Diss. 1999. - Prof. Dr. Hartmut Janocha
 
Dengler, Dietmar
- Deduktive Generierung von adaptierten Plänen mit Kontrollstrukturen. 1998,
XII, 294 S. Diss. 1998. - Prof. Dr. Wolfgang Wahlster
 
Durst, Stephan
- Untersuchungen zur Streuung elektromagnetischer Wellen an Gebäudefassaden.
1999, VI, 140 S. Diss. 1999. - Prof. Dr. Klaus-Dieter Becker
 
Eckstein, Jens
- Echtzeitfähige Kollisionserkennung für Virtual-reality-Anwendungen. -
München : Utz, Wiss., 1999, XIX, 256 S. - (Informatik). Diss. 1999. - Prof.
Dr. Günter Hotz
 
Frese, Ines
- Untersuchungen an gequollenen Poly(methylmethacrylat)-Netzwerken im festen
Zustand. 1999. - III, 150 Bl. Diss. 1999. - Priv.-Doz. Dr. Manfred Dettenmaier
 
Gaber, Martin
- Phänomenologische Untersuchungen des Wasserabgabeverhaltens von Alkali-
Kalzium-Silikatgläsern mit der Vakuum-Extraktionsmethode. 1999, 124 S. Diss.
1999. - Prof. Dr. Rolf Clasen
 
Gerber, Christian
- Self-adaptation and scalability in multi-agent societies. 1999, XX, 237 S.
Diss. 2000. - Prof. Dr. Jörg Siekmann
 
Graf, Jürgen
- Entwicklung und Untersuchungen zur Herstellung verlustarmer passiver
Wellenleiter und verstärkender Wellenleiter. 1999, 275 S. : graph. Darst Diss.
1999. - Prof. Dr. rer. nat. Helmut Schmidt
 
Große Gehling, Manfred
- Simulation der Ausbreitung von Mikrorissen im spröde-duktilen
Übergangsbereich. - Düsseldorf : VDI-Verl., 1999, XI, 158 S. - (Fortschritt-
Berichte / VDI : Reihe 18, Mechanik/Bruchmechanik ; 243). Diss. 1999. - Prof.
Dr. Horst Vehoff
 
Hoffmann, Andreas
- Optimierung der Herstellung poröser Oberflächenschichten auf
Titanwerkstoffen für den Einsatz bei isoelastischen Implantaten. 1999, X, 153
S. : graph. Darst Diss. 1999. - Prof. Dr.-Ing. Jürgen Breme
 
Hustadt, Ullrich
- Resolution based decision procedures for subclasses of first order logic.
1999, X, 187 S. Diss. 1999. - Prof. Dr. Harald Ganzinger
 
Irscheid, Omar
- Analyse und Simulation des Einseitenband-Phasenrauschens von harmonischen
Oszillatoren aufgrund einer PSPICE-Netzleiste. 1999, VII, 228 S. Diss. 1999. -
Prof. Dr. Alfons Blum
 
Jung, Christoph G.
- Theory and practice of hybrid agents. 1999, t, 194, XXXII S. Diss. 2000. -
Prof. Dr.-Ing. Jörg Siekmann
 
Karner, Jürgen
- Lageregelung von Industrierobotern mit Fuzzy-Logik. 1999, XIV, 114 S.
Diss. 2000. - Prof. Dr. Hartmut Janocha
 
Kraus, Juliane
- Spritzgießen nanoskaliger keramischer Pulver am Beispiel des Degussa
Aluminiumoxid C. 1999, 156 S. Diss. 1999. - Prof. Dr. Helmut Schmidt
 
Krohling, Renato A.
- Entwicklung von neuen Verfahren zum Reglerentwurf mit Hilfe von
genetischen Algorithmen. 1999, 99 S. Diss. 1999. - Prof. Dr.-Ing. Hilmar
Jaschek
 
Krüger, Antonio
- Automatische Abstraktion in 3D-Graphiken. 1999, XIV, 239 S. : graph. Darst
Diss. 1999. - Prof. Dr. rer. nat. Wolfgang Wahlster
 
Kuschert, Susanna
- Dynamic meaning and accommodation. 1999, IX, 170 S. Diss. 1999. - Prof.
Dr. Manfred Pinkal
 
Leister, Holger W.
- Quantitative analysis of precise interrupt mechanisms out-of-order
execution processors. 1999, XX, 350 S. Diss. 1999. - Priv.-Doz. Silvia M.
Müller
 
Lind, Jürgen
- MASSIVE: software engineering for multiagent systems. 1999, IX, 264 S.
Diss. 2000. - Jörg> Prof. Dr. Siekmann
 
Martin, Florian
- Generating program analyzers. - Saarbrücken-Dudweiler : Pirrot, 1999, XIV,
133 S. Diss. 1999. - Prof. Dr. Reinhard Wilhelm
 
Mehl, Michael
- The Oz virtual machine records, transients, and deep guards. 1999, XXII,
186 S. Diss. 1999. - Prof. Dr. Gert Smolka
 
Meyer, Christoph
- Soft typing for clausal inference systems. 1999, VI, 199 S. Diss. 1999. -
Prof. Dr. Harald Ganzinger
 
Müller, Peter Siegfried
- Parallel molecular dynamics simulations for synthetic polymers. 1999,
XIII, 126 S. : graph. Darst Diss. 1999. - Prof. Dr. Kurt Mehlhorn
 
Nerjes, Guido
- Platten-Scheduling und stochastische Service-Garantien für multimediale
Daten-Server. 1999, XIV, 200 S. Diss. 1999. - Prof. Dr. Gerhard Weikum
 
Reinert, Knut
- A polyhedral approach to sequence alignment problems. 1999, 168 S. Diss.
1999. - Prof. Dr. Kurt Mehlhorn
 
Rheinert, Pascal
- Freileitungen minimaler Sichtbarkeit und deren gleichzeitige Optimierung
nach mehreren Kriterien. 1999, III, 142 S. Diss. 1999. - Prof. Dr.-Ing. Hans-
Jürgen Koglin
 
Röhrig, Jochen
- Effiziente Interprozeßkommunikationsdatenstrukturen für die SB-PRAM und
deren Anwendung. 1999, XVIII, 262 S. Diss. 2000. - Prof. Dr. Wolfgang Paul
 
Rosenbaum, Sonja
- Herstellung von Aerosolen, Glaspulvern und Glasschichten mit neuartigen,
auf dem Elektrosprühprinzip beruhenden Verfahren. 1998. - 150 Bl. Diss. 1999. -
Prof. Dr. Rolf Clasen
 
Schäfer, Ralph
- Benutzermodellierung mit dynamischen Bayes'schen Netzen als Grundlage
adaptiver Dialogsysteme. 1998, XVI, 247 S. Diss. 1999. - Prof. Dr. Wolfgang
Wahlster
 
Scheidhauer, Ralf
- Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz.
1998, VIII, 256 S. Diss. 1999. - Prof. Dr. Gert Smolka
 
Schenck, Laurent
- Untersuchung zur Erwärmung von Gläsern mittels Mikrowelle. 1999, 185 S.
Diss. 1999. - Prof. Dr. Rolf Clasen
 
Schmitt, Burkhard
- Beitrag zur Optimierung des Gefügezustandes und der mechanischen
Eigenschaften der Legierung CoNi35Cr20Mo10 für Anwendungen in der
biomedizinischen Technik. 1998, 101 S. Diss. 1999. - Prof. Dr. Jürgen Breme
 
Schneider, Georg
- Virtual team assistant : Integration von synchroner und asynchroner
Telekooperation zur Unterstützung automatisierter Vorgangsbearbeitung unter
besonderer Berücksichtigung von Arbeitsteams. 1999, VII, 258 S. Diss. 1999. -
Prof. Dr. Wolfgang Wahlster
 
Schorr, Dietmar
- Untersuchung von Einflussgrössen auf die Fördermengenmessung bei
Dieseleinspritzsystemen. 1999, XVI, 141 S. Diss. 2000. - Prof. Dr.-Ing.
Hartmut Janocha
 
Schröter, Falko
- Numerische Simulationen zu bidirektional mit Langfasern verstätem
Aluminium unter Nutzung gekoppelter Ansätze zur Erfassung von Viskoplastizität
und Schädigung. - Bad Iburg : Der Andere Verl., 1999, 202 S. Diss. 1999. -
Prof. Dr. Heinz Ismar
 
Schuhmacher, Silvia
- Eine konsistente Sende-Empfangs-Modellierung für die zerstörungsfreie
piezoelektrische Ultraschallprüfung auf Basis des Auldschen
Reziprozitätstheorems. 1998, 94 S. : graph. Darst Diss. 1998. - Prof. Dr. rer.
nat. Michael Kröning
 
Seel, Uwe
- Robotergestützte Zellenkalibrierung als Basis einer Feature-basierten
Montageplanung. - Saarbrücken : LFT Lehrstuhl für Fertigungstechnik/CAM, 1999.
- Getr. Zählung S. - (Schriftenreihe Produktionstechnik ; 16). Diss. 1999. -
Prof. Dr. Helmut Bley
 
Seidel, Peter-Michael
- On the design of IEEE compliant floating-point units and their
quantitative analysis. 1999, XII, 188 S. Diss. 2000. - Prof. Dr. Wolfgang Paul
 
Sepeur-Zeitz, Bernhard
- Mikrostrukturierung organisch-anorganischer Kompositmaterialien über
Prägeverfahren. 1999. - 152 Bl. Diss. 2000. - Prof. Dr. Helmut Schmidt
 
Sinnwell, Thomas
- Faltung im Wavelet-Bereich : eine neue Möglichkeit zur softwaremäßigen
Realisierung digitaler Filter ohne Blockeffekte. 1999, 189 S. Diss. 1999. -
Prof. Dr. Klaus-Dieter Becker
 
Streicher, Frank
- Werkstoffmechanisches Verhalten unidirektional faserverstärkter und
bidirektional gewebeverstärkter Keramik (SiC/SiC) : Modellierungen und Finite
Element Simulationen. 1999, X, 121 S. : graph. Darst. Diss. 1999. - Prof. Dr.-
Ing. Heinz Ismar
 
Struth, Georg
- Canonical transformations in algebra, universal algebra and logic. 1998,
XXII, 237 S. Diss. 1999. - Prof. Dr. Harald Ganzinger
 
Suyal, Navin
- Synthesis of thin glass sheets and bulk silica using methyl modified gels
and their characterisation. 1999, V, 238 S. Diss. 1999. - Prof. Dr. Helmut
Schmidt
 
Tzakova, Miroslava
- Hybrid languages. 1999, 134 S. Diss. 2000. - Prof. Dr. Harald Ganzinger
 
van de Logt, Guido
- Entwicklung von numerischen Verfahren zur Planung von Trajektorien für
Roboter. - Aachen : Shaker, 1999, IV, 192 S. - (Berichte aus der
Elektrotechnik). Diss. 1998. - Prof. Dr.-Ing. Hilmar Jaschek
 
Venskutonis, Andreas
- Untersuchungen zur thermodynamischen Stabilität von nanokristallinen und
amorphen Legierungen im Zweistoffsystem Y-Fe. - Aachen : Shaker, 1999, XV, 141
S. - (Berichte aus der Werkstofftechnik). Diss. 1999. - Prof. Dr. Jürgen Breme
 
Walter, Bernhard
- Beschichten poröser Träger mit nanoskaligen, keramischen Folien für
Ultrafiltrationsanwendungen. 1999, 183 S. Diss. 1999. - Prof. Dr. Rolf Clasen
 
Werner, Sven
- Zur betriebsfesten Auslegung von Bauteilen aus AlMgSi1 unter
Berücksichtigung von hohen Mitteldehnungen und Spannungskonzentrationen. 1999.
- 50, [90] Bl. Diss. 1999. - Prof. Dr.-Ing. Cetin Morris Sonsino
 
Zapp, Michael
- Rohteilvermessung zur Qualitätssicherung in flexiblen Fertigungssystemen.
1999, IX, 97 S. Diss. 1999. - Prof. Dr.-Ing. Hartmut Janocha
 
Zhu, Bin
- Formal synthesis and verification of hierarchical recursive circuits based
on an algebraic calculus of nets. 1999, XIV, 142 S. Diss. 2000. - Prof. Dr.
Dr. Günter Hotz