Auf dieser Seite finden Sie eine Liste aller technischen Berichte. Indem Sie den Links folgen, können Sie entweder einen Abstract oder die Postscript-Version des entsprechenden Berichtes aufrufen.

Die Berichte bis Dezember 1994 sind in gedruckter Form vorhanden. Falls Sie Kopien wünschen, dann schreiben Sie bitte an:

Ms. Susanne Hauser
Institut für Informatik
Universität Freiburg
Georges-Köhler-Allee 101
D-79110 Freiburg
Germany

Der Großteil der Berichte ist als Postscript-Version auf dem ftp-Server des 'Instituts für Informatik' abgelegt. Die Adresse lautet: ftp.informatik.uni-freiburg.de/documents/reports.

Bei Fragen und Problemen schreiben Sie bitte eine Mail an r_ncstrl@informatik.uni-freiburg.de !

Bericht Nr.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)

Bericht Nr.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)

Bericht Nr.249, Juli 2009 (PostScript)

Gian Diego Tipaldi, Kai O. Arras:

FLIRT -- Interest Regions for 2D Range Data

Keywords: mobile robots, feature extraction, range data

(Abstract)

Bericht Nr.248, Juli 2009 (PostScript)

Stefan Wehr:

Formalizing CoreGI

Keywords: Java, JavaGI, Formalization, Type Soundness, Decidability

(Abstract)

Bericht Nr.247, Juli 2009 (PostScript)

Stefan Wehr, Peter Thiemann:

JavaGI in the Battlefield: Practical Experience with Generalized Interfaces

Keywords: Java, JavaGI, implementation, case study, benchmarks

(Abstract)

Bericht Nr.244, Dezember 2008 (PostScript)

Christian Kretschmer, Stefan Ruehrup, Christian Schindelhauer:

Delay-tolerant On-demand Routing for Mobile Ad hoc Networks

Keywords: --

(Abstract)

Bericht Nr.243, Oktober 2008 (PostScript)

Markus Degen, Peter Thiemann, Stefan Wehr:

Contract Monitoring and Call-by-name Evaluation

Keywords: --

(Abstract)

Bericht Nr.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)

Bericht Nr.241, Juli 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)

Bericht Nr.240, Juni 2008 (PostScript)

Stefan Wehr, Peter Thiemann:

Subtyping Existential Types

Keywords: programming languages, java, type theory, existential types, subtyping, undecidability

(Abstract)

Bericht Nr.239, Juni 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)

Bericht Nr.238, Juli 2008 (PostScript)

PAscal Bercher, Robert Mattmüller:

A Planning Graph Heuristic for Forward-Chaining Adversarial Planning

Keywords: --

(Abstract)

Bericht Nr.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)

Bericht Nr.234, April 2007 (PostScript)

A. Kleiner, D. Sun:

Decentralized SLAM for Pedestrians without direct Communication

Keywords: Decentralized SLAM Emergency Response

(Abstract)

Bericht Nr.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)

Bericht Nr.232, April 2007 (PostScript)

C. Maindorfer:

Relaxed Min-Augmented Range Trees for Dynamic IP Router Tables

Keywords: --

(Abstract)

Bericht Nr.231, März 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)

Bericht Nr.230, März 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)

Bericht Nr.229, Februar 2007 (PostScript)

Alexander Kleiner, Moritz Goebelbecker:

Rescue3D: Making rescue simulation attractive to the public

Keywords: rescue, tool, visualization, robocup

(Abstract)

Bericht Nr.228, Januar 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)

Bericht Nr.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)

Bericht Nr.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)

Bericht Nr.225, August 2006 (PostScript)

C. Kupich, K. A. Mohamed:

Conflict Detection in Internet Router Tables

Keywords: filter conflict, detection, reporting, classification

(Abstract)

Bericht Nr.224, Februar 2006 (PostScript)

Malte Helmert, Robert Mattmüller, Gabi Röger:

Approximation Properties of Planning Benchmarks

Keywords: planning, approximation, complexity

(Abstract)

Bericht Nr.223, Januar 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)

Bericht Nr.222, Januar 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)

Bericht Nr.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)

Bericht Nr.220, Juli 2005 (PostScript)

Jussi Rintanen:

State-Space Traversal Techniques for Planning

Keywords: planning, state-space search

(Abstract)

Bericht Nr.219, Mai 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)

Bericht Nr.218, April 2005 (PostScript)

