A Computational Temporal Logic for Superconducting Accelerators. - Georgios Tzimpragos; Dilip Vasudevan; Nestan Tsiskaridze; George Michelogiannakis; Advait Madhavan; Jennifer Volk; John Shalf; Timothy Sherwood (ASPLOS, 2020)

Superconducting Computing with Alternating Logic Elements. - Georgios Tzimpragos; Jennifer Volk; Alex Wynn; James E. Smith 001; Timothy Sherwood (ISCA, 2021)

Temporal Computing With Superconductors. - Georgios Tzimpragos; Jennifer Volk; Dilip Vasudevan; Nestan Tsiskaridze; George Michelogiannakis; Advait Madhavan; John Shalf; Timothy Sherwood (IEEE Micro, 2021)

PyLSE: a pulse-transfer level language for superconductor electronics. - Michael Christensen 001; Georgios Tzimpragos; Harlan Kringen; Jennifer Volk; Timothy Sherwood; Ben Hardekopf (PLDI, 2022)

Pulsar: A Superconducting Delay-Line Memory. - Georgios Tzimpragos; Jennifer Volk; Alex Wynn; Evan Golden; Timothy Sherwood (CoRR, 2022)

Low-Cost Superconducting Fan-Out with Repurposed Josephson Junctions. - Jennifer Volk; George Tzimpragos; Alex Wynn; Evan Golden; Timothy Sherwood (CoRR, 2022)

Synthesis of Resource-Efficient Superconducting Circuits with Clock-Free Alternating Logic. - Jennifer Volk; Panagiotis Papanikolaou; Georgios Zervakis 001; Georgios Tzimpragos (DAC, 2024)

Technology-Driven Design Abstractions, Principles, and Tools for Superconductor Electronics - Jennifer Volk (2024)