Scholar
Alexander Weinert
Google Scholar ID: q0kQeX4AAAAJ
Research Group Lead Distributed Systems, German Aerospace Center
Distributed Systems
Formal Methods
Game Theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
305
H-index
11
i10-index
11
Publications
20
Co-authors
0
Publications
3 items
Automatic De-Quantization of Quantum Programs Using Constant Propagation
2026
Cited
0
Optimization of Hybrid Quantum-Classical Algorithms
2025
Cited
0
Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models
International Conference on Software Testing, Verification and Validation Workshops · 2025
Cited
0