Joerg Hoffmann, Sebastian Kupferschmid:

A Covering Problem for Hypercubes

Keywords: geometric reasoning, constraint satisfaction, satisfiability, search

(Abstract)

Bericht Nr.217, März 2005 (PostScript)

Malte Helmert:

The Fast Downward Planning System

Keywords: planning, heuristics

(Abstract)

Bericht Nr.216, Januar 2005 (PostScript)

Jussi Rintanen, Keijo Heljanko, Ilkka Niemela:

Planning as satisfiability: parallel plans and algorithms for plan search

Keywords: planning, satisfiability testing

(Abstract)

Bericht Nr.215, Dezember 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)

Bericht Nr.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)

Bericht Nr.212, August 2004 (PostScript)

Matthias Neubauer, Peter Thiemann:

Protocol Specialization

Keywords: Concurrent Functional Programming, Types, Program Specialization

(Abstract)

Bericht Nr.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)

Bericht Nr.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)

Bericht Nr.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)

Bericht Nr.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)

Bericht Nr.207, August 2004 (PostScript)

K. A. Mohamed, Th. Ottmann:

Recognising sketch objects as gestures via autonomous agents

Keywords: digital ink, pen gestures

(Abstract)

Bericht Nr.206, Juli 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)

Bericht Nr.205, Juni 2004 (PostScript)

Jussi Rintanen:

Conditional Planning in the Discrete Belief Space

Keywords: planning, partial observability, algorithms

(Abstract)

Bericht Nr.204, Mai 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)

Bericht Nr.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)

Bericht Nr.202, Mai 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)

Bericht Nr.201, Mai 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)

Bericht Nr.200, April 2004 (PostScript)

Timo Nüssle, Alexander Kleiner, Michael Brenner:

Approaching Urban Disaster Reality: The ResQ Firesimulator

Keywords: --

(Abstract)

Bericht Nr.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)

Bericht Nr.198, Februar 2004 (PostScript)

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä:

Parallel Encodings of Classical Planning as Satisfiability

Keywords: planning, propositional logic, satisfiability testing

(Abstract)

Bericht Nr.197, Februar 2004 (PostScript)

J. Hoffmann, J. Porteous, L. Sebastia:

Ordered Landmarks

Keywords: Planning, Domain Analysis

(Abstract)

Bericht Nr.196, Februar 2004 (PostScript)

Stefan Edelkamp, Alberto Lluch-Lafuente:

Abstraction Databases

Keywords: model checking, abstraction, heuristic search

(Abstract)

Bericht Nr.195, Januar 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)

Bericht Nr.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)

Bericht Nr.192, August 2003 (PostScript)

Thomas Eschbach, Wolfgang Günther, Bernd Becker:

Orthogonal Hypergraph Routing for Improved Visibility

Keywords: Othorgonal, Hypergraph, Visualisation, Visibility Routing

(Abstract)

Bericht Nr.191, Dezember 2003 (PostScript)

Jan-Georg Smaus:

Termination of Logic Programs for Various Dynamic Selection Rules

Keywords: logic programming, termination, dynamic scheduling, input-consuming derivations

(Abstract)

Bericht Nr.190, August 2003 (PostScript)

Michael Brenner:

Multiagent Planning with Partially Ordered Temporal Plans

Keywords: Multiagent Systems, Planning

(Abstract)

Bericht Nr.189, Juli 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)

Bericht Nr.188, Juli 2003 (PostScript)

Marc Herbstritt:

zChaff: Modifications and Extensions

Keywords: Satisfiability, Davis-Putnam, Conflict Analysis

(Abstract)

Bericht Nr.187, Juli 2003 (PostScript)

David: Wolff Basin:

Theorem Proving in Higher Order Logics 2003 --- Proceedings of the Emerging Trends Track

Keywords: Theorem Proving, Semantics, Verification

(Abstract)

Bericht Nr.186, Juli 2003 (PostScript)

Felix Klaedtke:

On the Automata Size for Presburger Arithmetic

Keywords: Presburger Arithmetic, Automata, Complexity

(Abstract)

Bericht Nr.185, März 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)

Bericht Nr.184, Februar 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)

Bericht Nr.183, Januar 2003 (PostScript)

Ronen I. Brafman, Joerg Hoffmann:

Conformant Planning via Heuristic Forward Search

Keywords: planning, uncertainty

(Abstract)

Bericht Nr.182, Dezember 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)

