| Publication | Date of Publication | Type |
|---|
Optimal decisions in stochastic graphs with uncorrelated and correlated edge weights
Computers & Operations Research | 2022-12-19 | Paper |
Iterative Decomposition and Aggregation of Labeled GSPNs
| 2022-12-09 | Paper |
A notion of equivalence for stochastic Petri nets
Lecture Notes in Computer Science | 2022-08-16 | Paper |
Parallelization of EM-algorithms for Markovian arrival processes
Lecture Notes in Computer Science | 2021-12-08 | Paper |
Markovian arrival processes in multi-dimensions
| 2021-12-08 | Paper |
Concurrent MDPs with Finite Markovian Policies
Lecture Notes in Computer Science | 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
Mathematical Methods of Operations Research | 2021-04-08 | Paper |
Logical characterization of fluid equivalences
Sibirskie Elektronnye Matematicheskie Izvestiya | 2019-08-30 | Paper |
Light robustness in the optimization of Markov decision processes with uncertain parameters
Computers & Operations Research | 2019-07-08 | Paper |
Computation of weighted sums of rewards for concurrent MDPs
Mathematical Methods of Operations Research | 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
Computers & Operations Research | 2018-07-11 | Paper |
Compact representation of solution vectors in Kronecker-based Markovian analysis
| 2018-01-11 | Paper |
Equivalences for fluid stochastic Petri nets
Sibirskie Elektronnye Matematicheskie Izvestiya | 2017-09-11 | Paper |
Fitting correlated arrival and service times and related queueing performance
Queueing Systems | 2017-08-14 | Paper |
Bisimulation for fluid stochastic Petri nets
| 2017-04-26 | Paper |
PH-graphs for analyzing shortest path problems with correlated traveling times
Computers & Operations Research | 2016-11-10 | Paper |
Input modeling with phase-type distributions and Markov models. Theory and applications
SpringerBriefs in Mathematics | 2014-05-07 | Paper |
Transformation of acyclic phase type distributions for correlation fitting
Analytical and Stochastic Modeling Techniques and Applications | 2013-08-09 | Paper |
On minimal representations of rational arrival processes
Annals of Operations Research | 2013-04-08 | Paper |
Bounding reward measures of Markov models using the Markov decision processes.
Numerical Linear Algebra with Applications | 2012-12-19 | Paper |
On the numerical analysis of inhomogeneous continuous-time Markov chains
INFORMS Journal on Computing | 2012-07-28 | Paper |
Equivalences for stochastic Petri nets and stochastic process algebra
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika | 2012-05-11 | Paper |
Rational Processes Related to Communicating Markov Processes
Journal of Applied Probability | 2012-04-20 | Paper |
Numerical analysis of continuous time Markov decision processes over finite horizons
Computers & Operations Research | 2010-12-01 | Paper |
Model checking for a class of weighted automata
Discrete Event Dynamic Systems | 2010-09-16 | Paper |
Computer Performance Evaluation. Modelling Techniques and Tools
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Validation of Stochastic Systems
Lecture Notes in Computer Science | 2009-07-24 | Paper |
On the Convergence of a Class of Multilevel Methods for Large Sparse Markov Chains
SIAM Journal on Matrix Analysis and Applications | 2008-08-01 | Paper |
Bisimulation relations for weighted automata
Theoretical Computer Science | 2008-04-15 | Paper |
A preorder relation for Markov reward processes
Statistics & Probability Letters | 2007-08-23 | Paper |
An Aggregation/Disaggregation Algorithm for Stochastic Automata Networks
Probability in the Engineering and Informational Sciences | 2006-09-22 | Paper |
Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations
SIAM Journal on Scientific Computing | 2005-09-22 | Paper |
Comparison of multilevel methods for Kronecker-based Markovian representations
Computing | 2005-02-23 | Paper |
scientific article; zbMATH DE number 2102728 (Why is no real title available?)
| 2004-09-24 | Paper |
Block SOR for Kronecker structured representations
Linear Algebra and its Applications | 2004-08-04 | Paper |
scientific article; zbMATH DE number 2040321 (Why is no real title available?)
| 2004-02-11 | Paper |
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
INFORMS Journal on Computing | 2003-10-28 | Paper |
Model-checking large structured Markov chains.
The Journal of Logic and Algebraic Programming | 2003-08-13 | Paper |
Hierarchical reachability graph generation for Petri nets
Formal Methods in System Design | 2003-05-04 | Paper |
scientific article; zbMATH DE number 1884420 (Why is no real title available?)
| 2003-03-18 | Paper |
An iterative bounding method for stochastic automata networks
Performance Evaluation | 2003-01-21 | Paper |
scientific article; zbMATH DE number 1822433 (Why is no real title available?)
| 2002-11-03 | Paper |
Efficient computation and representation of large reachability sets for composed automata
Discrete Event Dynamic Systems | 2002-08-19 | Paper |
An adaptive aggregation/disaggregation algorithm for hierarchical Markovian models
European Journal of Operational Research | 2002-08-18 | Paper |
Hybrid analysis of SGSPNs with time-dependent transition rates
Performance Evaluation | 2002-07-14 | Paper |
NORTON'S THEOREM FOR BATCH ROUTING QUEUEING NETWORKS
Stochastic Models | 2001-10-10 | Paper |
Multilevel solutions for structured Markov chains
SIAM Journal on Matrix Analysis and Applications | 2001-03-19 | Paper |
scientific article; zbMATH DE number 1445805 (Why is no real title available?)
| 2001-02-19 | Paper |
A hybrid analysis approach for finite-capacity queues with general inputs and phase type service
Queueing Systems | 2000-11-22 | Paper |
Structured analysis approaches for large Markov chains
Applied Numerical Mathematics | 2000-04-25 | Paper |
scientific article; zbMATH DE number 1836354 (Why is no real title available?)
| 2000-01-01 | Paper |
A new approach combining simulation and randomization for the analysis of large continuous time Markov chains
ACM Transactions on Modeling and Computer Simulation | 1999-10-10 | Paper |
Exact performance equivalence: An equivalence relation for stochastic automata
Theoretical Computer Science | 1999-04-28 | Paper |
scientific article; zbMATH DE number 956807 (Why is no real title available?)
| 1996-12-11 | Paper |
scientific article; zbMATH DE number 744057 (Why is no real title available?)
| 1995-10-29 | Paper |
Exact and ordinary lumpability in finite Markov chains
Journal of Applied Probability | 1994-09-20 | Paper |
A class of hierarchical queueing networks and their analysis
Queueing Systems | 1994-06-06 | Paper |
A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis
Journal of Parallel and Distributed Computing | 1993-01-17 | Paper |
scientific article; zbMATH DE number 52336 (Why is no real title available?)
| 1992-09-18 | Paper |
