Skip to main navigation Skip to search Skip to main content
Robin Kaarsgaard Sales

View Scopus Profile

Robin Kaarsgaard Sales

 https://orcid.org/0000-0002-7672-799X

Fingerprint

Dive into the research topics where Robin Kaarsgaard Sales is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Researchers
View full 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
Explore network further
  • 22 Article in proceedings
  • 8 Journal article
  • 1 Book chapter
  • 1 Other contribution

  • Shadowy Institutions

    Bhaskar, S. & Kaarsgaard, R., 2027, Logic, Language, Information, and Computation - 32nd International Workshop, WoLLIC 2026, Proceedings. Johann, P. & de Queiroz, R. (eds.). Springer Science+Business Media, p. 126-136 11 p. (Lecture Notes in Computer Science, Vol. 16757 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Free quantum computing

    Carette, J., Heunen, C., Kaarsgaard, R., Ross, N. J. & Sabry, A., 24. Feb 2026, In: Proceedings of the National Academy of Sciences of the United States of America. 123, 8, 6 p., e2510881123.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    123 Downloads (Pure)

  • Hadamard-Pi: Equational Quantum Programming

    Fang, W., Heunen, C. & Kaarsgaard, R., 8. Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, POPL, p. 117-143 5.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    13 Downloads (Pure)

  • One Rig to Control Them All

    Heunen, C., Kaarsgaard, R. & Lemonnier, L., 29. Jul 2026, 41st Annual Symposium on Logic in Computer Science, LICS 2026. Claudia, F., Joost-Pieter, K. & Joost-Pieter, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24 p. 56. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 380).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    6 Downloads (Pure)

  • Compositional Reversible Computation

    Carette, J., Heunen, C., Kaarsgaard, R. & Sabry, A., 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer Science+Business Media, p. 10-27 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14680 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    52 Downloads (Pure)
View all 32 research outputs
View all 7 press/media