Alexander Malkis
发表
Andreas Podelski,
Alexander Malkis,
Andrey Rybalchenko,
2010,
SAS.
Alexander Malkis,
A. Malkis,
2019,
2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT).
Shuvendu K. Lahiri,
Alexander Malkis,
Shaz Qadeer,
2010,
VMCAI.
Diego Marmsoler,
Alexander Malkis,
A. Malkis,
2015,
2015 IX Brazilian Symposium on Components, Architectures and Reuse Software.
Marieke Huisman,
Dilian Gurov,
Alexander Malkis,
2020,
ArXiv.
Diego Marmsoler,
Jonas Eckhardt,
Alexander Malkis,
2015,
FESCA.
Alexander Malkis,
Paul Muntean,
2016
.
Anindya Banerjee,
Alexander Malkis,
2012,
PPoPP '12.
Alexander Malkis,
Paul Muntean,
2016
.
Laurent Mauborgne,
Alexander Malkis,
A. Malkis,
2011,
APLAS.
Alexander Malkis,
A. Malkis,
2015,
RP.
Andreas Podelski,
Alexander Malkis,
Andrey Rybalchenko,
2006,
ICTAC.
Laurent Bussard,
Alexander Malkis,
Moritz Y. Becker,
2010
.
Alexander Malkis,
A. Malkis,
2010
.
Andreas Podelski,
Alexander Malkis,
Andrey Rybalchenko,
2007,
SAS.
Alexander Malkis,
Steffen Borgwardt,
S. Borgwardt,
2017,
2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS).
Anindya Banerjee,
Alexander Malkis,
A. Banerjee,
2014,
Journal of Automated Reasoning.
Laurent Bussard,
Alexander Malkis,
Moritz Y. Becker,
2010,
ICISS.
Andreas Podelski,
Alexander Malkis,
2012
.