Roland Kuhn

According to our database, Roland Kuhn authored at least 7 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Compositional Design, Implementation, and Verification of Swarms (Technical Report).

Florian Furbach, Lucas Clorius, Roland Kuhn, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto

CoRR, April, 2026

2024

Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051).

Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann

Dagstuhl Reports, 2024

Behavioural Types for Heterogeneous Systems (Position Paper).

Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos

Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024

2023

Behavioural Types for Local-First Software (Artifact).

Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto

Dagstuhl Artifacts Ser., 2023

Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms.

Roland Kuhn, Alan Darmasaputra

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Behavioural Types for Local-First Software.

Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2021

Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372).

Mariangiola Dezani, Roland Kuhn, Sam Lindley, Alceste Scalas

Dagstuhl Reports, 2021