CS TRIER: 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 H_2 / H_oo 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_1-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 Mod-2-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