P. Kemper
发表
Peter Buchholz,
Peter Kemper,
P. Buchholz,
2003,
J. Autom. Lang. Comb..
P. Kemper,
R. Lamprecht,
2009
.
William H. Sanders,
Peter Kemper,
Salem Derisavi,
2004
.
Peter Kemper,
Hilary DeRemigio,
P. Kemper,
2008,
Physical biology.
Peter Buchholz,
Peter Kemper,
P. Buchholz,
1999,
CAV.
Peter Buchholz,
Peter Kemper,
Dimitri Knjazew,
1998
.
Peter Kemper,
P. Kemper,
1998
.
P. Kemper,
M. D. Lamar,
G. Smith,
2011,
Physical biology.
P. Kemper,
2004
.
W. Willinger,
P. Kemper,
K. Park,
2013
.
Andrew D. Halleran,
Andrew D Halleran,
John P. Marken,
2019,
International journal of molecular sciences.
Andrew D Halleran,
John P. Marken,
P. Kemper,
2020,
Journal of visualized experiments : JoVE.
Peter Kemper,
P. Kemper,
G. Smith,
2009,
Chaos.
Peter Buchholz,
Peter Kemper,
P. Buchholz,
2003,
Discret. Event Dyn. Syst..
Peter Buchholz,
Peter Kemper,
P. Buchholz,
2001,
PAPM-PROBMIV.
Daniel M. Runfola,
P. Kemper,
Jason Lin,
2021,
PloS one.
Flemming Nielson,
Pieter J. Mosterman,
Holger Hermanns,
2006,
Simulation and Verification of Dynamic Systems.
Peter Kemper,
Gregory D. Smith,
Ruth Lamprecht,
2011,
Natural Computing.
Peter Buchholz,
Peter Kemper,
P. Buchholz,
2002,
Discret. Event Dyn. Syst..
Peter Buchholz,
Falko Bause,
Peter Kemper,
1994
.
Peter Buchholz,
Falko Bause,
Peter Kemper,
1995,
MMB.
Falko Bause,
Peter Kemper,
P. Kemper,
1994,
Computer Performance Evaluation.
William H. Sanders,
Peter Kemper,
P. Kemper,
2006,
Perform. Evaluation.
Peter Kemper,
Axel Thümmler,
Dennis Müller,
2006,
IEEE Transactions on Dependable and Secure Computing.
Peter Kemper,
Axel Thümmler,
Dennis Müller,
2005,
2005 International Conference on Dependable Systems and Networks (DSN'05).
Peter Kemper,
P. Kemper,
1993,
Application and Theory of Petri Nets.
Falko Bause,
Peter Kemper,
P. Kemper,
1992,
Application and Theory of Petri Nets.
Peter Buchholz,
Peter Kemper,
P. Buchholz,
2002,
Formal Methods Syst. Des..
Falko Bause,
Peter Kemper,
Markus Fischer,
2002,
Computer Performance Evaluation / TOOLS.
Peter Buchholz,
Peter Kemper,
P. Buchholz,
2001,
Proceedings 9th International Workshop on Petri Nets and Performance Models.
Peter Buchholz,
Gianfranco Ciardo,
Susanna Donatelli,
2000,
INFORMS J. Comput..
Peter Buchholz,
Falko Bause,
Peter Kemper,
1998,
Computer Performance Evaluation.
Peter Kemper,
P. Kemper,
1997,
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.
Peter Kemper,
P. Kemper,
1995,
Proceedings 6th International Workshop on Petri Nets and Performance Models.
Peter Buchholz,
Peter Kemper,
P. Buchholz,
1995,
Proceedings 6th International Workshop on Petri Nets and Performance Models.
Peter Buchholz,
Falko Bause,
Peter Kemper,
1997,
MMB.
William H. Sanders,
Tod Courtney,
Peter Kemper,
2002,
Perform. Evaluation.
Peter Kemper,
Carsten Tepper,
P. Kemper,
2006,
Simulation and Verification of Dynamic Systems.
P. Kemper,
P. Kemper,
C. Tepper,
2005
.
Peter Buchholz,
Peter Kemper,
P. Buchholz,
2004,
Validation of Stochastic Systems.
Peter Kemper,
Andrew D. Halleran,
John P Marken,
2016,
PloS one.
Peter Buchholz,
Peter Kemper,
Jan Kriege,
2010,
Perform. Evaluation.
Peter Kemper,
John M. Quigley,
P. Kemper,
1976
.
Peter Buchholz,
Peter Kemper,
P. Buchholz,
1999,
TACAS.
Allan Clark,
Stephen Gilmore,
Peter Kemper,
2010,
CMSB '10.
Peter Kemper,
Jianing Zhao,
Daniel M. Runfola,
2017,
2017 Winter Simulation Conference (WSC).
P. Kemper,
R. Hollister,
J. Wooldridge,
1979
.
Falko Bause,
Pieter S. Kritzinger,
Peter Kemper,
1995,
PSTV.
Peter Kemper,
Carsten Tepper,
P. Kemper,
2009,
IEEE Transactions on Software Engineering.
P. Kemper,
2007,
2007 Winter Simulation Conference.
Peter Kemper,
Carsten Tepper,
P. Kemper,
2007,
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Peter Buchholz,
Peter Kemper,
P. Buchholz,
1998,
PERV.
Peter Buchholz,
Falko Bause,
Peter Kemper,
2004,
18th Workshop on Parallel and Distributed Simulation, 2004. PADS 2004..
Peter Kemper,
Markus Arns,
M. Fischer,
2002,
J. Oper. Res. Soc..
Peter Kemper,
Markus Fischer,
P. Kemper,
2001,
PVM/MPI.
Susanna Donatelli,
Peter Kemper,
P. Kemper,
2000,
Perform. Evaluation.
Peter Kemper,
Atiqur Rahman,
P. Kemper,
2020,
ACM Trans. Model. Comput. Simul..
Peter Kemper,
Atiqur Rahman,
P. Kemper,
2018,
SIGSIM-PADS.
Joost-Pieter Katoen,
Peter Buchholz,
Peter Kemper,
2003,
J. Log. Algebraic Methods Program..
Peter Kemper,
Ruth Lamprecht,
P. Kemper,
2009
.