Technical reports

MIP-1301
The Potential of Polyhedral Optimization
(A. Simbürger, S. Apel, A. Größlinger, C. Lengauer)

MIP-1302
Reusing Precisions for Efficient Regression Verification
(D. Beyer, St. Löwe, E. Novikov, A. Stahlbauer, Ph. Wendler)

MIP-1303
Domain Types: Selecting Abstractions Based on Variable Usage
(S. Apel, D. Beyer, K. Friedberger, F. Raimondi, A. von Rhein)

MIP-1304
Modeling and Optimizing MapReduce Programs
(J. Dörre, S. Apel, C. Lengauer)

MIP-1201
Length-Hiding Redactable Signatures from One-Way Accumulators in O(n)
(H. Pöhls, K. Samelin, J. Posegga, H. de Meer)

MIP-1202
DAGmar: Library for DAGs
(C. Bachmaier, A. Gleissner, A. Hofmeier)

MIP-1203
Inspection Games for Selfish Network Environments
(G. Gianini, T. R. Mayer, D. Coquil, H. Kosch, L. Brunie)

MIP-1204
The Duals of Upward Planar Graphs on Cylinders
(C. Auer, C. Bachmaier, F. J. Brandenburg, A. Gleissner, K. Hanauer)

MIP-1205
Explicit-Value Analysis Based on CEGAR and Interpolation
(D. Beyer, S. Löwe)

MIP-1206
Transparent Mergeable Redactable Signatures with Signer Commitment and Applications
(H. Pöhls, K. Samelin, J. Posegga, H. de Meer)

MIP-1207
On 1-Planar Graphs with Rotation Systems
(C. Auer, F. J. Brandenburg, A. Gleissner, J. Reislhuber)

MIP-1208
Redactable vs. Sanitizable Signatures
(K. Samelin, H. Pöhls, J. Posegga, H. de Meer)

MIP-1209
Block-level Accountability for Transparent Sanitizable Signatures
(K. Samelin, H. Pöhls, J. Posegga, H. de Meer)

MIP-1210
Indistinguishability of One-Way Accumulators
(H. de Meer, M. Liedel, H. Pöhls, J. Posegga, K. Samelin)

MIP-1211
Mathematische Methoden zum Zusammensetzen einzeln erfasster dreidimensionaler Punktwolken für eine hoch genaue Vermessung großer optischer Oberflächen
(O. Smirnow, A. Zimmermann)

MIP-1212
Large-Scale Variability-Aware Type Checking and Dataflow Analysis
(J. Liebig, A. von Rhein, C. Kästner, S. Apel, J. Dörre, C. Lengauer)

MIP-1101
The Nearest Neighbor Spearman Footrule Distance for Bucket, Interval, and Partial Orders
(F. Brandenburg, A. Gleissner, A. Hofmeier)

MIP-1102
Comparing and Aggregating Partial Orders with Kendall Tau Distances
(F. Brandenburg, A. Gleissner, A. Hofmeier)

MIP-1104
Sorting Heuristics for the Feedback Arc Set Problem
(F. Brandenburg, K. Hanauer)

MIP-1105
Feature-Aware Verification
(S. Apel, H. Speidel, P. Wendler, A. von Rhein, D. Beyer)

MIP-1106
Classification of Planar Upward Embedding
(C. Auer, C. Bachmaier, F. Brandenburg, A. Gleissner)

MIP-1107
Conditional Model Checking
(D. Beyer, T. Henzinger, M.E. Keremoglu, P. Wendler)

MIP-1001
Technischer Bericht zum Brückenkurs Mathematik im Wintersemester 2009\10 im Rahmen des MINTMentoring-Projektes
(M. Hoffmann)

MIP-1002
Technischer Bericht zum Brückenkurs Mathematik im Wintersemester 2010/11 im Rahmen des MINTMentoring-Projektes
(M. Hoffmann)

MIP-0901
    An Extensible Framework for Specifying and Reasoning About Complex Role-Based Access Control Models
   (C. Alm)

MIP-0902
   The Definition of the OPL Access Control Policy Language
   (C. Alm, R. Wolf)

