| Data encoding patterns for quantum computing M Weigold, J Barzen, F Leymann, M Salm Proceedings of the 27th Conference on Pattern Languages of Programs, 1-11, 2020 | 97 | 2020 |
| Encoding patterns for quantum algorithms M Weigold, J Barzen, F Leymann, M Salm IET Quantum Communication 2 (4), 141-152, 2021 | 86 | 2021 |
| The NISQ analyzer: automating the selection of quantum computers for quantum algorithms M Salm, J Barzen, U Breitenbücher, F Leymann, B Weder, K Wild Symposium and Summer School on Service-Oriented Computing, 66-85, 2020 | 81 | 2020 |
| The quantum software lifecycle B Weder, J Barzen, F Leymann, M Salm, D Vietz Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures …, 2020 | 75 | 2020 |
| Expanding data encoding patterns for quantum algorithms M Weigold, J Barzen, F Leymann, M Salm 2021 IEEE 18th International Conference on Software Architecture Companion …, 2021 | 73 | 2021 |
| About a criterion of successfully executing a circuit in the NISQ era: what wd ≪ 1/𝜖 eff really means M Salm, J Barzen, F Leymann, B Weder Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures …, 2020 | 31 | 2020 |
| Automating the comparison of quantum compilers for quantum circuits M Salm, J Barzen, F Leymann, B Weder, K Wild Symposium and Summer School on Service-Oriented Computing, 64-80, 2021 | 30 | 2021 |
| Automated quantum hardware selection for quantum workflows B Weder, J Barzen, F Leymann, M Salm Electronics 10 (8), 984, 2021 | 25 | 2021 |
| QProv: A provenance system for quantum computing B Weder, J Barzen, F Leymann, M Salm, K Wild IET Quantum Communication 2 (4), 171-181, 2021 | 21 | 2021 |
| Prioritization of compiled quantum circuits for different quantum computers M Salm, J Barzen, F Leymann, B Weder 2022 IEEE International Conference on Software Analysis, Evolution and …, 2022 | 19 | 2022 |
| Demo of a smart plant system as an exemplary smart home application supporting non-urgent notifications A Voit, MO Salm, M Beljaars, S Kohn, S Schneegass Proceedings of the 10th Nordic Conference on Human-Computer Interaction, 936-939, 2018 | 11 | 2018 |
| Optimizing the prioritization of compiled quantum circuits by machine learning approaches M Salm, J Barzen, F Leymann, P Wundrack Symposium and Summer School on Service-Oriented Computing, 161-181, 2022 | 8 | 2022 |
| Exploring non-urgent smart home notifications using a smart plant system A Voit, D Weber, Y Abdelrahman, M Salm, PW Woźniak, K Wolf, ... Proceedings of the 19th International Conference on Mobile and Ubiquitous …, 2020 | 8 | 2020 |
| How to Select Quantum Compilers and Quantum Computers Before Compilation. M Salm, J Barzen, F Leymann, P Wundrack CLOSER, 172-183, 2023 | 7 | 2023 |
| Comparing quantum service offerings J Obst, J Barzen, M Beisel, F Leymann, M Salm, F Truger 2023 IEEE International Conference on Quantum Computing and Engineering (QCE …, 2023 | 5 | 2023 |
| A Practical Introduction for Developing and Operating Hybrid Quantum Applications M Beisel, F Gemeinhardt, M Salm, B Weder International Conference on Web Engineering, 409-412, 2023 | 3 | 2023 |
| Die MarieQurie-Methode zur Empfehlung von Quantenressourcen M Salm | | 2024 |
| Automated Quantum Hardware Selection for Quantum Workflows. Electronics 2021, 10, 984 B Weder, J Barzen, F Leymann, M Salm s Note: MDPI stays neutral with regard to jurisdictional claims in published …, 2021 | | 2021 |
| Die Rolle von Verschränkung im Quantencomputing: Speedup und Konsensusprotokolle MO Salm | | 2019 |
| Ambiente Benachrichtigungen intelligenter Heimgeräte durch visuelle Reize MO Salm | | 2017 |
Frank LeymannProfessor of Computer Science, University of Stuttgart, Germany, Member Academia EuropaeaVerified email at iaas.uni-stuttgart.de