Bericht Nr.181, Dezember 2002 (PostScript)

Richard Mayr:

Weak Bisimilarity and Regularity of BPA is EXPTIME-hard

Keywords: Context-free processes, BPA, weak bisimulation, complexity

(Abstract)

Bericht Nr.180, Dezember 2002 (PostScript)

Tilman Mehler, Stefan Edelkamp:

Trail-directed Java Program Verification

Keywords: Modelchecking, Software Verification, Java PathFinder, heuristics

(Abstract)

Bericht Nr.179, Oktober 2002 (PostScript)

Simon Helsen:

An Equational Theory for a Region Calculus - Revised

Keywords: regions, equational theory, bisimulation, operational equivalence

(Abstract)

Bericht Nr.178, Oktober 2002 (PostScript)

Uwe Jendricke, Michael Kreutzer, Alf Zugenmaier:

Mobile Identity Management

Keywords: privacy mobility identity manager pda ubiquitous security

(Abstract)

Bericht Nr.177, Juli 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)

Bericht Nr.176, Juli 2002 (PostScript)

Alberto Lluch Lafuente:

Simplified Distributed LTL Model Checking by Localizing Cycles

Keywords: Distributed, parallel LTL Model Checking, cycle detection, localizing cycles

(Abstract)

Bericht Nr.175, Juni 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)

Bericht Nr.174, Juni 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)

Bericht Nr.173, April 2002 (PostScript)

Simon Helsen, Peter Thiemann:

Polymorphic Specialization for ML

Keywords: regions, binding-time analysis, specialization

(Abstract)

Bericht Nr.172, April 2002 (PostScript)

Simon Helsen:

An Equational Theory for a Region Calculus

Keywords: regions, equational theory, bisimulation, operational equivalence

(Abstract)

Bericht Nr.171, Dezember 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)

Bericht Nr.170, Januar 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)

Bericht Nr.169, Januar 2002 (PostScript)

Joerg Hoffmann:

Extending FF to Numerical State Variables

Keywords: planning

(Abstract)

Bericht Nr.168, Januar 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)

Bericht Nr.166, Januar 2002 (PostScript)

F. "Wei, G." Lausen:

Query Containment for Conjunctive Queries with Safe Negation

Keywords: Containment Checking, Negation

(Abstract)

Bericht Nr.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)

Bericht Nr.164, Dezember 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)

Bericht Nr.162, Oktober 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)

Bericht Nr.161, Oktober 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)

Bericht Nr.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)

Bericht Nr.159, August 2001 (PostScript)

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)

Bericht Nr.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)

Bericht Nr.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)

Bericht Nr.156, Juli 2001 (PostScript)

Stephan Trahasch:

Funktionen einer Uebungskomponente fuer netzgestuetzte Kurse

Keywords: Lehr-/Lernplattform, Uebungsbetrieb, Virtuelle Hochschule

(Abstract)

Bericht Nr.155, Juli 2001 (PostScript)

Michael Brenner:

A Formal Model of Planning for Concurrency

Keywords: multi-agent planning, temporal planning, complex domain models, concurrency

(Abstract)

Bericht Nr.154, Juni 2001 (PostScript)

David Basin, Frank Rittinger, Luca Viganò:

A Formal Analysis of the CORBA Security Service

Keywords: CORBA Security,Formal Methods,Specification,Z

(Abstract)

Bericht Nr.153, Mai 2001 (PostScript)

Joerg Hoffmann, Bernhard Nebel:

RIFO Revisited: Detecting Relaxed Irrelevance

Keywords: planning

(Abstract)

Bericht Nr.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)

Bericht Nr.150, April 2001 (PostScript)

Stefan Edelkamp:

Prediction of Regular Search Tree Growth by Spectral Analysis

Keywords: Heuristic Search, Computational Complexity

(Abstract)

Bericht Nr.149, Februar 2001 (PostScript)

WOlfgang May:

XPath-Logic and XPathLog: A Logic-Based Approach for Declarative XML Data Manipulation

Keywords: Semistructured Data, XML, Database Language

(Abstract)

Bericht Nr.148, Februar 2001 (PostScript)

Cristiano Calcagno, Simon Helsen, Peter Thiemann:

Syntactic Type Soundness Results for the Region Calculus

Keywords: Operational Semantics, Regions

(Abstract)

Bericht Nr.147, Januar 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)

Bericht Nr.146, Januar 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)

Bericht Nr.145, Oktober 2000 (PostScript)

