Denis Lohner
According to our database1,
Denis Lohner
authored at least 7 papers
between 2009 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
0
1
2
3
4
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the Principled Software Development, 2018
2017
2016
Proceedings of the 25th International Conference on Compiler Construction, 2016
2010
Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing.
Proceedings of the 6th International Verification Workshop, 2010
2009
Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009