| 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 (Fac. Chem. Biology) |
| 403 | 2019 | Young, Christian | Data-Driven Optimization of Hot Rolling Process. | Rudolph, Bartz-Beielstein (Uni Cologne) |
| 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 | Automated composition and configuration of workflows for scheduling using combinatorial logic | 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 | Unified management of service-oriented systems in a multi-provider environment | Krumm, Geihs(Uni Kassel) |
| 393 | 2019 | Jugovac, Michael | Designing and Evaluating 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 Warsaw) |
| 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 optimization 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 Cologne) |
| 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 (Dept. of Statistics) |
| 379 | 2018 | Grzeszick, René | Partially supervised Learning of Models for Visual Sense 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 (Dept. of Statistics) |
| 375 | 2018 | Eichhorn, Christian | Qualitative Rational Reasoning with Finite Conditional Knowledge Bases - Theoretical and Implementational Aspects | Kern-Isberner, Ragni (Uni Freiburg) |
| 374 | 2018 | Scheftelovich, 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 | Short, 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 (Dept. of Mathematics) |
| 368 | 2017 | Kohne, Andreas | SLA-based VM scheduling methods for cloud federations | 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 Rome) |
| 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 | Optimization of thermal conditions in path planning for thermal spraying with industrial robots | 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 | A scalable agglomerates clustering method based on first neighbor relations | Rudolph, Kersting |
| 359 | 2017 | Huang, Wen-Hung Kevin | Scheduling Algorithms and Timing Analysis for Hard Real-Time Systems. | Chen, Reineke (Saarland University) |
| 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-configuration of hardware and system software product lines | 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 (Dept. of Statistics) |
| 350 | 2017 | Stolpe, Marco | Distributed Analysis of Vertically Partitioned Sensor Measurements under Communication Constraints. | Morik, Rehof, Brefeld (Uni Lüneburg) |
| 349 | 2017 | Urbann, Oliver | Walking humanoid robots on a control basis with real-time modification of foot position | Schwiegelshohn (Fac. ET/IT), Visser (Uni Miami). |
| 348 | 2016 | Lark, Lukas. | Using implicit feedback for recommender systems: characteristics, applications, and challenges. | Jannach, Zanker (Uni Bolzano). |
| 347 | 2016 | Naße, Fabian | The detection of interesting objects using an object-based attention model | Fink, Wöhler (Fac. ET/I)T) |
| 346 | 2016 | Walczak, Lars | Approximation of anatomical structures and biomedical processes for computational study of hemodynamics in aneurysms | Müller, Turek (Fak. Math.) |
| 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 communication in efficiently developed adaptive networked service and device systems | 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 | Efficient GPU-based simulation of thermal spray processes. | Müller, Turek (Dept. of Mathematics) |
| 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 (Dept. of Mathematics) |
| 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 Cologne) |
| 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 | Digital cross-sector process management in the healthcare sector | Rehof, Böckmann (FH Dortmund University of Applied Sciences) |
| 323 | 2015 | Pyka, Arthur | Cache coherence in hard real-time multicore processors | 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 | Evolutionary segmentation of three-dimensional shapes using satellite 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 | Practical problems in the design of software for automated termination analysis | Doberkat, Padawitz |
| 315 | 2014 | Printz, Stefan | A contribution to norms and standards of geoinformatics in archaeological field research | Doberkat, Müller |
| 314 | 2014 | Düdder, Boris | Automatic Synthesis of Component & Connector Software Architectures with Bounded Combinatory Logic. | Rehof, Henglein (Uni Copenhagen) |
| 313 | 2014 | Windmüller, Stephan | Continuous quality control of web applications based on machine-learned models | Steffen, Rehof |
| 312 | 2014 | Neubauer, Johannes | High-Order Process Engineering | Steffen, Hinchey (Uni Limerick, IR) |
| 311 | 2014 | Fölling, Alexander | Efficient capacity scheduling by dynamically augmenting a local resource environment with grid and cloud resources: algorithmic and technical considerations | Schwiegelshohn, Kranzlmüller (LMU Munich), Buchholz |
| 310 | 2014 | Tadros, Cornelia | Belief change operations under confidentiality requirements in multiagent systems. | Kern-Isberner, Biskup |
| 309 | 2014 | Meister, Sven | Extending concepts of complex event processing for information logistic processing of telemedical events. | Rehof, Margaria-Steffen(Uni Potsdam) |
| 308 | 2014 | Cup, Stefan | Stochastic Filtering on Mobile Devices in Complex Dynamic Environments | Schwiegelshohn, Burkhard (Uni Berlin), Müller |
| 307 | 2014 | Fiedler, David | Contributions to the analysis, modeling and calibration of cameras and 3D depth sensors | Müller, Kolb (Uni Siegen) |
| 306 | 2013 | Preuss, Mike | Multimodal Optimization by Means of Evolutionary | Schwefel, Stützle (Uni Brussels) |
| 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 degree-constrained directed graphs under non-visibility of incoming edges | Sohler, Westermann |
| 303 | 2013 | Doedt, Markus | Service integration in business process management systems with a special focus on the integration of ERP systems considering the current trend towards cloud computing | Rehof, Steffen |
| 302 | 2013 | Cordes, Daniel | Automatic parallelization for 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 (Dept. of Statistics) |
| 299 | 2013 | Sugioarto, Martin | Distributed process control in resource-based architectures | 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: a service-oriented framework for high-level execution of remote components | 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 Munich) |
| 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 perspective | 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 | The predator-prey model for multi-objective optimization: analysis and application. | Sulphur, Schwiegelshohn (Dept. 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 (Dept. of Statistics) |
| 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 Vienna) |
| 283 | 2011 | Beume, Nicola | Hypervolume-based Metaheuristics for Multiobjective Optimization | Rudolph, Igel (Uni Copenhagen) |
| 282 | 2011 | Richarz, Jan | Video-based gesture recognition in an intelligent environment | Fink, Müller, H. |
| 281 | 2011 | Wong, Hoi-Ming | Upward planarization and layout | Mutzel, Buchheim (Faculty of Mathematics) |
| 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 | Approaches of compositional and state-based access control for web-based environments | Biskup, Krumm |
| 277 | 2011 | Thimm, Matthias | Probabilistic Reasoning with Incomplete and Inconsistent Beliefs | Kern-Isberner, Beierle (FU Hagen) |
| 276 | 2011 | Reuter, Claudia | Modeling and dynamic adaptation of clinical pathways based on semantic process fragments | Rehof, Dadam (University of Ulm) |
| 275 | 2011 | Klinger, Roman | Conditional Random Fields for Named Entity Recognition | Rudolph, Hofmann-Apitius (Uni Bonn) |
| 274 | 2011 | Königsmann, Thomas | "Compositional Modeling" approach for user interface generation using the example of telemedical application | Rehof, Müller |
| 273 | 2011 | Wojciechowski, Manfred | Context Modeling for Ambient Assisted Living | Rehof, Jannach |
| 272 | 2011 | Kandyba-Chimani, Maria | Exact Algorithms for Network Design Problems using Graph Orientations | Mutzel, Buchheim (Faculty of Mathematics) |
| 271 | 2011 | Naujoks, Boris | Design and Tuning of an Evolutionary Multiobjective Optimization Algorithm | Rudolph, Jin (University of Surrey) |
| 270 | 2011 | Marschall, Tobias | Algorithms and Statistical Methods for Exact Motif Discovery | Rahmann, Stoye (University of Bielefeld) |
| 269 | 2011 | Kotsokalis, Konstantinos | Automated Hierarchical Service Level Agreements | Yahyapour, Tsanakas (University of Athens) |
| 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 (external), 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 | On the analysis of the optimization time of randomized search heuristics for combinatorial problems | Jansen, Th. (University College Cork), Rudolph |
| 261 | 2010 | Müller, Dennis | Adaptations of search heuristics for discrete-event models | Buchholz, Rudolph |
| 260 | 2010 | Lienemann, Kai | Advanced Ensemble Methods for Automatic Classification of 1H-NMR Spectra | Fink, Weihs (Faculty of Statistics) |
| 259 | 2010 | Lokuciejewski, Paul | WCET-aware Source Code and Assembly Level Optimization Techniques for Real-Time Systems | Marwedel, Spinczyk |
| 258 | 2010 | Graw, Günter | Correct control software | Krumm, Herrmann, P. (University of Trondheim) |
| 257 | 2010 | Tomanek, Katrin | Resource-Aware Annotation through Active Learning | Morik, Hahn (Uni Jena) |
| 256 | 2010 | Weichert, Frank | Classification of morphological and pathological structures in coronary vessels based on intravascular ultrasound images for clinical application in an IVB system | Müller, H., Weihs (Dept. of Statistics) |
| 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-oriented development of role-based systems for cooperative decision making | Steffen, Jannach |
| 252 | 2009 | Lehnhoff, Sebastian | Decentralized networked energy management based on a distributed adaptive real-time multi-agent system 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 | Technical Challenges of Model-Driven Control of Process Life Cycles from the Business Perspective: From Requirements Analysis to Realization | Steffen, Rehof |
| 249 | 2009 | Raffelt, Harald | Extrapolation of process models from black box systems using automaton learning methods | Steffen, Rehof |
| 248 | 2009 | Mierswa, Ingo | Non-Convex and Multi-Objective Optimization in Data Mining | Morik, Weihs (Dept. of Statistics) |
| 247 | 2009 | Nunkesser, Robin | Algorithms for Regression and Classification Robust Regression and Genetic Association Studies | Jansen, Th., Fried (Dept. of Statistics) |
| 246 | 2009 | Koll, Konstantin | Integration, indexing and interaction of high-dimensional data objects | 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 | Algorithmic Analysis of Tubular Surfaces for 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 | Genetic Programming of Algorithmic Chemistry | 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 | Equality dependencies between objects by parameterized assignments | Dittrich, Padawitz |
| 234 | 2007 | Yoo, Haiseung | Fault diagnosis in model checking by animated strategy synthesis | Steffen, Rehof |
| 233 | 2007 | Lück, Ingo | Model-based configuration of security services | Krumm, Biskup |
| 232 | 2007 | Scholz, Martin | Scalable and Accurate Knowledge Discovery in Real-World Databases | Morik, Kern-Isberner, Wrobel |
| 231 | 2007 | Pleumann, Jörg | An Approach to the Development of Modeling Tools for Software Engineering Education | Doberkat, Fink |
| 230 | 2007 | Kantschik, Wolfgang | Genetic programming and chess | Banzhaf, Müller, H. |
| 229 | 2007 | Rothmaier, Gerrit | Integrated Formal Modeling and Automated Analysis of Computer Network Attacks | Krumm, Biskup |
| 228 | 2007 | Stork, Tobias | Design and analysis of randomized search heuristics | 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 | Algorithmics and complexity of OBDD-represented graphs | 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 | Efficient Algorithms and Complexity in Robust Statistics | Wegener, Hofmeister |
| 221 | 2006 | Wagner, Jens | Retargable Exploitation of Special Operations for Embedded Systems Using Bit-Aware Value Flow Analysis | Marwedel, Rudolph |
| 220 | 2006 | Roping, 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 | Decentralized Role-based Authorization and Administration | Wedde, Biskup |
| 217 | 2006 | Mehler, Tilman | Challenges and Applications of Assembly-Level Software Model Checking | Edelkamp, Morik |
| 216 | 2006 | Arns, Markus | Approximate methods on extended fork/join queueing networks for the analysis of logistics networks | Beilner, Buchholz |
| 215 | 2006 | Fischer, Markus | Parallel numerical methods for quantitative analysis of logistic systems | 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 | On the catergorical description of layered architectures | Doberkat, Padawitz |
| 209 | 2005 | Schönemann, Lutz | Studies on the adaptive behavior of evolutionary algorithms in dynamic environments | 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 | Sulphur, Buchholz |
| 205 | 2005 | Feldkamp, Udo | Computer Aided Then Sequence Design | Banzhaf, Mutzel, Niemeyer |
| 204 | 2005 | Giel, Oliver | On the analysis of randomized search heuristics and online heuristics | Wegener, Rudolph |
| 203 | 2005 | Hussein, Mohamed | New Utilization Criteria for Online Scheduling | Schwiegelshohn, Wegener |
| 202 | 2005 | Loser, Kai-Uwe | Supporting the Adoption of Commercial Standard Software by Diagrams | Herrmann, Th., Doberkat, Fischer (Uni Colorado), Gruhn |
| 201 | 2005 | Bartz-Beielstein, Thomas | New Experimentalism Applied to Evolutionary Computation | Sulphur, Buchholz |
| 200 | 2005 | Gsottberger, Claudia | A Framework for Modularized and Pattern-based Development of Reliable, Personalized, Web-based Applications | Steffen, Doberkat |
| 199 | 2005 | Richter, Christoph | On avoiding redundant considerations in approximate string matching | Banzhaf, Padawitz |
| 198 | 2004 | Witt, Carsten | On the analysis of randomized search heuristics and the design of specialized algorithms in combinatorial optimization | Wegener, Vöcking |
| 197 | 2004 | Lyre, André | Evolution of Qantum Algorithms using Genetic Program | Banzhaf, Sieling |
| 196 | 2004 | Hoffmann, Marcel | Awareness and Adoption of Cooperative Knowledge Media in the Context of Informal Collaboration | Herrmann, Th., Morik, Prinz (RWTH Aachen) |
| 195 | 2004 | Busch, Jens | RESAC: A resolution-based artificial chemistry and its applications | 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 | Formal Modeling of Interacting Autonomous and Reactive Components of Distributed Systems with I-Systems: Formal basis and contributions to theory | Wedig, Wegener |
| 190 | 2003 | Niehaus, Jens | Graph-based Genetic Programming | Banzhaf, Marwedel |
| 189 | 2003 | Wölfel, Philipp | On the complexity of multiplication in constrained branching program models | 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, Joerg | 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 of walking robot controllers with genetic programming | Banzhaf, Müller, H. |
| 182 | 2003 | Waves, Ursula | Process Landscaping - A Method for Modeling and Analysis of Distributed Software Processes | Gruhn, Doberkat |
| 181 | 2003 | Lorenz, Markus | Performance and Energy Efficient Compilation for Digital SIMD Signal Processors Using Genetic Algorithms | Marwedel, Banzhaf |
| 180 | 2003 | Pankoke-Babatz, Uta | Design concept for systems for computer-aided collaboration using behavior-setting theory | 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 | Investigation of Energy Saving Potential in Embedded Systems by Energy Optimizing Compiler Techniques | Marwedel, Padawitz |
| 176 | 2002 | Kienle, Andrea | Integration of Knowledge Management and Collavorative Learning by Technically Supported Communication Processes | 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 - Decision making by goal-directed specification of probability information | Reusch, Wegener |
| 171 | 2002 | Mester, Arnulf | Computer-aided Design of Distributed Applications with Reusable Specification Patterns | Krumm, Hasselbring (University of Oldenburg), Gruhn |
| 170 | 2002 | Hildebrand, Lars | Asymmetric evolution strategies | Reusch, Banzhaf |
| 169 | 2002 | Brown, 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 | Investigation of negotiation in groups by means of agent simulation | Herrmann, Troitzsch (University of Koblenz), Morik |
| 167 | 2001 | Westbomke, Jörg | XML-based Implementation of Structured Hypermedia Documents - Aspects of Notation Generation and Representation | Dittrich, Gruhn |
| 166 | 2001 | Fronk, Alexander | Algebraic Semantics of an Object-Oriented Language for the Specification of Hyperdocuments | 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 | Application-oriented Design of Evolutionary Algorithms | Sulphur, Wegener |
| 162 | 2001 | Bleumer, Gerrit | Secure Offline Legitimation Systems | Biskup, Pfitzmann (Saarland University) |
| 161 | 2001 | Lehmke, Stephan | Logics which allow Degrees of Truth and Degrees of Validity | Reusch, Dubios (University of Toulouse), Padawitz |
| 160 | 2001 | Hiltner, Jens | A CI-supported framework model for medical image analysis | Reusch, Müller |
| 159 | 2001 | Pietrek, Georg | Methods for improved approximation of light distributions in photorealistic image synthesis | Müller, Klein, R. (University of Bonn), Moraga |
| 158 | 2001 | Bashford, Steven | Constraint-based code generation for embedded processors | Marwedel, Padawitz |
| 157 | 2001 | Joachims, Thorsten | The Maximum-Margin Approach to Learning Text Classifiers Methods, Theory, and Algorithms | Morik, Mitchell (Carnegie-Mellon University), Fuhr |
| 156 | 2001 | Dittrich, Peter | On Artificial Chemistries | Banzhaf, Albers |
| 155 | 2000 | Droste, Stefan | On analysis and design of evolutionary algorithms | Wegener, Müller |
| 154 | 2000 | Jansen, Thomas | Theoretical analysis of evolutionary algorithms under the aspect of optimization in discrete search spaces | Wegener, Doberkat |
| 153 | 2000 | Garmann, Robert | New Contributions To Spatial Partitioning And Parallel Global Illumination Algorithms | Müller, Lindemann |
| 152 | 2000 | Weller, Frank | Geometric Algorithms in Reverse Engineering | Müller, Hagen (University of Kaiserslautern), Fischer |
| 151 | 2000 | Bruckhoff, Carsten | Dynamic systems for the design of navigation systems of autonomous mobile service robots | Müller, Wegener, von Seelen (University of 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 | Sulphur, Moraga |
| 148 | 2000 | Dömer, Rainer | System-level Modeling and Design with the SpecC Language | Marwedel, Gajski (Univ. California), Moraga |
| 147 | 2000 | Hinkenjann, André | Efficient solution methods for visibility problems in realistic image synthesis | Müller, Fellner (TU Braunschweig), Fischer |
| 146 | 2000 | Bohn, Christian-Arved | Radiosity on Evolving Networks | Müller, Gross (ETH Zurich), Banzhaf |
| 145 | 2000 | Kreutz, Martin | Modeling of incompletely described systems | Banzhaf, von Seelen (Uni Bochum), Wegener |
| 144 | 1999 | Polle, Torsten | On Representing Relationships in Object-Oriented Databases | Biskup, Fuhr |
| 143 | 1999 | Kursawe, Frank | Basic Empirical Investigations of the Parameters of Evolutionary Strategies - Metastrategies | Sulphur, Wegener |
| 142 | 1999 | Sprave, Joachim | A unified model for population structures in evolutionary algorithms | Sulphur, 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 (University of 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 | High, Michael | Intuitive Interface a New Computer Environment for Planning Visual Art Processes | Müller, Banzhaf, Zielinski (Academy of Media Arts, Cologne) |
| 136 | 1999 | Lind, Jon A. | Realization of the Highly Integrated Distributed Real-Time Safety- Critical System | Wedde, Krumm |
| 135 | 1999 | Klasner, Norbert | Learning from Incorrect or Incomplete Information | Simon (University of 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 | Learning from automata and decision diagrams | Simon (Uni Bochum), Wegener |
| 131 | 1998 | Klingspor, Volker | Reactive planning with learned terms | Morik, Reusch |
| 130 | 1998 | Lee, Sang-Wha | Generalization and optimization of cascade correlation archtectures using new activation functions | Moraga, Banzhaf |
| 129 | 1998 | Beckmann, Renate | Memory synthesis for general multiprocessor systems with constraint logic programming | Marwedel, Reusch |
| 128 | 1998 | Schlierkamp-Voosen, Dirk | Population-based competitive models for strategy adaptation in evolutionary algorithms | Sulfur, Wegener |
| 127 | 1998 | Landwehr, Birger | ILP-based microarchitecture synthesis with complex building block libraries | 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 | Problem-oriented correctness-assuring design of high-performance protocols | Krumm, Dittrich |
| 123 | 1997 | Bollig, Beate | Complexity analyses for BDD-like data structures | Wegener, Krause |
| 122 | 1997 | Amer, Omar | Bilateral contact circuits: Analysis and synthesis | Reusch, Marwedel |
| 121 | 1997 | Bertram-Kretzberg, Claudia | Derandomization, independent sets and efficient circuits | Wegener, Doberkat |
| 120 | 1997 | Harking, Berthold | Microarchitecture synthesis by source code transformations in a hardware description language | Marwedel, Doberkat |
| 119 | 1997 | Bernasch, Jost | Construction and application of a machine attention control for complex image sequences | Banzhaf, Müller, von Seelen (University of Bochum) |
| 118 | 1997 | Nordin, Peter | Evolutionary Program Induction of Binary Machine Code and its Applications | Banzhaf, Marwedel |
| 117 | 1997 | Heider, Ralph | Evolutionary Synthesis of Neural Networks Using Graph Grammars | Moraga, Banzhaf |
| 116 | 1997 | Leupers, Rainer | Retargetable Code Generation for Digital Signal Processors | Marwedel, Doberkat |
| 115 | 1997 | Bell, Siegfried | Metadata discovery for semantic query optimization in relational databases | 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 Munich) |
| 112 | 1996 | Rudolph, Günter | Convergence Properties of Evolutionary Algorithms | Sulfur, Wegener |
| 111 | 1996 | Heck, Elke | Performance Evaluation of Formally Specified Systems - The Integration of SDL with HIT - | Beilner, Krumm |
| 110 | 1996 | Dettmer, Thomas | A Model for CAD Design Environments Description and Formalization of Essential Concepts Based on Hypermedia | Reusch, Doberkat |
| 109 | 1996 | Vergara Rebolledo, Victor | Optimization of a dynamic system using the soft computing paradigm | Moraga, Sulphur |
| 108 | 1996 | Strong, Michael | Contour approximation in multidimensional regular grid data | Müller, Seidel (University of Erlangen / Nuremberg) |
| 107 | 1996 | Pahl, Claus | Foundations for the formal specification of modular state-based systems | Doberkat, Padawitz |
| 106 | 1996 | Huehne, Martin | Concrete Complexity Theory: Studies of the Impact of the Capabilities of the Storage Device on the Efficiency of Computations | Dietzfelbinger, Wegener |
| 105 | 1996 | Summer, Edgar | Theory Restructuring A Perspective of Design & Maintenance of Knowledge Based Systems | Morik, Padawitz |
| 104 | 1996 | Westermann, Ruediger | A Multiresolution Framework for Volume Rendering | Müller, Ertl (Uni Erlangen / Nuremberg) |
| 103 | 1996 | Wulf, Volker | Conflict Management in Groupware | Herrmann, Th., Oberquelle (Uni Hamburg) |
| 102 | 1995 | Frese, Ludger | Performance Parameters and Workload Models | Reusch, Dietzfelbinger |
| 101 | 1995 | Engels, Christoph | Dynamic neural field architecture for the control of autonomous systems using the example of path planning of a mobile robot | Banzhaf, Simon, von Seelen (Uni Bochum) |
| 100 | 1995 | Bieker, Ulrich | Retargetable compilation of self-test programs of digital processors using constraint logic programming | Marwedel, Echtle |
| 99 | 1995 | Junkermann, Gerald | ESCAPE - A Graphical Language for the Specification of Software Processes | Doberkat, Schäfer |
| 98 | 1995 | Leu , Martin | Fault Detecting Commissioning of Fault Tolerant Distributed Systems | Echtle, Prof. Dr. Erik Maehle Uni Lübeck |
| 97 | 1995 | Hoppe, Thomas | Incremental Partial Deduction | Morik, Thiele |
| 96 | 1995 | Daughter, Klaus | A Model for Hypermedia. Description and Integrated Formalization of Essential Hypermedia Concepts | Dittrich, Doberkat |
| 95 | 1994 | Ladage, Lorenz | Compacting heterogeneous mask layouts with complex restrictions | Bridge, Marwedel |
| 94 | 1994 | Can, Michael | Path planning of autonomous mobile robots using dynamic systems | Morik, Banzhaf, von Seelen (University of Bochum) |
| 93 | 1994 | Sieling, Detlef | Algorithms and lower bounds for generalized OBDDs | Wegener, Krause |
| 92 | 1994 | Dietz, Peter | A computer model based on cubic volumes for the approximation of arbitrarily shaped physical objects | Müller, Marwedel |
| 91 | 1994 | Cramer, Joachim | Interconnecting and Reusing Component Specifications | Doberkat, Schäfer |
| 90 | 1994 | Ruprecht, Detlef | Geometric Deformations as a Tool in Graphical Data Processing | Müller, Fellner (University of Bonn) |
| 89 | 1994 | Kilger, Michael | Architectural concept of an adaptive system using the example of an intelligent video-based traffic sensor | Reusch, Müller |
| 88 | 1994 | Wolf, Stefan | A transaction-based approach to support cooperative software development | Schäfer, Engels (University of Leiden) |
| 87 | 1994 | Poswig, Jörg | Visual Programming Languages. The Realization and Conceptual Development of a Prototype | Moraga, Szwillus |
| 86 | 1994 | Pölt, Stefan | Efficient learning of near optimal decisions on examples | 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 | Complexity Analysis and Efficient Algorithms for Combinatorial Problems in Algorithmic Learning | Simon, Wegener |
| 83 | 1994 | Bäck, Thomas | Evoutionary Algorithms in Theory and Practice | Schwefel, Männe (University of Mannheim) |
| 82 | 1994 | Hasselbring, Wilhelm | Prototyping Parallel Algorithms in a Set-Oriented Language | Doberkat, Stetter (University of Mannheim) |
| 81 | 1993 | Knaup, Werner | Algebraic structures in simple queueing networks | Beilner, Wegener |
| 80 | 1993 | Hofmeister, Thomas | Threshold circuits of small depths | Wegener, Dietzfelbinger |
| 79 | 1993 | Wrobel, Stefan | Concept Formation and Knowledge Revision Demand-Driven Approach to Representation Change | Morik, Wahlster (Saarland University) |
| 78 | 1993 | Ohsendoth-Haase, Christoph | On the Specification of Embedded Microelectronic Systems: A Customer-Oriented Phase Model and the Generation of Usable VHDL Descriptions | Reusch, Dittrich |
| 77 | 1993 | Höffmann, Achim | An architecture for goal-oriented modeling of problem solving processes | Reusch, Morik |
| 76 | 1992 | Wagner, Hubert | Complexity-theoretical investigations of temporal logic | Reusch, Verbeek |
| 75 | 1992 | Meyer zu Bexten, Erdmuthe | A simulation environment for signal processing systems | Moraga, Pichler |
| 74 | 1992 | Memory, Michael | Complexity of finite objects | Reusch, Padawitz |
| 73 | 1992 | Wienkop, Uwe | Methods and tools for a structured system design | Reusch, Moraga |
| 72 | 1992 | Wertz, Ulrich | First-Order TheoremProving Modulo Equations | Wegener, Ganzinger |
| 71 | 1992 | Krieb, Christian | Conception of an efficient switch-level simulation environment to support transistor-oriented design of highly integrated circuits | Reusch, Moraga |
| 70 | 1992 | Dewal, Sanjay | A Methodology for Requirements Analysis and Evaluation of Software Development Environments | Weber, Kelter |
| 69 | 1991 | Felix, Rudolf | Decision making for qualitative goals | Reusch, Moraga |
| 68 | 1991 | Fehling, Rainer | Hierarchical Petri nets: Contributions to theory and formal basis for associated tools | Dittrich, Szwillus |
| 67 | 1991 | Bause, Falko | On the functional analysis of timed Petri nets with special reference to elementary conditions for a quantitative analysis | Beilner, Dittrich |
| 66 | 1991 | Gruhn, Volker | Validation and Verification of Software Process Models | Weber, Derniame |
| 65 | 1991 | Peters, Ernsst | A contribution to knowledge-based selection and control of optimization methods | Sulfur, Gray |
| 64 | 1991 | Rohen, Mechthild | Semantics of composed modular logical programs with integrated object-oriented inheritance mechanisms | Cremers, Weber |
| 63 | 1991 | Reichwein, George | Parallel Program Design using Data Space Theory | Cremers, Wegener |
| 62 | 1991 | Buchholz, Peter | The Structured Analysis of Markovian Models | 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 | Sulphur, Mane |
| 59 | 1990 | Grabienski, Peter | FLIP-FLOP: A stack-oriented multiprocessor system | 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 switching network synthesis with complex gates | Reusch, Wegener |
| 56 | 1990 | Zurwehn, Volker | The Method of Requirements Flow Analysis for Quality Assurance in the Development of Software Products | Weaver, Six |
| 55 | 1990 | Dißmann, Stefan | Requirement influences in the software development as basis for the quality assurance | Weaver, Six |
| 54 | 1990 | Noack, Frank | On the behavior of performance variables of separable multichain models as an aspect of model synthesis | Beilner, Sulphur |
| 53 | 1990 | Ditt, Wolfgang | A method for the specification by views | Weber, Kreowski |
| 52 | 1989 | Temme, Karl-Heinz | Chip architecture planning by the resonance method. A knowledge-based approach to the synthesis of algorithmic behavioral descriptions. | Reusch, Moraga |
| 51 | 1989 | Plümer, Lutz | Termination Proofs for Logic Programs | Cremers, Ganzinger |
| 50 | 1989 | Vogt, Meinolf | Value Range Analysis: A Method for Using Global Knowledge in Test Pattern Computation for Digital Circuits | Moraga, Antreich |
| 49 | 1989 | Campos Pinto, Ivan | Knowledge-based support for the solution of optimization tasks | Sulphur , Hartmann |
| 48 | 1989 | Brück, Rainer | Technology Invariance and Sophistication Paths to More Efficient CAD Systems for the Physical Design of Integrated Circuits | Reusch , Moraga |
| 47 | 1989 | Herrmann, Jürgen | Computer-aided knowledge acquisition for integrated circuit design tools | Reusch, Dittrich |
| 46 | 1989 | Hedgehog, Burkhard | Applicative modeling of networked systems | Cremers, Dittrich |
| 45 | 1989 | Wu, Xuequn | Relational user interface for an object bank in a software development environment for the development of modular systems | Weber, Güting |
| 44 | 1988 | Hanus, Michael | Horn Clause Specifications with Polymorphic Types | Ganzinger, Cremers |
| 43 | 1988 | Neubauer, Michael | Hardware test languages; concepts for design | Reusch, Moraga |
| 42 | 1988 | Hallmann, Matthias | A transaction-oriented operational method for requirements gathering for prototyping | Weber, Beilner |
| 41 | 1988 | Rühl, Astrid | On the approximate analysis of nearly separable queueing networks | Beilner, Meyer a.d. Heath |
| 40 | 1987 | Seehusen, Silke | Determination of parallelism properties in modular systems with path expressions | Weber, Kreowski |
| 39 | 1987 | Scheurer, Martin | Process theory: processes, states and relations between processes. A Contribution to Mathematical Systems Theory | Reusch, Dittrich |
| 38 | 1986 | Hensel, Gerhard | The Skolem problem and related decision problems | Claus, Ambos-Spies |
| 37 | 1986 | Brüggemann, Hans-H. | Semantics of universal relation views and their database schemas | 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 | Judge, Weber |
| 34 | 1985 | Holtkamp, Bernhard | A Method for the Adaptation of Computer Architectures to the Requirements of Software Systems on the Example of UNIX | Judge, Beilner |
| 33 | 1985 | Goedicke, Michael | A language for the formal specification of embedded systems | Judge, Merzenich |
| 32 | 1985 | Grollmann, Joachim | Complexity Measures for Publickey Crytosystems | Reusch, Salmann |
| 31 | 1984 | Szwillus, Gerd | A data flight controlled operating system interface based on a universal sytax controlled editor | Reusch, Dittrich |
| 30 | 1984 | Habashi, Martha | Non-determinism in programming languages | Claus, Merzenich |
| 29 | 1984 | Stüttgen, Heinrich | A Hierachical Associative Processing System | Judge, Merzenich |
| 28 | 1983 | Wilmes, Thomas | Functional Grammars - A Universal Specification Tool | Claus, Cremers |
| 27 | 1983 | Kelter, Udo | Schemes of parallel programs with non-atomic operators | Beilner, Ehrich |
| 26 | 1983 | Güting, Ralf-H. | Conquering Contours - Efficient Algorithm for Computational Geometry | Cremers, Ottmann, Wood |
| 25 | 1983 | Appelrath, Hans | Concepts of knowledge retrieval in expert systems: Inference mechanisms on relational databases | Cremers, Biskup |
| 24 | 1983 | Steinhoff, Alfons | HERAKLIT - A Data-Driven Computer Architecture and its Description | Judge, Cremers |
| 23 | 1983 | Lipeck, Udo W. | An Algebraic Calculus for a Structured Design Data Abstract | Ehrich, Merzenich |
| 22 | 1982 | Wankmüller, Frank | Characterization of graph classes by forbidden structures and reductions | 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, Judge |
| 20 | 1980 | Fischer, Georg | Incremental LR(1) Parser Construction as an Aid to Syntactical Extensibility | Reusch, Dittrich |
| 19 | 1980 | Halang, Wolfgang | Approaches to Function-Oriented Processor Computer Structures | Richter, Reimer, Wallach |
| 18 | 1980 | Conrads, Dieter | Investigations on Page Exchange Methods with Special Consideration of Prepaging Concepts and the Evaluation of their Performance | Richter, Hossfeld |
| 17 | 1980 | Müller, Bruno | Decomposition-oriented numerical methods for Markovian computational system models | Beilner, Unger |
| 16 | 1979 | Poigne, Axel | On the construction of free equation-defined algebras in S-monoidal categories | Claus, Ehrich |
| 15 | 1979 | Seidel, Helmuth | Design and construction of a database operating system for a small multisystem | Judge, Schlageter |
| 14 | 1979 | Kästner, Horst | A language-based computer architecture with a tree-oriented operation principle | Richter, Unger |
| 13 | 1979 | Barth, Helmut | Generalized Application Systems Based on Data, Method and Model Database Systems | Mühlbacher, Richter |
| 12 | 1978 | Gurack, Bernd | Interprocess communication in multiprocessor systems: A model for transaction systems | Judge, Schlageter |
| 11 | 1978 | Hauer, Karl-H. | Design and analysis of the efficiency of protable digital systems for the control of method database systems | Richter, Schips |
| 10 | 1978 | Pache, Fridemar | CS-Modules a new Category-based Approach to the Theory of General Systems and Automata | Ehrich, Merzenich |
| 9 | 1977 | Wöhl, Kai | Equivalence investigations on simple programs | Claus, Monien |
| 8 | 1977 | Rammig, Franz-J. | Considerations on the Control Structure of a Computer Hardware Description Language | Reusch, Ehrich |
| 7 | 1977 | Lohberger, Volker | Algrebren of structured objects with applications to the semantics of data structures | Ehrich, Claus |
| 6 | 1977 | Bird, Andreas | Short-circuit faults in circuits | Merzenich, Reusch |
| 5 | 1976 | Zumkeller, Reinhard | Structural investigations on abstract calculating machines | Claus, Ehrich |
| 4 | 1976 | Herzog, Otto-H. | On the analysis of the control structure of parallel programs by means ofPetri nets | Reusch, Richter |
| 3 | 1976 | Zeyn, Arno | Algorithms for deadlock avoidance | Judge, Mühlbacher |
| 2 | 1976 | Huwig, Hagen | Relations between restricted syntactic and restricted primitive recursions | Claus, Monien |
| 1 | 1975 | Aßmus, Wolfgang | Realization of asynchronous automata | Reusch, Judge |
