| How to approximate any objective function via quadratic unconstrained binary optimization T Gabor, ML Rosenfeld, C Linnhoff-Popien, S Feld 2022 IEEE International Conference on Software Analysis, Evolution and …, 2022 | 8 | 2022 |
| CPAchecker 2.3 with Strategy Selection: (Competition Contribution) D Baier, D Beyer, PC Chien, M Jankola, M Kettl, NZ Lee, T Lemberger, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 3 | 2024 |
| A unifying approach for control-flow-based loop abstraction D Beyer, M Lingsch Rosenfeld, M Spiessl International Conference on Software Engineering and Formal Methods, 3-19, 2022 | 3 | 2022 |
| A probabilistic game of life on a quantum annealer T Gabor, ML Rosenfeld, C Linnhoff-Popien ALIFE 2021: The 2021 Conference on Artificial Life, 2021 | 3 | 2021 |
| Software verification witnesses 2.0 P Ayaziová, D Beyer, M Lingsch-Rosenfeld, M Spiessl, J Strejček Proc. SPIN. Springer, 2024 | 2 | 2024 |
| Cube Bot—A Smart Factory Showcase for the Real-Time Container Architecture J Hirsch, M Lichtblau, ML Rosenfeld, K Telschig, A Knapp 2022 IEEE 20th International Conference on Industrial Informatics (INDIN …, 2022 | 1 | 2022 |
| Simple Quantum State Encodings for Hybrid Programming of Quantum Simulators T Gabor, ML Rosenfeld, C Linnhoff-Popien 2022 IEEE 19th International Conference on Software Architecture Companion …, 2022 | 1 | 2022 |
| cegar-pt: A Tool for Abstraction by Program Transformation D Beyer, M Lingsch-Rosenfeld, M Spiessl 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | | 2023 |
| Towards Turing-Complete Quantum Computing Coming From Classical Assembler T Gabor, ML Rosenfeld, C Linnhoff-Popien arXiv preprint arXiv:2206.14037, 2022 | | 2022 |
| CPAchecker 2.3 with Strategy Selection D Baier, D Beyer, PC Chien, M Jankola, M Kettl, NZ Lee, T Lemberger, ... | | |
| ASYMPTOTIC QUANTIFIER ELIMINATION ML Rosenfeld | | |
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