MIP-0903
   Evaluating RDF Querying Frameworks for Document Metadata
   (C. Schoenberg, B. Freitag)

MIP-0904
   Verification of Web-Content: A Case Study on Technical Documentation
   (C. Schoenberg, M. Jaksic, F. Weitl, B. Freitag)

MIP-0905
   Trimming algorithms for clustering contaminated grouped data and their robustness
   (M. T. Gallegos, G. Ritter)

MIP-0906
   Evaluation eines Ansatzes zur Muster-basierten Spezifikation von Konsistenzkriterien für Web-Dokumente
   (M. Jaksic)

MIP-0907
  Extracting and Storing Document Metadata
  (C. Schoenberg, B. Freitag)

MIP-0908
   Abschließender Projektbericht InteLeC - Integrierter eLearning Campus
  (B. Freitag, U. Zukowski)

MIP-0909
  Type-Safe Feature-Oriented Product Lines
  (S. Apel, C. Kästner, A. Größlinger, C. Lengauer)

MIP-0910
  Ergebnisse der Studierendenbefragung im Wintersemester 2008/09 im Rahmen des MINTMentoring Projektes
  (M. Hoffmann)

MIP-0911
  Betriebskonzept des Digitalen Monumentalbau-Archivs MonArch
  (A. Ruch, A. Stenzer, B. Freitag)

MIP-0912
  Langzeitarchivierung im Digitalen Monumentalbau-Archiv MonArch
  (A. Ruch)

MIP-0913
  Backupkonzept des Digitalen Monumentalbau-Archivs MonArch
  (A. Ruch, A. Stenzer, B. Freitag)

MIP-0914
  Themenkatalog des Digitalen Monumentalbau-Archivs MonArch
  (A. Ruch, A. Stenzer, B. Freitag)

MIP-0916
  Modeling and Control of Complex and Self-Organizing Systems
  (R. Holzer)

MIP-0801
How AspectJ is Used: An Analysis of Eleven AspectJ Programs
(S. Apel, D. Batory)

MIP-0802
An Overview of Feature Featherweight Java
(S. Apel, C. Kästner, C. Lengauer)

MIP-0803
Scanning Index Sets with Polynomial Bounds Using Cylindrical Algebraic Decomposition
(A. Größlinger)

MIP-0804
Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering
(N. Loughran, I. Groher, R. Lopez-Herrejon, S. Apel, C. Schwanninger)

MIP-0805
Temporal Patterns for Document Verification
(M. Jaksic, B. Freitag)

MIP-0806
On Feature Orientation and Functional Programming
(S. Apel, C. Kästner, A. Größlinger, C. Lengauer)

MIP-0701
On Temporal Path Conditions in Dependence Graphs
(A. Lochbihler, G. Snelting)

MIP-0702
SOLD: Self-Organizing Lookups in DHTs for better Performance over Unstable P2P Overlay Links
(A. Berl, I. Dedinski, A. Houyou, H. de Meer)

MIP-0703
Advanced Application-Level Crawling Technique for Popular Filesharing Systems
(I. Dedinski, H. de Meer)

MIP-0704
Weak Integer Quantifier Elimination Beyond the Linear Case
(A. Lasaruk, T. Sturm)

MIP-0705
Mobile P2P: Turning Heterogeneity to an Advantage
(A. Berl, I. Dedinski, E. Georgiew, H. de Meer)

MIP-0706
An Algebra for Feature-Oriented Software Development
(S. Apel, C. Lengauer, D. Batory, B. Möller, C. Kästner)

MIP-0707
A trimmed version of the EM-algorithm for contaminated mixtures
(M. T. Gallegos, G. Ritter)

MIP-0708
Euclidean vs. projective camera calibration: Algorithms and Effects on 3D-reconstruction
(T. Hanning, S. Graf)

MIP-0709
Additional constraints for Zhang's closed form solution of the camera calibration problem
(T. Hanning, R. Schöne)

MIP-0710
On the point spread function introduced by first order optics
(T. Hanning, O. Smirnow)

