i3QL: language-integrated live data views. - Ralf Mitschke; Sebastian Erdweg; Mirko Köhler 001; Mira Mezini; Guido Salvaneschi (OOPSLA, 2014)

Distributed system development with ScalaLoci. - Pascal Weisenburger; Mirko Köhler 001; Guido Salvaneschi (Proc. ACM Program. Lang., 2018)

Automated Refactoring to Reactive Programming. - Mirko Köhler 001; Guido Salvaneschi (ASE, 2019)

Distributed object-oriented programming with multiple consistency levels in ConSysT. - Nafise Eskandani; Mirko Köhler 001; Alessandro Margara; Guido Salvaneschi (SPLASH (Companion Volume), 2019)

Language-integrated privacy-aware distributed queries. - Guido Salvaneschi; Mirko Köhler 001; Daniel Sokolowski; Philipp Haller; Sebastian Erdweg; Mira Mezini (Proc. ACM Program. Lang., 2019)

ConSysT: tunable, safe consistency meets object-oriented programming. - Mirko Köhler 001; Nafise Eskandani Masoule; Alessandro Margara; Guido Salvaneschi (FTfJP@ECOOP, 2020)

Rethinking safe consistency in distributed object-oriented programming. - Mirko Köhler 001; Nafise Eskandani; Pascal Weisenburger; Alessandro Margara; Guido Salvaneschi (Proc. ACM Program. Lang., 2020)

Safe Combination of Data-Centric and Operation-Centric Consistency. - Mirko Köhler 001; Guido Salvaneschi (SPLASH Companion, 2023)

Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications. - Mirko Köhler 001; George Zakhour; Pascal Weisenburger; Guido Salvaneschi (IEEE Trans. Software Eng., 2025)