Martin Riener
发表
Damien Doligez,
Stefan Merz,
Martin Riener,
2016
.
Tomer Libal,
Stefan Hetzl,
Martin Riener,
2013,
TABLEAUX.
Tomer Libal,
Martin Riener,
Mikheil Rukhaia,
2014,
UITP.
Giselle Reis,
Stefan Hetzl,
Sebastian Zivota,
2016,
IJCAR.
Alexander Leitsch,
Bruno Woltzenlogel Paleo,
Tomer Libal,
2012,
UITP.
Stephan Merz,
Sébastien Tixeuil,
Leslie Lamport,
2013
.
Giles Reger,
Martin Riener,
Martin Suda,
2019,
FroCos.
Alexander Leitsch,
Tomer Libal,
Daniel Weller,
2012
.