Quicklinks

mehlhorn

Portrait of Person: Kurt Mehlhorn

Kurt Mehlhorn (Professor)
 
 Campus E1 4 | 66123 Saarbrücken | 300

Publications:

Title Date Date
 2014
2014
 Lars Noschinski, Christine Rizkallah, Kurt Mehlhorn
 Proc. 6th NASA Formal Methods Symposium (NFM 2014)
 2013
2013
 Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
 Journal of Automated Reasoning
 2013
2013
 Amr Elmasry, Jens M. Schmidt, Kurt Mehlhorn
 Journal of Graph Theory
 2012
2012
 Amr Elmasry, Kurt Mehlhorn, Jens M. Schmidt
 Algorithmica
 2011
CAV
2011
 Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
 Proc. of the 23rd International Conference on Computer Aided Verification (CAV 2011)
 2011
2011
 Ross M McConnell, Kurt Mehlhorn, Stefan Näher, Pascal Schweitzer
 Computer Science Review