An Aggregation Technique for the Transient Analysis of Stiff Markov Chains
IEEE Transactions on Computers
Computing Cumulative Measures of Stiff Markov Chains Using Aggregation
IEEE Transactions on Computers
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
A multi-level solution algorithm for steady-state Markov chains
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms
IEEE Transactions on Software Engineering
Performance Evaluation: Origins and Directions
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Optimal state-space lumping in Markov chains
Information Processing Letters
A Unified Analysis of Value-Function-Based Reinforcement Learning Algorithms
Neural Computation
Backward Bisimulation in Markov Chain Model Checking
IEEE Transactions on Software Engineering
Performance modelling and Markov chains
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Symbolic partition refinement with automatic balancing of time and space
Performance Evaluation
Lumping partially symmetrical stochastic models
Performance Evaluation
On the complexity of solving Markov decision problems
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
A new parallel block aggregated algorithm for solving Markov chains
The Journal of Supercomputing
Tackling continuous state-space explosion in a Markovian process algebra
Theoretical Computer Science
Hi-index | 0.01 |