| 405 | 2019 | Morris, Christopher | Learning with Graphs: Kernel and Neural Approaches | Mutzel, Kersting (TU Darmstadt) |
| 404 | 2019 | Brinkjost, Tobias | SECONDS FIRST! A Thesis Dedicated to Secondary Structure Elements | Mutzel, Rauh (Fak. Chem. Biologie) |
| 403 | 2019 | Jung, Christian | Data-Driven Optimization of Hot Rolling Process | Rudolph, Bartz-Beielstein (Uni Köln) |
| 402 | 2019 | Geck, Gaetano | Reasoning about Distributed Relational Data and Query Evaluation | Schwentick, Segoufin (ENS, Paris) |
| 401 | 2019 | Vortmeier, Nils | Dynamic Expressibility under Complex Changes | Schwentick, Vianu (Uni San Diego, USA) |
| 400 | 2019 | von der Brüggen, Georg | Realistic Scheduling Models and Analyses for Advanced Real-Time Embedded Systems | Chen, Davis (Uni York, UK) |
| 399 | 2019 | Bessai, Jan | A Type-Theoretic Framework for Software Component Synthesis | Rehof, Heineman (Worcester Polytechnic Inst. MA,USA) |
| 398 | 2019 | Winkels, Jan | Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer Logik | Rehof, Steffen |
| 397 | 2019 | Litvina, Anna | Policy-Based Management of Medical Devices and Applications | Krumm, Hein(Uni Oldenburg) |
| 396 | 2019 | Buschhoff, Markus | Energy-Aware Design of Hardware and Software for Ultra-Low-Power Systems | Spinczyk(Uni Osnabrück), Marwedel |
| 395 | 2019 | Kopetzki, Dawid | Generation of Domain-Specific Language-to-Language Transformation Languages | Steffen, Jörges (FH Dortmund) |
| 394 | 2019 | Fiehe, Christoph | Einheitliches Management serviceorientierter Systeme in einer Multi-Provider-Umgebung | Krumm, Geihs(Uni Kassel) |
| 393 | 2019 | Jugovac, Michael | Designing and Evaluationg Recommender Systems with the User in the Loop | Jannach(Uni Klagenfurt), Teubner |
| 392 | 2019 | Jablkowski, Boguslaw | Design of Fault-Tolerant Virtual Execution Environments for Cyber-Physical Systems | Spinczyk(Uni Osnabrück), Marwedel |
| 391 | 2019 | Heß, Sibylle | A Mathematical Theory of Making Hard Decisions: Model Selection and Robustness of Matrix Factorization with Binary Constraints | Morik, Siebes(Uni Utrecht) |
| 390 | 2019 | Dudenhefner, Andrej | Algorithmic Aspects of Type-Based Program Synthesis | Rehof, Urzyczyn(Uni Warschau) |
| 389 | 2019 | Rothacker, Leonard | Segmentation-free Word Spotting with Bag-of-Features Hidden Markov Models | Fink, Llados(Uni Barcelona) |
| 388 | 2019 | Chen, Kuan-Hsun | Optimization and Analysis for Dependable Application Software on Unreliable Hardware Platforms | Chen, Ernst(TU Braunschweig) |
| 387 | 2019 | Lybecait, Michael | Meta-Model Based Generation of Domain-Specific Modeling Tools | Steffen, Jörges (FH Dortmund) |
| 386 | 2019 | Skibinski, Sebastian | Extraction, Localization, and Fusion of collective Vehicle Data | H. Müller, Schwiegelshohn(Fak. ET/IT) |
| 385 | 2019 | Volz, Vanessa | Uncertainty handling in surrogate assisted optimisation of games | Rudolph, Preuß(Uni Leiden) |
| 384 | 2019 | Fisseler, Denis | Contributions to computer-aided analysis of cuneiform tablet fragments | H. Müller, Botsch(Uni Bielefeld) |
| 383 | 2018 | Zaefferer, Martin | Surrogate Models for Discrete Optimization Problems | Rudolph, Bartz-Beielstein(TH Köln) |
| 382 | 2018 | Sudholt, Sebastian | Learning Attribute Representations with Deep Convolutional Neural Networks for Word Spotting | Fink, Schomaker (Uni Groningen) |
| 381 | 2018 | Schröder, Christoph | Bioinformatics from Genetic Variants to Methylation | Rahmann(Uni Duisberg), Klau(Uni Düsseldorf) |
| 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 |
