List of Technical Reports Mathematics / Computer Science 2002
01: Lothar Breuer From Markov Jump Processes to Inhomogeneous BMAPs
02: Lothar Breuer On the Distribution of cadlag Processes without Exlosions
03: Siegfried Graf, Harald Luschgy Quantization for Probability Measures in the Prohorov Metric
04: Siegfried Graf, Harald Luschgy Quantization for Probability Measures with Respect to the Geometric Mean Error
05: Siegfried Graf, Harald Luschgy Functional Quantization and Small Ball Probabilities for Gaussian Processes
06: Lothar Breuer A Piecewise-Deterministic Model for Brownian Motion
07: Attahiru Alfa, Lothar Breuer An EM Algorithm for Platoon Arrival Processes in Discrete Time
08: Markus Müller-Olm Precise Interprocedural Dependence Analysis of Parallel Programs
09: Markus Müller-Olm, Helmut Seidl Polynomial Constants are Decidable
10: Markus Müller-Olm, Helmut Seidl, Varmo Vene Interprocedural Invariants
11: Dimitri Efrosinin, Lothar Breuer, Vladimir Rykov An Optimization Algorithm for the MAP/PH/K Queue with Heterogeneous Servers
12: Subhendu Bikash Hazra, Volker Schulz Numerical Parameter Identification in Non-isothermal Multiphase Multicomponent Flow through Porous Media
13: S.B.Hazra, H.Class, R.Helmig, V. Schulz Forward and Inverse Problems in Modeling of Multiphase Flow and Transport Through Heterogeneos Porous Media
14: Paul B. Hermanns, Nguyen V. Thoai Method for Gobal Optimization of Class of Nonlinear Bilevel Programming Problems
15: Dimitri Efrosinin, Lothar Breuer, Vladimir Rykov Optimal Allocation of Jobs between Heterogeneous Servers in the Retrial MAP/PH/K Queue
16: Dieter Baum, Vladimir V. Kalashnikov No-Waiting Stations with Special Arrival Processes and Customer Motion
17: Helmut Seidl, Aditya Nori On the Expressiveness of Tree Set Operators
18: Dieter Baum Von M/G/1- zum BMAP/G/1- Modell
19: Lothar Breuer Approximating Semi-Markov Processes by MAPs, with an Application on Queueing Theory
20: Randal E. Bryant, Christoph Meinel Ordered Binary Decision Diagrams in Electronic Design Automation
