Jasper Dekoninck
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 5
Publications (10 Years): 5
Publications
- Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev
- Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel, Martin T. VechevSynthetiq: Fast and Versatile Quantum Circuit Synthesis. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
- Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin T. Vechev