List of 1999
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
-
F. Leibfritz:
- Computational
Design of Stabilizing Static Output Feedback Controllers
- 02
-
F. Leibfritz:
- A
LMI-Based Algorithm for Designing Suboptimal Static
/ 
Output Feedback Controllers
- 03
-
F. Leibfritz:
- Static
Output Feedback Design by Using a Newton-SQP Interior Point Method
- 04
-
L. Breuer:
- Spatial
Queues with Infinitely Many Servers
- 05
-
R. Rödler:
- Convergence
of Generalized Supermartingales with Continous Parameter
- 06
-
J. Sztrik, O. Möller:
- Stochastic
Simulation of Markov Modulated Finite-Source Queues
- 07
-
J. Sztrik, O. Möller:
- A
Tool for Simulation of Markov Modulated Finite-Source Queueing
Systems
- 08
-
R. Rödler:
- Convergence
of Disturbed Martingales and a Stochastic Model for Annuity Funds
- 09
-
R. Rödler:
- On the Rareness of Disturbed Martingales in the Class
of all Uniformly L
-bounded
Stochastic Processes
- 10
-
Chr. W. Keßler, H. Seidl, C. H. Smith:
- The
SPARAMAT Approach to Automatic Comprehension of Sparse Matrix
Computations
- 11
-
R. Rödler:
- Convergence
of Time-Continous Disturbed Martingales and Financial Market
Modelling
- 12
-
E. Arian, A. Battermann, E. W. Sachs:
- Approximation
of the Newton Step by a Defect Correction Process
- 13
-
M. Fahl:
- Computation
of PODs for Fluid Flows with Lanczos Methods
- 14
-
A. Kaplan, R. Tichatschke:
- Auxiliary
Problem Principle and Proximal Point Methods
- 15
-
D. Baum:
- Phasentyp-Verteilungen
und Matrix-analytische Methoden
- 16
-
J. Bern, Ch. Meinel:
- One
Step Further: Integrating Electronic Submission and the Reviewing
Process
- 17
-
D. Baum, N. Müller, R. Rödler (Hrsg.):
- MMB
'99 - Kurzbeiträge und Toolbeschreibungen
- 18
-
D. Baum:
- On
MAPA/G/K/K Stations
- 19
-
Ch. Meinel, H. Sack:
- Algorithmic
Considerations for
-OBDD Reordering
- 20
-
C. Damm:
- On
the Complexity of Tensor Formulae
- 21
-
M. Mundhenk:
- Propositional
Proofs and Their Complexity [DVI
file with hyperlinks]
- 22
-
M. Mundhenk:
- The
Complexity of Optimal Small Policies
- 23
-
E. Dubrova, H. Sack:
- Probabilistic
Verification of Multiple-Valued Functions
- 24
-
M. R. Schmidt:
- Dual
Characterization of Super-Hedging Prices in a Currency Market
with Proportional Transaction Costs
- 25
-
M. Mundhenk, J. Goldsmith, C. Lusena, E. Allender:
- Complexity
of Finite-Horizon Markov Decision Process Problems
- 26
-
G. Hoff, M. Mundhenk:
- Finding
Scientific Papers with HPSearch and MOPS
- 27
-
H. Sack, E. Dubrova, Ch. Meinel:
- Mod-p
Decision Diagrams: A Data Structure for Multiple-Valued Functions
- 28
-
Ch. Meinel, Chr. Stangier:
- Speeding
Up Symbolic Model Checking by Accelerating Dynamic
Variable Reordering
- 29
-
Chr. Stangier, U. Holtmann:
- Applying
Formal Verification with Protocol Compiler
- 30
-
L. Abbe:
- Two
Logarithmic Barrier Methods for Convex Semi-Infinite
Programming Problems
Link to: CS Homepage
Tech Report List 1999 - Jochen Bern -
01-Feb-1999 / 17-Feb-2000