×

zbMATH — the first resource for mathematics

Kemper, Peter

Compute Distance To:
Author ID: kemper.peter Recent zbMATH articles by "Kemper, Peter"
Published as: Kemper, Peter; Kemper, P.
Documents Indexed: 22 Publications since 1994, including 1 Book

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 53 times in 43 Documents Cited by Year
Quantifying the dynamic behavior of process algebras. Zbl 1007.68130
Buchholz, Peter; Kemper, Peter
10
2001
Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models. Zbl 1040.65504
Buchholz, Peter; Ciardo, Gianfranco; Donatelli, Susanna; Kemper, Peter
7
2000
Model-checking large structured Markov chains. Zbl 1048.68053
Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten
5
2003
Weak bisimulation for (max/+) automata and related models. Zbl 1089.68069
Buchholz, Peter; Kemper, Peter
5
2003
Kronecker based matrix representations for large Markov models. Zbl 1203.68116
Buchholz, Peter; Kemper, Peter
5
2004
Efficient computation and representation of large reachability sets for composed automata. Zbl 1048.93065
Buchholz, Peter; Kemper, Peter
4
2002
Supply chain modelling and its analytical evaluation. Zbl 1130.90333
Arns, M.; Fischer, M.; Kemper, P.; Tepper, C.
4
2002
Hierarchical reachability graph generation for Petri nets. Zbl 1020.68058
Buchholz, Peter; Kemper, Peter
2
2002
Symbolic state-space exploration and numerical analysis of state-sharing composed models. Zbl 1048.65007
Derisavi, Salem; Kemper, Peter; Sanders, William H.
2
2004
Reduction of calcium release site models via fast/slow analysis and iterative aggregation/disaggregation. Zbl 1317.92026
Hao, Yan; Kemper, Peter; Smith, Gregory D.
2
2009
Integrating synchronization with priority into a Kronecker representation. Zbl 1013.68127
Donatelli, S.; Kemper, P.
2
2001
Distributed numerical Markov chain analysis. Zbl 1001.68672
Fischer, Markus; Kemper, Peter
1
2001
The Möbius state-level abstract functional interface. Zbl 1047.68518
Derisavi, Salem; Kemper, Peter; Sanders, William H.; Courtney, Tod
1
2002
A toolbox for the analysis of discrete event dynamic systems. Zbl 1046.93509
Buchholz, Peter; Kemper, Peter
1
1999
Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis. Zbl 1251.68159
Lamprecht, Ruth; Smith, Gregory D.; Kemper, Peter
1
2011
Model checking for a class of weighted automata. Zbl 1206.68186
Buchholz, Peter; Kemper, Peter
1
2010
Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis. Zbl 1251.68159
Lamprecht, Ruth; Smith, Gregory D.; Kemper, Peter
1
2011
Model checking for a class of weighted automata. Zbl 1206.68186
Buchholz, Peter; Kemper, Peter
1
2010
Reduction of calcium release site models via fast/slow analysis and iterative aggregation/disaggregation. Zbl 1317.92026
Hao, Yan; Kemper, Peter; Smith, Gregory D.
2
2009
Kronecker based matrix representations for large Markov models. Zbl 1203.68116
Buchholz, Peter; Kemper, Peter
5
2004
Symbolic state-space exploration and numerical analysis of state-sharing composed models. Zbl 1048.65007
Derisavi, Salem; Kemper, Peter; Sanders, William H.
2
2004
Model-checking large structured Markov chains. Zbl 1048.68053
Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten
5
2003
Weak bisimulation for (max/+) automata and related models. Zbl 1089.68069
Buchholz, Peter; Kemper, Peter
5
2003
Efficient computation and representation of large reachability sets for composed automata. Zbl 1048.93065
Buchholz, Peter; Kemper, Peter
4
2002
Supply chain modelling and its analytical evaluation. Zbl 1130.90333
Arns, M.; Fischer, M.; Kemper, P.; Tepper, C.
4
2002
Hierarchical reachability graph generation for Petri nets. Zbl 1020.68058
Buchholz, Peter; Kemper, Peter
2
2002
The Möbius state-level abstract functional interface. Zbl 1047.68518
Derisavi, Salem; Kemper, Peter; Sanders, William H.; Courtney, Tod
1
2002
Quantifying the dynamic behavior of process algebras. Zbl 1007.68130
Buchholz, Peter; Kemper, Peter
10
2001
Integrating synchronization with priority into a Kronecker representation. Zbl 1013.68127
Donatelli, S.; Kemper, P.
2
2001
Distributed numerical Markov chain analysis. Zbl 1001.68672
Fischer, Markus; Kemper, Peter
1
2001
Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models. Zbl 1040.65504
Buchholz, Peter; Ciardo, Gianfranco; Donatelli, Susanna; Kemper, Peter
7
2000
A toolbox for the analysis of discrete event dynamic systems. Zbl 1046.93509
Buchholz, Peter; Kemper, Peter
1
1999
all top 5

