Anna Schmitt 0002

dblp:167/2320-2 · DBLP profile ↗
← Back
5ranked-venue papers
3as first author
5since 2021 · last 2024
0000-0001-6675-2879ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 2 first-author · 3 since 2021Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021Computer networks · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2024 Towards a Formal Testing Theory for Quantum Processes
Mohammad Reza Mousavi 0001, Kirstin Peters, Anna Schmitt 0002
ISoLA (1)3
2024 Encodability Criteria for Quantum Based Systems
abstract
Quantum based systems are a relatively new research area for that different modelling languages including process calculi are currently under development. Encodings are often used to compare process calculi. Quality criteria are used then to rule out trivial or meaningless encodings. In this new context of quantum based systems, it is necessary to analyse the applicability of these quality criteria and to potentially extend or adapt them. As a first step, we test the suitability of classical criteria for encodings between quantum based languages and discuss new criteria. Concretely, we present an encoding, from a language inspired by CQP into a language inspired by qCCS. We show that this encoding satisfies compositionality, name invariance (for channel and qubit names), operational correspondence, divergence reflection, success sensitiveness, and that it preserves the size of quantum registers. Then we show that there is no encoding from qCCS into CQP that is compositional, operationally corresponding, and success sensitive.
Anna Schmitt 0002, Kirstin Peters, Yuxin Deng 0001
Log. Methods Comput. Sci.1
2023 Probabilistic Operational Correspondence
Anna Schmitt 0002, Kirstin Peters
CONCUR1
2022 Encodability Criteria for Quantum Based Systems
Anna Schmitt 0002, Kirstin Peters, Yuxin Deng 0001
FORTE1
2022 On distributability
Kirstin Peters, Uwe Nestmann, Anna Schmitt 0002
Theor. Comput. Sci.3