Research output per year
Research output per year
Fingerprint
Dive into the research topics where QCD/Coopmans Group is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Faster Algorithm for Achieving Minimal-Size Quantum Decision Diagrams
Sanders, J., Brand, S., Quist, A. J. & Coopmans, T., 2027, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - 3rd International Joint Conference, QEST+FORMATS 2026, Proceedings. Chen, M. & Tschaikowski, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 410-428 19 p. (Lecture Notes in Computer Science; vol. 16913 LNCS).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open Access -
A Knowledge Compilation Map for Quantum Information
Vinkhuijzen, L., Coopmans, T. & Laarman, A., 2026, In: Proceedings of the AAAI Conference on Artificial Intelligence. 40, 23, p. 19406-19414 9 p.Research output: Contribution to journal › Conference article › Scientific › peer-review
Open AccessFile2 Link opens in a new tab Citations (Scopus) -
Quokka#: Quantum Computing with #SAT
Mei, J., Zak, D., Osama, M., Coopmans, T. & Laarman, A., 2026, Computer Aided Verification - 38th International Conference, CAV 2026, Proceedings. Darulova, E., Lin, A. W. & Rümmer, P. (eds.). Cham: Springer, p. 387-406 20 p. (Lecture Notes in Computer Science; vol. 16684 LNCS).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile