To content


Lfd. No. Year Name Title Reviewer
432 2022 Pfahler, Lukas Some Representation Learning Tasks and the Inspection of Their Models Morik, Hotho (Uni Würzburg)
431 2022 Gaspar, Marcel Path Planning by Implicit Methods for Cutting and Coating Manufacturing Processes H. Müller, Turek (Dept. of Mathematics)
430 2022 Bunse, Mirko Machine Learning for Acquiring Knowledge in Astro-Particle Physics Morik, Sebastiani (Istituto Scienza e Tecnologie dell'Informatione Italy)
429 2022 Scharwächter, Erik Event Impact Analysis for Time Series E. Müller, Jentsch (Dept. of Statistics)
428 2022 Apeldoorn, Daan Comprehensive Knowledge Base Extraction for Learning Agents - Practical Challenges and Applications in Games Kern-Isberner, Lucas (QM Uni London)
427 2022 Buschjäger, Sebastian Ensemble Learning with Discrete Classifiers on Small Devices Morik, Fürnkranz (Uni Linz)
426 2022 Komaritzan, Martin Layered Character Models for Fast Physics-Based Simulation Botsch, Hildebrandt (Uni Delft)
425 2022 Schäfer, Tristan Component-based Synthesis of Motion Planning Algorithms Rehof, Wiederkehr
424 2022 Bruckner, Fabian Programming Concepts for the Implementation of Usage Policies in Industrial Data Spaces Howar, Jürjens (University of Koblenz)
423 2022 Schumacher, Christin Adaptive machine occupancy planning of a practice-oriented hybrid flow store Buchholz, Rose (University of the Federal Armed Forces Munich)
422 2022 Fey, Matthias On the Power of Message Passing for Learning on Graph-Structured Data Weichert, Kriege (Uni Vienna)
421 2022 Timm, Henning Analysis and Application of Hash-based Similarity Estimation Techniques for Biological Sequence Analysis Rahmann (Uni Saarbrücken), Mosig (RUB)
420 2022 Funke, Henning QcLab: A Framework for Query Compilation on Modern Hardware Platforms Teubner, Neumann (TU Munich)
419 2022 Zweihoff, Philip Aligned and Collaborative Language-Driven Engineering Steffen, Jörges (FH dortmund)
418 2022 Lenssen, Jan Eric Differentiable Algorithms with Data-driven Parameterization in 3D Vision H. Müller, Kersting (TU Darmstadt)
417 2022 Bruemmer, Henning Timeliness and quality of service promotion of networked device-based systems Krumm, Ulbrich
416 2021 Lochmann, Alexander Record-based Analysis of Locks in Operating Systems Spinczyk (University of Osnabrück), Teubner
415 2021 Gossen, Frederik Aggressive Aggregation (Domain-Specific) Program Optimization with Algebraic Decision Diagrams Steffen, Hinchey (Uni Limerick)
414 2021 Droschinsky, Andre Tree Comparison - Enumeration and Application to Cheminformatics Mutzel (Uni Bonn), Fischer
413 2021 Kalkreuth, Roman Reconsideration and Extension of Cartesian Genetic Programming Rudolph, Kaufmann(Uni Mainz)
412 2021 Jasper, Marc Synthesizing Realistic Verification Tasks Steffen, Siegel (Uni Delaware,USA)
411 2021 Gabor, Ulrich Software Fault Injection and Localization in Embedded Systems Spinczyk (Uni Osnabrück), Howar
410 2021 Krivosija, Amer On clustering and related problems on curves under the Frechet distance Sohler (Uni Cologne), Driemel (Uni Bonn), Schubert
409 2020 Noll, Stefan Resource-Efficient Processing of Large Data Volumes Teubner, Giceva (TU Munich)
408 2020 Ludewig, Malte Advances in Session-Based and Session-Aware Recommendation Jannach (University of Klagenfurt), Steffen
407 2020 Kurpicz, Florian Parallel Text Index Construction Puglisi (Uni Helsinki), Rahmann
406 2020 Fichtenberger, Hendrik Property Testing of Graphs and the Role of Neighborhood Distributions Mutzel, Kerstin (TU Darmstadt)
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