| 2020 | QRS | A Performance Benchmarking Methodology for MQTT Broker Implementations. | Ilie-Daniel Gheorghe-Pop, Alexander Kaiser, Axel Rennoch, Sascha Hackel |
| 2019 | QRS | Standards-Based IoT Testing with Open-Source Test Equipment. | Alexander Kaiser, Sascha Hackel |
| 2014 | CONCUR | Lost in Abstraction: Monotonicity in Multi-threaded Programs. | Alexander Kaiser, Daniel Kroening, Thomas Wahl |
| 2012 | CONCUR | Efficient Coverability Analysis by Proof Minimization. | Alexander Kaiser, Daniel Kroening, Thomas Wahl |
| 2012 | TACAS | satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). | Grard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl |
| 2011 | CAV | Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. | Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl |
| 2010 | CAV | Dynamic Cutoff Detection in Parameterized Concurrent Programs. | Alexander Kaiser, Daniel Kroening, Thomas Wahl |
| 2010 | ESANN | Distance functions for local PCA methods. | Alexander Kaiser, Wolfram Schenck, Ralf Mller |
| 2010 | ESANN | Adaptive learning rate control for "neural gas principal component analysis". | Wolfram Schenck, Ralph Welsch, Alexander Kaiser, Ralf Mller |