All Technical Reports - Overview

Here follows a list of all Technical Reports. By following the respective links, you can have a look at a report´s abstract or the postscript / pdf version. Generally, the abstracts are written in English, since most of the reports are in this language.

Report Nr.297, April 2021 (PDF)
Gregor Behnke.
Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning: Extended Data.

Report Nr.296
Daniel Höller, Gregor Behnke .
Loop Detection in the PANDA Planning System: Extended Data.

Report Nr.295
Gregor Behnke, David Speck
Symbolic Search for Total-Order HTN Planning: Technical Report.

Report Nr.294, June 2019 (PDF)
Klaus Greff, Aaron Klein; Martin Chovanec, Frank Hutter; Jürgen Schmidhuber.
The Sacred Infrastructure for Computational Research.
(Abstract)

Report Nr.293, June 2019 (PDF)
Jan N. van Rijn, Frank Hutter.
An Empirical Study of Hyperparameter Importance Across Datasets.
(Abstract)

Report Nr.292, June 2019 (PDF)
Aaron Klein, Stefan Falkner, Numair Mansur, Frank Hutter.
RoBO : A Flexible and Robust Bayesian Optimization Framework in Python.
(Abstract)

Report Nr.291, June 2019 (PDF)
Aaron Klein, Stefan Falkner, Jost Tobias Springenberg, Frank Hutter.
Learning Curve Prediction with Bayesian Neural Networks.
(Abstract)

Report Nr.290, June 2019 (PDF)
Stefan Falkner, Aaron Klein, Frank Hutter.
Combining Hyperband and Bayesian Optimization.
(Abstract)

Report Nr.289, June 2019 (PDF)
Aaron Klein, Stefan Falkner, Simon Bartels, Philipp Hennig, Frank Hutter.
Fast Bayesian hyperparameter optimization on large datasets.
(Abstract)

Report Nr.288, June 2019 (PDF)
Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski
Temporal Planning as Refinement-Based Model Checking: Proofs and Additional Descriptions
(Abstract)

Report Nr.287, July 2018 (PDF)
Bernhard Nebel, Thomas Bolander, Thorsten Engesser, and Robert Mattmüller
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty
(Abstract)

Report Nr.286, May 2018 (PDF)
Mohamad Ahmadi, Fabian Kuhn und Rotem Oshman
Distributed Approximate Maximum Matching in the CONGEST Model
(Abstract)

Report Nr.285, May 2018 (PDF)
Mohsen Ghaffari und Fabian Kuhn
Derandomizing Distributed Algorithms with Small Messages: Spanners and Dominating Set
(Abstract)

Report Nr.284, March 2018 (PDF)
David Speck and Florian Geißer and Robert Mattmüller
Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams - Detailed Proofs
(Abstract)

Report Nr.283, February 2018 (PDF)
Abdolhamid Ghodselahi, Fabian Kuhn
Optimally Serving Concurrent Requests on Hierarchically Well-Separated Trees
Keywords: k-TSP, OSD, distributed queuing, HSTs
(Abstract)

Report Nr.282, November 2017 (PDF)
Mohsen Ghaffari, David G. Harris, Fabian Kuhn
On Derandomizing Local Distributed Algorithms
Keywords: distributed algorithms, distributed complexity, randomization, local computations, Lovász Local Lemma
(Abstract)

Report Nr.281, October 2017 (PDF)
Mohamad Ahmadi, Fabian Kuhn, Shay Kutten, Anisur Rahaman Molla and Gopal Pandurangan
The Communication Cost of Information Spreading in Dynamic Networks
Keywords: dynamic network, message complexity, information spreading, token dissemination, random walk, adaptive adversary, oblivious adversary
(Abstract)

Report Nr.280, October 2017 (PDF)
Johannes Aldinger and Bernhard Nebel
Addendum to ’Interval Based Relaxation Heuristics for Numeric Planning with Action Costs’
Keywords: numeric planning, interval based relaxation
(Abstract)

Report Nr.279, April 2016 (PDF)
Johannes Aldinger and Johannes Löhr
The Jumpbot Domain for Numeric Planning
Keywords: planning, PDDL, benchmark instances
(Abstract)

Report Nr.278, December 2015 (PDF)
Magnús M. Halldórsson, Sven Köhler, Dror Rawitz
Distributed Approximation of k-Service Assignment
Keywords: approximation algorithms, distributed algorithms, load balancing, fault-tolerance

Report Nr.277, November 2014 (PDF)
Frank Hutter, Marius Lindauer, Sam Bayless, Holger Hoos, Kevin Leyton-Brown
Results of the Configurable SAT Solver Challenge 2014
Keywords: SAT solving, algorithm configuration
(Abstract)

Report Nr.276, November 2014 (PDF)
Frank Hutter, Adrian Balint, Sam Bayless, Holger Hoos, Kevin Leyton-Brown
Results of the Configurable SAT Solver Challenge 2013
Keywords: SAT solving, algorithm configuration
(Abstract)

Report Nr.275, July 2013 (PDF)
Sebastian Daum, Mohsen Ghaffari, Seth Gilbert, Fabian Kuhn, Calvin Newport
Maximal Independent Sets in Multichannel Radio Networks
Keywords: wireless networks, multi-channel, multi-frequency, maximal independent set, connected dominating set
(Abstract)

Report Nr.274, August 2013 (PDF)
Sebastian Daum, Seth Gilbert, Fabian Kuhn, Calvin Newport
Broadcast in the Ad Hoc SINR Model
Keywords: wireless networks, SINR, broadcast
(Abstract)

Report Nr.273, August 2013 (PDF)
Amir Bannoura, Christian Ortolf, Christian Schindelhauer, and Leonhard Reindl
The Wake Up Dominating Set Problem
Keywords: wake-up receiver, Connected Dominating Set, unit-disk graphs, wireless sensor networks
(Abstract)

Report Nr.272, April 2013 (PDF)
Florian Sittel, Jörg Müller, Wolfram Burgard
Computing Velocities and Accelerations from a Pose Time Sequence in Three-dimensional Space
Keywords: robotics, regression, motion capture, trajectory analysis, kinematics
(Abstract)

Report Nr.271, August 2012 (PDF)
Sebastian Daum, Fabian Kuhn and Calvin Newport
Efficient Symmetry Breaking in Multi-Channel Radio Networks
Keywords: wireless network, wake-up, minimum dominating set, multi-channel
(Abstract)

Report Nr.270, June 2012 (PDF)
Martin Przyjaciel-Zablocki, Alexander Schätzle, Thomas Hornung, Christopher Dorner, Georg Lausen
Cascading Map-Side Joins over HBase for Scalable Join Processing
Keywords: MapReduce, SPARQL basic graph pattern, NoSQL, Map-Side Join, HBase, Semantic Web, MAPSIN
(Abstract)

Report Nr.269, June 2012 (PDF)
Sebastian Daum, Seth Gilbert, Fabian Kuhn and Calvin Newport
Leader Election in Shared Spectrum Radio Networks
Keywords: wireless network, leader election, multi-channel, disruption
(Abstract)

Report Nr.268, June 2012 (PDF)
Jendrik Seipp, Manuel Braun, Johannes Garimort and Malte Helmert
Learning Portfolios of Automatically Tuned Planners: Detailed Results
Keywords: portfolio methods, parameter tuning, classical planning, heuristic search
(Abstract)

Report Nr.267, January 2012 (PDF)
Jens Witkowski and David C. Parkes
A Robust Bayesian Truth Serum for Small Populations
Keywords: Bayesian Truth Serum, Information Elicitation, Mechanism Design, Game Theory
(Abstract)

