A. Simon
发表
H. Siegel,
A. Simon,
2015
.
Nils Anders Danielsson,
Tiago L. Alves,
Brett Gordon Giles,
2002
.
Axel Simon,
Arnaud Venet,
A. Simon,
2014,
Electron. Notes Theor. Comput. Sci..
Jacob M. Howe,
Andy King,
Axel Simon,
2019,
Theor. Comput. Sci..
Andy King,
Axel Simon,
A. King,
2010,
High. Order Symb. Comput..
Axel Simon,
Bogdan Mihaila,
Alexander Sepp,
2011,
2011 18th Working Conference on Reverse Engineering.
Axel Simon,
Julian Kranz,
A. Simon,
2018,
VMCAI.
Andy King,
Axel Simon,
A. King,
2007,
SAS.
Axel Simon,
Olaf Chitil,
Frank Huch,
2000
.
Jacob M. Howe,
Andy King,
Axel Simon,
2002,
LOPSTR.
Roberto Giacobazzi,
Axel Simon,
Sarah Zennou,
2014,
Dagstuhl Reports.
Andy King,
Axel Simon,
A. King,
2002,
AMAST.
Andy King,
Axel Simon,
A. King,
2005,
SAS.
Axel Simon,
A. Simon,
2010,
NSAD@SAS.
Axel Simon,
A. Simon,
2010,
NSAD@SAS.
Axel Simon,
Bogdan Mihaila,
B. Mihaila,
2014,
NASA Formal Methods.
Axel Simon,
Bogdan Mihaila,
Alexander Sepp,
2013,
NASA Formal Methods.
Axel Simon,
Holger Siegel,
H. Siegel,
2012,
NSAD@SAS.