List of 1995
Technical Reports Mathematics / Computer Science
Remember: The hyperlinks at the numbers reference the
report's abstract, while the hyperlinks at the titles reference the full
postscript text.
- 01
-
C. Damm, M. Holzer, P. Rossmanith:
- Expressing Uniformity via Oracles
- 02
-
M. Mundhenk:
- Monotonous Oracle Machines
- 03
-
J. Bern, Ch. Meinel, A. Slobodová:
- Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima
- 04
-
D. Baum:
- Zur strukturellen Stabilität von Kommunikationssystemen
- Eine kurze Einführung in die Grundlagen -
- 05
-
Ch. W. Keßler, H. Seidl:
- Integrating Synchronous and Asynchronous Paradigms:
The Fork95 Parallel Programming Language
- 06
-
H. Th. Jongen, O. Stein:
- On Generic One-Parametric Semi-Infinite Optimization
- 07
-
C. T. Kelley, E. W. Sachs:
- Local
Convergence of the Symmetric Rank-One Iteration
- 08
-
H. Seidl:
- A
Modal mu-Calculus for Durational Transition Systems
- 09
-
C. Damm, S. Jukna:
- On
Multiparity Games for Pointer Jumping
- 10
-
S. Jukna:
- The
Graph of Integer Multiplication is Hard for Read-k-Times Networks
- 11
-
S. Jukna:
- On
Communication Games with More than Two Players
- 12
-
T. Rautert, E. W. Sachs:
- Computational
Design of Optimal Output Feedback Controllers
- 13
-
R. J. Gardner, P. Gritzmann:
- Discrete Tomography: Determination of Finite Sets by X-Rays
- 14
-
T. Burger, P. Gritzmann, V. Klee:
- Polytope Projection and Projection Polytopes
- 15
-
P. Gritzmann, A. Hufnagel:
- On the Algorithmic Complexity of Minkowski's Reconstruction
Theorem
- 16
-
F. Leibfritz:
- Logarithmic Barrier Methods for Solving the Optimal Output
Feedback Problem
- 17
-
C. Damm, S. Jukna, J. Sgall:
- Some
Bounds on Multiparty Communication Complexity of Pointer Jumping
(See the accepted
paper on the ECCC
server.)
- 18
-
A. Kaplan, R. Tichatschke:
- Proximal Methods in View of Interior-Point-Strategies
- 19
-
D. Kleist, E. W. Sachs:
- Convergence
Rate of the Augmented Lagrangian SQP Method
- 20
-
H. Jäger, E. W. Sachs:
- Global
Convergence of Inexact Reduced SQP Methods
- 21
-
Ch. Meinel:
- Die
Entwicklung der Informatik braucht Theorie und Praxis.
Ein Fallbeispiel aus dem CAD-Schaltkreisentwurf
- 22
-
D. Baum:
- On Approximate Solution Methods for Multi-Queue Systems
with 1-Limited Deterministic Service
- 23
-
Ch. W. Keßler, H. Seidl:
- Language
Support for Synchronous Parallel Critical Sections
- 24
-
H. Th. Jongen, J.-J. Rückmann, O. Stein:
- Generalized Semi-Infinite Optimization: A First Order
Optimality Condition and Examples
Link to: CS Homepage
Tech Report List 1995 - Jochen Bern -
06-Feb-1995 / 29-Jun-1999