| 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 | 195 | 2000 |
| Numerical analysis of superposed GSPNs P Kemper IEEE Transactions on Software Engineering 22 (9), 615-628, 2002 | 168 | 2002 |
| Supply chain modelling and its analytical evaluation M Arns, M Fischer, P Kemper, C Tepper Journal of the Operational Research Society 53 (8), 885-894, 2002 | 130 | 2002 |
| A toolbox for functional and quantitative analysis of DEDS F Bause, P Buchholz, P Kemper International Conference on Modelling Techniques and Tools for Computer …, 1998 | 128 | 1998 |
| Multi-class Markovian arrival processes and their parameter fitting P Buchholz, P Kemper, J Kriege Performance Evaluation 67 (11), 1092-1106, 2010 | 83 | 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 |
| An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets P Kemper, F Bause International Conference on Application and Theory of Petri Nets, 263-278, 1992 | 74 | 1992 |
| Predicting road quality using high resolution satellite imagery: A transfer learning approach E Brewer, J Lin, P Kemper, J Hennin, D Runfola Plos one 16 (7), e0253370, 2021 | 67 | 2021 |
| The ProC/BToolset for the Modelling and Analysis of Process Chains F Bause, H Beilner, M Fischer, P Kemper, M Völker International Conference on Modelling Techniques and Tools for Computer …, 2002 | 67 | 2002 |
| Reachability analysis based on structured representations P Kemper International Conference on Application and Theory of Petri Nets, 269-288, 1996 | 67 | 1996 |
| QPN-tool for the specification and analysis of hierarchically combined queueing Petri nets F Bause, P Buchholz, P Kemper International Conference on Modelling Techniques and Tools for Computer …, 1995 | 67 | 1995 |
| Hierarchical reachability graph generation for Petri nets P Buchholz, P Kemper Formal Methods in System Design 21 (3), 281-315, 2002 | 64 | 2002 |
| Abstract Petri net notation F Bause, P Kemper, P Kritzinger Dekanat Informatik, Univ., 1994 | 58 | 1994 |
| Complexity of Kronecker operations on sparse matrices with applications to the solution of Markov models P Buchholz, G Ciardo, S Donatelli, P Kemper | 55 | 1997 |
| Automated trace analysis of discrete-event system models P Kemper, C Tepper IEEE Transactions on Software Engineering 35 (2), 195-208, 2008 | 54 | 2008 |
| Numerical analysis of stochastic marked graph nets P Buchholz, P Kemper Proceedings 6th International Workshop on Petri Nets and Performance Models …, 1995 | 53 | 1995 |
| Quantifying the dynamic behavior of process algebras P Buchholz, P Kemper Joint International Workshop von Process Algebra and Probabilistic Methods …, 2001 | 50 | 2001 |
| Hierarchically combined queueing Petri nets F Bause, P Buchholz, P Kemper 11th International Conference on Analysis and Optimization of Systems …, 2005 | 48 | 2005 |
| Symbolic state-space exploration and numerical analysis of state-sharing composed models S Derisavi, P Kemper, WH Sanders Linear Algebra and Its Applications 386, 137-166, 2004 | 47 | 2004 |
