Steffen Jost
发表
Martin Hofmann,
Steffen Jost,
2006,
ESOP.
Steffen Jost,
2010
.
Martin Hofmann,
Steffen Jost,
Sabine Bauer,
2018,
LPAR.
Steffen Jost,
Mário Florido,
Kevin Hammond,
2012,
ICFP.
Greg J. Michaelson,
Hans-Wolfgang Loidl,
Steffen Jost,
2009,
2009 17th European Signal Processing Conference.
Martin Hofmann,
Roy Dyckhoff,
Greg J. Michaelson,
2005,
Trends in Functional Programming.
Armelle Bonenfant,
Hans-Wolfgang Loidl,
Robert F. Pointon,
2007,
WCET.
Steffen Jost,
2002
.
Kenneth MacKenzie,
Hans-Wolfgang Loidl,
Lennart Beringer,
2009,
2009 Fourth Latin-American Symposium on Dependable Computing.
Martin Hofmann,
Roy Dyckhoff,
Greg J. Michaelson,
2006,
WCET.
Martin Hofmann,
Hans-Wolfgang Loidl,
Norman Scaife,
2009,
FM.
Steffen Jost,
Mário Florido,
Kevin Hammond,
2017,
Journal of Automated Reasoning.
Martin Hofmann,
Steffen Jost,
M. Hofmann,
2003,
POPL '03.
Martin Hofmann,
Steffen Jost,
M. Hofmann,
2003,
POPL '03.
Martin Hofmann,
Hans-Wolfgang Loidl,
Steffen Jost,
2010,
POPL '10.
Hans-Wolfgang Loidl,
Steffen Jost,
2009,
FOPARA.
Steffen Jost,
Mário Florido,
Kevin Hammond,
2015,
ESOP.
Martin Hofmann,
Hans-Wolfgang Loidl,
Norman Scaife,
2009
.
Martin Hofmann,
Steffen Jost,
Dulma Rodriguez,
2009
.