Roland Kuhn

Affiliations:

Actyx AG, Kassel, Germany

According to our database¹, Roland Kuhn authored at least 5 papers between 2021 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Behavioural Types for Heterogeneous Systems (Position Paper).

[BibT_eX]

[DOI]

CoRR, 2024

2023

Behavioural Types for Local-First Software (Artifact).

[BibT_eX]

[DOI]

Roland Kuhn

Hernán C. Melgratti

Emilio Tuosto

Dagstuhl Artifacts Ser., 2023

Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms.

[BibT_eX]

[DOI]

Roland Kuhn

Alan Darmasaputra

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

Behavioural Types for Local-First Software.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2021

Roland Kuhn

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...