Christoph Scholl, Bernd Becker:

Checking Equivalence for Partial Implementations

Keywords: Equivalence Check, Partial Implementations, Verification, Symbolic Methods

(Abstract)

Bericht Nr.144, Oktober 2000 (PostScript)

Wolfgang Guenther:

Speeding up Dynamic Minimization of Linearly Transformed BDDs

Keywords: Binary Decision Diagrams, Linear Transformations, Minimization, Lower Bounds

(Abstract)

Bericht Nr.143, Oktober 2000 (PostScript)

Pedro Jose Marron, Georg Lausen:

Design and Applicability of a Transparent Network Redirection Layer

Keywords: Middleware, Caching, Internet Protocol, HTTP, LDAP

(Abstract)

Bericht Nr.142, Oktober 2000 (PostScript)

Stefan Edelkamp:

Planning with Pattern Databases

Keywords: Planning, Search, Pattern, Data Bases

(Abstract)

Bericht Nr.141, Oktober 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)

Bericht Nr.140, Mai 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)

Bericht Nr.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)

Bericht Nr.138, April 2000 (PostScript)

Martin Schmidt, Marcel Wagner:

Linear Prediction Coder -- Sprachkodierverfahren mit niedrigen Datenraten

Keywords: audio coding, CELP, LPC-10

(Abstract)

Bericht Nr.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)

Bericht Nr.136, März 2000 (PostScript)

W. May, G. Lausen:

Information Extraction from the Web

Keywords: information extraction, information integration, deductive databases, F-Logic

(Abstract)

Bericht Nr.135, März 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)

Bericht Nr.134, März 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)

Bericht Nr.133, Januar 2000 (PostScript)

Joerg Hoffmann:

A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm

Keywords: planning

(Abstract)

Bericht Nr.132, Januar 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)

Bericht Nr.131, Dezember 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)

Bericht Nr.130, Oktober 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)

Bericht Nr.129, September 1999 (PostScript)

Stefan Edelkamp:

Dictionary Automaton in Optimal Space

Keywords: String Dictionary, Substring Matching, Multi Suffix Tree,

(Abstract)

Bericht Nr.128, August 1999 (PostScript)

Jana Koehler:

Handling of Conditional Effects and Negative Goals in IPP

Keywords: artificial intelligence planning

(Abstract)

Bericht Nr.127, August 1999 (PostScript)

Jana Koehler:

Metric Planning using Planning Graphs - A First Investigation

Keywords: artificial intelligence planning

(Abstract)

Bericht Nr.126, August 1999 (PostScript)

Jana Koehler:

RIFO within IPP

Keywords: artificial intelligence planning

(Abstract)

Bericht Nr.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)

Bericht Nr.124, Juli 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)

Bericht Nr.123, Juli 1999 (PostScript)

Ralf Herz, Hannes Hartenstein:

Signalverarbeitungs-Praktikum: DSP-PC Kommunikation mit dem Texas Instruments TMS320C6x EVM

Keywords: Digital Signal Processor, Sprachkodierung

(Abstract)

Bericht Nr.122, Mai 1999 (PostScript)

Jana Koehler, Joerg Hoffmann:

Handling of Inertia in a Planning System

Keywords: AI planning

(Abstract)

Bericht Nr.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)

Bericht Nr.120, April 1999 (PostScript)

S. Edelkamp, F. Reffel:

Deterministic State Space Planning with BDDs

Keywords: Planning, State Space Search, BDDs

(Abstract)

Bericht Nr.119, Februar 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)

Bericht Nr.118, März 1999 (PostScript)

B. Nebel:

What is the Expressive Power of Disjunctive Preconditions?

Keywords: planning, expressiveness, computational complexity

(Abstract)

Bericht Nr.117, Dezember 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)

Bericht Nr.116, Dezember 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)

Bericht Nr.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)

Bericht Nr.114, Januar 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)

Bericht Nr.112, Oktober 1998 (PostScript)

Sven Schuierer:

Searching on m Bounded Rays Optimally

Keywords: m ray search, on-line algorithms, competitive analysis, computational geometry

(Abstract)

Bericht Nr.111, Oktober 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)

Bericht Nr.110, Juli 1998 (PostScript)

Jana Koehler, Joerg Hoffmann:

Planning with Goal Agendas

(Abstract)

Bericht Nr.109, August 1998 (PostScript)

Juergen Eckerle, Thomas Lais:

