We stand with Ukraine  

Mikkel Kettunen

According to our database1, Mikkel Kettunen authored at least 3 papers between 2018 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Behavioural separation with parallel usages.
[BibTeX]
[DOI]
Iaroslav Golovanov
,
Hans Hüttel
,
Mathias Jakobsen
,
Mikkel Kettunen
Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2020
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language.
[BibTeX]
[DOI]
Mario Bravetti
,
Adrian Francalanza
,
Iaroslav Golovanov
,
Hans Hüttel
,
Mathias Jakobsen
,
Mikkel Kettunen
,
António Ravara
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2018
Context-Free Session Types for Applied Pi-Calculus.
[BibTeX]
[DOI]
Jens Aagaard
,
Hans Hüttel
,
Mathias Jakobsen
,
Mikkel Kettunen
Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018


  Loading...