Heiko Schmidt
Orcid: 0009-0009-7795-7592
According to our database1,
Heiko Schmidt
authored at least 6 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 2024 Symposium on Eye Tracking Research and Applications, 2024
2009
On the role of nondeterminism and refinement in model-driven top-down development of software systems.
PhD thesis, 2009
Proceedings of the Fundamentals of Software Engineering, 2009
2008
J. Log. Algebraic Methods Program., 2008
2007
Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007
Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007