Q-SE@ICSE

Keyphrases

Publications

2023

Héctor D. Menéndez, Luciano Bello, David Clark
Dynamic Output State Classification for Quantum Computers. Q-SE@ICSE (2023)
Philippe Codognet
Generating Presence-Absence Matrices by Quantum Annealing. Q-SE@ICSE (2023)
Aidan Evans, Seun Omonije, Robert Soulé, Robert Rand
MCBeth: A Measurement-based Quantum Programming Language. Q-SE@ICSE (2023)
Masaomi Yamaguchi, Nobukazu Yoshioka
Design by Contract Framework for Quantum Software. Q-SE@ICSE (2023)
Javier Sanchez-Rivero, Daniel Talaván, José García-Alonso, Antonio Ruiz-Cortés, Juan Manuel Murillo
Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification. Q-SE@ICSE (2023)
Joshua Ammermann, Tim Bittner, Domenik Eichhorn, Ina Schaefer, Christoph Seidl
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? Q-SE@ICSE (2023)
4th IEEE/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2023, Melbourne, Australia, May 17, 2023 Q-SE@ICSE (2023)
Shangzhou Xia, Jianjun Zhao
Static Entanglement Analysis of Quantum Programs. Q-SE@ICSE (2023)
Pengzhan Zhao, Xiongfei Wu, Zhuo Li, Jianjun Zhao
QChecker: Detecting Bugs in Quantum Programs via Static Analysis. Q-SE@ICSE (2023)

2022

2021