MIP-0711
Superimposition: A Language-Independent Approach to Software Composition
(S. Apel, C. Lengauer)

MIP-0712
An Overview of the gDEEP Calculus
(S. Apel, D. Hutchins)

MIP-0713
Modeling Energy Efficiency in Distributed Home Environments
(H. Hlavacs, K. A. Hummel, R. Weidlich, A. M. Houyou, H. de Meer)

MIP-0601
Type-Sensitive Size Parameterization of Circuit Designs by Metaprogramming
(C. Herrmann)

MIP-0602
Cooperative Keep-Alives - An Efficient Outage Detection Algorithm for Overlay Networks
(I. Dedinski, H. De Meer)

MIP-0603
A Radial Adaption of the Sugiyama Framework for Hierarchical Graph Drawing
(C. Bachmaier, M. Forster)

MIP-0604
Weak Quantifier Elimination for the Full Linear Theory of the Integers -- A Uniform Generalization of Presburger Arithmetic
(A. Lasaruk, T. Sturm)

MIP-0605
Approximation mit quadratischer Nebenbedingung
(R. Schöne, T. Hanning, A. Zimmermann)

MIP-0606
Using Atomic Changes to Explain Pointcut Deltas
(M. Stoerzer)

MIP-0607
Detecting Precedence-Related Advice Interference
(M. Stoerzer, R. Sterr, F. Forster)

MIP-0608
Crossing Reduction for Hierarchical Graphs with Intra-Level Edges
(C. Bachmaier, M. Forster)

MIP-0609
Self-Organizing Systems: New Trends in Architectures and Performance Modeling
(H. de Meer, P. Wüchner, A. Houyou (Eds.))

MIP-0610
Model-based clustering with the assignment problem
(M. T. Gallegos, G. Ritter)

MIP-0611
Modeling Finite-Source Retrial Queueing Systems with Unreliable Heterogeneous Servers and Different Service Policies using MOSEL
(G. Bolch, J. Roszik, J. Sztrik, P. Wuechner)

MIP-0611
A Source Routing Solution to Non-Transitive Connectivity Problems in Distributed Hash Tables
(I. Dedinski, A. Berl, A. Hofmann, S. Heglmeier, B. Sick, H. de Meer)

MIP-0501
P2P-based Mobility Management for Heterogeneous Wireless Networks and Mesh Networks
(A. H. Houyou, H. De Meer, M. Esterhazy)

MIP-0502
Performance of Transport Layer Protocols in LEO Pico-Satellite Constellations
(A. H. Houyou, R. Holzer, H. De Meer, M. Heindl)

MIP-0401
Efficient Projection Orders for CAD
(A. Dolzmann, A. Seidl, Th. Sturm)

MIP-0402
Gröbner Bases for Binomials with Parametric Exponents
(V. Weispfenning)

MIP-0403
Maintaining Hierarchical Graph Views for Dynamic Graphs
(M. Raitner)

MIP-0404
P-adic Root Isolation
(T. Sturm, V. Weispfenning)

MIP-0405
Projektive Rekonstruktion - Stereobildverarbeitung ohne Nebenwissen
(Simone Graf, Tobias Hanning, Robert Wagner)

MIP-0406
Generalized Constraint Solving over Differential Algebras
(A. Dolzmann, Th. Sturm)

MIP-0407
Solving Univariate P-adic Constraints
(Th. Sturm, V. Weispfenning)

MIP-0408
Generic Hermitian Quantifier Elimination
(A. Dolzmann, L. Gilch)

MIP-0409
Improved Symmetric Lists
(C. Bachmaier, M. Raitner)

MIP-0410
Automatic Staging for Image Processing
(C. Herrmann, T. Langhammer)

MIP-0301
A Generic Projection Operator for Partial Cylindrical Algebraic Decomposition
(A. Seidl, Th. Sturm)

MIP-0302
Linking a Symbolic Solver to AMPL
(I. Mazzucco)

MIP-0303
Radial Level Planarity Testing and Embedding in Linear Time
(C. Bachmaier, F.J. Brandenburg, M. Forster)

MIP-0304
Boolean Quantification in a First-Order Context
(A. Seidl, T. Sturm)

