FMI - Fakultät für Mathematik und Informatik (forum) (forum) (email) (suchen) (index)
Einrichtungen Forschung Personen Studium Kooperation Interna

startseite · forschung · mip-berichte

MIP-Berichte ab 1993

Unmittelbar zu den Jahrgängen:


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 ©opyright cetindag@fmi  26.03.2001