Anna Schmitt

According to our database, Anna Schmitt authored at least 8 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Encodability Criteria for Quantum Based Systems.

Anna Schmitt, Kirstin Peters, Yuxin Deng

Log. Methods Comput. Sci., 2024

Towards a Formal Testing Theory for Quantum Processes.

Mohammad Reza Mousavi, Kirstin Peters, Anna Schmitt

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

2023

Probabilistic Operational Correspondence (Technical Report).

Anna Schmitt, Kirstin Peters

CoRR, 2023

Probabilistic Operational Correspondence.

Anna Schmitt, Kirstin Peters

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

On distributability.

Kirstin Peters, Uwe Nestmann, Anna Schmitt

Theor. Comput. Sci., 2022

Encodability Criteria for Quantum Based Systems (Technical Report).

Anna Schmitt, Kirstin Peters, Yuxin Deng

CoRR, 2022

2018

Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines.

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.

Anna Schmitt, Sebastian Wiersch, Stefan Weis

Proceedings of the Transdisciplinary Lifecycle Analysis of Systems, 2015