Martin Hofmann
发表
Ray-Yuan Sheu,
Michael Czajkowski,
Justin Wetherell,
2010
.
Martin Hofmann,
Ken Whitebread,
Lori Ann Pridmore,
2002
.
Martin Hofmann,
Jinhong K. Guo,
2017
.
Lennart Beringer,
Martin Hofmann,
2016
.
Patrick Jaillet,
Martin Hofmann,
Jinhong K. Guo,
2019,
ICAART.
David Van Brackle,
Martin Hofmann,
Jinhong K. Guo,
2016
.
Hans-Wolfgang Loidl,
David Aspinall,
Alberto Momigliano,
2004
.
Hans-Wolfgang Loidl,
David Aspinall,
Lennart Beringer,
2003
.
Nick Benton,
Martin Hofmann,
Greg Morrisett,
2008,
Types, Logics and Semantics for State.
Nick Benton,
Vivek Nigam,
Martin Hofmann,
2014
.