Peter Kemper

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Simulation study to identify the characteristics of Markov chain properties ACM Transactions on Modeling and Computer Simulation	2024-09-08	Paper
Reachability analysis based on structured representations Application and Theory of Petri Nets 1996	2019-05-02	Paper
Reduction of calcium release site models via fast/slow analysis and iterative aggregation/disaggregation Chaos: An Interdisciplinary Journal of Nonlinear Science	2015-07-27	Paper
Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis Natural Computing	2012-11-15	Paper
Model checking for a class of weighted automata Discrete Event Dynamic Systems	2010-09-16	Paper
Validation of Stochastic Systems Lecture Notes in Computer Science	2009-07-24	Paper
Supply chain modelling and its analytical evaluation The Journal of the Operational Research Society	2005-03-14	Paper
scientific article; zbMATH DE number 2102728 (Why is no real title available?)	2004-09-24	Paper
scientific article; zbMATH DE number 2087795 (Why is no real title available?)	2004-08-11	Paper
Symbolic state-space exploration and numerical analysis of state-sharing composed models Linear Algebra and its Applications	2004-08-04	Paper
scientific article; zbMATH DE number 2040321 (Why is no real title available?)	2004-02-11	Paper
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models INFORMS Journal on Computing	2003-10-28	Paper
Model-checking large structured Markov chains. The Journal of Logic and Algebraic Programming	2003-08-13	Paper
Hierarchical reachability graph generation for Petri nets Formal Methods in System Design	2003-05-04	Paper
scientific article; zbMATH DE number 1884420 (Why is no real title available?)	2003-03-18	Paper
scientific article; zbMATH DE number 1844550 (Why is no real title available?)	2002-12-12	Paper
Efficient computation and representation of large reachability sets for composed automata Discrete Event Dynamic Systems	2002-08-19	Paper
Integrating synchronization with priority into a Kronecker representation Performance Evaluation	2002-07-14	Paper
scientific article; zbMATH DE number 1538067 (Why is no real title available?)	2001-06-13	Paper
scientific article; zbMATH DE number 1836354 (Why is no real title available?)	2000-01-01	Paper
scientific article; zbMATH DE number 744057 (Why is no real title available?)	1995-10-29	Paper

Research outcomes over time

This page was built for person: Peter Kemper