MIP-0305
Estimation of the parameters of a normal population under ambiguity
(M.T. Gallegos, G. Ritter)

MIP-0201
Canonical Comprehensive Gröbner Bases
(V. Weispfenning)

MIP-0202
Quantifier Elimination-Based Constraint Logic Programming
(T. Sturm)

MIP-0203
SYMOPT User Manual
(I. Mazzucco)

MIP-0204
Evaluating Bestmatch-Joins on Streaming Data
(A. Kemper, B. Stegmaier)

MIP-0101
Solving Systems of Linear Congruences
(A. Dolzmann, T. Sturm)

MIP-0102
A Logical Framework for the Specification of Transactions (Extended Version)
(C.-A. Wichert, A. Fent, B. Freitag)

MIP-0103
Robust clustering under general normal assumptions
(M. T. Gallegos)

MIP-0001
Deciding Linear-Trigonometric Problems
(H. Anai, V. Weispfenning)

MIP-0002
A Logical Framework for the Specification of Transactions
(C.-A. Wichert, B. Freitag, A. Fent)

MIP-0003
Local Quantifier Elimination
(A. Dolzmann, V. Weispfenning)

MIP-0004
A Robust Control System Design by a Special Quantifier Elimination
(H. Anai, S. Hara)

MIP-0005
Deciding Linear-Transcendental Problems
(V. Weispfenning)

MIP-0006
On block-skip-free transition matrices
(M. T. Gallegos)

MIP-0007
CMPP 2000, Second International Workshop on Constructive Methods for Parallel Programming
(S. Gorlatch, C. Lengauer (Eds.))

MIP-0008
The quantization dimension of self-similar probabilities
(S. Graf, H. Luschgy)

MIP-0009
On the Mechanical Tiling of Space-Time Mapped Loop Nests
(M. Griebl)

MIP-0010
On the Compositionality and Transactional Execution of Electronic Services
(C.-A. Wichert, A. Fent, B. Freitag)

MIP-0011
Points-to-Analyse für Java
(M. Streckenbach)

MIP-0012
Reach set computations using real quantifier elimination
(H. Anai, V. Weispfenning)

MIP-0013
A Robust Method for Clustering Analysis
(M. T. Gallegos)

MIP-0014
On the Dynamics of Evolutionary Games
(M. T. Gallegos)

MIP-9901
P-adic Constraint Solving
(A. Dolzmann, T. Sturm)

MIP-9902
Mixed Real-Integer Linear Quantifier Elimination - Extended Version -
(V. Weispfenning)

MIP-9903
Solving Geometric Problems with Real Quantifier Elimination
(A. Dolzmann)

MIP-9904
Computing Optimal Linear Layouts of Trees in Linear Time
(K. Skodinis)

MIP-9905
Redlog User Manual - Edition 2.0, for REDLOG Version 2.0
(A. Dolzmann, T. Sturm)

MIP-9906
Semilinear motion planning in REDLOG
(V. Weispfenning)

MIP-9907
A Compiler for HDC
(C. Herrmann, C. Lengauer, R. Günz, J. Laitenberger, C. Schaller)

MIP-9908
Index Set Splitting
(M. Griebl, P. Feautrier, C. Lengauer)

MIP-9909
ObjectGlobe: Ubiquitous Query Processing on the Internet
(R. Braumandl, M. Keidl, A. Kemper, D. Kossmann, A. Kreutz, S. Pröls, S. Seltzsam, K. Stocker)

MIP-9910
Reengineering Class Hierarchies Using Concept Analysis
(G. Snelting, F. Tip)

MIP-9911
Software Reengineering Based on Concept Lattices
(G. Snelting)

MIP-9801
A Control-flow Generator for System Analysis
(V. Braun, J. Knoop, D. Koschützki)

MIP-9802
Abstraction and Performance in the Design ofParallel Programs
(S. Gorlatch)

MIP-9803
Approaches to Parallel Quantifier Elimination
(A. Dolzmann, O. Gloor, Th. Sturm)

MIP-9804
An Algebraic Approach to Offsetting and Blending of Solids
(Th. Sturm, V. Weispfenning)

