|||Miriam Leeser, Jaideep Ramachandran, Thomas Wahl, and Devon Yablonski. OpenCL floating point software on heterogeneous architectures - portable or not? In NSV, 2012. [ bib | pdf ]|
|||Angelo Brillout, Daniel Kroening, Philipp Ruemmer, and Thomas Wahl. Program verification via Craig interpolation for Presburger arithmetic with arrays. In VERIFY, 2010. [ bib | pdf ]|
|||Philipp Ruemmer and Thomas Wahl. An SMT-LIB theory of binary floating-point arithmetic. In SMT, 2010. [ bib | pdf ]|
|||Oliver Karch, Hartmut Noltemeier, and Thomas Wahl. Robot localization: Theory and implementation. In CG, 1997. [ bib | pdf ]|
This file was generated by bibtex2html 1.96.