Forschungsberichte

(forum)

(forum)

Einrichtungen

Kooperation

startseite forschung mip-berichte

MIP-Berichte ab 1993
Unmittelbar zu den Jahrgängen:

2001
2000
1999
1998
1997
1996
1995
1994
1993

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)

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 Sytems, 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 Programms
(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 Eliminaton
(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 (Hrsg.))
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)

Universität Passau

cetindag@fmi 26.03.2001