Daniel Matichuk
According to our database1,
Daniel Matichuk
authored at least 13 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
2
1
1
2
1
1
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2018
Proceedings of the Principled Software Development, 2018
2016
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016
2015
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
2014
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014
2013
Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013
2012
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012
Proceedings of the Certified Programs and Proofs - Second International Conference, 2012