Transient analysis of tree-Like processes and its application to random access systems
SIGMETRICS '06/Performance '06 Proceedings of the joint international conference on Measurement and modeling of computer systems
Conditional steady-state bounds for a subset of states in Markov chains
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Structured Markov chains solver: algorithms
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
A minimal representation of Markov arrival processes and a moments matching method
Performance Evaluation
A conditional probability approach to M/G/1-like queues
Performance Evaluation
Automata, Probability, and Recursion
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
Theoretical Computer Science
q-series in markov chains with binomial transitions: Studying a queue with synchronization
Probability in the Engineering and Informational Sciences
Q-MAM: a tool for solving infinite queues using matrix-analytic methods
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
NET-COOP '09 Proceedings of the 3rd Euro-NF Conference on Network Control and Optimization
Structured Markov chains solver: tool extension
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
A joint moments based analysis of networks of MAP/MAP/1 queues
Performance Evaluation
Google PageRanking problem: The model and the analysis
Journal of Computational and Applied Mathematics
A discrete-time queueing system under frame-bound priority
Proceedings of the 5th International Conference on Queueing Theory and Network Applications
One-counter Markov decision processes
SODA '10 Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete Algorithms
Quasi-birth-and-death processes with restricted transitions and its applications
Performance Evaluation
Triangular M/G/1-Type and Tree-Like Quasi-Birth-Death Markov Chains
INFORMS Journal on Computing
Measuring performance of continuous-time stochastic processes using timed automata
Proceedings of the 14th international conference on Hybrid systems: computation and control
Steady state analysis of level dependent quasi-birth-and-death processes with catastrophes
Computers and Operations Research
Importance sampling simulations of phase-type queues
Winter Simulation Conference
Runtime analysis of probabilistic programs with unbounded recursion
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Queues with boundary assistance: the effects of truncation
Queueing Systems: Theory and Applications
Triangular and skew-symmetric splitting method for numerical solutions of Markov chains
Computers & Mathematics with Applications
Probability in the Engineering and Informational Sciences
A compressed cyclic reduction for QBDs with low rank upper and lower transitions
ACM SIGMETRICS Performance Evaluation Review
SMCSolver and Q-MAM: tools for matrix-analytic methods
ACM SIGMETRICS Performance Evaluation Review
An approximate solution for Ph/Ph/1 and Ph/Ph/1/N queues
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
An enhanced algorithm to solve multiserver retrial queueing systems with impatient customers
Computers and Industrial Engineering
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Poisson's equation for discrete-time quasi-birth-and-death processes
Performance Evaluation
Numerical analysis of rational processes beyond Markov chains
Performance Evaluation
On the numerical solution of Kronecker-based infinite level-dependent QBD processes
Performance Evaluation
| Hi-index | 0.00 |