Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Promotionen

Lfd. Nr. Jahr Name Titel Gutachter
380 2018 Munteanu, Alexandru-Eugen On algorithms for large-scale statistical and probabilistic data analysis Sohler, Ickstadt (Fak. Statistik)
379 2018 Grzeszick, René Partially supervised Learning of Models for Visual Sene and Object Recognition Fink, Frintrop (Uni Hamburg)
378 2018 Köppl, Dominik Exploring Regular Structures in Strings Fischer, Inenaga (Uni Kyushu,Japan)
377 2018 Neugebauer, Olaf Efficient Implementation of Resource-Constrained Cyber-Physical Systems Using Multi-Core Parallelism Marwedel, Müller
376 2018 Kotthaus, Helena Methods for Efficient Resource Utilization in Statistical Machine Learning Algorithms Marwedel, Rahnenführer (Fak. Statistik)
375 2018 Eichhorn, Christian Qualitative Rational Reasoning with Finite Conditional Knowledge Bases - Theoretical and Implementational Aspects Kern-Isberner, Ragni (Uni Freiburg)
374 2018 Scheftelowitsch, Dimitri Markov Decision Processes with Uncertain Parameters Buchholz, Hermanns (Uni Saarbrücken)
373 2018 Bökler, Friedrich Output-sensitive Complexity of Multiobjective Combinatorial Optimization with an Application to the Multiobjective Shortest Path Problem Mutzel, Ehrgott (Uni Lancaster)
372 2018 Piatkowski, Nico Exponential Families on Resource-Constrained Systems Morik, Ermon (Uni Stanford)
371 2018 Kurz, Denis K-Best Enumeration Theory and Application Mutzel, Chimani (Uni Osnabrück)
370 2018 Kamehkhosh, Iman Advances in Next-Track Music Recommendation Jannach (Uni Klagenfurt), Rudolph
369 2017 Zey, Bernd Solving Two_stage Stochastic Network Design Problems to Optimality Mutzel, Buchheim (Fak. Mathematik)
368 2017 Kohne, Andreas SLA-basierte VM-Scheduling-Verfahren für Cloud-Föderationen Spinczyk, Brinkmann (Uni Mainz)
367 2017 Schuster, Martin Context-free Games on Strings and Nested Words Schwentick, Lötding (RWTH Aachen)
366 2017 Schwiegelshohn, Chris On Algorithms for Large-Scale Graph and Clustering Problems Sohler, Leonardi (Uni Rom)
365 2017 Schmitz, Thomas Automated Model-Based Spreadsheet Debugging Jannach, Wotawa (Uni Graz)
364 2017 Schlagkamp, Stephan User-Aware Performance Evaluation and Optimization of Parallel Job Schedulers Schwiegelshohn, Tchernykh (Cicese, Mexico)
363 2017 Hegels, Daniel Optimierung thermischer Verhältnisse bei der Bahnplanung für das thermische Spritzen mit Industrierobotern Müller, Henrich (Uni Bayreuth)
362 2017 Plinge, Axel Acoustic sensor network geometry calibration and applications Fink, Martin (Ruhr-Uni Bochum)
361 2017 Borchert, Christoph Aspect-Oriented Technology for Dependable Operating Systems Spinczyk, Schröder-Preikschat (Uni Erlangen)
360 2017 Moradpour, Alireza Ein skalierbares Agglomerates Clusterverfahren basierend auf erste Nachbarschaftsbeziehungen Rudolph, Kersting
359 2017 Huang, Wen-Hung Kevin Scheduling Algorithms and Timing Analysis for Hard Real-Time Systems Chen, Reineke (Uni Saarland)
358 2017 Libuschewski, Pascal Exploration of Cyber-Physical Systems for GPGPU Computer Vision-Based Detection of Biological Viruses Marwedel, Müller
357 2017 Naujokat, Stefan Heavy Meta. Model-Driven Domain-Specific Generation of Generative Domain-Specific Modeling Tools Steffen, Legay (Uni Rennes)
356 2017 Ahmad, Irfan Modeling and Training Options for Handwritten Arabic Text Recognition Fink, Likforman (Telecom Paris)
355 2017 Holzkamp, Olivera MemoryAware Mapping Strategies for heterogeneous MPSoC systems Marwedel, Teubner
354 2017 Pyka, Robert Memory-aware platform description and framework for source-level embedded MPSoC software optimization Marwedel, Teubner
353 2017 Meier, Matthias Co-Konfiguration von Hardware- und Systemsoftware-Produktlinien Spinczyk,        Nolte (TU Cottbus)
352 2017 Dohndorf, Iryna Stochastic Graph Models with Physe Type Distributed Edge Weights Buchholz,      Haverkort (Uni Twente)
351 2017 Kopczynski, Dominik Resource-Constrained Analysis of Ion Mobility Spectrometry Data Rahmann, Rahnenführer (Fak. Statistik)
350 2017 Stolpe, Marco Distributed Analysis of Vertically Partitioned Sensor Measurements under Communication Constraints Morik, Rehof, Brefeld (Uni Lüneburg)
349 2017 Urbann, Oliver Laufen humanoider Roboter auf regelungstechnischer Basis mit Echtzeitmodifikation der Fußposition Schwiegelshohn (Fak. ET/IT), Visser (Uni Miami)
348 2016 Lerche, Lukas Using Implicit Feedback for Recommender Systems: Characteristics, Applications, and Challenges Jannach, Zanker (Uni Bozen)
347 2016 Naße, Fabian Die Detektion interessanter Objekte unter Verwendung eines objektbasierten Aufmerksamkeitsmodells Fink, Wöhler (Fak. ET/I)T)
346 2016 Walczak, Lars Approximation anatomischer Strukturen und biomedizinischer Prozesse zur rechnergestützten Untersuchung der Hämodynamik in Aneurysmen Müller, Turek (Fak. Mathematik)
345 2016 Pölitz, Christian Automatic Methods to Extract Latent Meanings in Large Text Corpora Morik, Müller
344 2016 Junaidi, Akmal Lampung Handwritten Character Recognition Fink, Müller
343 2016 Siedhoff, Dominic A Parameter-Optimizing Model-Based Approach to the Analysis of Low-SNR Image Sequences for Biological Virus Detection Müller, Merhof (RWTH Aachen)
342 2016 Kara, Ahmet Logics on Data Words Expressivity, Satisfiability, Model Checking Schwentick, Bollig (CNRS&ENS de Cachan)
341 2016 Preuß, Marcel Inference-Proof Materialized Views Biskup, Kern-Isberner
340 2016 Schirmeier, Horst Efficient Fault-Injection-based Assessment of Software-Implemented Hardware Fault Tolerance Spinczyk, Polze (Uni Potsdam)
339 2016 Dohndorf, Oliver Flexible Kommunikation in effizient entwickelten adaptiven vernetzten Dienste- und Gerätesystemen Krumm, Timmermann (Uni Rostock)
338 2016 Bury, Marc On Graph Algorithms for Large-Scale Graphs Bollig, Sauerhoff
337 2015 Bockermann, Christian Mining Big Data Streams for Multiple Concepts Morik, Bifet (Huawei HongKong)
336 2015 Kleinsorge, Jan Tight Integration of Cache, Path and Task-interference Modeling for the Analysis of Hard Real-time Systems Marwedel, Lisper (Mälardalen University)
335 2015 Hadiji, Fabian Graphical Models Beyond Standard Settings: Lifted Decimation, Labeling, and Counting Kersting, Natarajan (Indiana University)
334 2015 Krümpelmann,Patrick Belief Revision, Non-Monotonic Reasoning and Secrecy for Epistemic Agents Kern-Isberner, Beierle (FU Hagen)
333 2015 Wiederkehr, Thomas Effiziente, GPU-basierte Simulation thermischer Spritzprozesse Müller, Turek (Fak. Mathematik)
332 2015 Isberner, Malte Foundations of Active Automata Learning: An Algorithmic Perspective Steffen, Vaandrager (Uni Nijmegen)
331 2015 Kriege, Nils Comparing Graphs-Algorithms & Applications Mutzel, Kersting
330 2015 Kout, Alexander Geometric and Algorithmic Aspects of Automatic Path Planning with Relation to Spray Deposition Processes Müller, Buchheim (Fak. Mathematik)
329 2015 Wessing, Simon Two-stage Methods for Multimodal Optimization Rudolph, Glasmachers (RUB)
328 2015 Zeume, Thomas Small Dynamic Complexity Classes Grädel (RWTH Aachen), Schwentick
327 2015 Flasch, Oliver A Modular Genetic Programming System Rudolph, Bartz-Beielstein (FH Köln)
326 2015 Heinig, Andreas Flexible Error Handling for Embedded Real-Time Systems - Operating System and Run-Time Aspects Härtig (TU Dresden), Marwedel
325 2015 Niewerth, Matthias Data Definition Languages for XML Repository Management Systems Schwentick, Bonifati (Uni Lille, F)
324 2015 Heiden, Katja Digitales, sektorübergreifendes Prozessmanagement im Gesundheitswesen Rehof, Böckmann (FH Dortmund)
323 2015 Pyka, Arthur Cache-Kohärenz in hart echtzeitfähigen Mehrkern-Prozessoren Marwedel, Uhrig (MB)
322 2015 Kelter, Johannes WCET Analysis and Optimization for Multi-Core Real-Time Systems Marwedel, Puaut (Uni Rennes, F)
321 2015 Köster, Johannes Parallelization, Scalability and Reproducibility in Next-Generation Sequencing Analysis Rahmann, Mosik (RUB)
320 2015 Engel, Kai Evolutionäre Segmentierung dreidimensionaler Formen unter Verwendung von Satelliten-Seeds Müller, Rudolph
319 2014 Schmidt, Melanie Coresets and Streaming Algorithms for the k-means Problem and Related Clustering Objectives Sohler, Blömer    (Uni Paderborn)
318 2014 Vastag, Sebastian SLA Calculus Buchholz, German (Uni Erlangen)
317 2014 Schlenke, Jan Automatic signal enhancements for spectroscopic measurements Müller, Rudolph
316 2014 Schultze, Jan Praktische Probleme bei der Konstruktion von Software zur automatisierten Terminierungsanalyse Doberkat, Padawitz
315 2014 Printz, Stefan Ein Beitrag zu Normen und Standards der Geoinformatik in der archäologischen Feldforschung Doberkat, Müller
314 2014 Düdder, Boris Automatic Synthesis of Component & Connector-Software Architectures with Bounded Combinatory Logic Rehof, Henglein (Uni Kopenhagen)
313 2014 Windmüller, Stephan Kontinuierliche Qualitätskontrolle von Webanwendungen auf Basis maschinengelernter Modelle Steffen, Rehof
312 2014 Neubauer, Johannes High-Order Process Engineering Steffen, Hinchey (Uni Limerick, IR)

