workshop.bib

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

@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 = {NSV},
  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 = {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 = {CG},
  url = {http://www.ccs.neu.edu/home/wahl/Publications/knw97.pdf},
  year = {1997},
  category = {workshop}
}

This file was generated by bibtex2html 1.95.