Anna Schmitt

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 8

Top Topics

Management System

Probabilistic Logic

Technical Report

Top Venues

Publications

Anna Schmitt, Kirstin Peters, Yuxin Deng
Encodability Criteria for Quantum Based Systems. Log. Methods Comput. Sci. 20 (2) (2024)
Anna Schmitt, Kirstin Peters
Probabilistic Operational Correspondence. CONCUR (2023)
Anna Schmitt, Kirstin Peters
Probabilistic Operational Correspondence (Technical Report). CoRR (2023)
Kirstin Peters, Uwe Nestmann, Anna Schmitt
On distributability. Theor. Comput. Sci. 913 (2022)
Anna Schmitt, Kirstin Peters, Yuxin Deng
Encodability Criteria for Quantum Based Systems. FORTE (2022)
Anna Schmitt, Kirstin Peters, Yuxin Deng
Encodability Criteria for Quantum Based Systems (Technical Report). CoRR (2022)
Anna Schmitt, Christian Bettinger, Georg Rock
Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines. TE (2018)
Anna Schmitt, Sebastian Wiersch, Stefan Weis
Glencoe - a Visualization Prototyping Framework. ISPE CE (2015)