Mirko Köhler
Orcid: 0000-0001-5497-9785Affiliations:
- Technische Universität Darmstadt, Germany
According to our database1,
Mirko Köhler
authored at least 8 papers
between 2014 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023
2020
Proc. ACM Program. Lang., 2020
Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020
2019
Proc. ACM Program. Lang., 2019
Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
2018
2014
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014