Anna Schmitt | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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

Success!

An error occurred