Anya Tafliovich

	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

Coauthor Index

1	Marsha Chechik	[1]
2	Benet Devereux	[1]
3	Steve M. Easterbrook	[1]
4	Arie Gurfinkel	[1]
5	Eric C. R. Hehner	[2] [3] [4]
6	Albert Y. C. Lai	[1]
7	Victor Petrovykh	[1]
8	Christopher Thompson-Walsh	[1]

Colors in the list of coauthors