From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “quantum programming languages” 13

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Romain Péchoux

17

citations
Quantum Programming with Inductive Datatypes
2020 HAL (Le Centre pour la Communication Scientifique Directe) preprint Computer Science Logic, programming, and type systems Open access

Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev

3

citations
Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

Dominique Unruh, Benoît Valiron, Mingsheng Ying

0

citations
Predicatet transformers for nondeterministic quantum programs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Xi Wang

0

citations
Quantum references
2021 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Dominique Unruh

1

citations
Quantum Computing: From Weakest Preconditions to Voltage Pulses
2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture

Thomas Noll, Christina Gehnen, Roy Hermanns

0

citations
Quantum Chemistry Common Driver and Databases (QCDB) and Quantum Chemistry Engine (QCE ngine ): Automation and interoperability among computational chemistry programs
2021 The Journal of Chemical Physics article Physics and Astronomy Advanced Chemical Physics Studies Open access

Daniel G. A. Smith, Annabelle T. Lolinco, Zachary L. Glick, Jiyoung Lee, Asem Alenaizan, Taylor Barnes, +42 more

52

citations
Bayesian Inference in Quantum Programs
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen

0

citations
Developing a Quantum Crypto Theorem Prover from Scratch (Invited Talk)
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, programming, and type systems Open access

Dominique Unruh

0

citations
Testing the Conjecture That Quantum Processes Create Conscious Experience
2024 Entropy article Psychology Philosophy and Theoretical Science Open access

Hartmut Neven, Adam Zalcman, Peter Read, Kenneth S. Kosik, Tjitse van der Molen, Dirk Bouwmeester, +3 more

29

citations
Testing the Conjecture That Quantum Processes Create Conscious Experience
2024 Preprints.org preprint Psychology Philosophy and Theoretical Science Open access

Hartmut Neven, Peter Read, Kenneth S. Kosik, Tjitse van der Molen, Dirk Bouwmeester, Eve Bodnia, +2 more

3

citations
ftint: Calculating gradient-flow integrals with pySecDec
2024 Computer Physics Communications article Physics and Astronomy Particle physics theoretical and experimental studies Open access

Robert V. Harlander, Theodoros Nellopoulos, Anton Olsson, Marius Wesle

3

citations
Zettlr/Zettlr: Release 1.8.0
2020 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Mobile and Web Applications Open access

Hendrik Erz, Tobias Diez, Wieke, Gábor Nagy, actions-user, Matt Jolly, +19 more

0

citations

13 results