 | 2009 |
| 4 |  | Anya Tafliovich,
Eric C. R. Hehner:
Programming with Quantum Communication
CoRR abs/0907.5162: (2009) |
| 3 |  | Anya Tafliovich,
Eric C. R. Hehner:
Programming with Quantum Communication.
Electr. Notes Theor. Comput. Sci. 253(3): 99-118 (2009) |
| 2006 |
| 2 |  | Anya Tafliovich,
Eric C. R. Hehner:
Quantum Predicative Programming.
MPC 2006: 433-454 |
| 2003 |
| 1 |  | Steve M. Easterbrook,
Marsha Chechik,
Benet Devereux,
Arie Gurfinkel,
Albert Y. C. Lai,
Victor Petrovykh,
Anya Tafliovich,
Christopher Thompson-Walsh:
\chiChek: A Model Checker for Multi-Valued Reasoning.
ICSE 2003: 804-805 |