| Publication | Date of Publication | Type |
|---|
| Optimal decisions in stochastic graphs with uncorrelated and correlated edge weights | 2022-12-19 | Paper |
| Iterative Decomposition and Aggregation of Labeled GSPNs | 2022-12-09 | Paper |
| A notion of equivalence for stochastic Petri nets | 2022-08-16 | Paper |
| Markovian arrival processes in multi-dimensions | 2021-12-08 | Paper |
| Concurrent MDPs with Finite Markovian Policies | 2021-12-08 | Paper |
| Parallelization of EM-Algorithms for Markovian Arrival Processes | 2021-12-08 | Paper |
| On the Representation of Correlated Exponential Distributions by Phase Type Distributions | 2021-08-27 | Paper |
| A multi-objective approach for PH-graphs with applications to stochastic shortest paths | 2021-04-08 | Paper |
| Logical characterization of fluid equivalences | 2019-08-30 | Paper |
| Light robustness in the optimization of Markov decision processes with uncertain parameters | 2019-07-08 | Paper |
| Computation of weighted sums of rewards for concurrent MDPs | 2019-03-13 | Paper |
| Equivalence and lumpability of FSPNs | 2018-10-23 | Paper |
| Optimal decisions for continuous time Markov decision processes over finite planning horizons | 2018-07-11 | Paper |
| Compact representation of solution vectors in Kronecker-based Markovian analysis | 2018-01-11 | Paper |
| Equivalences for fluid stochastic Petri nets | 2017-09-11 | Paper |
| Fitting correlated arrival and service times and related queueing performance | 2017-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2979884 | 2017-04-26 | Paper |
| PH-graphs for analyzing shortest path problems with correlated traveling times | 2016-11-10 | Paper |
| Input Modeling with Phase-Type Distributions and Markov Models | 2014-05-07 | Paper |
| Transformation of Acyclic Phase Type Distributions for Correlation Fitting | 2013-08-09 | Paper |
| On minimal representations of rational arrival processes | 2013-04-08 | Paper |
| Bounding reward measures of Markov models using the Markov decision processes | 2012-12-19 | Paper |
| On the Numerical Analysis of Inhomogeneous Continuous-Time Markov Chains | 2012-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2883054 | 2012-05-11 | Paper |
| Rational Processes Related to Communicating Markov Processes | 2012-04-20 | Paper |
| Numerical analysis of continuous time Markov decision processes over finite horizons | 2010-12-01 | Paper |
| Model checking for a class of weighted automata | 2010-09-16 | Paper |
| Computer Performance Evaluation. Modelling Techniques and Tools | 2010-03-23 | Paper |
| Validation of Stochastic Systems | 2009-07-24 | Paper |
| On the Convergence of a Class of Multilevel Methods for Large Sparse Markov Chains | 2008-08-01 | Paper |
| Bisimulation relations for weighted automata | 2008-04-15 | Paper |
| A preorder relation for Markov reward processes | 2007-08-23 | Paper |
| An Aggregation/Disaggregation Algorithm for Stochastic Automata Networks | 2006-09-22 | Paper |
| Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations | 2005-09-22 | Paper |
| Comparison of multilevel methods for Kronecker-based Markovian representations | 2005-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818815 | 2004-09-24 | Paper |
| Block SOR for Kronecker structured representations | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449536 | 2004-02-11 | Paper |
| Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models | 2003-10-28 | Paper |
| Model-checking large structured Markov chains. | 2003-08-13 | Paper |
| Hierarchical reachability graph generation for Petri nets | 2003-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798042 | 2003-03-18 | Paper |
| An iterative bounding method for stochastic automata networks | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3152933 | 2002-11-03 | Paper |
| Efficient computation and representation of large reachability sets for composed automata | 2002-08-19 | Paper |
| An adaptive aggregation/disaggregation algorithm for hierarchical Markovian models | 2002-08-18 | Paper |
| Hybrid analysis of SGSPNs with time-dependent transition rates | 2002-07-14 | Paper |
| NORTON'S THEOREM FOR BATCH ROUTING QUEUEING NETWORKS | 2001-10-10 | Paper |
| Multilevel Solutions for Structured Markov Chains | 2001-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952904 | 2001-02-19 | Paper |
| A hybrid analysis approach for finite-capacity queues with general inputs and phase type service | 2000-11-22 | Paper |
| Structured analysis approaches for large Markov chains | 2000-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782023 | 2000-01-01 | Paper |
| A new approach combining simulation and randomization for the analysis of large continuous time Markov chains | 1999-10-10 | Paper |
| Exact performance equivalence: An equivalence relation for stochastic automata | 1999-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5687214 | 1996-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4763574 | 1995-10-29 | Paper |
| Exact and ordinary lumpability in finite Markov chains | 1994-09-20 | Paper |
| A class of hierarchical queueing networks and their analysis | 1994-06-06 | Paper |
| A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4002648 | 1992-09-18 | Paper |
