other.bib

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

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

@techreport{BKRW10b,
  author = {Angelo Brillout and Daniel Kroening and Philipp R{\"u}mmer and Thomas Wahl},
  title = {Beyond Quantifier-Free Interpolation in Extensions of {P}resburger Arithmetic (Extended Technical Report)},
  institution = {CoRR abs/1011.1036},
  url = {http://www.ccs.neu.edu/home/wahl/Publications/bkrw10b.pdf},
  year = {2010},
  category = {other}
}

@techreport{BKW08,
  author = {Angelo Brillout and Daniel Kroening and Thomas Wahl},
  title = {{C}raig Interpolation for Quantifier-Free {P}resburger Arithmetic},
  institution = {CoRR abs/0811.3521},
  url = {http://www.ccs.neu.edu/home/wahl/Publications/bkw08.pdf},
  year = {2008},
  category = {other}
}

@manual{W07a,
  author = {Thomas Wahl},
  title = {The {\textsc{Sviss}} Symbolic Verifier},
  organization = {Swiss Federal Institute of Technology, Zurich},
  address = {{\texttt{http://web.comlab.ox.ac.uk/people/Thomas.Wahl/Sviss}} (accessed {\today})},
  year = {2008},
  category = {other}
}

@phdthesis{W07b,
  author = {Thomas Wahl},
  title = {Exploiting Replication in Automated Program Verification},
  school = {University of Texas at Austin},
  url = {http://www.ccs.neu.edu/home/wahl/Publications/dissertation.pdf},
  year = {2007},
  category = {other}
}

@techreport{ACJKW02,
  author = {Nina Amenta and Sunghee Choi and Maria Jump and Ravi Kolluri and Thomas Wahl},
  title = {Finding alpha-helices in skeletons},
  institution = {University of Texas at Austin, Department of Computer Sciences},
  number = {TR-02-27},
  url = {http://www.ccs.neu.edu/home/wahl/Publications/acjkw02.pdf},
  year = {2002},
  category = {other}
}

@incollection{KNW01,
  author = {Oliver Karch and Hartmut Noltemeier and Thomas Wahl},
  title = {Location and Robotics},
  booktitle = {Facility Location {--} Applications and Theory},
  editor = {Zvi Drezner and Horst Hamacher},
  publisher = {Springer-Verlag},
  year = {2001},
  category = {other}
}

@mastersthesis{W97,
  author = {Thomas Wahl},
  title = {Distance Functions for Polygons and their Application in Robot Localization (in {G}erman)},
  school = {University of {W\"urzburg}},
  url = {http://www.ccs.neu.edu/home/wahl/Publications/diplomarbeit.pdf},
  year = {1997},
  category = {other}
}

This file was generated by bibtex2html 1.95.