Alexander Kaiser
发表
Stefan Bollmeyer,
Roland Braun,
Benjamin Danzer,
2011
.
Carsten Sinz,
Thomas Gorges,
Alexander Kaiser,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Daniel Kroening,
Thomas Wahl,
Alastair F. Donaldson,
2012,
Formal Methods in System Design.
Daniel Kroening,
Thomas Wahl,
Alexander Kaiser,
2010,
CAV.
Daniel Kroening,
Thomas Wahl,
Alastair F. Donaldson,
2011,
CAV.
Daniel Kroening,
Gérard Basler,
Thomas Wahl,
2012,
TACAS.
Alexander Kaiser,
2013
.
Stefan Raith,
Alexander Kaiser,
Wolfgang Hausladen,
2012
.
Ulrich Ramacher,
Hans-Jörg Pfleiderer,
Alexander Kaiser,
2005,
IEEE Design & Test of Computers.
Daniel Kroening,
Thomas Wahl,
Alexander Kaiser,
2014,
CONCUR.
Daniel Kroening,
Thomas Wahl,
Alexander Kaiser,
2014,
ACM Trans. Program. Lang. Syst..
Daniel Kroening,
Thomas Wahl,
Alexander Kaiser,
2012,
CONCUR.
Alexander Kaiser,
Peter Jänker,
Gerhard Steiner,
2014
.
Alexander Kaiser,
Geoffrey A. Manley,
Grit Taschenberger,
2000
.
Alexander Kaiser,
Rainer Kuschnig,
2008
.
Wah-Keat Lee,
Alexander Kaiser,
John J Socha,
2007,
Proceedings of the National Academy of Sciences.