Peter Kemper

Available identifiers

zbMath Open kemper.peterMaRDI QIDQ243732

List of research outcomes

Publication	Date of Publication	Type
Simulation study to identify the characteristics of Markov chain properties	2024-09-08	Paper
Reachability analysis based on structured representations	2019-05-02	Paper
Reduction of calcium release site models via fast/slow analysis and iterative aggregation/disaggregation	2015-07-27	Paper
Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis	2012-11-15	Paper
Model checking for a class of weighted automata	2010-09-16	Paper
Validation of Stochastic Systems	2009-07-24	Paper
Supply chain modelling and its analytical evaluation	2005-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4818815	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4738763	2004-08-11	Paper
Symbolic state-space exploration and numerical analysis of state-sharing composed models	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4449536	2004-02-11	Paper
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models	2003-10-28	Paper
Model-checking large structured Markov chains.	2003-08-13	Paper
Hierarchical reachability graph generation for Petri nets	2003-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4798042	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4785974	2002-12-12	Paper
Efficient computation and representation of large reachability sets for composed automata	2002-08-19	Paper
Integrating synchronization with priority into a Kronecker representation	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4518926	2001-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4782023	2000-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4763574	1995-10-29	Paper

Research outcomes over time

This page was built for person: Peter Kemper