Travelled to:1 × USA
Collaborated with:E.C.R.Hehner S.M.Easterbrook M.Chechik B.Devereux A.Gurfinkel A.Y.C.Lai V.Petrovykh C.D.Thompson-Walsh
Talks about:communic (1) quantum (1) program (1) checker (1) reason (1) multi (1) model (1) valu (1) chek (1)
Person: Anya Tafliovich
DBLP: Tafliovich:Anya
Contributed to:
2009
2003Wrote 2 papers:
- QAPL-2009-TafliovichH #communication #programming #quantum
- Programming with Quantum Communication (AT, ECRH), pp. 99–118.
- ICSE-2003-EasterbrookCDGLPTT #model checking #multi #named #reasoning
- χChek: A Model Checker for Multi-Valued Reasoning (SME, MC, BD, AG, AYCL, VP, AT, CDTW), pp. 804–805.