The following pages link to Peter Kemper (Q243732):
Displaying 21 items.
- Model-checking large structured Markov chains. (Q1400291) (← links)
- Symbolic state-space exploration and numerical analysis of state-sharing composed models (Q1434418) (← links)
- Efficient computation and representation of large reachability sets for composed automata (Q1610340) (← links)
- Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis (Q1761681) (← links)
- Hierarchical reachability graph generation for Petri nets (Q1871862) (← links)
- Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models (Q4427332) (← links)
- (Q4449536) (← links)
- (Q4518926) (← links)
- Integrating synchronization with priority into a Kronecker representation (Q4538476) (← links)
- Reachability analysis based on structured representations (Q4633167) (← links)
- Supply chain modelling and its analytical evaluation (Q4656696) (← links)
- (Q4738763) (← links)
- (Q4763574) (← links)
- (Q4782023) (← links)
- (Q4785974) (← links)
- (Q4798042) (← links)
- (Q4818815) (← links)
- Reduction of calcium release site models via fast/slow analysis and iterative aggregation/disaggregation (Q5264315) (← links)
- Validation of Stochastic Systems (Q5325840) (← links)
- Model checking for a class of weighted automata (Q5962025) (← links)
- Simulation study to identify the characteristics of Markov chain properties (Q6600080) (← links)
