6 papers:
LICS-2015-Hadzihasanovic #axiom #diagrams #quantum- A Diagrammatic Axiomatisation for Qubit Entanglement (AH), pp. 573–584.
ITiCSE-2010-MainFH #quantum #student #what- What did qubits ever do for me: an answer for CS2 students (MM, RF, YH), pp. 209–213.
ICALP-B-2008-Martin #formal method #quantum- A Domain Theoretic Model of Qubit Channels (KM), pp. 283–297.
DAC-2007-MaslovFM #empirical #interactive #optimisation #physics #quantum- Quantum Circuit Placement: Optimizing Qubit-to-qubit Interactions through Mapping Quantum Circuits into a Physical Experiment (DM, SMF, MM), pp. 962–965.
DATE-2005-YangHSP #logic #multi #quantum #synthesis #using- Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory (GY, WNNH, XS, MAP), pp. 434–435.
- DATE-v2-2004-ShendeMB #communication #quantum
- Smaller Two-Qubit Circuits for Quantum Communication and Computation (VVS, ILM, SSB), pp. 980–987.
