Peter Kemper

Available identifiers

zbMath Open kemper.peterMaRDI QIDQ243732

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter Kemper