Report Nr.266, October 2011 (PDF)
Maja Temerinac-Ott, Olaf Ronneberger, Peter Ochs, Wolfgang Driever, Thomas Brox and Hans Burkhardt
Multiview Deblurring for 3-D Images from Light Sheet based Fluorescence Microscopy - Supporting Online Material
Keywords: Deblurring with spatially variant PSF, PSF estimation, Deconvolution, L1-regularization, 3D images, fluorescence microscopy, registration with irregularly placed point-markers, tomography
(Abstract)

Report Nr.265, July 2011 (PDF)
Daniel Meyer-Delius, Maximilian Beinhofer, Wolfram Burgard :
Grid-Based Models for Dynamic Environments
Keywords: mapping, mobile robots
(Abstract)

Report Nr.264, July 2011 (PDF)
Phillip Heidegger, Annette Bieniusa, Peter Thiemann :
Access permission contracts for scripting languages
Keywords: scripting languages, Javascript, heap monitoring, access permision, security
(Abstract)

Report Nr.263, January 2011 (PDF)
Gissler, M.; Ihmsen, M.; Teschner, M. :
Efficient uniform grids for collision handling in medical simulators
Keywords: spatial data structure, collision detection, collision reponse, cell indexing, spatial hashing, cuckoo hashing
(Abstract)

Report Nr.262, November 2010 (PostScript)
Kleiner, A.; Kolling, A.; Lewis, M.; Sycara, K. :
Hierarchical Visibility for Guaranteed Search in Large-Scale Outdoor Terrain
Keywords: Moving Target Search, Team-Coordination, Multi-Agent, Pursuit-Evasion
(Abstract)

Report No.261, September 2010 (PostScript)
Christian Schindelhauer, Johannes Wendeberg:
Localization Solely based on Ambient Signals
Keywords: tdoa, localization
(Abstract)

Report No.260, August 2010 (PostScript)
Maja Temerinac-Ott:
Tile-based Lucy-Richardson Deconvolution Modelling a Spatially-Varying PSF for Fast Multiview Fusion of Microscopical Images
Keywords: multiview fusion, deconvolution, spim
(Abstract)

Report No.259, May 2010 (PostScript)
Blai Bonet, Malte Helmert:
Strengthening Landmark Heuristics via Hitting Sets: Proofs
Keywords: classical planning, landmarks, hitting sets, delete relaxation
(Abstract)

Report No.258, June 2010 (PostScript)
Gabriele Röger, Malte Helmert:
The More, the Merrier: Combining Heuristic Estimators for Satisficing Planning (Extended Version)
Keywords: multi-heuristic search, satisficing planning
(Abstract)

Report No.257, February 2010 (PostScript)
Annette Bieniusa, Arie Middelkoop, Peter Thiemann:
Actions in the Twilight - Concurrent Irrevocable Transactions and Inconsistency Repair
Keywords: concurrent programming, software transactional memory
(Abstract)

Report No.256, February 2010 (PostScript)
Tim Nonner:
Capacitated max-Batching with Interval Graph Compatibilities
Keywords: approximation algorithms, scheduling, max-batching, interval graphs
(Abstract)

Report No.255, January 2010 (PostScript)
M. Keuper:
Mean Shifting Gradient Vector Flow: An Improved External Force Field for Active Surfaces in Widefield Microscopy
Keywords: gradient vector flow, mean shift, segmentation, active contours
(Abstract)

Report No.254, January 2010 (PostScript)
Maja Temerinac-Ott:
Evaluation of a New Point Clouds Registration Method based on Group Averaging Features
Keywords: point registration, group averaging, local descriptor
(Abstract)

Report No.253, December 2009 (PostScript)
D. Sun, A. Kleiner, C. Schindelhauer:
Decentralized Hash Tables For Mobile Robot Teams Solving Intra-Logistics Tasks
Keywords: Distributed problem solving, Peer to peer coordination, Mobile agents, multi-robot systems, robot coordination
(Abstract)

Report No.252, November 2009 (PostScript)
L.Y. Ma, M. Reisert, H. Burkhardt:
RENNSH: A Novel alpha-helices Identification Approach for Intermediate Resolution Cryo-EM Maps
Keywords: Structural bioinformatics, secondary structure identification, intermediate resolution cryo-EM maps, spherical harmonic descriptors, refined classification.
(Abstract)

Report No.250, September 2009 (PostScript)
Stefan Wehr, Peter Thiemann:
On the Decidability of Subtyping with Bounded Existential Types
Keywords: JavaGI, Java, Type theory, Bounded existential types, Undecidability
(Abstract)

Report No.249, July 2009 (PostScript)
Gian Diego Tipaldi, Kai O. Arras:
FLIRT -- Interest Regions for 2D Range Data
Keywords: mobile robots, feature extraction, range data
(Abstract)

Report No.248, July 2009 (PostScript)
Stefan Wehr:
Formalizing CoreGI
Keywords: Java, JavaGI, Formalization, Type Soundness, Decidability
(Abstract)

Report No.247, July 2009 (PostScript)
Stefan Wehr, Peter Thiemann:
JavaGI in the Battlefield: Practical Experience with Generalized Interfaces
Keywords: Java, JavaGI, implementation, case study, benchmarks
(Abstract)

Report No.244, December 2008 (PostScript)
Christian Kretschmer, Stefan Ruehrup, Christian Schindelhauer:
Delay-tolerant On-demand Routing for Mobile Ad hoc Networks
Keywords: --
(Abstract)

Report No.243, October 2008 (PostScript)
Markus Degen, Peter Thiemann, Stefan Wehr:
Contract Monitoring and Call-by-name Evaluation
Keywords: --
(Abstract)

Report No.242, September 2008 (PostScript)
Annette Bieniusa, Peter Thiemann, Stefan Wehr:
The Relation of Version Control to Concurrent Programming
Keywords: version control, concurrent programming, software transactional memory
(Abstract)

Report No.241, July 2008 (PostScript)
T. Zitterell, C. Scholl:
Improving Energy-Efficient Real-Time Scheduling by Exploiting Code Instrumentation
Keywords: energy, power-aware, scheduling, real-time, DVS
(Abstract)

Report No.240, June 2008 (PostScript)
Stefan Wehr, Peter Thiemann:
Subtyping Existential Types
Keywords: programming languages, java, type theory, existential types, subtyping, undecidability
(Abstract)

Report No.239, June 2008 (PostScript)
Jochen Eisinger:
Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic
Keywords: automata theory, automata-based decision procedures, upper bounds, minimal of automata, linear arithmetic, complexity
(Abstract)

Report No.238, July 2008 (PostScript)
PAscal Bercher, Robert Mattmüller:
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning
Keywords: --
(Abstract)

Report No.236, April 2008 (PostScript)
Christoph Hermann:
Effiziente Implementierung einer häufig abgerufenen hierarchischen Struktur in relationalen Datenbanksystemen
Keywords: Nested set, verschachtelte Hierarchien, Datenbanken, SQL
(Abstract)

Report No.234, April 2007 (PostScript)
A. Kleiner, D. Sun:
Decentralized SLAM for Pedestrians without direct Communication
Keywords: Decentralized SLAM Emergency Response
(Abstract)

Report No.233, April 2007 (PostScript)
Christian Dornhege, Alexander Kleiner:
Behavior maps for online planning of obstacle negotiation and climbing on rough terrain
Keywords: robotics, mapping, behaviors, elevation maps, autonomy
(Abstract)

Report No.232, April 2007 (PostScript)
C. Maindorfer:
Relaxed Min-Augmented Range Trees for Dynamic IP Router Tables
Keywords: --
(Abstract)

