Jahrgang: 2001

 Klupsch, Michael:
Objektorientierte Daten und Zeitmodellierung für die Echtzeit-Bildfolgenauswertung
Ref:Prof. Radig, Prof. Paul, 24.01.2001

 Gogl, Helmut:
Measurement and Characterization of Traffic Streams in High-Speed Wide Area Networks
Ref:Prof. Jessen, Prof. Swoboda (Fakultät EI), 02.02.2001

 Heller, Ulrich:
Process-oriented Consistencybased Diagnosis – Theory, Implementation and Applications
Ref:Prof. Struss, Prof. Brauer, 08.02.2001

 Von Oheimb, David:
Analyzing Java in Isabelle/HOL: Formalization, Type Safety and Hoare Logic
Ref:Prof. Nipkow, Prof. Poetzsch-Heffter (FU Hagen), 09.02.2001

 Röckl, Christine:
On the Mechanized Validation of Infinite-State and Parameterized Reactive and Mobile Systems
Ref:Prof. Esparza, Prof. Brauer, 12.02.2001

 Rackl, Günther:
Monitoring and Managing Heterogeneous Middleware
Ref:Prof. Bode, Prof. Jessen, 13.02.2001

 Naraschewski, Wolfgang:
Teams as Types – A Formal Treatment of Authorisation in Groupware
Ref:Prof. Brügge, Prof. Scott (Carnegie-Mellon Univ. Pittsburgh, PA), 21.03.2001

 Langer, Michael:
Konzeption und Anwendung einer Customer Service Management Architektur
Ref:Prof. Hegering, Prof. Jessen, 22.03.2001

 Nerb, Michael:
Customer Service Management als Basis für interorganisationales Dienstmanagement
Ref:Prof. Hegering, Prof. Schlichter, 22.03.2001

 Zoller, Peter:
HMT: Modeling Interactive and Adaptive Database-driven Hypermedia Applications
Ref:Prof. Bayer, Prof. Specht (Techn. Univ. Ilmenau), 07.05.2001

 Wagner, Michael:
Dynamic Migration of Object Semantics among Heterogeneous Environments
Ref:Prof. Schlichter, Prof. Brügge, 15.05.2001

 Steck, Harald:
Constraint-Based Structural Learning in Bayesian Networks Using Finite Data Sets
Ref:Prof. Brauer, Prof. Lauritzen (Univ. Aalborg, DK), 18.05.2001

 Sapia, Carsten:
PROMISE – Modeling and Predicting User Behavior for Online Analytical Processing Applications
Ref:Prof. Bayer, Prof. Stoyan (Univ. Erlangen), 29.05.2001

 Bader, Michael:
Robuste, parallele Mehrgitterverfahren für die Konvektions-Diffusions-Gleichung
Ref:Prof. Zenger, Prof. Durst (Univ. Erlangen-Nürnberg), 30.05.2001

 Bader, Michael:
Robuste, parallele Mehrgitterverfahren für die Konvektions-Diffusions-Gleichung
Ref:Prof. Zenger, Prof. Durst (Univ. Erlangen), 30.05.2001

 Breitling, Max:
Formale Fehlermodellierung für verteilte reaktive Systeme
Ref:Prof. Broy, Prof. Jessen, 25.06.2001

 Drum, Philipp:
Effiziente Methoden für global verteiltes wissenschaftliches Rechnen
Ref:Prof. Bode, Prof. Jessen, 06.07.2001

 Schulz, Martin:
Shared Memory Programming on NUMA-based Clusters using a General and Open Hybrid Hardware/Software Approach
Ref:Prof. Bode, Prof. Hellwagner (Univ. Klagenfurt), 06.07.2001

 Malik, Andreas:
Model-based Test Generation for Repair and its Application to Vehicle Diagnosis
Ref:Prof. Struss, Prof. Neumann (Univ. Hamburg), 10.07.2001

 Sachenbacher, Martin:
Automated Qualitative Abstraction and its Application to Automotive Systems
Ref:Prof. Struss, Prof. Gottlob (TU Wien), 10.07.2001

 Kaps, Andreas:
CSCW in der Bioinformatik – ein objektorientiertes Groupwaresystem zur Unterstützung in der Gen- und Genomanalyse
Ref:Prof. Schlichter, Prof. Mewes (GSF, Neuherberg), 11.07.2001

 Müller, Robert:
Fingerprint Verification with Microprocessor Security Tokens
Ref:Prof. Proebster, Prof. Bornemann (Fakultät MA), 12.07.2001

 Deifel, Bernhard:
Requirements Engineering komplexer Standardsoftware
Ref:Prof. Broy, Prof. Schlichter, 30.07.2001

 Mehl, Miriam:
Ein interdisziplinärer Ansatz zur dreidimensionalen numerischen Simulation von Biofilmsystemen auf der Mikroskala
Ref:Prof. Zenger, Prof. Bungartz, 07.08.2001

 Baumann, Andrea:
Robot Motion Planning in Timevarying Environments
Ref:Prof. Siegert, Prof. Brauer, 30.10.2001

 Rausch, Andreas:
Componentware: Methodik des evolutionären Architekturentwurfs
Ref:Prof. Broy, Prof. Denert, 12.11.2001

 Stauner, Thomas:
Systematic Development of Hybrid Systems
Ref:Prof. Broy, Prof. Färber, 13.11.2001

 Sihling, Marc:
Methodische Entwicklung und rollenbasierte Integration von Komponentenframework
Ref:Prof. Broy, Prof. Pree (Univ. Konstanz), 16.11.2001

 Vilbig, Alexander:
Komponentenbasiertes Rapid Prototyping am Beispiel der Biomolekularen Sequenzanalyse
Ref:Prof. Broy, Prof. Staudenbauer (Abteilung Mikrobiologie, Weihenstephan, TUM), 30.11.2001

 Weiss, Christian:
Data Locality Optimization for Multigrid Methods on Structured Grids
Ref:Prof. Bode, Prof. Rüde, Prof. Jessen, 20.12.2001

 Liebl, Wolfgang:
Optimale Kommunikation mobiler Systeme in heterogenen Funknetzen
Ref:Prof. Baumgarten, Prof. Jessen, 21.12.2001

 zurück