Jonathan Heinen
According to our database1,
Jonathan Heinen
authored at least 6 papers
between 2009 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
2014
2015
0
1
2
3
4
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Formal Methods Syst. Des., 2015
2011
Proceedings of the Language and Automata Theory and Applications, 2011
Proceedings of the Formal Verification of Object-Oriented Software, 2011
2009
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009