Glencoe–a tool for specification, visualization and formal analysis of product lines A Schmitt, C Bettinger, G Rock Transdisciplinary Engineering Methods for Social Innovation of Industry 4.0 …, 2018 | 26 | 2018 |
Encodability criteria for quantum based systems (technical report) A Schmitt, K Peters, Y Deng CoRR, 2022 | 2 | 2022 |
Glencoe–a tool and a methodology to manage variability within the product development process C Bettinger, G Rock, A Schmitt International Journal of Agile Systems and Management 12 (4), 332-353, 2019 | 2 | 2019 |
Glencoe-a Visualization Prototyping Framework. A Schmitt, S Wiersch, S Weis ISPE CE, 175-183, 2015 | 2 | 2015 |
Probabilistic Operational Correspondence (Technical Report) A Schmitt, K Peters arXiv preprint arXiv:2307.05218, 2023 | 1 | 2023 |
Probabilistic Operational Correspondence A Schmitt, K Peters 34th International Conference on Concurrency Theory (CONCUR 2023), 2023 | 1 | 2023 |
Encodability criteria for quantum based systems A Schmitt, K Peters, Y Deng International Conference on Formal Techniques for Distributed Objects …, 2022 | 1 | 2022 |
On distributability K Peters, U Nestmann, A Schmitt Theoretical Computer Science 913, 151-173, 2022 | | 2022 |