New Methods for Sequential Hashing with Supertrace

(Abstract)

Bericht Nr.108, Juli 1998 (PostScript)

Joerg Hoffmann, Jana Koehler

A new Method to Index and Query Sets

(Abstract)

Bericht Nr.107, Juli 1998 (PostScript)

Mikael Hammar, Bengt. J Nilsson Sven Schuierer:

Parallel Searching on $m$ Rays

(Abstract)

Bericht Nr.106, Juli 1998 (PostScript)

Bernd Becker, Martin Keim:

Nearly Exact Signal Probabilities for Synchronous Sequential Circuits -- an Experimental Analysis

(Abstract)

Bericht Nr.105, Juli 1998 (PostScript)

Nicole Drechsler, Martin Keim:

Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits

(Abstract)

Bericht Nr.103, Mai 1998 (PostScript)

Lopez-Ortiz Alejandro, Sven Schuierer:

The Exact Cost of Exploring Streets with CAB

(Abstract)

Bericht Nr.102, Juli 1998 (PostScript)

Christoph Scholl, Bernd Becker, Thomas M. Weis:

Word-Level Decision Diagrams, WLCDs and Division

(Abstract)

Bericht Nr.101, Juli 1998 (PostScript)

B. Nebel:

On the Compilability and Expressive Power of Propositional Planning

(Abstract)

Bericht Nr.100, Mai 1998 (PostScript)

Lopez-Ortiz Alejandro, Sven Schuierer:

The Ultimate Strategy to Search on m Rays?

(Abstract)

Bericht Nr.99, Januar 1998 (PostScript)

Hannes Hartenstein, Xiaolin Wu:

Analysis of Trellis Quantization for Near-Lossless Image Coding

(Abstract)

Bericht Nr. 97, April 1998 (PostScript)

Sven Schuierer, Ines Semrau:

Eine optimale Suchstrategie für Straßen

(Abstract)

Bericht Nr.96, November 1997 (PostScript)

J. Renz:

A Canonical Model of the Region Connection Calculus

(Abstract)

Bericht Nr.95, November 1997 (PostScript)

Harry Hengster, Bernd Becker:

Synthesis of Fully Testable High Speed Circuits Derived from Decision Diagrams

(Abstract)

Bericht Nr.92, Juli 1997 (PostScript)

D. Saupe, R. Hamzaoui, H. Hartenstein:

Fractal Image Compression - An Introductory Overview

(Abstract)

Bericht Nr.91, Juli 1997 (PostScript)

Chr. Bacher, R. Müller, Th. Ottmann, M. Will:

Open Hypermedia Educational Environments: A Feasible Approach to Overcome Some Difficulties

(Abstract)

Bericht Nr.90, Juni 1997 (PostScript)

Sabine Hanke:

Chromatic Search Trees Revisited

(Abstract)

Bericht Nr.89, April 1997 (PostScript)

Bernhard Nebel, Yannis Dimopoulos, Jana Koehler:

Irrelevant Facts and Operators in Plan Generation

(Abstract)

Bericht Nr.88, August 1997 (PostScript)

J. Koehler, B. Nebel, J. Hoffmann, Y. Dimopoulos:

Extending Planning Graphs to an ADL Subset

(Abstract)

Bericht Nr.87, Mai 1997 (PostScript)

Jochen Renz, Bernhard Nebel:

On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus

(Abstract)

Bericht Nr.86, March 1997 (PostScript)

R. Hamzaoui:

Fast Decoding Algorithms for Fractal Image Compression

(Abstract)

Bericht Nr.85, April 1997 (PostScript)

Schlepphorst C.:

Semi-naive Evaluation of F-logic Programs

(Abstract)

Bericht Nr.84, Dezember 1996 (PostScript)

Jürgen Frohn, Rainer Himmeröder, Paul-Th. Kandzia, Georg Lausen, Christian Schlepphorst:

FLORID - Ein Prototyp für F-Logik

(Abstract)

Bericht Nr.83, Oktober 1996 (PostScript)

Bernhard Nebel:

How Hard is it to Revise a Belief Base?

(Abstract)

Bericht Nr.82, Dezember 1997 (PostScript)

Paul-Th. Kandzia:

Towards Efficient Evaluation of Methods by Reduction

(Abstract)

Bericht Nr.81, Juni 1996 (PostScript)

Harry Hengster, Uwe Sparmann, Bernd Becker, Sudhakar M. Roddy:

