Tzu-Chun Chen | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Eduard Kamburjan
10 publications
Ugo de'Liguoro
10 publications
Boris Düdder
5 publications
Jan Bessai
3 publications
Jakob Rehof
2 publications
Andrej Dudenhefner
2 publications

research

∙ 02/23/2018

Stateful Behavioral Types for ABS

It is notoriously hard to correctly implement a multiparty protocol whic...

0 Eduard Kamburjan, et al. ∙

research

∙ 12/19/2017

Mixin Composition Synthesis based on Intersection Types

We present a method for synthesizing compositions of mixins using type i...

0 Jan Bessai, et al. ∙