| 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 |