Local Transformation and Robust Dependent Path Delay Faults

(Abstract)

Bericht Nr.80, Mai 1996 (PostScript)

Bertram Ludäscher, Wolfgang May, Georg Lausen:

Nested Transactions in a Logical Language for Active Rules

(Abstract)

Bericht Nr.79, April 1996 (PostScript)

Drechsler. Rolf, Nicole Göckel, Bernd Becker:

Learning Heuristics for OBDD Minimization by Evolutionary Algorithms

(Abstract)

Bericht Nr.78, March 1996 (PostScript)

Bertram Ludäscher, Ulrich Hamann, Georg Lausen:

A Logical Framework for Active Rules

(Abstract)

Bericht Nr.77, March 1996 (PostScript)

Thomas Ottmann:

Hochschullehrer als Autoren und Nutzer von Lehrsoftware

(Abstract)

Bericht Nr.76, Februar 1996 (PostScript)

Sabine Hanke, Thomas Ottmann, Sven Schuierer:

The edge--flipping distance of triangulations

(Abstract)

Bericht Nr.75, Januar 1996 (PostScript)

Raouf Hamzaoui:

Codebook clustering by self-organizing maps for fractal image compression

(Abstract)

Bericht Nr.74, Januar 1996 (PostScript)

Dietmar Saupe:

Lean domain pools for fractal image compression

(Abstract)

Bericht Nr.73, Januar 1996 (PostScript)

Dietmar Saupe:

Fractal image compression via nearest neighbor search

(Abstract)

Bericht Nr.72, November 1995 (PostScript)

Thomas Ottmann, Christian Bacher:

Authoring on the Fly

(Abstract)

Bericht Nr.71, November 1995 (PostScript)

Thomas Ottmann, Eljas Soisalon-Soininen:

Relaxed Balancing Made Simple

(Abstract)

Bericht Nr.70, September 1995 (PostScript)

Bertram Ludäscher, Ulrich Hamann, Georg Lausen:

Reconciling Active and Deductive Databases by States

(Abstract)

Bericht Nr.69, August 1995 (PostScript)

Wenhui Guo:

A Two-View Approach to Creating Computer Animation

(Abstract)

Bericht Nr.68, April 1995 (PostScript)

Alois P. Heinz, Christoph Hense:

Tools for Neural Trees

(Abstract)

Bericht Nr.67, Januar 1995 (PostScript)

Dietmar Saupe:

Accelerating Fractal Image Compression by Multi-Dimensional Nearest Neighbor Search

(Abstract)

Bericht Nr.66, Januar 1995 (PostScript)

Stefan Schroedl:

An Extension of Explanation-Based Generalization to Negation as Failure

(Abstract)

Bericht Nr.65, Dezember 1994 (PostScript)

Dietmar Saupe, Raouf Hamzaoui:

Complexity Reduction Methods for Fractal Image Compression

(Abstract)

Bericht Nr.64, Dezember 1994 (PostScript)

Amitava Datta:

Efficient Parallel Algorithms for Geometric Clustering and Partitioning Problems

(Abstract)

Bericht Nr.63, Dezember 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)

Bericht Nr.62, November 1994 (PostScript)

Thomas Ottmann, Sven Schuierer, Subbiah Soundaralakshmi:

Enumerating Extreme Points in Higher Dimensions

(Abstract)

Bericht Nr.61, November 1994 (PostScript)

Thomas Ottmann, Sven Schuierer, Christoph A. Hipke:

Kompetitive Analyse für Online-Algorithmen--- Eine kommentierte Bibliographie

(Abstract)

Bericht Nr.60, Oktober 1994 (PostScript)

Robert Fessler, Thomas Ottmann, Peter Widmayer:

Lower Bounds on the Space Requirement of a Class of Geometric Problems

(Abstract)

Bericht Nr.59, September 1994 (PostScript)

Georg Lausen, Bertram Ludäscher:

Updates by Reasoning about States

(Abstract)

Bericht Nr.58, September 1994 (PostScript)

Dietmar Saupe, Raouf Hamzaoui:

A Guided Tour of the Fractal Image Compression Literature

(Abstract)

Bericht Nr.57, September 1994 (PostScript)

Jürgen Eckerle, Sven Schuierer:

Effiziente speicherplatzbeschränkte Graph-Such-Algorithmen

(Abstract)

Bericht Nr.56, August 1994 (PostScript)

Vladimir Estivill-Castro, Sven Schuierer:

