Technische Universität München
Technische Universität München

M.Sc. Clara Waldmann

Contact

Office: Room 6011, Karlstr. 45 (6th floor), 80333 München

Email: firstname.surname(at)tum.de (public key available from key servers, key ID C216C915)

Phone: +49 89 289-26896

Publications

  • Křetínský, Jan; Meggendorfer, Tobias; Waldmann, Clara; Weininger, Maximilian: Index Appearance Record for Transforming Rabin Automata into Parity Automata. In: Legay, Axel; Margaria, Tiziana (Ed.): Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I. Springer Berlin Heidelberg, 2017, 443--460 more…
  • Dutour Sikirić, Mathieu and Garber, Alexey and Schürmann, Achill and Waldmann, Clara: The complete classification of five-dimensional Dirichlet - Voronoi polyhedra of translational lattices. Acta Crystallographica Section A 72 (6), 2016, 673--683 more…