@comment{{This file has been generated by bib2bib 1.97}}

@comment{{Command line: /usr/bin/bib2bib -c category="workshop" /home/wahl/Technical/Latex/references-thomas.bib}}

@inproceedings{LRWY12, author = {Miriam Leeser and Jaideep Ramachandran and Thomas Wahl and Devon Yablonski}, title = {{OpenCL} Floating Point Software on Heterogeneous Architectures {---} Portable or Not?}, booktitle = {Numerical Software Verification}, url = {http://www.ccs.neu.edu/home/wahl/Publications/lrwy12.pdf}, year = {2012}, category = {workshop} }

@inproceedings{BKRW10a, author = {Angelo Brillout and Daniel Kroening and Philipp Ruemmer and Thomas Wahl}, title = {Program Verification via {C}raig Interpolation for {P}resburger Arithmetic with Arrays}, booktitle = {VERIFY}, url = {http://www.ccs.neu.edu/home/wahl/Publications/bkrw10a.pdf}, year = {2010}, category = {workshop} }

@inproceedings{RW10, author = {Philipp Ruemmer and Thomas Wahl}, title = {An {SMT-LIB} Theory of Binary Floating-Point Arithmetic}, booktitle = {Satisfiability Modulo Theories (SMT)}, url = {http://www.ccs.neu.edu/home/wahl/Publications/rw10.pdf}, year = {2010}, category = {workshop} }

@inproceedings{KNW97, author = {Oliver Karch and Hartmut Noltemeier and Thomas Wahl}, title = {Robot Localization: Theory and Implementation}, booktitle = {Computational Geometry (CG)}, url = {http://www.ccs.neu.edu/home/wahl/Publications/knw97.pdf}, year = {1997}, category = {workshop} }

*This file was generated by
bibtex2html 1.97.*