Optimal Algorithms for Stabbing Polygons by Monotone Chains

(Abstract)

Bericht Nr.55, Juni 1994

Sven Schuierer:

An Optimal Data Structure for Shortest Rectilinear Path Queries in a Simple Rectilinear Polygon

(Abstract)

Bericht Nr.54, Juni 1994 (PostScript)

Jürgen Frohn, Georg Lausen, Heinz Uphoff:

Access to Objects by Path Expressions and Rules

(Abstract)

Bericht Nr.53, Mai 1994 (PostScript)

Dietmar Saupe:

Breaking the Time Complexity of Fractal Image Compression

(Abstract)

Bericht Nr.52, April 1994 (PostScript)

Sven Schuierer:

An $O(\log\log n)$ Algorithm to Compute the Kernel of a Polygon

(Abstract)

Bericht Nr.51, March 1994 (PostScript)

Robert Friedrich, Thomas Ottmann, Sven Schuierer:

Two Dimensional String Matching for Non-Rectangular Patterns

(Abstract)

Bericht Nr.50, February 1994 (PostScript)

Jürgen Eckerle, Otto Nurmi:

Concurrent Perfect Balancing of Binary Search Trees

(Abstract)

Bericht Nr.49, Februar 1994 (PostScript)

Sven Schuierer:

An Optimal Algorithm for the Geodesic $L_1$-Parameter and Center of a Simple Polygon

(Abstract)

Bericht Nr.48, Januar 1994 (PostScript)

Alois P. Heinz, Christoph Hense:

Bootstrap Learning of $\alpha$-$\beta$-Evaluation Functions

(Abstract)

Bericht Nr.47, Dezember 1993 (PostScript)

Edmund Ihler:

The Rectilinear Class Steiner Tree Problem for Intervals on Two Parallel Lines

(Abstract)

Bericht Nr.46, Oktober 1993 (PostScript)

Anne Brüggemann-Klein:

Unambiguity of Extended Regular Expressions in SGML Document Grammars

(Abstract)

Bericht Nr.45, Januar 1992 (PostScript)

Anne Brüggemann-Klein, Derick Wood:

Electronic Style Sheets

(Abstract)

Bericht Nr.44, March 1992 (PostScript)

Bruno Becker, Stephan Gschwind, Thomas Ohler, Bernhard Seeger, Peter Widmayer:

Making Access Structures Partially Persistent

(Abstract)

Bericht Nr.43, March 1992 (PostScript)

Bengt J. Nilsson, Sven Schuierer:

Shortest $m$-Watchmen Routes for Histograms: The MinMax Case

(Abstract)

Bericht Nr.42, Dezember 1991 (PostScript)

Heinrich Müller, Michael Stark:

Adaptive Generation of Surfaces in Volume Data

(Abstract)

Bericht Nr.41, Dezember 1991 (PostScript)

Detlef Ruprecht, Heinrich Müller:

Free Form Deformation with Scattered Data Interpolation Methods

(Abstract)

Bericht Nr.40, Dezember 1991 (PostScript)

Sven Schuierer, Derick Wood:

Restricted Orientation Visibility

(Abstract)

Bericht Nr.39, Oktober 1991 (PostScript)

Gabriele Reich:

Finitely-Oriented Shortest Paths in the Presence of Polygonal Obstacles

(Abstract)

Bericht Nr.38, Oktober 1991 (PostScript)

Anne Brüggemann-Klein, Derick Wood:

Deterministic Regular Languages

(Abstract)

Bericht Nr.37, September 1991 (PostScript)

Sven Schuierer, Derick Wood:

Visibility in Semi-convex Spaces

(Abstract)

Bericht Nr.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)

Bericht Nr.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)

Bericht Nr.34, Juli 1991

Petteri Jokinen, Esko Ukkonen:

Using Suffix Automata as an Index for Approximate String Searches

(Abstract)

Bericht Nr.33, Juli 1991 (PostScript)

Anne Brüggemann-Klein:

Regular Expressions into Finite Automata

(Abstract)

Bericht Nr.32, Juli 1991 (PostScript)

Edmund Ihler:

The Complexity of Approximating the Class Steiner Tree Problem

(Abstract)

Bericht Nr.31, Juli 1991 (PostScript)

Bengt J. Nilsson, Sven Schuierer:

An Optimal Algorithm for the Rectilinear Link Center of a Rectilinear Polygon

(Abstract)

