other.bib

@proceedings{KW15,
  editor = {Roope Kaivola and Thomas Wahl},
  title = {Formal Methods in Computer-Aided Design (FMCAD), Austin, Texas, USA, September 27-30, 2015},
  publisher = {{IEEE}},
  year = {2015},
  isbn = {978-0-9835678-5-1},
  timestamp = {Thu, 07 Jan 2016 15:56:54 +0100},
  pdf = {http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/proceedings/final.pdf},
  category = {other}
}
@book{RW13,
  author = {Ajitha Rajan and Thomas Wahl (Eds.)},
  title = {{CESAR} {--} Cost-efficient Methods and Processes for Safety-relevant Embedded Systems},
  publisher = {Springer Verlag},
  year = {2013},
  www = {http://www.springer.com/engineering/production+engineering/book/978-3-7091-1386-8},
  category = {other}
}
@manual{W07a,
  author = {Thomas Wahl},
  title = {The {\textsc{Sviss}} Symbolic Verifier},
  organization = {Swiss Federal Institute of Technology, Zurich},
  www = {http://web.comlab.ox.ac.uk/people/Thomas.Wahl/Sviss},
  year = {2008},
  category = {other}
}
@phdthesis{W07b,
  author = {Thomas Wahl},
  title = {Exploiting Replication in Automated Program Verification},
  school = {University of Texas at Austin},
  year = {2007},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/dissertation.pdf},
  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},
  www = {http://www.springer.com/us/book/9783540421726},
  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}},
  year = {1997},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/diplomarbeit.pdf},
  category = {other}
}

This file was generated by bibtex2html 1.97.