Mathias Jakobsen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ornela Dardha
14 publications
Hans Hüttel
4 publications
Alice Ravier
1 publication
Jens Aagaard
1 publication
Mikkel Kettunen
1 publication

research

∙ 07/27/2021

Papaya: Global Typestate Analysis of Aliased Objects Extended Version

Typestates are state machines used in object-oriented programming to spe...

0 Mathias Jakobsen, et al. ∙

research

∙ 08/27/2018

Context-Free Session Types for Applied Pi-Calculus

We present a binary session type system using context-free session types...

0 Jens Aagaard, et al. ∙