Bericht Nr.30, Juli 1991 (PostScript)

Edmund Ihler, Gabriele Reich, Peter Widmayer:

On Shortest Networks for Classes of Points in the Plane

(Abstract)

Bericht Nr.29, Mai 1991

Esko Ukkonen:

Approximate String Matching with $q$-grams and Maximal Matches

(Abstract)

Bericht Nr.28, April 1991 (PostScript)

Svante Carlsson, Bengt J. Nilsson, Simeon Ntafos:

Optimum Guard Covers and $m$-Watchmen Routes for Histograms

(Abstract)

Bericht Nr.27, November 1990

Peter Widmayer:

Datenstrukturen für Geodatenbanken

(Abstract)

Bericht Nr.26, November 1990 (PostScript)

Edmund Ihler:

Approximation and Existential Second-Order Logic

(Abstract)

Bericht Nr.25, Oktober 1990 (PostScript)

Sven Schuierer:

Delaunay Triangulations and the Radiosity Approach

(Abstract)

Bericht Nr.24, Juli 1990 (PostScript)

Bruno Becker, Peter Widmayer:

Spatial Priority Search: An Access Technique for Scaleless Maps

(Abstract)

Bericht Nr.23, Juli 1990 (PostScript)

Edmund Ihler:

Bounds on the Quality of Approximate Solutions to the Group Steiner Problem

(Abstract)

Bericht Nr.22, Juli 1990 (PostScript)

Heinrich Müller, Michael Stark:

Interpolation of Synthetic Image Sequences Using Displacement Vector Fields

(Abstract)

Bericht Nr.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)

Bericht Nr.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)

Bericht Nr.19, March 1990

Peter Widmayer:

On Shortest Paths in VLSI Design

(Abstract)

Bericht Nr.18, November 1989

Andreas Hutflesz, Cora Zimmermann:

Efficient Proximity Queries Using GOAL-Hashing

(Abstract)

Bericht Nr.17, September 1989

Gabriele Reich, Peter Widmayer:

Beyond Steiner's Problem: A VLSI Oriented Generalization

(Abstract)

Bericht Nr.16, August 1989

Andreas Hutflesz, Hans-Werner Six, Peter Widmayer:

Proximity Queries in Geometric Databases

(Abstract)

Bericht Nr.15, Juni 1989

H. Glenn Brauen:

Issues in the Development of a Persistent Object-Oriented Programming System

(Abstract)

Bericht Nr.14, Oktober 1988 (PostScript)

Anne Brüggemann-Klein, Derick Wood:

Drawing Trees Nicely with TeX

(Abstract)

Bericht Nr.13, Juni 1988 (PostScript)

Thomas Ottmann:

Bäume in der Informatik

(Abstract)

Bericht Nr.11, April 1988

Otto Nurmi, Jörg-Rüdiger Sack:

Separating a Polyhedron by One Translation from a Set of Obstacles

(Abstract)

Bericht Nr.10, Februar 1988

Filia Makedon, Hermann Maurer, Thomas Ottmann:

Computer Learning: A Step Beyond the Book

(Abstract)

Bericht Nr.9, Januar 1988 (PostScript)

Alois Heinz, Karsten Meyer:

Syntaxgesteuerte Dokumentenerstellung mit DocEdit

(Abstract)

Bericht Nr.7, Dezember 1987

Rolf Klein:

Voronoi diagrams in the Moscow Metric

(Abstract)

Bericht Nr.6, Dezember 1987

Rolf Klein, Derick Wood:

A Tight Upper Bound for the Path Length of AVL Trees

(Abstract)

Bericht Nr.5, November 1987

Rolf Klein, Derick Wood:

Voronoi Diagrams Based on General Metrics in the Plane

(Abstract)

Bericht Nr.4, November 1987

Christian Icking, Rolf Klein, Thomas Ottmann:

Priority Search Trees in Secondary Memory

(Abstract)

Bericht Nr.3, Oktober 1987

Thomas Ottmann, Peter Widmayer:

Erstellung und Nutzung von Präsentationsgraphiklektionen für den Informatikunterricht

(Abstract)

Bericht Nr.2, Oktober 1987

Anne Brüggemann-Klein, Derick Wood:

Document Design with HiTeX: A Step beyond LaTeX

(Abstract)

Bericht Nr.1, Oktober 1987

Rolf Klein, Derick Wood:

On the Path Length of Binary Trees

(Abstract)