Quicklinks

wolf

Portrait of Person: Verena Wolf

Verena Wolf (Professor)
 
 Campus E1 3 | 66123 Saarbrücken | 3.03

Publications:

Title Date Date
 2016
2016
 Michael Backes, Pascal Berrang, Mathias Humbert, Xiaoyu Shen, Verena Wolf
 Proceedings of the 3rd International Workshop on Genome Privacy and Security (GenoPri'16)
 2013
2013
 Alessio Angius, András Horváth, Verena Wolf
 Analytical and Stochastic Modelling Techniques and Applications - 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings
 2013
2013
 Linar Mikeev, Martin R. Neuhäußer, David Spieler, Verena Wolf
 Formal Methods in System Design
 2012
2012
 Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
 Journal of Logic and Algebraic Programming
 2011
2011
 Thomas A Henzinger, Barbara Jobstmann, Verena Wolf
 International Journal of Foundations of Computer Science
 2011
2011
 Maksim Lapin, Linar Mikeev, Verena Wolf
 Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011
 2011
2011
 Linar Mikeev, Werner Sandmann, Verena Wolf
 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011