Workshop Publications (reverse chronological)

The copyrights for most of these publications belong to their respective publishers. All papers may be downloaded for personal or research purposes only.

[1] Miriam Leeser, Jaideep Ramachandran, Thomas Wahl, and Devon Yablonski. OpenCL floating point software on heterogeneous architectures - portable or not? In Numerical Software Verification (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 Satisfiability Modulo Theories (SMT), 2010. [ bib | pdf ]
[4] Oliver Karch, Hartmut Noltemeier, and Thomas Wahl. Robot localization: Theory and implementation. In Computational Geometry (CG), 1997. [ bib | pdf ]

This file was generated by bibtex2html 1.96.