MIP-9805
CMPP'98, First International Workshop on Constructive Methods for Parallel Programming
(S. Gorlatch (Ed.))

MIP-9806
Fast Computation of the Minimum Covariance Determinant Estimator
(Chr. Pesch)

MIP-9807
Logical Transactions and Serializability
(C.-A. Wichert, B. Freitag, A. Fent)

MIP-9808
DYNAMICS'98, Proceedings of the Post-Conference Workshop on Transactions and Change in Logic Databases; Joint International Conference and Symposium on Logic Programming JICSLP'98, Manchester, UK, June 20, 1998
(A. Bonner, B. Freitag, L. Giordano (Eds.))

MIP-9809
Constant Propagation in Explicitly Parallel Programs
(J. Knoop)

MIP-9810
Order-Preserving Hash Joins: Sorting (Almost) For Free
(J. Claußen, A. Kemper, D. Kossmann)

MIP-9811
Migrating Autonomous Objects in a WAN Environment
(N. Krivokapic´, M. Islinger, A. Kemper)

MIP-9812
How to Execute ULTRA Transactions
(C.-A. Wichert, A. Fent, B. Freitag)

MIP-9813
Optimization Rules for Programming with Collective Operations
(S. Gorlatch, C. Wedler, C. Lengauer)

MIP-9814
Mixed Real-Integer Linear Quantifier Elimination
(V. Weispfennning)

MIP-9815
Linear Problems in Valued Fields
(T. Sturm)

MIP-9701
The Mechanical Parallelization of Loop Nests Containing while Loops
(M. Griebl (Disseration))

MIP-9702
Guarded Expressions in Practice
(A. Dolzmann, Th. Sturm)

MIP-9703
Complexity and Uniformity of Elimination in Presburger Arithmetic
(V. Weispfenning)

MIP-9704
Capturing Database Dynamics by Deferred Updates
(C.-A. Wichert, B. Freitag)

MIP-9705
Parallelization of Divide-and-Conquer by Translation to Nested Loops
(Chr. Herrmann, Chr. Lengauer )

MIP-9706
Optimizing Queries with Universal Quantification in Object-Oriented and Object-Relational Databases
(J. Claußen, A. Kemper, G. Moerkotte, K. Peithner)

MIP-9707
Tool Coordination in Meta Frame
(A. Claßen, B. Steffen, T. Margaria, V. Braun)

MIP-9708
Computational Geometry Problems in REDLOG
(Th. Sturm, V. Weispfenning)

MIP-9709
Parallelizing Functional Programs by Term Rewriting
(A. Geser, S. Gorlatch)

MIP-9710
Advanced Intelligent Networks '97
(T. Margaria (Hsrg.))

MIP-9711
Optimizing Compositions of Scans and Reductions in Parallel Program Derivation
(S. Gorlatch)

MIP-9712
From a Tabular Classification to Parallel Implementations of Linearly Recursive Functions
(Ch. Wedler, Ch. Lengauer)

MIP-9713
The Eventflow Model - A Concept for Real-time Control of Intelligent Autonomous Systems
(S. Burg)

MIP-9714
First-order Lax Logic as a Framework for Constraint Logic Programming
(M. Fairtlough, M. Mendler, M. Walton)

MIP-9715
Basic-block Graphs: Living Dinosaurs?
(J. Knoop, D. Koschützki, B. Steffen)

MIP-9716
Code Motion and Code Placement: Just Synonyms?
(J. Knoop, O. Rüthing, B. Steffen)

MIP-9717
Object-Oriented Specification of Distributed Systems
(U. Lechner)

MIP-9718
"Half-Perspective" Approach to Robust Ego-Motion Estimation for Calibrated Cameras
(R. Wagner, K. Donner, F. Liu)

MIP-9719
Reasoning over Networks by Symbolic Methods
(Th. Sturm)

MIP-9720
Real Quantifier Elimination in Practice
(A. Dolzmann, Th. Sturm, V. Weispfenning)

MIP-9601
Left and right Gröbner bases in Ore extensions of polynomial rings
(M. Pesch)

