Quicklinks

Portrait of Person: Felix Klein

Felix Klein (Other)
 
 Am Halberg 3 | 66121 Saarbrücken | 3.01

Publications:

Title Date Date
 2016
2016
 Swen Jacobs, Felix Klein, Sebastian Schirmer
 NRA2
 Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016.
 2016
CAV
2016
 Bernd Finkbeiner, Felix Klein
 
 Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
 2018
ATVA
2018
 Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
 NRA2
 Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
 2014
2014
 Felix Klein, Torsten Spieldenner, Kristian Sons, Philipp Slusallek
 
 The 19th International Conference on Web3D Technology, Web3D '14, Vancouver, BC, Canada, August 8-10, 2014
 2016
2016
 Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Perez, Jean-Francois Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
 NRA2
 Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016.
 2017
2017
 Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Perez, Jean-Francois Raskin, Ocan Sankur, Leander Tentrup
 NRA2
 Proceedings Sixth Workshop on Synthesis, SYNT 2017, Heidelberg, Germany, 22nd July 2017.
 2015
SIGGRAPH
2015
 Kristian Sons, Felix Klein, Jan Sutter, Philipp Slusallek
 
 Special Interest Group on Computer Graphics and Interactive Techniques Conference, SIGGRAPH '15, Los Angeles, CA, USA, August 9-13, 2015, Posters Proceedings
 2017
2017
 Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
 
 Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, SCAV@CPSWeek 2017, Pittsburgh, PA, USA, April 21, 2017
 2014
2014
 Kristian Sons, Felix Klein, Jan Sutter, Philipp Slusallek
 
 Comput. Graph. Forum