Cited by 93 Authors

4 Bonsangue, Marcello Maria
4 Buchholz, Peter
4 Kemper, Peter
3 Bonchi, Filippo
3 Dayar, Tugrul
3 Koeppl, Heinz
3 Rutten, Jan J. M. M.
3 Silva, Alexandra
2 Haverkort, Boudewijn R.
2 Katoen, Joost-Pieter
2 Komenda, Jan
2 Petrov, Tatjana
2 Rot, Jurriaan
2 Smith, Gregory D.
1 Auddy, Arnab
1 Baier, Christel
1 Ballarini, Paolo
1 Balsamo, Simonetta
1 Besozzi, Daniela
1 Boimond, Jean-Louis
1 Boreale, Michele
1 Brijder, Robert
1 Camacho, Carlos J.
1 Cao, Yongzhi
1 Cazzaniga, Paolo
1 Cloth, Lucia
1 Dei Rossi, Gian-Luca
1 Derisavi, Salem
1 Disser, Yann
1 Dobramysl, Ulrich
1 Erban, Radek
1 Fourneau, Jean-Michel
1 Ganguly, Arnab
1 Garavel, Hubert
1 Gilbert, David
1 Gnesi, Stefania
1 Guo, Guangbao
1 Gusak, Oleg
1 Héam, Pierre-Cyrille
1 Heiner, Monika
1 Hermanns, Holger
1 Hillston, Jane
1 Horváth, András
1 Houweling, Sanne
1 Jafri, M. Saleet
1 KhudaBukhsh, Wasiur R.
1 Klenik, Attila
1 Kloul, Leïla
1 Kouchnarenko, Olga
1 Lahaye, Sébastien
1 Lamprecht, Ruth
1 Larsen, Kim Guldstrand
1 Latella, Diego
1 Li, Yongming
1 Llana, Luis
1 Longo, Francesco
1 Ma, Zhanyou
1 Majzik, Istvan
1 Mardare, Radu
1 Marin, Andrea
1 Marion, Tucker J.
1 Martinelli, Fabio
1 Marussy, Kristóf
1 Massink, Mieke
1 Matteucci, Ilaria
1 Molnár, Vince
1 Muskulus, Michael
1 Núñez, Alberto
1 O’Gradys, P.
1 Orhan, M. Can
1 Pan, Haiyu
1 Pescini, Dario
1 Pous, Damien
1 Remke, Anne
1 Rozenberg, Grzegorz
1 Rüdiger, Sten
1 Sanders, William H.
1 Santini, Francesco
1 Scarpa, Marco
1 Sebastianis, Maurizio
1 Simmons, Reid G.
1 Sipahi, Rifat
1 Sobie, Eric A.
1 Telek, Miklós
1 Tepper, Carsten
1 ter Beek, Maurice H.
1 Trentanni, Gianluca
1 Voinot, Jérôme
1 Vörös, András
1 Williams, George S. B.
1 Wolf, Verena
1 Xue, Bingtian
1 Younes, Håkan L. S.

Citations by Year