Report No.231, March 2007 (PostScript)
A. Kleiner, C. Dornhege:
Real-time Localization and Elevation Mapping within Urban Search and Rescue Scenarios
Keywords: SLAM, Mapping, Elevation Mapping, Rescue, Robotics, USAR
(Abstract)

Report No.230, March 2007 (PostScript)
Jan-Georg Smaus:
On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint
Keywords: linear pseudo-Boolean constraint, Boolean function, monotone function
(Abstract)

Report No.229, February 2007 (PostScript)
Alexander Kleiner, Moritz Goebelbecker:
Rescue3D: Making rescue simulation attractive to the public
Keywords: rescue, tool, visualization, robocup
(Abstract)

Report No.228, January 2007 (PostScript)
C. Dax, J. Eisinger, F. Klaedtke:
Mechanizing the Powerset Construction for Restricted Classes of omega-Automata
Keywords: Determinisation, Linear Arithmetics with Reals, Powerset Construction, weak deterministic omega-Automata
(Abstract)

Report No.227, August 2006 (PostScript)
Jan-Georg Smaus:
Representing Boolean Functions as Linear Pseudo-Boolean Constraints
Keywords: propositional SAT solving, pseudo-Boolean constraints, Boolean functions
(Abstract)

Report No.226, August 2006 (PostScript)
K. A. Mohamed, C. Kupich:
An O(n log n) Output-Sensitive Algorithm to Detect and Resolve Conflicts for 1D Range Filters in Router Tables
Keywords: filter conflict, detection, reporting, resolving, classification, sweep-line, intervals
(Abstract)

Report No.225, August 2006 (PostScript)
C. Kupich, K. A. Mohamed:
Conflict Detection in Internet Router Tables
Keywords: filter conflict, detection, reporting, classification
(Abstract)

Report No.224, February 2006 (PostScript)
Malte Helmert, Robert Mattmüller, Gabi Röger:
Approximation Properties of Planning Benchmarks
Keywords: planning, approximation, complexity
(Abstract)

Report No.223, January 2006 (PostScript)
Jochen Eisinger, Felix Klaedtke:
Don't Care Words with an Application to the Automata-based Approach for Real Addition
Keywords: weak Buechi automata; mixed linear arithmetic over the reals and integers; don't cares
(Abstract)

Report No.222, January 2006 (PostScript)
Sebastian Kupferschmid, Joerg Hoffmann, Henning Dierks, Gerd Behrmann:
Adapting an AI Planning Heuristic for Directed Model Checking
Keywords: directed model checking, heuristic search
(Abstract)

Report No.221, August 2005 (PostScript)
K. A. Mohamed:
Identifying Tabletop Corners with Angular- and Velocity-Type Trace-Features in Pen-Gestures
Keywords: Tabletop corner identification, pen-gestures, trace-features
(Abstract)

Report No.220, July 2005 (PostScript)
Jussi Rintanen:
State-Space Traversal Techniques for Planning
Keywords: planning, state-space search
(Abstract)

Report No.219, May 2005 (PostScript)
Alexander Kleiner, Michael Brenner, Tobias Braeuer, Christian Dornhege, Moritz Goebelbecker, Mathias Luber, Johann Prediger, Joerg Stueckler:
ResQ Freiburg: Team Description and Evaluation
Keywords: RoboCup, Multiagent Systems
(Abstract)

Report No.218, April 2005 (PostScript)
Joerg Hoffmann, Sebastian Kupferschmid:
A Covering Problem for Hypercubes
Keywords: geometric reasoning, constraint satisfaction, satisfiability, search
(Abstract)

Report No.217, March 2005 (PostScript)
Malte Helmert:
The Fast Downward Planning System
Keywords: planning, heuristics
(Abstract)

Report No.216, January 2005 (PostScript)
Jussi Rintanen, Keijo Heljanko, Ilkka Niemela:
Planning as satisfiability: parallel plans and algorithms for plan search
Keywords: planning, satisfiability testing
(Abstract)

Report No.215, December 2004 (PostScript)
K. A. Mohamed:
Adaptable, Adaptive and Perceptual Concepts for UI-On-Demand-and-Within-Reach Configurations
Keywords: UI concepts, adaptable, adaptive, perceptual, digital ink, InkML, freehand writings
(Abstract)

Report No.214, November 2004 (PostScript)
E. Abraham, B. Becker, F. Klaedtke, M. Steffen:
Optimizing Bounded Model Checking for Linear Hybrid Systems - Theory and Experimental Results
Keywords: verification, BMC, hybrid systems, SAT-solving, ICS
(Abstract)

Report No.212, August 2004 (PostScript)
Matthias Neubauer, Peter Thiemann:
Protocol Specialization
Keywords: Concurrent Functional Programming, Types, Program Specialization
(Abstract)

Report No.211, August 2004 (PostScript)
K. A. Mohamed, Th. Ottmann:
Restructuring Data Constructs in Overlapping Digital Ink Domains for Agent-Oriented Approaches
Keywords: Agent oriented software engineering, digital ink, pen gestures, InkML, learning environments
(Abstract)

Report No.210, August 2004 (PostScript)
K. A. Mohamed:
Investigating the Lead and Lag Times of Digital Freehands
Keywords: Digital ink, InkML, lead-lag time, freehand writings
(Abstract)