MIP-9602
Two-sided Gröbner bases in iterated Ore extensions
(M. Pesch)

MIP-9603
REDLOG-Computer Algebra Meets Computer Logic
(A. Dolzmann, Th. Sturm)

MIP-9604
Advanced Intelligent Networks '96
(T. Margaria (Hrsg.))

MIP-9605
Ternary Simulation: A Refinement of Binary Functions or an Abstraction of Real-Time Behaviour?
(M. Mendler, M. Fairtlough)

MIP-9606
A proof of Higman's Lemma by open induction
(A. Geser)

MIP-9607
Applying Quantifier Elimination to Problems in Simulation and Optimization
(V. Weispfenning)

MIP-9608
Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems
(A. Geser)

MIP-9609
The quantization dimension of selfsimilar sets
(S. Graf, H. Luschgy)

MIP-9610
Automatic Synthesis of Design Plans in META-Frame
(T. Margaria, B. Steffen)

MIP-9611
A New Approach for Automatic Theorem Proving in Real Geometry
(A. Dolzmann, Th. Sturm, V. Weispfenning)

MIP-9612
Dataflow Computation for Knowledge-Based Control of Autonomous Systems* **
(A. Burg)

MIP-9613
Verification of Systolic Arrays in M2L(Str)
(T. Margaria)

MIP-9614
INFINITY International Workshop on Verification of Infinite State Systems, August 30 - 31, 1996
(B. Steffen, T. Margaria (Eds.))

MIP-9615
Optimization and Evaluation of Disjunctive Queries
(J. Claussen, A. Kemper, G. Moerkotte, K. Peithner, M. Steinbrunn)

MIP-9616
Redlog User Manual
(A. Dolzmann, Th. Sturm)

MIP-9617
Deadlock Detection Agents: A Distributed Deadlock Detection Scheme
(N. Krivokapic´, A. Kemper, E. Gudes)

MIP-9618
Eliminating Partially Dead Code in Explicitly Parallel Programs
(J. Knoop)

MIP-9619
Precise Type Analysis by Abstract Interpretation
(J. Knoop, W. Golubski)

MIP-9620
Transformation-Based Bottom-Up Computation of the Well-Founded Model
(U. Zukowski, B. Freitag, S. Brass)

MIP-9501
Finite Model Checking and Beyond
(B. Steffen)

MIP-9502
A Constraint Oriented Proof Methodology Based on Modal Transition Systems
(K.G. Larsen, B. Steffen, C. Weise)

MIP-9503
Parametric Mixed Integer Programming by Elimination
(V. Weispfenning, R. Xue)

MIP-9504
Solving Parametric Polynominal Equations and Inequalities by Symbolic Algorithms
(V. Weispfenning)

MIP-9505
Compositional Minimization of Finite State Systems Using Interface Specifications
(S. Graf, B. Steffen, G. Lüttgen)

MIP-9506
Designing Data Flow Graphs by Graph Grammars
(F.J. Brandenburg, M. Himsolt, H.J. Röder, K. Skodinis)

MIP-9507
A Performance Evaluation of OID Mapping Techniques
(A. Eickler, C.A. Gerlhof, D. Kossmann)

MIP-9508
From Transformations to Methodology in Parallel Program Development: A Case Study
(S. Gorlatch)

MIP-9509
Heterogeneous Analysis and Verification for Distributed Systems
(B. Steffen, T. Margaria, A. Claßen)

MIP-9510
Method Resolution and Virtual Classes in a Deductive Object-Oriented Database
(B. Freitag)

MIP-9511
Optimal Code Motion for Parallel Programs
(J. Knoop, B. Steffen, J. Vollmer)

MIP-9512
Constructing List Homomorphisms
(S. Gorlatch)

MIP-9513
Ersatyarithmetiken für die fehlerstabile Implementation numerischer Algorithmen an Beispiel der Polynominerpolation
(K. Donner)

MIP-9514
Skalierung von Matrizen und numerische Stabilität der Gauß Elimination
(K. Donner)

