Faculty of Computer Science and Mathematics
Technical reports

Technical reports

2016

MIP 1602
BenchBuild: A Large-Scale Empirical-Research Toolkit
(A. Simbürger, F. Sattler, A. Größlinger, C. Lengauer)

MIP 1603
Abusing Web Browsers for Hidden Content Storage and Distribution
(J. D. Parra Rodriguez, J. Posegga)

2015

MIP 1501
Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes
(D. Beyer, S. Löwe, P. Wendler)

MIP 1502
Optimizations Applied by the ExaStencils Code Generator
(S. Kronawitter, C. Lengauer)

MIP 1503
Combining k-Induction with Continuously-Refined Invariants

(D. Beyer, M. Dangl, P. Wendler)

MIP 1504
Lifting Inter-App Data-Flow Analysis to Large App Sets
(A. von Rhein, T. Berger, N. Schalck Johansson, M. M. Hardo, S. Apel)

2014

MIP-1401
ExaStencils: Advanced Stencil-Code Engineering
(C. Lengauer, S. Apel, M. Bolten, A. Groesslinger, F. Hannig, H. Koestler, U. Ruede, J. Teich, A. Grebhahn, S. Kronawitter, S. Kuckuk, H. Rittich, C. Schmitt)

2013

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)

2012

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)

2011

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)

2009

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)

2008

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)

2006

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)

2005

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)

2004

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)

2003

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)

2002

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)

2001

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)

2000

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)

1999

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)

1998

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)

1997

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)

1996

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)

1995

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)

1994

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)

1993

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)

Technical report of the Faculty of Computer Science and Mathematics