311

2014 Fölling, Alexander Effiziente Kapazitätsplanung durch dynamische Erweiterung einer lokalen Ressourcenumgebung um Grid- und Cloud-Ressourcen: algorithmische und technische Betrachtungen Schwiegelshohn,
Kranzlmüller (LMU München), Buchholz
310 2014 Tadros, Cornelia Belief Change Operations under Confidentiality Requirements in Multiagent Systems Kern-Isberner, Biskup
309 2014 Meister, Sven Erweiterung von Konzepten des Complex Event Processings zur informationslogistischen Verarbeitung telemedizinischer Ereignisse Rehof, Margaria-Steffen(Uni Potsdam)
308 2014 Tasse, Stefan Stochastic Filtering on Mobile Devices in Complex Dynamic Environments Schwiegelshohn, Burkhard (Uni Berlin), Müller
307 2014 Fiedler, David Beiträge zur Analyse, Modellierung und Kalibrierung von Kameras und 3D-Tiefensensoren Müller, Kolb (Uni Siegen)
306 2013 Preuss, Mike Multimodal Optimization by Means of Evolutionary Schwefel, Stützle (Uni Brüssel)
305 2013 Martin, Marcel Algorithms and Tools for the Analysis of High-Throughput DANN Sequencing Data Rahmann, Stoye (Uni Bielefeld)
304 2013 Hellweg, Frank Property-Testing in gradbeschränkten gerichteten Graphen unter Nichtsichtbarkeit eingehender Kanten Sohler, Westermann
303 2013 Doedt, Markus Service-Integration in Geschäftsprozessmanagementsystemen mit besonderem Fokus auf die Integration von ERP-Systemen unter Berücksichtigung des aktuellen Trends hin zum Cloud Computing Rehof, Steffen
302 2013 Cordes, Daniel Automatic Parallelization für Embedded Multi-Core Systems using High-Level Cost Models Marwedel, Cohen (Paris), Teubner
301 2013 Merten, Maik Active automata learning for real-life applications Steffen, Hähnle (TU Darmstadt)
300 2013 Vatolkin, Igor Improving Supervised Music Classification by Means of Multi-Objective Evolutionary Feature Selection Rudolph, Weihs (Fak. Statistik)
299 2013 Sugioarto, Martin Verteilte Prozesskontrolle in ressourcenbasierten Architekturen Rehof, Steffen
298 2013 Papaspyrou, Alexander Federated Capacity Planning for Distributed Computing Infrastructures Schwiegelshohn (ET/IT), Yahyapour (GWDG Göttingen)
297 2013 Kubczak, Christian jETI: Ein serviceorientiertes Framework zur High-Level Ausführung von Remote-Komponenten Steffen, Yahyapour (GWDG Göttingen)
296 2013 Wieder, Philipp A Generic Scheduling Architecture for Service-Oriented Distributed Computing Infrastructures - Introducing New Concepts based on Automated Negotiation of Electronic Contracts Yahyapour (GWDG Göttingen), Kranzlmüller (LMU München)
295 2012 Timm, Constantin Resource efficient processing and communication in sensor/actuator environments Marwedel, Müller
294 2012 Plazar, Sascha Memory-based Optimization Techniques for Real-Time Systems Marwedel, Glesner (TU Berlin)
293 2012 Ochoa Ronderos, Martin Model-based Security Guarantees and Change Jürjens, Viganó (Uni Verona)
292 2012 Lamprecht, Anna-Lena User-level workflow design. A bioinformatics perspektive Steffen, Schreiber (IPK Gatersleben)
291 2012 Jungermann, Felix About Exploration of Data Mining Techniques using Structured Features for Information Extraction Morik, Jannach
290 2012 Grimme, Christian Das Räuber-Beute-Modell für die mehrkriterielle Optimierung: Analyse und Anwendung Schwefel, Schwiegelshohn (Fak. ET/IT)
289 2012 Gedikli, Fatih Leveraging tagging data for recommender systems Jannach, Zander (Uni Klagenfurt)
288 2012 Keller, Robert Toward Autopoietic Programming Banzhaf (Univ. Newfoundland), Müller, H.
287 2012 Howar, Falk Active Learning of interface Programs Steffen, Meinke
286 2012 Kriege, Jan Fitting Simulation Input Models for Correlated Traffic Data Buchholz, Weihs (Fak. Statistik)
285 2011 Sulewski, Damian Large-Scale Parallel State Space Search Utilizing Graphics Processing Units and Solid State Disks Edelkamp (Uni Bremen), Steffen
284 2011 Jörges, Sven Genesys: A Model-Driven and Service-Oriented Approach to the Construction and Evolution of Code Generators Steffen, Knoop (TU Wien)
283 2011 Beume, Nicola Hypervolume-based Metaheuristics for Multiobjective Optimization Rudolph, Igel (Uni Copenhagen)
282 2011 Richarz, Jan Videobasierte Gestenerkennung in einer intelligenten Umgebung Fink, Müller, H.
281 2011 Wong, Hoi-Ming Upward Planarization and Layout Mutzel, Buchheim (Fak. Mathematik)
280 2011 Menge, Sebastian Managing Interlingual References - a type-generic approach Doberkat, Jürjens
279 2011 Zarges, Christine Theoretical Foundations of Artificial Immune Systems Jansen, Th. (University College Cork), Rudolph
278 2011 Wortmann, Sandra Ansätze kompositionaler und zustandsbasierter Zugriffskontrolle für Webbasierte Umgebungen Biskup, Krumm
277 2011 Thimm, Matthias Probabilistic Reasoning with Incomplete and Inconsistent Beliefs Kern-Isberner, Beierle (FU Hagen)
276 2011 Reuter, Claudia Modellierung und dynamische Adaption klinischer Pfade auf Basis semantischer Prozessfragmente Rehof, Dadam (Uni Ulm)
275 2011 Klinger, Roman Conditional Random Fields for Named Entity Recognition Rudolph, Hofmann-Apitius (Uni Bonn)
274 2011 Königsmann, Thomas "Compositional Modeling" Ansatz zur Benutzerschnittstellengenerierung am Beispiel telemedizinischer Anwendung Rehof, Müller
273 2011 Wojciechowski, Manfred Kontextmodellierung für das Ambient Assisted Living Rehof, Jannach
272 2011 Kandyba-Chimani, Maria Exact Algorithms for Network Design Problems using Graph Orientations Mutzel, Buchheim (Fak. Mathematik)
271 2011 Naujoks, Boris Design and Tuning of an Evolutionary Multiobjective Optimisation Algorithm Rudolph, Jin (University of Surrey)
270 2011 Marschall, Tobias Algorithms and Statistical Methods for Exact Motif Discovery Rahmann, Stoye (Uni Bielefeld)
269 2011 Kotsokalis, Konstantinos Automated Hierarchical Service Level Agreements Yahyapour, Tsanakas (University of Athen)
268 2011 Klein, Karsten Interactive Graph Drawing with Constraints Mutzel, Kobourov (University of Arizona)
267 2011 Lochner, Jan-Hendrik An Effective and Efficient Inference Control System for Relational Database Queries Biskup, Kern-Isberner
266 2010 Lammersen, Christiane Approximation Techniques for Facility Location and Their Applications in Metric Embeddings Sohler, Meyer a. d. Heide (Uni Paderborn)
265 2010 Gronemeier, André Information Complexity and Data Stream Algorithms for Basic-Problems Sauerhoff (extern), Sohler
264 2010 Monemizadeh, Morteza Non-uniform Sampling in Clustering and Streaming Sohler, Schweikardt (Uni Frankfurt)
263 2010 Gutwenger, Carsten Applications of APQR-Trees in the Planarization Approach for Drawing Graphs Mutzel, Eades (University of Sydney)
262 2010 Thyssen, Christian Zur Analyse der Optimierungszeit randomisierter Suchheuristiken für kombinatorische Probleme Jansen, Th. (University College Cork), Rudolph
261 2010 Müller, Dennis Anpassungen von Suchheuristiken für ereignisdiskrete Modelle Buchholz, Rudolph
260 2010 Lienemann, Kai Advanced Ensemble Methods for Automatic Classification of 1H-NMR Spectra Fink, Weihs (Fak. Statistik)
259 2010 Lokuciejewski, Paul WCET-aware Source Code and Assembly Level Optimization Techniques for Real-Time Systems Marwedel, Spinczyk
258 2010 Graw, Günter Korrekte Steuerungssoftware Krumm, Herrmann, P. (Uni Trondheim)
257 2010 Tomanek, Katrin Resource-Aware Annotation through Active Learning Morik, Hahn (Uni Jena)
256 2010 Weichert, Frank Klassifikation morphologischer und pathologischer Strukturen in koronaren Gefäßen auf Basis intravaskulärer Ultraschallaufnahmen zur klinischen Anwendung in einem IVB-Systemen Müller, H., Weihs (Fak. Statistik)
255 2010 Koh, Hyung-Won Feature Extraction in NMR Data Analysis Rahmann, Hüllermeier (Uni Marburg)
254 2010 Ejaz, Tahir Abelian Pattern Matching in Strings Rahmann, Böcker (Uni Jena)
253 2009 Karusseit, Martin Feature-orientierte Entwicklung von rollenbasierten Systemen zur kooperativen Entscheidungsfindung Steffen, Jannach
252 2009 Lehnhoff, Sebastian Dezentrale vernetzte Energiebewirtschaftung auf Basis eines verteilten adaptiven Realzeit-Multiagentensystems DEZENT Wedde, Rehtanz (Fak. ET)
251 2009 Wiese, Lena Preprocessing for Controlled Query Evaluation in Complete First-Order Databases Biskup, Kern-Isberner
250 2009 Nagel, Ralf Technische Herausforderungen modellgetriebener Beherrschun von Prozesslebenszyklen aus der Fachperspektive: von der Anforderungsanalyse zur Realisierung Steffen, Rehof
249 2009 Raffelt, Harald Extrapolation von Prozessmodellen aus Black-Box-Systemen mittels Automatenlernverfahren Steffen, Rehof
248 2009 Mierswa, Ingo Non-Convex and Multi-Objective Optimization in Data Mining Morik, Weihs (Fak. Statistik)
247 2009 Nunkesser, Robin Algorithms for Regression and Classification Robust Regression and Genetic Association Studies Jansen, Th., Fried (Fak. Statistik)
246 2009 Koll, Konstantin Integration, Indexierung und Interaktion hochdimensionaler Datenobjekte Dittrich, Müller, H.
245 2008 Sudholt, Dirk Computational Complexity of Evolutionary Algorithms, Hybridizations, and Swarm Intelligence Jansen, Th., Rudolph
244 2008 Chimani, Markus Computing Crossing Numbers Mutzel, Skutella (TU Berlin)
243 2008 Wortmann, Christian Algorithmische Analyse von rohrförmigen Flächen für das Reverse Engineering Müller, H., Vahrenhold
242 2008 Wurst, Michael Distributed Collaborative Structuring - A Data Mining Approach to Information Management in Loosely Coupled Domains Morik, Müller
241 2008 Jabbar, Shahid External Memory Algorithms for State Space Exploration in Model Checking and Action Planning Edelkamp, Steffen
240 2008 Weibert, Torben A Framework for Inference Control in Incomplete Logic Databases Biskup, Kern-Isberner
239 2007 Euler, Timm Knowledge Discovery in Databases at a Conceptual Level Morik, Biskup
238 2007 Lasarczyk, Christian Genetische Programmierung einer algorithmischen Chemie Banzhaf, Rudolph
237 2007 Meyer-Nieberg, Silja Self-Adaptation in Evolution Strategies Beyer, H.-G., Rudolph
236 2007 Briest, Patrick Computational Aspects of Combinatorial Pricing Problems Krysta, Wegener
235 2007 Chernuchin, Daniel Gleichheitsabhängigkeiten zwischen Objekten durch parametrisierte Zuweisungen Dittrich, Padawitz
234 2007 Yoo, Haiseung Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese Steffen, Rehof
233 2007 Lück, Ingo Modellbasierte Konfiguration von Sicherheitsdiensten Krumm, Biskup
232 2007 Scholz, Martin Scalable and Accurate Knowledge Discovery in Real-World Databases Morik, Kern-Isberner, Wrobel
231 2007 Pleumann, Jörg Ein Ansatz zur Entwicklung von Modellierungswerkzeugen für die softwaretechnische Lehre Doberkat, Fink
230 2007 Kantschik, Wolfgang Genetische Programmierung und Schach Banzhaf, Müller, H.
229 2007 Rothmaier, Gerrit Integrated Formal Modeling and Automated Analysis of Computer Network Attacks Krumm, Biskup
228 2007 Storch, Tobias Design und Analyse randomisierter Suchheuristiken Wegner, Jansen, Th.
227 2006 Berlik, Stefan Directed Evolutionary Algorithms Reusch, Rudolph
226 2006 Jägersküpper, Jens Probablistic Analysis of Evolution Strategies Using Isotropic Mutations Wegener, Jansen, Th.
225 2006 Sawitzki, Daniel Algorithmik und Komplexität OBDD-repräsentierter Graphen Wegener, Sauerhoff
224 2006 Brockmann, Christian Remore Vision-based Multi-Gesture Interaction in Natural Indoor Environments Müller, H., Fink
223 2006 Verma, Manish Advanced Memory Optimization Techniques for Low-Power Embedded Processors Marwedel, Eisenbrand, Dutt
222 2006 Bernholt, Thorsten Effiziente Algorithmen und Komplexität in der robusten Statistik Wegener, Hofmeister
221 2006 Wagner, Jens Retargierbare Ausnutzung von Spezialoperationen für Eingebettete Systeme mit Hilfe bitgenauer Wertflussanalyse Marwedel, Rudolph
220 2006 Rüping, Stefan Learning Interpretable Models Morik, Müller, H.
219 2006 Klemm, Alexander Measurement Techniques and Case Studies for the Characterization of Internet Applications Lindemann, Krumm
218 2006 Lischka, Mario Dezentrale Rollenbasierte Autorisierung und Administrierung Wedde, Biskup
217 2006 Mehler, Tilman Challenges and Applications of Assembly-Level Software Model Checking Edelkamp, Morik
216 2006 Arns, Markus Approximative Verfahren auf erweiterten Fork/Join-Warteschlangennetzen zur Analyse von Logistiknetzen Beilner, Buchholz
215 2006 Fischer, Markus Parallele numerische Verfahren zur quantitativen Analyse logistischer Systeme Beilner, Buchholz
214 2006 Haustein, Stefan An Interpretative Approach to the Model-Driven Development of Web Applications Morik, Doberkat
213 2006 Kunau, Gabriele Facilitating Computer Supported Cooperative Work with Socio-Technical Self-Description Herrmann, Th. (Uni Bochum), Kern-Isberner, Dourish (Uni California)
212 2006 Farooq, Mudassar From the Wisdom of the Hive to Intelligent Routing in Telecommunication Networks: A Step towards Intelligent Network Management through Naturla Engineering Wedde, Krumm
211 2006 Flegel, Ulrich Pseudozymizing Audit Data for Privacy Respecting Misuse Detectioon Biskup, Krumm
210 2005 Lajios, Georgios Zur katergoriellen Beschreibung von Schichtenarchitekturen Doberkat, Padawitz
209 2005 Schönemann, Lutz Untersuchungen zum adaptiven Verhalten evolutionärer Algorithmen in dynamischen Umgebungen Rudolph, Wegener
208 2005 Waldhorst, Oliver Design and Quantitative Analysis of Protocols for Epidemic Information Dissemination in Mobile Ad Hoc Networks Lindemann, Buchholz
207 2005 Wehmeyer, Lars Fast Efficient and Predictable Memory Accesses: Optimization algorithms for memory architecture aware compilation Marwedel, Padawitz
206 2005 Emmerich, Michael Single- and Multi-objective Evolutionary Design Optimization assisted by Gaussian Random Field Metamodels Schwefel, Buchholz
205 2005 Feldkamp, Udo Computer Aided Dann Sequence Design Banzhaf, Mutzel, Niemeyer
204 2005 Giel, Oliver Zur Analyse von randomisierten Suchheuristiken und Online-Heuristiken Wegener, Rudolph
203 2005 Hussein, Mohamed New Utilization Criteria for Online Scheduling Schwiegelshohn, Wegener
202 2005 Loser, Kai-Uwe Unterstützung der Adoption kommerzieller Standardsoftware durch Diagramme Herrmann, Th., Doberkat, Fischer (Uni Colorado), Gruhn
201 2005 Bartz-Beielstein, Thomas New Experimentalism Applied to Evolutionary Computation Schwefel, Buchholz
200 2005 Gsottberger, Claudia Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, web-basierten Applikationen Steffen, Doberkat
199 2005 Richter, Christoph Über die Vermeidung redundanter Betrachtungen beim Approximate String Matching Banzhaf, Padawitz
198 2004 Witt, Carsten Über die Analyse randomisierter Suchheuristiken und den Entwurf spezialisierter Algorithmen im Bereich der kombinatorischen Optimierung Wegener, Vöcking
197 2004 Leier, André Evolution of Qantum Algorithms using Genetic Programm Banzhaf, Sieling
196 2004 Hoffmann, Marcel Anwareness und Adoption kooperativer Wissensmedien im Kontext informeller Zusammenarbeit Herrmann, Th., Morik, Prinz (RWTH Aachen)
195 2004 Busch, Jens RESAC: Eine resolutionsbasierte Künstliche Chemie und deren Anwendungen Banzhaf, Müller, H.
194 2004 Lohmann, Marco Online QoS/Revenue Management for Third Generation Mobile Communication Networks Lindemann, Krumm
193 2004 Falk, Heiko Source Code Optimization Techniques for Data Flow Dominated Embedded Software Marwedel, Padawitz, Catthoor (Uni Leuven)
192 2004 Brameier, Markus On Linear Geneteic Programming Banzhaf, Riedmiller, Best (Uni Oldenburg)
191 2004 Wedig, Arnim Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen: Formale Basis und Beiträge zur Theorie Wedde, Wegener
190 2003 Niehaus, Jens Graphbasierte Genetische Programmierung Banzhaf, Marwedel
189 2003 Wölfel, Philipp Über die Komplexität der Multiplikation in eingeschränkten Branchingprogrammmodellen Wegener, Vöcking
188 2003 Niese, Oliver An Integrated Approach to Testing Complex Systems Steffen, Buchholz
187 2003 Sprick, Barbara Towards Unifying Semantic Constraints and Security Constraints in Distributed Information Systems Biskup, Doberkat
186 2003 Thümmler, Axel Stochastic Modeling and Analysis of 3G Mobile Communication Systems Lindemann, Beilner
185 2003 Ayasse, Jörg Discrete Displacement Fields: A Versatile Representation of Geometry for Simulation in Computer-Aided Manufacturing Müller, Vöcking
184 2003 Julisch, Klaus Using Root Cause Analysis to Handle Intrusion Detection Alarms Biskup, Krumm
183 2003 Ziegler, Jens Evolution von Laufrobotersteuerungen mit Genetischer Programmierung Banzhaf, Müller, H.
182 2003 Wellen, Ursula Process Landscaping - eine Methode zur Modellierung und Analyse verteilter Softwareprozesse Gruhn, Doberkat
181 2003 Lorenz, Markus Performance- und energieeffiziente Compilierung für digitale SIMD-Signalprozessoren mittels genetischer Algorithmen Marwedel, Banzhaf
180 2003 Pankoke-Babatz, Uta Designkonzept für Systeme zur computergestützten Zusammenarbeit unter Nutzung der Behavior-Setting-Theorie Herrmann, Th., Morik
179 2003 Kukuk , Markus A Model-Based Approach to Intraoperative Guidance of Flexible Endoscopy Müller, H., Banzhaf
178 2003 Alfert, Klaus Virtuv: Specifying Temporal Aspects of Multimedia Presentations - A Transformational Approach based on Intervals Doberkat, Gruhn
177 2003 Steinke, Stefan Untersuchung ds Energieeinsparungspotenzials in eingebetteten Systemen durch energieoptimierende Compiltertechnik Marwedel, Padawitz
176 2002 Kienle, Andrea Integration von Wissensmanagement und kollavorativem Lernen durch technisch unterstützte Kommunikationsprozesse Herrmann, Th., Doberkat
175 2002 Leubner, Christian A Framework for Segmentation and Contour Approximation in Computer-Vision Systems Müller, Riedmiller
174 2002 Karabulut, Yücel Secure Mediation Between Strangers in Cyberspace Biskup, Krumm
173 2002 Amato, Giuseppe Approximate similarity search in metric spaces Fuhr, Zezula, Biskup
172 2002 Presser, Gero Lazy Decision Making - Entscheiden durch zielgerichtetes Präzisieren der Wahrscheinlichkeitsinformation Reusch, Wegener
171 2002 Mester, Arnulf Rechnergestützte Konstruktion verteilter Anwendungen mit wiederverwendbaren Spezifikationsmustern Krumm, Hasselbring (Uni Oldenburg), Gruhn
170 2002 Hildebrand, Lars Asymetrische Evolutionsstrategien Reusch, Banzhaf
169 2002 Braun, Volker A Coarse-granular Approach to Software Development allowing Non-Programmers to Build and Deploy Reliable Web-based Applications Steffen, Krumm
168 2001 Lepperhoff, Niels Untersuchung von Aushandlungen in Gruppen mittels Agentensimulation Herrmann, Troitzsch (Uni Koblenz), Morik
167 2001 Westbomke, Jörg XML-basierte Implementierung strukturierter Hypermediadokumente - Aspekte der Erzeugung der Notation und der Darstellung Dittrich, Gruhn
166 2001 Fronk, Alexander Algebraische Semantik einer objektorientierten Sprache zur Spezifikation von Hyperdokumenten Doberkat, Padawitz
165 2001 Arnold, Dirk Local Performance of Evolution Strategies in the Presence of Noise Beyer, Wegener
164 2001 Mencl, Robert Reconstruction of Surfaces from Unorganized Three-Dimensional Point Clouds Müller, Fischer
163 2001 Wiesmann, Dirk Anwendungsorientierter Entwurf evolutionärer Algorithmen Schwefel, Wegener
162 2001 Bleumer, Gerrit Secure Offline Legitimation Systems Biskup, Pfitzmann (Uni des Saarlandes)
161 2001 Lehmke, Stephan Logics which allow Degrees of Truth and Degrees of Validity Reusch, Dubios (Uni Toulouse), Padawitz
160 2001 Hiltner, Jens Ein CI-unterstütztes Rahmenmodell für die medizinische Bildanalyse Reusch, Müller
159 2001 Pietrek, Georg Verfahren zur verbesserten Approximation von Lichtverteilungen in der fotorealistischen Bildsynthese Müller, Klein, R. (Universität Bonn), Moraga
158 2001 Bashford, Steven Constraintbasierte Codegenerierung für eingebettete Prozessoren Marwedel, Padawitz
157 2001 Joachims, Thorsten The Maximum-Margin Approach to Learning Text Classifers Methods, Theorie, and Algorithms Morik, Mitchell (Carnegie-Mellon University), Fuhr
156 2001 Dittrich, Peter On Artificial Chemistries Banzhaf, Albers
155 2000 Droste, Stefan Zu Analyse und Entwurf evolutionärer Algorithmen Wegener, Müller
154 2000 Jansen, Thomas Theoretische Analyse evolutionärer Algorithmen unter dem Aspekt der Optimierung in diskreten Suchräumen Wegener, Doberkat
153 2000 Garmann, Robert New Contributions To Spatial Partitioning And Parallel Global Illumination Algorithms Müller, Lindemann
152 2000 Weller, Frank Geometrische Algorithmen in der Flächenrückführung Müller, Hagen (Uni Kaiserslautern), Fischer
151 2000 Bruckhoff, Carsten Dynamische Systeme zum Entwurf von Navigationssystemen autonomer mobiler Serviceroboter Müller, Wegener, von Seelen (Uni Bochum)
150 2000 Kyeyune, Yusufu Developing Concepts and Methods for Module and Integration Tests for Models of Reactive Systems Reusch, Marwedel
149 2000 Mandischer, Martin An Empirical Investigation of Neural Networks, Evolution Strategies and Evolutionary-rained Neural Networks and their Applications to Chemical Engineering Schwefel, Moraga
148 2000 Dömer, Rainer System-level Modeling and Design with the SpecC Language Marwedel, Gajski (Univ. California), Moraga
147 2000 Hinkenjann, André Effiziente Lösungsverfahren für Sichtbarkeitsprobleme in der realitätsnahen Bildsynthese Müller, Fellner (TU Braunschweig), Fischer
146 2000 Bohn, Christian-Arved Radiosity on Evolving Networks Müller, Gross (ETH Zürch), Banzhaf
145 2000 Kreutz, Martin Modellierung von unvollständig beschriebenen Systemen Banzhaf, von Seelen (Uni Bochum), Wegener
144 1999 Polle, Torsten On Representing Relationships in Object-Oriented Databases Biskup, Fuhr
143 1999 Kursawe, Frank Grundlegende empirische Untersuchungen der Parameter von Evolutionsstrategien - Metastrategien Schwefel, Wegener
142 1999 Sprave, Joachim Ein einheitliches Modell für Populationsstrukturen in Evolutionären Algorithmen Schwefel, Lindemann
141 1999 Straccia, Umberto Foundations of a Logic based approach to Multimedia Document Retrieval Fuhr, Morik
140 1999 Kohler, Markus New Contributions to Vision-Based Human-Computer Interaction in Local and Global Environments Müller, Rigoll (Uni Duisburg), Banzhaf
139 1999 Rölleke, Thomas POOL: Probabilistic Object-Oriented Logical Representation and Retrieval of Complex Objects A Model for Hypermedia Retrieval Fuhr, Biskup
138 1999 Oyman, Ahmed Irfan Convergence Behavior of Evolution Strategies on Ridge Functions Beyer, H.-G., Wegener
137 1999 Hoch, Michael Intuitive Schnittstelle eine neue Computerumgebung für die Planung bildkünstlerischer Prozesse Müller, Banzhaf, Zielinski (Kunsthochschule für Medien, Köln)
136 1999 Lind, Jon A. Realization of the Highly Integrated Distributed Real-Time Safety- Critical System Wedde, Krumm
135 1999 Klasner, Norbert Lernen aus fehlerhafter oder unvollständiger Information Simon (Uni Bochum), Wegener
134 1999 Sauerhoff, Martin Complexity Theoretical Results for Randomized Branched Programs Wegener, Dietzfelbinger
133 1998 Cozzi, Alex COMVIS A communication framework for computer vision Banzhaf, Müller
132 1998 Birkendorf, Andreas Lernen von Automaten und Entscheidungsdiagrammen Simon (Uni Bochum), Wegener
131 1998 Klingspor, Volker Reaktives Planen mit gelernten Begriffen Morik, Reusch
130 1998 Lee, Sang-Wha Generalisierung und Optimierung der Cascade-Correlation-Archtekturen unter Verwendung von neuen Aktivierungsfunktionen Moraga, Banzhaf
129 1998 Beckmann, Renate Speicher-Synthese für allgemeine Multiprozessor-Systeme mit Constraint-logischer Programmierung Marwedel, Reusch
128 1998 Schlierkamp-Voosen, Dirk Populationsbasierte Wettbewerbsmodelle zur Strategieanpassung in Evolutionären Algorithmen Schwefel, Wegener
127 1998 Landwehr, Birger ILP-basierte Mikroarchitektur-Synthese mit komplexen Baustein- bibliotheken Marwedel, Banzhaf
126 1998 Rieger, Anke Program Optimization for Temporal Reasoning in a Logic Programming Framework Morik, Padawitz, Hertzberg (GMD)
125 1998 Niemann, Ralf Hardware/Software Co-Design for Data Flow Dominated Embedded Systems Marwedel, Müller
124 1997 Herrmann, Peter Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen Krumm, Dittrich
123 1997 Bollig, Beate Komplexitätsanalysen für BDD-artige Datenstrukturen Wegener, Krause
122 1997 Amer, Omar Bilaterale Kontaktschaltungen: Analyse und Synthese Reusch, Marwedel
121 1997 Bertram-Kretzberg, Claudia Derandomisierung, unabhängige Mengen und effiziente Schaltkreise Wegener, Doberkat
120 1997 Harking, Berthold Mikroarchitektursynthese durch Quelltexttransformationen in einer Hardwarebeschreibungssprache Marwedel, Doberkat
119 1997 Bernasch, Jost Konstruktion und Anwendung einer maschinellen Aufmerksamkeits- steuerung für komplexe Bildfolgen Banzhaf, Müller, von Seelen (Uni Bochum)
118 1997 Nordin, Peter Evolutionary Program Induction of Binary Machine Code and its Applications Banzhaf, Marwedel
117 1997 Heider, Ralph Evolutionäre Synthese neuronaler Netze unter Verwendung von Graph-Grammatiken Moraga, Banzhaf
116 1997 Leupers, Rainer Retargetable Code Generation for Digital Signal Processors Marwedel, Doberkat
115 1997 Bell, Siegfried Entdeckung von Metadaten zur semantischen Anfrageoptimierung in relationalen Datenbanken Morik, Fuhr
114 1997 Han, Jun Optimization of Multilayer Feedforward Neural Networks Moraga, Banzhaf
113 1996 Kemper, Peter Superposition of generalized stochastic Petri nets and its impact on perfomance analysis Beilner, Esparza (TU München)
112 1996 Rudolph, Günter Convergence Properties of Evolutionary Algorithms Schwefel, Wegener
111 1996 Heck, Elke Performance Evaluation of Formally Specified Systems - The Integration of SDL with HIT - Beilner, Krumm
110 1996 Dettmer, Thomas Ein Modell für CAD-Entwurfsumgebungen Beschreibung und Formalisierung wesentlicher Konzepte auf der Basis von Hypermedia Reusch, Doberkat
109 1996 Vergara Rebolledo, Victor Optimierung eines dynamischen Systems unter Verwendung des Soft-Computing-Paradigmas Moraga, Schwefel
108 1996 Stark, Michael Konturapproximation in mehrdimensionalen regulären Gitterdaten Müller, Seidel (Uni Erlangen / Nürnberg)
107 1996 Pahl, Claus Grundlagen für die formale Spezifikation modularer zustandsbasierter Systeme Doberkat, Padawitz
106 1996 Hühne, Martin Concrete Complexity Theory: Studies of the Impact of the Capabilities of the Storage Device on the Efficiency of Computations Dietzfelbinger, Wegener
105 1996 Sommer, Edgar Theory Restructuring A Perspective of Design & Maintenance of Knowledge Based Systems Morik, Padawitz
104 1996 Westermann, Rüdiger A Multiresolution Framework for Volume Rendering Müller, Ertl (Uni Erlangen / Nürnberg)
103 1996 Wulf, Volker Konfliktmanagement bei Groupware Herrmann, Th., Oberquelle (Uni Hamburg)
102 1995 Frese, Ludger Performance Parameters and Workload Models Reusch, Dietzfelbinger
101 1995 Engels, Christoph Dynamische Neuronale Feldarchitektur zur Steuerung autonomer Systeme am Beispiel der Wegeplanung eines mobilen Roboters Banzhaf, Simon, von Seelen (Uni Bochum)
100 1995 Bieker, Ulrich Retargierbare Compilierung von Selbsttestprogrammen digitaler Prozessoren mittels Constraint-logischer Programmierung Marwedel, Echtle
99 1995 Junkermann, Gerald ESCAPE - Eine graphische Sprache zur Spezifikation von Software-Prozessen Doberkat, Schäfer
98 1995 Leu , Martin Fehlererkennende Inbetriebnahme fehlertoleranter verteilter Systeme Echtle, Prof. Dr. Erik Maehle Uni Lübeck
97 1995 Hoppe, Thomas Incremental Partial Deduction Morik, Thiele
96 1995 Tochtermann, Klaus Ein Modell für Hypermedia. Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte Dittrich, Doberkat
95 1994 Ladage, Lorenz Kompaktierung heterogener Maskenlayouts mit komplexen Restriktionen Brück, Marwedel
94 1994 Dose, Michael Wegeplanung autonomer mobiler Roboter mittels dynamischer Systeme Morik, Banzhaf, von Seelen (Uni Bochum)
93 1994 Sieling, Detlef Algorithmen und untere Schranken für verallgemeinerte OBDDs Wegener, Krause
92 1994 Dietz, Peter Ein Computer-Modell auf der Basis kubischer Volumina für die Approximation beliebig geformter körperlicher Objekte Müller, Marwedel
91 1994 Cramer, Joachim Interconnecting and Reusing Component Specifications Doberkat, Schäfer
90 1994 Ruprecht, Detlef Geometrische Deformationen als Werkzeug in der graphischen Datenverarbeitung Müller, Fellner (Uni Bonn)
89 1994 Kilger, Michael Architekturkonzept eines adaptiven Systems am Beispiel eines intelligenten videobasierten Verkehrssensors Reusch, Müller
88 1994 Wolf, Stefan Ein transaktionsbasierter Ansatz zur Unterstützung kooperativer Softwareentwicklung Schäfer, Engels (Uni Leiden)
87 1994 Poswig, Jörg Visuelle Programmiersprachen. Die Realisierung und konzeptionelle Weiterentwicklung eines Prototyps Moraga, Szwillus
86 1994 Pölt, Stefan Effizientes Lernen fast optimaler Entscheidungen an Beispielen Simon, Hertzberg (GMD)
85 1994 Meyer zu Bexten, Volker User-Controlled Layout Synthesis for Analog Integrated Circuits Moraga, Marwedel
84 1994 Höffgen, Klaus-Uwe Komplexitätsanalyse und Effiziente Algorithmen für kombinatorische Probleme beim Algorithmischen Lernen Simon, Wegener
83 1994 Bäck, Thomas Evoutionary Algorithms in Theory and Practice Schwefel, Männe (Uni Mannheim)
82 1994 Hasselbring, Wilhelm Prototyping Parallel Algorithms in a Set-Oriented Language Doberkat, Stetter (Uni Mannheim)
81 1993 Knaup, Werner Algebraische Strukturen in einfachen Warteschlangen-Netzen Beilner, Wegener
80 1993 Hofmeister, Thomas Thresholdschaltkreise kleiner Tiefen Wegener, Dietzfelbinger
79 1993 Wrobel, Stefan Concept Formation and Knowledge Revision Demand-Driven Approach to Representation Change Morik, Wahlster (Uni d. Saarlandes)
78 1993 Ohsendoth-Haase, Christoph Zur Spezifikation eingebetteter mikroelektronischer Systeme: Ein kundenorientiertes Phasen-Modell und die Generierung verwert- barer VHDL-Beschreibungen Reusch, Dittrich
77 1993 Höffmann, Achim Eine Architektur zur zielbezogenen Modellierung von Problemlösungsprozessen Reusch, Morik
76 1992 Wagner, Hubert Komplexitätstheoretische Untersuchungen zur Temporallogik Reusch, Verbeek
75 1992 Meyer zu Bexten, Erdmuthe Eine Simulationsumgebung für signalverarbeitende Systeme Moraga, Pichler
74 1992 Speicher, Michael Komplexität endlicher Objekte Reusch, Padawitz
73 1992 Wienkop, Uwe Methoden und Werkzeuge für einen strukturierten Systementwurf Reusch, Moraga
72 1992 Wertz, Ulrich First-Order TheoremProving Modulo Equations Wegener, Ganzinger
71 1992 Krieb, Christian Konzeption einer effizienten Schalterebenen-Simulationsumgebung zur Unterstützung des transistororientierten Entwurfs hochintegrierter Schaltkreise Reusch, Moraga
70 1992 Dewal, Sanjay A Methodology for Requirements Analysis and Evaluation of Software Development Environments Weber, Kelter
69 1991 Felix, Rudolf Entscheidung bei qualitativen Zielen Reusch, Moraga
68 1991 Fehling, Rainer Hierarchische Petrinetze: Beiträge zur Theorie und formale Basis für zugehörige Werkzeuge Dittrich, Szwillus
67 1991 Bause, Falko Zur funktionalen Analyse zeitbehafteter Petri-Netze unter besonderer Berücksichtigung elementarer Voraussetzungen für eine quantitative Analyse Beilner, Dittrich
66 1991 Gruhn, Volker Validation and Verification of Software Process Models Weber, Derniame
65 1991 Peters, Ernsst Ein Beitrag zur wissensbasierten Auswahl und Steuerung von Optimierverfahren Schwefel, Grauer
64 1991 Rohen, Mechthild Semantik komponierter modularer logischer Programme mit integrierten objektorientierten Vererbungsmechanismen Cremers, Weber
63 1991 Reichwein, Georg Parallel Programm Design using Data Space Theory Cremers, Wegener
62 1991 Buchholz, Peter Die Strukturierte Analyse Markovscher Modelle Beilner, Wegener
61 1991 Cronau, Hans-Jürgen A Transaction Concept for Deductive Databases Lipeck, Ganzinger
60 1991 Gorges-Schleuter, Martina Genetic Algorithms and Population Structures A Massively Parallel Algorithm Schwefel, Männe
59 1990 Grabienski, Peter FLIP-FLOP: Ein stapelorientiertes Multiprozessorsystem Moraga, Marwedel
58 1990 Bertling, Hubert Knuth-Bendix Completion of Horn Clause Programs for Linear Resolution and Paramudulation Ganzinger, Avenhaus
57 1990 Wolters, Christian CMOS-Schaltnetz-Synthese mit Komplexgattern Reusch, Wegener
56 1990 Zurwehn, Volker Die Methode der Anforderungsflußanalyse zur Qualitätssicherung bei der Entwicklung von Software-Produkten Weber, Six
55 1990 Dißmann, Stefan Anforderungseinflüsse in der Software-Entwicklung als Grundlage für die Qualitätssicherung Weber, Six
54 1990 Noack, Frank Über das Verhalten von Leistungsgrößen separabler Mehrketten- modelle als Aspekt der Modellsynthese Beilner, Schwefel
53 1990 Ditt, Wolfgang A method for the specification by views Weber, Kreowski
52 1989 Temme, Karl-Heinz Chip-Architekturplanung nach dem Resonanzverfahren. Ein wissensbasierter Ansatz zur Synthese algorithmischer Verhaltens- beschreibungen Reusch, Moraga
51 1989 Plümer, Lutz Termination Proofs for Logic Programs Cremers, Ganzinger
50 1989 Vogt, Meinolf Wertebereichs-Analyse: Eine Methode zur Nutzung globalen Wissens bei der Testmusterberechnung für digitale Schaltungen Moraga, Antreich
49 1989 Campos Pinto, Ivan Wissensbasierte Unterstütztung bei der Lösung von Optimierungs- aufgaben Schwefel , Hartmann
48 1989 Brück, Rainer Technologieinvarianz und Sophistizität Wege zu leistungsfähigeren CAD-Systemen für den physikalischen Entwurf integrierter Schaltungen Reusch, Moraga
47 1989 Herrmann, Jürgen Rechnergestützte Wissensakquisition für Werkzeuge zum Entwurf integrierter Schaltungen Reusch, Dittrich
46 1989 Igel, Burkhard Applikative Modellierung vernetzter Systeme Cremers, Dittrich
45 1989 Wu, Xuequn Relationale Benutzerschnittstelle für eine Objektbank in einer Software-Entwicklungsumgebung zur Entwicklung modularer Systeme Weber, Güting
44 1988 Hanus, Michael Horn Clause Spezifications with Polymorphic Types Ganzinger, Cremers
43 1988 Neubauer, Michael Hardwaretestsprachen; Konzepte für den Entwurf Reusch, Moraga
42 1988 Hallmann, Matthias Eine transaktionsorientierte operationale Methode zur Anforderungs- erfassung für das Prototyping Weber, Beilner
41 1988 Rühl, Astrid Zur approximativen Analyse nahezu separabler Warteschlangennetze Beilner, Meyer a.d. Heide
40 1987 Seehusen, Silke Bestimmung von Parallelitätseigenschaften in modularen Systemen mit Pfadausdrücken Weber, Kreowski
39 1987 Scheurer, Martin Prozeßtheorie: Prozesse, Zustände und Beziehungen zwischen Prozesse. Ein Beitrag zur mathematischen Systemtheorie Reusch, Dittrich
38 1986 Hensel, Gerhard Das Skolem-Problem und verwandte Entscheidungsprobleme Claus, Ambos-Spies
37 1986 Brüggemann, Hans-H. Semantik von UniversalrelationSichten und ihre Datenbankschemas Biskup, Cremers
36 1985 Fleischhack, Hans On Diagonalizations over Complexity Classes Claus, Ambos-Spies
35 1985 Adamov, Rade Structural Metric Proposal for Complex Software Systems Richter, Weber
34 1985 Holtkamp, Bernhard Eine Methode zur Anpassung Rechnerarchitekturen an die Anforderungen von Softwaresystemen am Beispiel UNIX Richter, Beilner
33 1985 Goedicke, Michael Eine Sprache zur formalen Spezifikation eingebetteter Systeme Richter, Merzenich
32 1985 Grollmann, Joachim Complexity Measures for Publickey Crytosysteme Reusch, Salmann
31 1984 Szwillus, Gerd Eine datenflugesteuerte Betriebssystemschnittstelle basierend auf einem universellen sytaxgesteuerten Editor Reusch, Dittrich
30 1984 Habashi, Martha Nichtdeterminismus in Programmiersprachen Claus, Merzenich
29 1984 Stüttgen, Heinrich A Hierachical Associative Processing System Richter, Merzenich
28 1983 Wilmes, Thomas Funktionale Grammatiken - Ein universelles Spezifikationsmittel Claus, Cremers
27 1983 Kelter, Udo Schemata paralleler Programme mit nichtatomaren Operatoren Beilner, Ehrich
26 1983 Güting, Ralf-H. Conquering Contours - Efficient Algorithmus for Computational Geometry Cremers, Ottmann, Wood
25 1983 Appelrath, Hans Konzepte der Wissenbereitstellung in Expertensystemen: Inferenzmechanismen auf Relationalen Datenbanken Cremers, Biskup
24 1983 Steinhoff, Alfons HERAKLIT - Eine Datengetriebene Rechnerarchitektur und ihre Beschreibung Richter, Cremers
23 1983 Lipeck, Udo W. Ein algebraischer Kalkül für einen sturkturierten Entwurf Datenabstrationen Ehrich, Merzenich
22 1982 Wankmüller, Frank Charakterisierung von Graphenklassen durch verbotene Strukturen und Reduktionen Claus, Nagl
21 1980 Riedemann, Eike The Control of Parallel Computations by Labelad Petri-Nets: A Study in Terms of Multiplefiring Automata and Parallel Program Schemata Reusch, Richter
20 1980 Fischer, Georg Incrementeal LR(1) Parser-Construction as an Aid to Syntactical Extensibility Reusch, Dittrich
19 1980 Halang, Wolfgang Ansätze zu funktionsorientierten Prozessorrechnerstrukturen Richter, Reimer, Wallach
18 1980 Conrads, Dieter Untersuchungen über Seitenaustauschverfahren unter besonderer Berücksichtigung von Prepaging Konzepten und der Bewertung ihrer Leistungsfähigkeit Richter, Hossfeld
17 1980 Müller, Bruno Zerlegungsorientierte, numerische Verfahren für Markovsche Rechensystemmodelle Beilner, Unger
16 1979 Poigne, Axel Zur Konstruktion freier gleichungsdefinierter Algebren in S-monoidalen Kategorien Claus, Ehrich
15 1979 Seidel, Helmuth Entwurf und Konstruktion eines Datenbankbetriebssystem für ein kleines Mehrsystem Richter, Schlageter
14 1979 Kästner, Horst Eine sprachbezogene Rechnerarchitektur mit baumorientiertem Operationsprinzip Richter, Unger
13 1979 Barth, Helmut Verallgemeinerte Anwendungssystene auf der Grundlage von Daten-, Methoden- und Modellbanksystemen Mühlbacher, Richter
12 1978 Gurack, Bernd Interprozesskommunikation in Mehrprozessorsystemen: Ein Modell für Transaktionssystemen Richter, Schlageter
11 1978 Hauer, Karl-H. Aufbau und Analyse der Effizienz von protablen Digitalsystemen zur Steuerung von Methodenbanksystemen Richter, Schips
10 1978 Pache, Fridemar CS-Moduls a new Category-based Approach to the Theory of General Systems and Automata Ehrich, Merzenich
9 1977 Wöhl, Kai Äquivalenzuntersuchungen an einfachen Programmen Claus, Monien
8 1977 Rammig, Franz-J. Überlegungen zur Kontrollstruktur einer Computer-Hardware- Beschreibungs-Sprache Reusch, Ehrich
7 1977 Lohberger, Volker Algrebren strukturierter Objekte mit Anwendungen auf die Semantik von Datenstrukturen Ehrich, Claus
6 1977 Vogel, Andreas Kurzschlußfehler in Schaltkreisen Merzenich, Reusch
5 1976 Zumkeller, Reinhard Strukturuntersuchungen an abstrakten Rechenmaschinen Claus, Ehrich
4 1976 Herzog, Otto-H. Zur Analyse der Kontrollstruktur paralleler Programme mit Hilfe vonPetri-Netzen Reusch, Richter
3 1976 Zeyn, Arno Algorithmen zur Deadlock-Vermeidung Richter, Mühlbacher
2 1976 Huwig, Hagen Beziehungen zwischenbeschränkter syntaktischer und beschränkter primitiver Rekursionen Claus, Monien
1 1975 Aßmus, Wolfgang Realisierung asynchroner Automaten Reusch, Richter
  • Zurzeit sind hier keine Informationen vorhanden.


Nebeninhalt

Kontakt

Prof. Dr. Bernhard Steffen
Vorsitzender des Promotionsausschusses
Tel.: 0231 755-5800
Martina Gentzer
Studentische Angelegenheiten
Tel.: 0231 755-2009