Timo Bingmann
发表
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations
pdf
Bernhard Beckert,
Mattias Ulbrich,
Peter Sanders,
2018,
MARS/VPT@ETAPS.
Peter Sanders,
Timo Bingmann,
Matthias Schimek,
2020,
2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS).
Simon Gog,
Timo Bingmann,
Florian Kurpicz,
2016,
ArXiv.
Peter Sanders,
Sebastian Schlag,
Sebastian Lamm,
2016,
2016 IEEE International Conference on Big Data (Big Data).
Peter Sanders,
Timo Bingmann,
2013,
ESA.
Peter Sanders,
Andreas Eberle,
Timo Bingmann,
2014,
Algorithmica.
Peter Sanders,
Timo Bingmann,
Thomas Keh,
2015,
SEA.
Timo Bingmann,
Timo Bingmann,
2018,
ArXiv.
Peter Sanders,
Christian Schulz,
Michael Axtmann,
2014,
ArXiv.
Peter Sanders,
Christian Schulz,
Michael Axtmann,
2014,
SPAA.
Vitaly Osipov,
Johannes Fischer,
Timo Bingmann,
2013,
ALENEX.
Phelim Bradley,
Zamin Iqbal,
Timo Bingmann,
2019,
SPIRE.
Kit Webcast,
Timo Bingmann,
2019
.
Vitaly Osipov,
Johannes Fischer,
Timo Bingmann,
2013,
ALENEX.
Bernhard Beckert,
Mattias Ulbrich,
Peter Sanders,
2018,
VSTTE.
Simon Gog,
Timo Bingmann,
Florian Kurpicz,
2018,
2018 IEEE International Conference on Big Data (Big Data).
Timo Bingmann,
Dimitar Yordanov,
Timo Bingmann,
2007
.
Timo Bingmann,
Timo Bingmann,
2016,
1601.03526.