Publikationen von Thomas Bauereiß

2017

2016

  • Thomas Bauereiß; Armando Pesenti Gritti; Andrei Popescu; Franco Raimondi
    CoSMed: A Confidentiality-Verified Social Media Platform.
    In: Jasmin Christian Blanchette; Stephan Merz (Hrsg.). Interactive Theorem Proving. International Conference on Interactive Theorem Proving (ITP-2016), 7th, August 22-27, Nancy, France, Pages 87-106, LNCS, Vol. 9807, Springer, 8/2016.

2014

2013