MIP-9515
Orthogonale Polynome für zeitäquidistante Abtastung von Signalen
(K. Donner)

MIP-9516
Incremental Formalization: a Key to Industrial Success
(B. Steffen, T. Margaria, A. Claßen)

MIP-9517
Simplification of Quantifier-free Formulas over Ordered Fields
(A. Dolzmann, Th. Sturm)

MIP-9518
A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits
(M. Mendler)

MIP-9519
Programmiersprachen und Grundlagen der Programmierung
(T. Margaria (Ed.))

MIP-9520
The ffgraph Library
(C. Friedrich)

MIP-9522
Model states revisited
(H. Volger)

MIP-9401
Inductive Theorem Proving for Algebraic Specifications TIP System User's Manual
(U. Fraus)

MIP-9402
Composition, Decomposition and Model Checking of Pushdown Processes
(O.Burkart, B. Steffen)

MIP-9403
Chaotic Fixed Point Iterations
(A. Geser, J. Knoop, G. Lüttgen, O. Rüthing)

MIP-9404
Parametric Linear and Quadratic Optimization by Elimination
(V. Weispfenning)

MIP-9405
Hierarchical Graph Design Using HiGraD
(W. Bachl, F.J. Brandenburg, T. Hickl)

MIP-9406
A Communication Scheme for the Distributed Execution of while Loops
(M. Griebl, C. Lengauer)

MIP-9407
An Improved General Path Order
(A. Geser)

MIP-9408
The quantization of the Cantor measure
(S. Graf, H. Luschgy)

MIP-9409
Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs
(J. Knoop, B. Steffen, J. Vollmer)

MIP-9410
An Object-Oriented Airport
(U. Lechner, C. Lengauer, M. Wirsing)

MIP-9411
Semantic Extraction for the Automatic Verification of VHDL Description
(T. Margaria, M. Griva, R. Tesio)

MIP-9412
Bypassing Joins in Disjunctiv Queries
(M. Steinbrunn, K. Peithner, G. Moerkotte, A. Kemper)

MIP-9413
A Tool Kit for Constructing Optimal Interprocedural Data Flow Analyses
(J. Knoop, O. Rüthing, B. Steffen)

MIP-9414
On the Parallelization of Loop Nests Containing while Loops
(C. Lengauer, M. Griebl)

MIP-9415
Jackson's Theorems and the Number of Hidden Units in Neural Networks for Uniform Approximation
(G. Ritter)

MIP-9301
Deterministic Permutation Routing on Meshes
(B.S. Chlebus, M. Kaufmann, J.F. Sibeyn)

MIP-9302
Bondgraph Execution as a New Algorithm for Circuit Simulation
(M. Müller)

MIP-9303
Loop Parallelization in the Polytope Model
(C. Lengauer)

MIP-9304
On the Space-Time Mapping of WHILE-Loops
(M. Griebl, C. Lengauer)

MIP-9305
A New Approach to Quantifier Elimination for Real Algebra
(V. Weispfenning)

MIP-9306
Physical Object Management
(A. Kemper, G. Moerkotte)

MIP-9307
Optimizing Join Orders
(M. Steinbrunn, G. Moerkotte, A. Kemper)

MIP-9308
Optimizing Disjunctive Queries in Object Bases
(A. Kemper, G. Moerkotte, K. Peithner, M. Steinbrunn)

MIP-9309
Dual-Buffering Strategies in Object Bases
(A. Kemper, D. Kossmann)

MIP-9310
Optimal Code Motion: Theory and Practice
(J. Knoop, O. Rüthing, B. Steffen)

MIP-9311
A Pragmatic Approach to Software Synthesis
(B. Freitag, T. Margaria, B. Steffen)

MIP-9312
Pushdown Processes: Parallel Composition and Model Checking
(O. Burkart, B. Steffen)

MIP-9313
Module Configuration by Minimal Model Construction
(B. Steffen, T. Margaria, B. Freitag)

MIP-9314
A Solution to Zantema's Problem
(A. Geser)

MIP-9315
Parallelization of Divide-and-Conquer in the Bird-Meertens Formalism
(S. Gorlatch, C. Lengauer)