Anna Schmitt | DeepAI

DeepAI

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

Featured Co-authors

Kirstin Peters
11 publications
Yuxin Deng
10 publications

research

∙ 07/11/2023

Probabilistic Operational Correspondence (Technical Report)

Encodings are the main way to compare process calculi. By applying quali...

0 Anna Schmitt, et al. ∙

research

∙ 04/12/2022

Encodability Criteria for Quantum Based Systems (Technical Report)

This technical report contains the proofs to the lemmata and theorems of...

0 Anna Schmitt, et al. ∙