49 citations · 57 across the 2 of their papers we have counts for
4 papers
Amplitude amplification-inspired QAOA: Improving the success probability for solving 3SAT
Alexander Mandl, Johanna Barzen, Marvin Bechtold +2
The Boolean satisfiability problem (SAT), in particular 3SAT with its bounded clause size, is a well-studied problem since a wide range of decision problems can be reduced to it. D…
A Roadmap for Automating the Selection of Quantum Computers for Quantum Algorithms
Marie Salm, Johanna Barzen, Uwe Breitenbücher +3
Quantum computing can enable a variety of breakthroughs in research and industry in the future. Although some quantum algorithms already exist that show a theoretical speedup compa…
Pattern Views: Concept and Tooling for Interconnected Pattern Languages
Manuela Weigold, Johanna Barzen, Uwe Breitenbücher +3
Patterns describe proven solutions for recurring problems. Typically, patterns in a particular domain are interrelated and organized in pattern languages. As real-world problems of…
Quantum in the Cloud: Application Potentials and Research Opportunities
Frank Leymann, Johanna Barzen, Michael Falkenthal +3
Quantum computers are becoming real, and they have the inherent potential to significantly impact many application domains. We sketch the basics about programming quantum computers…