Exact and ordinary lumpability in finite Markov chains P Buchholz Journal of applied probability 31 (1), 59-75, 1994 | 462 | 1994 |
A novel approach for phase-type fitting with the EM algorithm A Thummler, P Buchholz, M Telek IEEE Transactions on dependable and secure computing 3 (3), 245-258, 2006 | 371* | 2006 |
Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models P Buchholz, G Ciardo, S Donatelli, P Kemper INFORMS Journal on Computing 12 (3), 203-222, 2000 | 248* | 2000 |
On a Markovian process algebra P Buchholz Dekanat Informatik, Univ., 1994 | 214 | 1994 |
Input modeling with phase-type distributions and Markov models: theory and applications P Buchholz, J Kriege, I Felko Springer, 2014 | 207 | 2014 |
A toolbox for functional and quantitative analysis of DEDS F Bause, P Buchholz, P Kemper Computer Performance Evaluation: Modelling Techniques and Tools 10th …, 1998 | 131 | 1998 |
Hierarchical Markovian models: symmetries and reduction P Buchholz Performance Evaluation 22 (1), 93-110, 1995 | 131 | 1995 |
Bisimulation relations for weighted automata P Buchholz Theoretical Computer Science 393 (1-3), 109-123, 2008 | 128 | 2008 |
Structured analysis approaches for large Markov chains P Buchholz Applied Numerical Mathematics 31 (4), 375-404, 1999 | 120 | 1999 |
An EM-algorithm for MAP fitting from real traffic data P Buchholz Computer Performance Evaluation. Modelling Techniques and Tools: 13th …, 2003 | 119 | 2003 |
Hierarchical structuring of superposed GSPNs P Buchholz IEEE Transactions on Software Engineering 25 (2), 166-181, 1999 | 116 | 1999 |
A class of hierarchical queueing networks and their analysis P Buchholz Queueing Systems 15, 59-80, 1994 | 110 | 1994 |
A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation G Horváth, P Buchholz, M Telek Second International Conference on the Quantitative Evaluation of Systems …, 2005 | 106 | 2005 |
Multi-class Markovian arrival processes and their parameter fitting P Buchholz, P Kemper, J Kriege Performance Evaluation 67 (11), 1092-1106, 2010 | 78 | 2010 |
Kronecker based matrix representations for large Markov models P Buchholz, P Kemper Validation of Stochastic Systems: A Guide to Current Research, 256-295, 2004 | 78 | 2004 |
Model-checking large structured Markov chains P Buchholz, JP Katoen, P Kemper, C Tepper The Journal of Logic and Algebraic Programming 56 (1-2), 69-97, 2003 | 76 | 2003 |
Numerical solution methods based on structured descriptions of Markovian models P Buchholz Computer performance evaluation, 251-267, 1991 | 73 | 1991 |
Analytical analysis of access-schemes of the CSMA type P Buchholz, J Plonnigs IEEE International Workshop on Factory Communication Systems, 2004 …, 2004 | 69 | 2004 |
QPN-tool for the specification and analysis of hierarchically combined queueing Petri nets F Bause, P Buchholz, P Kemper Quantitative Evaluation of Computing and Communication Systems: 8th …, 1995 | 68 | 1995 |
A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis P Buchholz Journal of Parallel and Distributed Computing 15 (3), 207-224, 1992 | 68 | 1992 |