| |
| 2008 | ||
|---|---|---|
| 6 | EE | Kai Lampka: A New Algorithm for Partitioned Symbolic Reachability Analysis. Electr. Notes Theor. Comput. Sci. 223: 137-151 (2008) |
| 2007 | ||
| 5 | EE | Kai Lampka, S. Harwarth, Markus Siegle: Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs. VALUETOOLS 2007: 78 |
| 2006 | ||
| 4 | EE | Kai Lampka, Markus Siegle, Max Walter: An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. FMICS/PDMC 2006: 35-50 |
| 3 | Kai Lampka, Markus Siegle: Activity-local symbolic state graph generation for high-level stochastic models. MMB 2006: 245-264 | |
| 2 | EE | Kai Lampka, Markus Siegle: Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. VALUETOOLS 2006: 35 |
| 2004 | ||
| 1 | EE | Matthias Kuntz, Kai Lampka: Probabilistic Methods in State Space Analysis. Validation of Stochastic Systems 2004: 339-383 |
| 1 | S. Harwarth | [5] |
| 2 | Matthias Kuntz | [1] |
| 3 | Markus Siegle | [2] [3] [4] [5] |
| 4 | Max Walter | [4] |