Anna Schmitt

Anna Schmitt

Technische Universität Darmstadt - Darmstadt / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 5582207
Darmstadt University of Technology
person_outline Anna Schmitt's MOST POPULAR ARTICLES
1-) Glencoe–a tool for specification, visualization and formal analysis of product linesA Schmitt, C Bettinger, G RockTransdisciplinary Engineering Methods for Social Innovation of Industry 4.0 …, 2018272018
2-) Glencoe–a Visualization Prototyping FrameworkA Schmitt, S Wiersch, S WeisTransdisciplinary Lifecycle Analysis of Systems, 175-183, 201532015
3-) Towards a formal testing theory for quantum processesMR Mousavi, K Peters, A SchmittInternational Symposium on Leveraging Applications of Formal Methods, 111-131, 202422024
4-) Encodability criteria for quantum based systemsA Schmitt, K Peters, Y DengLogical Methods in Computer Science 20, 2024
5-) Probabilistic Operational CorrespondenceA Schmitt, K Peters34th International Conference on Concurrency Theory (CONCUR 2023), 15: 1-15: 17, 2023