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