Mirko Köhler
Orcid: 0000-0001-5497-9785Affiliations:
- Technische Universität Darmstadt, Germany
According to our database1,
Mirko Köhler
authored at least 9 papers
between 2014 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications.
IEEE Trans. Software Eng., January, 2025
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