Theses.bib

@phdthesis{BasoldParallelisminvestigationelliptic2010,
  type = {Bachelor's {{Thesis}}},
  title = {Parallelism Investigation for Elliptic Curve Key Exchange},
  url = {https://perso.ens-lyon.fr/henning.basold/publications/bsc-thesis.pdf},
  school = {TU Braunschweig},
  author = {Basold, Henning},
  month = nov,
  year = {2010}
}

@phdthesis{basold_transformation_2012,
  archiveprefix = {arXiv},
  eprinttype = {arxiv},
  eprint = {1403.2752},
  type = {{Master's Thesis}},
  title = {{Transformation von Scade-Modellen zur SMT-basierten Verifikation}},
  language = {German},
  url = {http://arxiv.org/abs/1403.2752},
  school = {TU Braunschweig},
  author = {Basold, Henning},
  month = oct,
  year = {2012}
}

@phdthesis{Basold17:Phd,
  type = {{{PhD Thesis}}},
  title = {Mixed {{Inductive}}-{{Coinductive Reasoning}}: {{Types}}, {{Programs}} and {{Logic}}},
  url = {https://hdl.handle.net/2066/190323},
  school = {Radboud University},
  author = {Basold, Henning},
  year = {2018}
}