Report No.209, August 2004 (PostScript)
K. A. Mohamed, Th. Ottmann:
Ingrid, Geraldine and Amidala { Competent Agents for Pen Gestures Interactivity
Keywords: Digital pen gestures, InkML, interface agents, eLearning
(Abstract)

Report No.208, August 2004 (PostScript)
K. A. Mohamed, Th. Ottmann:
Autonomous Agents as Competent Assistants: Better Interpretation of Pen Gestures
Keywords: digital ink, autonomous agents, pen gestures
(Abstract)

Report No.207, August 2004 (PostScript)
K. A. Mohamed, Th. Ottmann:
Recognising sketch objects as gestures via autonomous agents
Keywords: digital ink, pen gestures
(Abstract)

Report No.206, July 2004 (PostScript)
Marc Herbstritt, Thomas Kmieciak, Bernd Becker:
Circuit Partitioning for SAT-based Combinational Circuit Verification --- A Case Study
Keywords: Satisfiability, Equivalence Checking, Circuit Partitioning
(Abstract)

Report No.205, June 2004 (PostScript)
Jussi Rintanen:
Conditional Planning in the Discrete Belief Space
Keywords: planning, partial observability, algorithms
(Abstract)

Report No.204, May 2004 (PostScript)
Christian Köhler, Artur Ottlik, Hans-Hellmut Nagel, Bernhard Nebel:
Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking
Keywords: Cognitive Vision, Model-Based Tracking, Qualitative Reasoning
(Abstract)

Report No.203, September 2004 (PostScript)
Jan-Georg Smaus:
Termination of Logic Programs Using Various Dynamic Selection Rules
Keywords: termination, logic programming, dynamic scheduling, selection rule
(Abstract)

Report No.202, May 2004 (PostScript)
Thomas Eschbach, Wolfgang Günther, Bernd Becker:
Orthogonal Circuit Visualization Improved by Merging the Placement and Routing Phases
Keywords: Orthogonal Circuit Visualization
(Abstract)

Report No.201, May 2004 (PostScript)
Tobias Nopper, Christoph Scholl:
Symbolic Model Checking for Incomplete Designs
Keywords: Model Checking, Incomplete Designs, Verification, Modellprüfung, Unvollständige Designs, Verifikation, Black Box, Black Boxes
(Abstract)

Report No.200, April 2004 (PostScript)
Timo Nüssle, Alexander Kleiner, Michael Brenner:
Approaching Urban Disaster Reality: The ResQ Firesimulator
Keywords: --
(Abstract)

Report No.199, April 2004 (PostScript)
Sebastian Trueg, Joerg Hoffmann, Bernhard Nebel:
Applying Automatic Planning Techniques to Airport Ground-Traffic Control --- A Feasibility Study
Keywords: Planning, Applications
(Abstract)

Report No.198, February 2004 (PostScript)
Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä:
Parallel Encodings of Classical Planning as Satisfiability
Keywords: planning, propositional logic, satisfiability testing
(Abstract)

Report No.197, February 2004 (PostScript)
J. Hoffmann, J. Porteous, L. Sebastia:
Ordered Landmarks
Keywords: Planning, Domain Analysis
(Abstract)

Report No.196, February 2004 (PostScript)
Stefan Edelkamp, Alberto Lluch-Lafuente:
Abstraction Databases
Keywords: model checking, abstraction, heuristic search
(Abstract)

Report No.195, January 2004 (PostScript)
Stefan Edelkamp, Joerg Hoffmann:
PDDL2.2: The Language for the Classical Part of the 4th International Planning Competition
Keywords: planning, competition, PDDL
(Abstract)

Report No.193, September 2003 (PostScript)
Tilman Mehler, Peter Leven:
Introduction to StEAM - An Assembly-Level Software Model Checker
Keywords: Software Model Checking, C++, Virtual Machine
(Abstract)

Report No.192, August 2003 (PostScript)
Thomas Eschbach, Wolfgang Günther, Bernd Becker:
Orthogonal Hypergraph Routing for Improved Visibility
Keywords: Othorgonal, Hypergraph, Visualisation, Visibility Routing
(Abstract)

Report No.191, December 2003 (PostScript)
Jan-Georg Smaus:
Termination of Logic Programs for Various Dynamic Selection Rules
Keywords: logic programming, termination, dynamic scheduling, input-consuming derivations
(Abstract)

Report No.190, August 2003 (PostScript)
Michael Brenner:
Multiagent Planning with Partially Ordered Temporal Plans
Keywords: Multiagent Systems, Planning
(Abstract)

Report No.189, July 2003 (PostScript)
David: Lüth Aspinall:
Proceedings of the International Workshop on User Interfaces for Theorem Provers UITP 03
Keywords: Human Computer Interaction, Theorem Proving, Verification
(Abstract)

Report No.188, July 2003 (PostScript)
Marc Herbstritt:
zChaff: Modifications and Extensions
Keywords: Satisfiability, Davis-Putnam, Conflict Analysis
(Abstract)

Report No.187, July 2003 (PostScript)
David: Wolff Basin:
Theorem Proving in Higher Order Logics 2003 --- Proceedings of the Emerging Trends Track
Keywords: Theorem Proving, Semantics, Verification
(Abstract)

Report No.186, July 2003 (PostScript)
Felix Klaedtke:
On the Automata Size for Presburger Arithmetic
Keywords: Presburger Arithmetic, Automata, Complexity
(Abstract)

Report No.185, March 2003 (PostScript)
Joerg Hoffmann:
Where Ignoring Delete Lists Works: Local Search Topology in Planning Benchmarks
Keywords: planning, planning as heuristic search, problem structure, planning benchmarks
(Abstract)

Report No.184, February 2003 (PostScript)
Alberto Lluch Lafuente:
First Attempts to Combine Symmetry Reduction and Heuristic Search for Error Detection
Keywords: Model Checking, Error Detection, Symmetry Reduction, Heuristic Search
(Abstract)

Report No.183, January 2003 (PostScript)
Ronen I. Brafman, Joerg Hoffmann:
Conformant Planning via Heuristic Forward Search
Keywords: planning, uncertainty
(Abstract)

Report No.182, December 2002 (PostScript)
Achim D. Brucker, Frank Rittinger, Burkhart Wolff:
A CVS-Server Security Architecture - Concepts and Formal Analysis
Keywords: security, formal methods, software architecture, Concurrent Versions System (CVS), Z, refinement
(Abstract)

Report No.181, December 2002 (PostScript)
Richard Mayr:
Weak Bisimilarity and Regularity of BPA is EXPTIME-hard
Keywords: Context-free processes, BPA, weak bisimulation, complexity
(Abstract)

Report No.180, December 2002 (PostScript)
Tilman Mehler, Stefan Edelkamp:
Trail-directed Java Program Verification
Keywords: Modelchecking, Software Verification, Java PathFinder, heuristics
(Abstract)

Report No.179, October 2002 (PostScript)
Simon Helsen:
An Equational Theory for a Region Calculus - Revised
Keywords: regions, equational theory, bisimulation, operational equivalence
(Abstract)

Report No.178, October 2002 (PostScript)
Uwe Jendricke, Michael Kreutzer, Alf Zugenmaier:
Mobile Identity Management
Keywords: privacy mobility identity manager pda ubiquitous security
(Abstract)

Report No.177, July 2002 (PostScript)
Felix Klaedtke, Harald Ruess:
Parikh Automata and Monadic Second-Order Logics with Linear Cardinality Constraints
Keywords: WS1S and WS2S, extensions of finite word and tree automata,commutative image, semi-linear sets, Presburger arithmetic
(Abstract)

Report No.176, July 2002 (PostScript)
Alberto Lluch Lafuente:
Simplified Distributed LTL Model Checking by Localizing Cycles
Keywords: Distributed, parallel LTL Model Checking, cycle detection, localizing cycles
(Abstract)

Report No.175, June 2002 (PostScript)
Kristian Kersting, Tapani Raiko, Stefan Kramer, Luc De Raedt:
Towards Discovering Structural Signatures of Protein Folds based on Logical Hidden Markov Models
Keywords: Hidden Markov Models, Probabilistic Modeling, First-Order Logic, Structural Signatures, SCOP
(Abstract)

Report No.174, June 2002 (PostScript)
Kristian Kersting, Luc De Raedt:
Basic Principles of Learning Bayesian Logic Programs
Keywords: Bayesian networks, first order logic, learning from interpretations, parameter estimation, structural learning, gradient, EM
(Abstract)

Report No.173, April 2002 (PostScript)
Simon Helsen, Peter Thiemann:
Polymorphic Specialization for ML
Keywords: regions, binding-time analysis, specialization
(Abstract)

Report No.172, April 2002 (PostScript)
Simon Helsen:
An Equational Theory for a Region Calculus
Keywords: regions, equational theory, bisimulation, operational equivalence
(Abstract)

Report No.171, December 2002 (PostScript)
Burkhart Wolff, Oliver Berthold, Sebastian Clauss, Hannes Federrath, Stefan Koepsell, Andreas Pfitzmann:
Towards a Formal Analysis of a Mix Network
Keywords: Securty, Protocol Analysis, Formal Methods, Anonymity, Networking
(Abstract)

Report No.170, January 2002 (PostScript)
Ulf Schuenemann:
Abstract Data and System Design: from Bits to Component Objects
Keywords: data abstraction, representation, modularity, object abstraction, aggregation, composition, composite object, component object, black box reuse,object abstraction, composite object, component object, black box reuse, representation exposure, alias control
(Abstract)

Report No.169, January 2002 (PostScript)
Joerg Hoffmann:
Extending FF to Numerical State Variables
Keywords: planning
(Abstract)

Report No.168, January 2002 (PostScript)
Achim D. Brucker, Burkhart Wolff:
A Note on Design Decisions of a Formalization of the OCL
Keywords: UML, OCL, formal semantics, HOL, Isabelle
(Abstract)

Report No.166, January 2002 (PostScript)
F. "Wei, G." Lausen:
Query Containment for Conjunctive Queries with Safe Negation
Keywords: Containment Checking, Negation
(Abstract)

Report No.165, November 2001 (PostScript)
Joerg Hoffmann:
Local Search Topology in Planning Benchmarks: A Theoretical Analysis
Keywords: heuristic search planning, domain analysis, domain independent planning
(Abstract)

Report No.164, December 2001 (PostScript)
R. Drechsler, W. G\ünther, T. Eschbach, L. Linhard, G. Angst:
Recursive Bi-Partitioning of Netlists for Large Number of Partitions
Keywords: k-way, Partitioning, Bi-Partitioning
(Abstract)

Report No.162, October 2001 (PostScript)
Alberto Lluch-Lafuente, Leue Edelkamp, Stefan Leue:
Partial Order Reduction in Directed Model Checking
Keywords: Model Checking, Directed Search, Partial Order Reduction
(Abstract)

Report No.161, October 2001 (PostScript)
Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente:
Directed Explicit-State Model Checking in the Validation of Communication Protocols
Keywords: Model Checking, Directed Search, Protocol Validation
(Abstract)

Report No.160, September 2001 (PostScript)
Stefan Edelkamp:
First Solutions to PDDL+ Planning Problems
Keywords: Planning with Time and Resources, Heuristic Search, Pattern Databases, Model Checking
(Abstract)

Report No.159, August 2001
Heiko Mantel, Axel Schairer, Matthias Kabatnik, Michael Kreutzer, Alf Zugenmaier:
Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks
Keywords: Security, Access Control, Information Flow Control, Mobile Devices, Pervasive Computing
(Abstract)

Report No.158, August 2001 (PostScript)
Christoph: Wolff L\üth:
sml_tk: Functional Programming for GUIs --- Reference Manual
Keywords: Functional Programming, SML, Graphical User Interfaces, Tcl/Tk
(Abstract)

Report No.157, November 2001 (PostScript)
Achim D. Brucker, Burkhart Wolff:
Checking OCL Constraints in Distributed Systems Using J2EE/EJB
Keywords: OCL, Constraint checking, EJB, J2EE, Design by Contract, Design Pattern, Distributed Systems
(Abstract)

Report No.156, July 2001 (PostScript)
Stephan Trahasch:
Funktionen einer Uebungskomponente fuer netzgestuetzte Kurse
Keywords: Lehr-/Lernplattform, Uebungsbetrieb, Virtuelle Hochschule
(Abstract)

Report No.155, July 2001 (PostScript)
Michael Brenner:
A Formal Model of Planning for Concurrency
Keywords: multi-agent planning, temporal planning, complex domain models, concurrency
(Abstract)

Report No.154, June 2001 (PostScript)
David Basin, Frank Rittinger, Luca Viganò:
A Formal Analysis of the CORBA Security Service
Keywords: CORBA Security,Formal Methods,Specification,Z
(Abstract)

Report No.153, May 2001 (PostScript)
Joerg Hoffmann, Bernhard Nebel:
RIFO Revisited: Detecting Relaxed Irrelevance
Keywords: planning
(Abstract)

Report No.151, April 2001 (PostScript)
Kristian Kersting, Luc De Raedt:
Bayesian Logic Programs
Keywords: Uncertainty, first-order probabilistic representations, knowledge-based model construction, Bayesian networks, definite clause logic, pure Prolog, temporal models
(Abstract)

Report No.150, April 2001 (PostScript)
Stefan Edelkamp:
Prediction of Regular Search Tree Growth by Spectral Analysis
Keywords: Heuristic Search, Computational Complexity
(Abstract)

Report No.149, February 2001 (PostScript)
WOlfgang May:
XPath-Logic and XPathLog: A Logic-Based Approach for Declarative XML Data Manipulation
Keywords: Semistructured Data, XML, Database Language
(Abstract)

Report No.148, February 2001 (PostScript)
Cristiano Calcagno, Simon Helsen, Peter Thiemann:
Syntactic Type Soundness Results for the Region Calculus
Keywords: Operational Semantics, Regions
(Abstract)

Report No.147, January 2001 (PostScript)
Pedro Jose Marron, Georg Lausen:
HLCaches: An LDAP-based Distributed Cache Technology for XML
Keywords: Semistructured Databases, XML, XPath, LDAP, Query Processing, Distributed Caching
(Abstract)

Report No.146, January 2001 (PostScript)
Georg Struth:
Church-Rosser Proofs in Kleene Algebra and Allegories
Keywords: Kleene algebra, Allegory, Rewriting, Church-Rosser theorem, Newman's lemma, Formal Methods
(Abstract)

Report No.145, October 2000 (PostScript)
Christoph Scholl, Bernd Becker:
Checking Equivalence for Partial Implementations
Keywords: Equivalence Check, Partial Implementations, Verification, Symbolic Methods
(Abstract)

Report No.144, October 2000 (PostScript)
Wolfgang Guenther:
Speeding up Dynamic Minimization of Linearly Transformed BDDs
Keywords: Binary Decision Diagrams, Linear Transformations, Minimization, Lower Bounds
(Abstract)

Report No.143, October 2000 (PostScript)
Pedro Jose Marron, Georg Lausen:
Design and Applicability of a Transparent Network Redirection Layer
Keywords: Middleware, Caching, Internet Protocol, HTTP, LDAP
(Abstract)

Report No.142, October 2000 (PostScript)
Stefan Edelkamp:
Planning with Pattern Databases
Keywords: Planning, Search, Pattern, Data Bases
(Abstract)

Report No.141, October 2000 (PostScript)
Christoph Scholl, Marc Herbstritt, Bernd Becker:
Exploiting don't cares to minimize *BMDs
Keywords: Formal Verification, Word-level Decision Diagrams, Don't Cares, *BMD, *BMD Minimization
(Abstract)

Report No.140, May 2000 (PostScript)
Luca Viganò:
An O(n log n)-Space Decision Procedure for the Relevance Logic B+ (Extended Version)
Keywords: Relevance Logics, Labelled Deduction, Computational Complexity
(Abstract)

Report No.139, April 2000 (PostScript)
Marcel Wagner, Dietmar Saupe:
RD-Optimization of Hierarchical Structured Adaptive Vector Quantization for Video Coding
Keywords: adaptive vector quantization, video coding, rate distortion optimization
(Abstract)

Report No.138, April 2000 (PostScript)
Martin Schmidt, Marcel Wagner:
Linear Prediction Coder -- Sprachkodierverfahren mit niedrigen Datenraten
Keywords: audio coding, CELP, LPC-10
(Abstract)

Report No.137, April 2000 (PostScript)
Matthias O. Will:
Metadata and library mining: Analyzing the usage of a distributed electronic library
Keywords: library mining, Dublin Core, RDF, evaluation
(Abstract)

Report No.136, March 2000 (PostScript)
W. May, G. Lausen:
Information Extraction from the Web
Keywords: information extraction, information integration, deductive databases, F-Logic
(Abstract)

Report No.135, March 2000 (PostScript)
Iztok Savnik, Peter A. Flach:
Discovery of multivalued dependencies from relations
Keywords: Attribute dependency, multivalued dependency, database reverse engineering, and data mining
(Abstract)

Report No.134, March 2000 (PostScript)
Iztok Savnik, Georg Lausen, Hans-Peter Kahle, Heinrich Spiecker, Sebastian Hein:
Algorithm for Matching Sets of Time Series
Keywords: Data mining, knowledge discovery, time-series, matching, and pattern recognition
(Abstract)

Report No.133, January 2000 (PostScript)
Joerg Hoffmann:
A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm
Keywords: planning
(Abstract)

Report No.132, January 2000 (PostScript)
Jana Koehler, Joerg Hoffmann:
On Reasonable and Forced Goal Orderings and their Use in an Incremental Planning Algorithm
Keywords: planning, goal orderings, domain analysis
(Abstract)

Report No.131, December 1999 (PostScript)
Wolfgang May:
Information Extraction and Integration with FLORID: The MONDIAL Case Study
Keywords: Information Extraction, Information Integration, WWW, HTML, Wrapping, Mediating, F-Logic
(Abstract)

Report No.130, October 1999 (PostScript)
C. Scholl, B. Becker, A. Brogle:
Solving the Multiple Variable Order Problem for Binary Decision Diagrams by Use of Dynamic Reordering Techniques
Keywords: Multiple Variable Order Problem, BDD, reordering
(Abstract)

Report No.129, September 1999 (PostScript)
Stefan Edelkamp:
Dictionary Automaton in Optimal Space
Keywords: String Dictionary, Substring Matching, Multi Suffix Tree,
(Abstract)

Report No.128, August 1999 (PostScript)
Jana Koehler:
Handling of Conditional Effects and Negative Goals in IPP
Keywords: artificial intelligence planning
(Abstract)

Report No.127, August 1999 (PostScript)
Jana Koehler:
Metric Planning using Planning Graphs - A First Investigation
Keywords: artificial intelligence planning
(Abstract)

Report No.126, August 1999 (PostScript)
Jana Koehler:
RIFO within IPP
Keywords: artificial intelligence planning
(Abstract)

Report No.125, August 1999 (PostScript)
C. Matuszewski, F. Schmiedle, R. Schönfeld:
Channel Routing with Genetic Algorithms
Keywords: VLSI, routing, heuristic learning, channel, genetic algorithms
(Abstract)

Report No.124, July 1999 (PostScript)
T. Ottmann, R. Mueller, G. Seitz, C. Steinert:
Video in Vorlesungsaufzeichnungen mit informatikfernen Inhalten am Beispiel Archaeologie
Keywords: Presentation Recording, Note Taking, Video Synchronization, Random Access, Video Annotation, Villa Urbana, Roman Excavation, 3-D Rendering
(Abstract)

Report No.123, July 1999 (PostScript)
Ralf Herz, Hannes Hartenstein:
Signalverarbeitungs-Praktikum: DSP-PC Kommunikation mit dem Texas Instruments TMS320C6x EVM
Keywords: Digital Signal Processor, Sprachkodierung
(Abstract)

Report No.122, May 1999 (PostScript)
Jana Koehler, Joerg Hoffmann:
Handling of Inertia in a Planning System
Keywords: AI planning
(Abstract)

Report No.121, April 1999 (PostScript)
S. Schroedl, S. Edelkamp:
Inferring Flow of Control in Program Synthesis by Example
Keywords: knowledge acquisition, machine learning, user interfaces
(Abstract)

Report No.120, April 1999 (PostScript)
S. Edelkamp, F. Reffel:
Deterministic State Space Planning with BDDs
Keywords: Planning, State Space Search, BDDs
(Abstract)

Report No.119, February 1999 (PostScript)
Marcel Wagner, Ralf Herz, Hannes Hartenstein, Raouf Hamzaoui, Dietmar Saupe:
A Video Codec Based on R/D-Optimized Adaptive Vector Quantization
Keywords: --
(Abstract)

Report No.118, March 1999 (PostScript)
B. Nebel:
What is the Expressive Power of Disjunctive Preconditions?
Keywords: planning, expressiveness, computational complexity
(Abstract)

Report No.117, December 1998 (PostScript)
Christoph A. Hipke, Sven Schuierer:
Vega---A user-centered approach to the distributed visualization of geometric algorithms
Keywords: Visualization;Geometric algorithms;Java;Client/Server
(Abstract)

Report No.116, December 1998 (PostScript)
Sven Schuierer:
On-line Searching in Simple Polygons
Keywords: On-line searching, competitive analysis, simple polygons, searching on m rays, computational geometry
(Abstract)

Report No.115, November 1998 (PostScript)
Sabine Hanke:
The Performance of Concurrent Red-Black Tree Algorithms
Keywords: concurrent dictionary, concurrent search tree, relaxed balancing, performance, experiments, simulation
(Abstract)

Report No.114, January 1999 (PostScript)
Wolfgang May, Paul-Thomas Kandzia:
Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages
Keywords: Nonmonotonic reasoning, Inheritance, Default Logic, Deductive object-oriented databases, F-Logic
(Abstract)

Report No.112, October 1998 (PostScript)
Sven Schuierer:
Searching on m Bounded Rays Optimally
Keywords: m ray search, on-line algorithms, competitive analysis, computational geometry
(Abstract)

Report No.111, October 1998 (PostScript)
Sven Schuierer:
Lower Bounds For Randomized Searching on m Rays
Keywords: Searching on m rays, On-line Algorithm, Competitive Analysis, Computational Geometry
(Abstract)

Report No.110, July 1998 (PostScript)
Jana Koehler, Joerg Hoffmann:
Planning with Goal Agendas
(Abstract)

Report No.109, August 1998 (PostScript)
Juergen Eckerle, Thomas Lais:
New Methods for Sequential Hashing with Supertrace
(Abstract)

Report No.108, July 1998 (PostScript)
Joerg Hoffmann, Jana Koehler
A new Method to Index and Query Sets
(Abstract)

Report No.107, July 1998 (PostScript)
Mikael Hammar, Bengt. J Nilsson Sven Schuierer:
Parallel Searching on m Rays
(Abstract)

Report No.106, July 1998 (PostScript)
Bernd Becker, Martin Keim:
Nearly Exact Signal Probabilities for Synchronous Sequential Circuits -- an Experimental Analysis
(Abstract)

Report No.105, July 1998 (PostScript)
Nicole Drechsler, Martin Keim:
Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits
(Abstract)

Report No.103, May 1998 (PostScript)
Lopez-Ortiz Alejandro, Sven Schuierer:
The Exact Cost of Exploring Streets with CAB
(Abstract)

Report No.102, July 1998 (PostScript)
Christoph Scholl, Bernd Becker, Thomas M. Weis:
Word-Level Decision Diagrams, WLCDs and Division
(Abstract)

Report No.101, July 1998 (PostScript)
B. Nebel:
On the Compilability and Expressive Power of Propositional Planning
(Abstract)

Report No.100, May 1998 (PostScript)
Lopez-Ortiz Alejandro, Sven Schuierer:
The Ultimate Strategy to Search on m Rays?
(Abstract)

Report No.99, January 1998 (PostScript)
Hannes Hartenstein, Xiaolin Wu:
Analysis of Trellis Quantization for Near-Lossless Image Coding
(Abstract)

Report No. 97, April 1998 (PostScript)
Sven Schuierer, Ines Semrau:
Eine optimale Suchstrategie für Straßen
(Abstract)

Report No.96, November 1997 (PostScript)
J. Renz:
A Canonical Model of the Region Connection Calculus
(Abstract)

Report No.95, November 1997 (PostScript)
Harry Hengster, Bernd Becker:
Synthesis of Fully Testable High Speed Circuits Derived from Decision Diagrams
(Abstract)

Report No.92, July 1997 (PostScript)
D. Saupe, R. Hamzaoui, H. Hartenstein:
Fractal Image Compression - An Introductory Overview
(Abstract)

Report No.91, July 1997 (PostScript)
Chr. Bacher, R. Müller, Th. Ottmann, M. Will:
Open Hypermedia Educational Environments: A Feasible Approach to Overcome Some Difficulties
(Abstract)

Report No.90, June 1997 (PostScript)
Sabine Hanke:
Chromatic Search Trees Revisited
(Abstract)

Report No.89, April 1997 (PostScript)
Bernhard Nebel, Yannis Dimopoulos, Jana Koehler:
Irrelevant Facts and Operators in Plan Generation
(Abstract)

Report No.88, August 1997 (PostScript)
J. Koehler, B. Nebel, J. Hoffmann, Y. Dimopoulos:
Extending Planning Graphs to an ADL Subset
(Abstract)

Report No.87, May 1997 (PostScript)
Jochen Renz, Bernhard Nebel:
On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus
(Abstract)

Report No.86, March 1997 (PostScript)
R. Hamzaoui:
Fast Decoding Algorithms for Fractal Image Compression
(Abstract)

Report No.85, April 1997 (PostScript)
Schlepphorst C.:
Semi-naive Evaluation of F-logic Programs
(Abstract)

Report No.84, December 1996 (PostScript)
Jürgen Frohn, Rainer Himmeröder, Paul-Th. Kandzia, Georg Lausen, Christian Schlepphorst:
FLORID - Ein Prototyp für F-Logik
(Abstract)

Report No.83, October 1996 (PostScript)
Bernhard Nebel:
How Hard is it to Revise a Belief Base?
(Abstract)

Report No.82, December 1997 (PostScript)
Paul-Th. Kandzia:
Towards Efficient Evaluation of Methods by Reduction
(Abstract)

Report No.81, June 1996 (PostScript)
Harry Hengster, Uwe Sparmann, Bernd Becker, Sudhakar M. Roddy:
Local Transformation and Robust Dependent Path Delay Faults
(Abstract)

Report No.80, May 1996 (PostScript)
Bertram Ludäscher, Wolfgang May, Georg Lausen:
Nested Transactions in a Logical Language for Active Rules
(Abstract)

Report No.79, April 1996 (PostScript)
Drechsler. Rolf, Nicole Göckel, Bernd Becker:
Learning Heuristics for OBDD Minimization by Evolutionary Algorithms
(Abstract)

Report No.78, March 1996 (PostScript)
Bertram Ludäscher, Ulrich Hamann, Georg Lausen:
A Logical Framework for Active Rules
(Abstract)

Report No.77, March 1996 (PostScript)
Thomas Ottmann:
Hochschullehrer als Autoren und Nutzer von Lehrsoftware
(Abstract)

Report No.76, February 1996 (PostScript)
Sabine Hanke, Thomas Ottmann, Sven Schuierer:
The edge--flipping distance of triangulations
(Abstract)

Report No.75, January 1996 (PostScript)
Raouf Hamzaoui:
Codebook clustering by self-organizing maps for fractal image compression
(Abstract)

Report No.74, January 1996 (PostScript)
Dietmar Saupe:
Lean domain pools for fractal image compression
(Abstract)

Report No.73, January 1996 (PostScript)
Dietmar Saupe:
Fractal image compression via nearest neighbor search
(Abstract)

Report No.72, November 1995 (PostScript)
Thomas Ottmann, Christian Bacher:
Authoring on the Fly
(Abstract)

Report No.71, November 1995 (PostScript)
Thomas Ottmann, Eljas Soisalon-Soininen:
Relaxed Balancing Made Simple
(Abstract)

Report No.70, September 1995 (PostScript)
Bertram Ludäscher, Ulrich Hamann, Georg Lausen:
Reconciling Active and Deductive Databases by States
(Abstract)

Report No.69, August 1995 (PostScript)
Wenhui Guo:
A Two-View Approach to Creating Computer Animation
(Abstract)

Report No.68, April 1995 (PostScript)
Alois P. Heinz, Christoph Hense:
Tools for Neural Trees
(Abstract)

Report No.67, January 1995 (PostScript)
Dietmar Saupe:
Accelerating Fractal Image Compression by Multi-Dimensional Nearest Neighbor Search
(Abstract)

Report No.66, January 1995 (PostScript)
Stefan Schroedl:
An Extension of Explanation-Based Generalization to Negation as Failure
(Abstract)

Report No.65, December 1994 (PostScript)
Dietmar Saupe, Raouf Hamzaoui:
Complexity Reduction Methods for Fractal Image Compression
(Abstract)

Report No.64, December 1994 (PostScript)
Amitava Datta:
Efficient Parallel Algorithms for Geometric Clustering and Partitioning Problems
(Abstract)

Report No.63, December 1994 (PostScript)
Amitava Datta, Kamala Krithivasan, Thomas Ottmann:
An Optimal Algorithm for One-separation of a Set of Isothetic Polygons, With Extensions to Higher Dimensions
(Abstract)

Report No.62, November 1994 (PostScript)
Thomas Ottmann, Sven Schuierer, Subbiah Soundaralakshmi:
Enumerating Extreme Points in Higher Dimensions
(Abstract)

Report No.61, November 1994 (PostScript - Part 1/2 see Abstract)
Thomas Ottmann, Sven Schuierer, Christoph A. Hipke:
Kompetitive Analyse für Online-Algorithmen--- Eine kommentierte Bibliographie
(Abstract)

Report No.60, October 1994 (PostScript)
Robert Fessler, Thomas Ottmann, Peter Widmayer:
Lower Bounds on the Space Requirement of a Class of Geometric Problems
(Abstract)

Report No.59, September 1994 (PostScript)
Georg Lausen, Bertram Ludäscher:
Updates by Reasoning about States
(Abstract)

Report No.58, September 1994 (PostScript)
Dietmar Saupe, Raouf Hamzaoui:
A Guided Tour of the Fractal Image Compression Literature
(Abstract)

Report No.57, September 1994 (PostScript)
Jürgen Eckerle, Sven Schuierer:
Effiziente speicherplatzbeschränkte Graph-Such-Algorithmen
(Abstract)

Report No.56, August 1994 (PostScript)
Vladimir Estivill-Castro, Sven Schuierer:
Optimal Algorithms for Stabbing Polygons by Monotone Chains
(Abstract)

Report No.55, June 1994
Sven Schuierer:
An Optimal Data Structure for Shortest Rectilinear Path Queries in a Simple Rectilinear Polygon
(Abstract)

Report No.54, June 1994 (PostScript)
Jürgen Frohn, Georg Lausen, Heinz Uphoff:
Access to Objects by Path Expressions and Rules
(Abstract)

Report No.53, May 1994 (PostScript)
Dietmar Saupe:
Breaking the Time Complexity of Fractal Image Compression
(Abstract)

Report No.52, April 1994 (PostScript)
Sven Schuierer:
An $O(\log\log n)$ Algorithm to Compute the Kernel of a Polygon
(Abstract)

Report No.51, March 1994 (PostScript)
Robert Friedrich, Thomas Ottmann, Sven Schuierer:
Two Dimensional String Matching for Non-Rectangular Patterns
(Abstract)

Report No.50, Februaryy 1994 (PostScript)
Jürgen Eckerle, Otto Nurmi:
Concurrent Perfect Balancing of Binary Search Trees
(Abstract)

Report No.49, February 1994 (PostScript)
Sven Schuierer:
An Optimal Algorithm for the Geodesic $L_1$-Parameter and Center of a Simple Polygon
(Abstract)

Report No.48, January 1994 (PostScript)
Alois P. Heinz, Christoph Hense:
Bootstrap Learning of $\alpha$-$\beta$-Evaluation Functions
(Abstract)

Report No.47, December 1993 (PostScript)
Edmund Ihler:
The Rectilinear Class Steiner Tree Problem for Intervals on Two Parallel Lines
(Abstract)

Report No.46, October 1993 (PostScript)
Anne Brüggemann-Klein:
Unambiguity of Extended Regular Expressions in SGML Document Grammars
(Abstract)

Report No.45, January 1992 (PostScript)
Anne Brüggemann-Klein, Derick Wood:
Electronic Style Sheets
(Abstract)

Report No.44, March 1992 (PostScript)
Bruno Becker, Stephan Gschwind, Thomas Ohler, Bernhard Seeger, Peter Widmayer:
Making Access Structures Partially Persistent
(Abstract)

Report No.43, March 1992 (PostScript)
Bengt J. Nilsson, Sven Schuierer:
Shortest $m$-Watchmen Routes for Histograms: The MinMax Case
(Abstract)

Report No.42, December 1991 (PostScript)
Heinrich Müller, Michael Stark:
Adaptive Generation of Surfaces in Volume Data
(Abstract)

Report No.41, December 1991 (PostScript)
Detlef Ruprecht, Heinrich Müller:
Free Form Deformation with Scattered Data Interpolation Methods
(Abstract)

Report No.40, December 1991 (PostScript)
Sven Schuierer, Derick Wood:
Restricted Orientation Visibility
(Abstract)

Report No.39, October 1991 (PostScript)
Gabriele Reich:
Finitely-Oriented Shortest Paths in the Presence of Polygonal Obstacles
(Abstract)

Report No.38, October 1991 (PostScript)
Anne Brüggemann-Klein, Derick Wood:
Deterministic Regular Languages
(Abstract)

Report No.37, September 1991 (PostScript)
Sven Schuierer, Derick Wood:
Visibility in Semi-convex Spaces
(Abstract)

Report No.36, August 1991 (PostScript)
Bruno Becker, Paolo Giulio Franciosa, Stephan Gschwind, Thomas Ohler, Gerald Thiemt, Peter Widmayer:
Enclosing Many Boxes by an Optimal Pair of Boxes
(Abstract)

Report No.35, August 1991 (PostScript)
Bruno Becker, Paolo Giulio Franciosa, Stephan Gschwind, Thomas Ohler, Gerald Thiemt, Peter Widmayer:
An Optimal Algorithm for Approximating a Set of Rectangles by Two Minimum Area Rectangles
(Abstract)

Report No.34, July 1991
Petteri Jokinen, Esko Ukkonen:
Using Suffix Automata as an Index for Approximate String Searches
(Abstract)

Report No.33, July 1991 (PostScript)
Anne Brüggemann-Klein:
Regular Expressions into Finite Automata
(Abstract)

Report No.32, July 1991 (PostScript)
Edmund Ihler:
The Complexity of Approximating the Class Steiner Tree Problem
(Abstract)

Report No.31, July 1991 (PostScript)
Bengt J. Nilsson, Sven Schuierer:
An Optimal Algorithm for the Rectilinear Link Center of a Rectilinear Polygon
(Abstract)

Report No.30, July 1991 (PostScript)
Edmund Ihler, Gabriele Reich, Peter Widmayer:
On Shortest Networks for Classes of Points in the Plane
(Abstract)

Report No.29, May 1991
Esko Ukkonen:
Approximate String Matching with $q$-grams and Maximal Matches
(Abstract)

Report No.28, April 1991 (PostScript)
Svante Carlsson, Bengt J. Nilsson, Simeon Ntafos:
Optimum Guard Covers and $m$-Watchmen Routes for Histograms
(Abstract)

Report No.27, November 1990
Peter Widmayer:
Datenstrukturen für Geodatenbanken
(Abstract)

Report No.26, November 1990 (PostScript)
Edmund Ihler:
Approximation and Existential Second-Order Logic
(Abstract)

Report No.25, October 1990 (PostScript)
Sven Schuierer:
Delaunay Triangulations and the Radiosity Approach
(Abstract)

Report No.24, July 1990 (PostScript)
Bruno Becker, Peter Widmayer:
Spatial Priority Search: An Access Technique for Scaleless Maps
(Abstract)

Report No.23, July 1990 (PostScript)
Edmund Ihler:
Bounds on the Quality of Approximate Solutions to the Group Steiner Problem
(Abstract)

Report No.22, July 1990 (PostScript)
Heinrich Müller, Michael Stark:
Interpolation of Synthetic Image Sequences Using Displacement Vector Fields
(Abstract)

Report No.21, April 1990 (PostScript)
Bernd Lamparter, Heinrich Müller, Jörg Winckler:
The Ray-z-Buffer---An Approach for Ray Tracing Arbitrarily Large Scenes
(Abstract)

Report No.20, March 1990
Heinrich Müller, Jörg Winckler, Stefan Grzybek, Matthias Otte, Bertram Stoll, Frederick Equoy, Nicolas Higelin:
The Program Animation System PASTIS
(Abstract)

Report No.19, March 1990
Peter Widmayer:
On Shortest Paths in VLSI Design
(Abstract)

Report No.18, November 1989
Andreas Hutflesz, Cora Zimmermann:
Efficient Proximity Queries Using GOAL-Hashing
(Abstract)

Report No.17, September 1989
Gabriele Reich, Peter Widmayer:
Beyond Steiner's Problem: A VLSI Oriented Generalization
(Abstract)

Report No.16, August 1989
Andreas Hutflesz, Hans-Werner Six, Peter Widmayer:
Proximity Queries in Geometric Databases
(Abstract)

Report No.15, June 1989
H. Glenn Brauen:
Issues in the Development of a Persistent Object-Oriented Programming System
(Abstract)

Report No.14, October 1988 (PostScript)
Anne Brüggemann-Klein, Derick Wood:
Drawing Trees Nicely with TeX
(Abstract)

Report No.13, June 1988 (PostScript)
Thomas Ottmann:
Bäume in der Informatik
(Abstract)

Report No.11, April 1988
Otto Nurmi, Jörg-Rüdiger Sack:
Separating a Polyhedron by One Translation from a Set of Obstacles
(Abstract)

Report No.10, February 1988
Filia Makedon, Hermann Maurer, Thomas Ottmann:
Computer Learning: A Step Beyond the Book
(Abstract)

Report No.9, January 1988 (PostScript)
Alois Heinz, Karsten Meyer:
Syntaxgesteuerte Dokumentenerstellung mit DocEdit
(Abstract)

Report No.8, December 1987
Thomas Ottmann, Gerald Thiemt, Christian Ullrich:
On Arithmetical Problems of Geometric Algorithms in the Plane
(Abstract)

Report No.7, December 1987
Rolf Klein:
Voronoi diagrams in the Moscow Metric
(Abstract)

Report No.6, December 1987
Rolf Klein, Derick Wood:
A Tight Upper Bound for the Path Length of AVL Trees
(Abstract)

Report No.5, November 1987
Rolf Klein, Derick Wood:
Voronoi Diagrams Based on General Metrics in the Plane
(Abstract)

Report No.4, November 1987
Christian Icking, Rolf Klein, Thomas Ottmann:
Priority Search Trees in Secondary Memory
(Abstract)

Report No.3, October 1987
Thomas Ottmann, Peter Widmayer:
Erstellung und Nutzung von Präsentationsgraphiklektionen für den Informatikunterricht
(Abstract)

Report No.2, October 1987
Anne Brüggemann-Klein, Derick Wood:
Document Design with HiTeX: A Step beyond LaTeX
(Abstract)

Report No.1, October 1987
Rolf Klein, Derick Wood:
On the Path Length of Binary Trees
(Abstract)