Follow
Peter Buchholz
Title
Cited by
Cited by
Year
Exact and ordinary lumpability in finite Markov chains
P Buchholz
Journal of applied probability 31 (1), 59-75, 1994
4621994
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
2141994
Input modeling with phase-type distributions and Markov models: theory and applications
P Buchholz, J Kriege, I Felko
Springer, 2014
2072014
A toolbox for functional and quantitative analysis of DEDS
F Bause, P Buchholz, P Kemper
Computer Performance Evaluation: Modelling Techniques and Tools 10th …, 1998
1311998
Hierarchical Markovian models: symmetries and reduction
P Buchholz
Performance Evaluation 22 (1), 93-110, 1995
1311995
Bisimulation relations for weighted automata
P Buchholz
Theoretical Computer Science 393 (1-3), 109-123, 2008
1282008
Structured analysis approaches for large Markov chains
P Buchholz
Applied Numerical Mathematics 31 (4), 375-404, 1999
1201999
An EM-algorithm for MAP fitting from real traffic data
P Buchholz
Computer Performance Evaluation. Modelling Techniques and Tools: 13th …, 2003
1192003
Hierarchical structuring of superposed GSPNs
P Buchholz
IEEE Transactions on Software Engineering 25 (2), 166-181, 1999
1161999
A class of hierarchical queueing networks and their analysis
P Buchholz
Queueing Systems 15, 59-80, 1994
1101994
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
1062005
Multi-class Markovian arrival processes and their parameter fitting
P Buchholz, P Kemper, J Kriege
Performance Evaluation 67 (11), 1092-1106, 2010
782010
Kronecker based matrix representations for large Markov models
P Buchholz, P Kemper
Validation of Stochastic Systems: A Guide to Current Research, 256-295, 2004
782004
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
762003
Numerical solution methods based on structured descriptions of Markovian models
P Buchholz
Computer performance evaluation, 251-267, 1991
731991
Analytical analysis of access-schemes of the CSMA type
P Buchholz, J Plonnigs
IEEE International Workshop on Factory Communication Systems, 2004 …, 2004
692004
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
681995
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
681992
The system can't perform the operation now. Try again later.
Articles 1–20