We stand with Ukraine  

Anna Schmitt

Orcid: 0000-0001-6675-2879

Affiliations:
  • TU Darmstadt, Germany
  • Trier University of Applied Sciences, Germany (former)


According to our database1, Anna Schmitt authored at least 7 papers between 2015 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Probabilistic Operational Correspondence (Technical Report).
[BibTeX]
[DOI]
Anna Schmitt
,
Kirstin Peters
CoRR, 2023

Probabilistic Operational Correspondence.
[BibTeX]
[DOI]
Anna Schmitt
,
Kirstin Peters
Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022
On distributability.
[BibTeX]
[DOI]
Kirstin Peters
,
Uwe Nestmann
,
Anna Schmitt
Theor. Comput. Sci., 2022

Encodability Criteria for Quantum Based Systems (Technical Report).
[BibTeX]
[DOI]
Anna Schmitt
,
Kirstin Peters
,
Yuxin Deng
CoRR, 2022

Encodability Criteria for Quantum Based Systems.
[BibTeX]
[DOI]
Anna Schmitt
,
Kirstin Peters
,
Yuxin Deng
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2018
Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines.
[BibTeX]
[DOI]
Anna Schmitt
,
Christian Bettinger
,
Georg Rock
Proceedings of the Transdisciplinary Engineering Methods for Social Innovation of Industry 4.0, 2018

2015
Glencoe - a Visualization Prototyping Framework.
[BibTeX]
[DOI]
Anna Schmitt
,
Sebastian Wiersch
,
Stefan Weis
Proceedings of the Transdisciplinary Lifecycle Analysis of Systems, 2015


  Loading...