Logo der Universität Bild aus dem Unileben Bild aus dem Unileben Bild aus dem Unileben Bild aus dem Unileben Bild aus dem Unileben  
Forschung Forschungsberichte

MIP-Berichte ab 1993

 

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)

2007

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 Engergy Efficiency in Distributed Home Environments
     (H. Hlavacs, K. A. Hummel, R. Weidlich, A. M. Houyou, H. de Meer) 

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 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)

 Aktuelles an der Universität
 Veranstaltungen an der Universität
FIM Startseite
Glossar
Impressum
Datenschutzerklärung
Fakultät für Informatik und Mathematik Sitemap Print version
ForschungsberichteForschungsberichte English
 Zuletzt geändert: 25.06.14