![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
4th Q-SE@ICSE 2023: Melbourne, Australia
- 4th IEEE/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2023, Melbourne, Australia, May 17, 2023. IEEE 2023, ISBN 979-8-3503-0180-9
- Aidan Evans, Seun Omonije, Robert Soulé, Robert Rand
:
MCBeth: A Measurement-based Quantum Programming Language. 1-8 - Philippe Codognet:
Generating Presence-Absence Matrices by Quantum Annealing. 9-15 - Héctor D. Menéndez, Luciano Bello
, David Clark
:
Dynamic Output State Classification for Quantum Computers. 16-23 - Masaomi Yamaguchi
, Nobukazu Yoshioka:
Design by Contract Framework for Quantum Software. 24-25 - 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. 26-33 - Joshua Ammermann
, Tim Bittner, Domenik Eichhorn
, Ina Schaefer, Christoph Seidl:
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? 34-41 - Shangzhou Xia, Jianjun Zhao:
Static Entanglement Analysis of Quantum Programs. 42-49 - Pengzhan Zhao, Xiongfei Wu, Zhuo Li, Jianjun Zhao:
QChecker: Detecting Bugs in Quantum Programs via Static Analysis. 50-57
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.