Raad，杜鹃花;奥里·拉哈夫;维克托·瓦菲亚迪斯 并行快照隔离和发布/获取一致性。 （英语） Zbl 1418.68064号 阿马尔·艾哈迈德（编辑），《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10801, 940-967 (2018).MSC公司：68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Raad}等人，Lect。注释计算。科学。10801、940--967（2018；Zbl 1418.68064） 全文： 内政部
卡斯珀·斯文森;Jean Pichon-Pharabod;马可·多科;奥里·拉哈夫;维克托·瓦菲亚迪斯 一种有前途的语义的分离逻辑。 （英语） 兹比尔1422.68037 阿马尔·艾哈迈德（编辑），《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会（ESOP 2018），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10801, 357-384 (2018).MSC公司：68号30 03B70号 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Svendsen}等人，Lect。注释计算。科学。10801、357--384（2018；Zbl 1422.68037） 全文： 内政部
Kang、Jeehoon;Chung Kil呼;奥里·拉哈夫;维克托·瓦菲亚迪斯;德雷克·德雷尔 一种有前途的松弛内存并发语义。 （英语） Zbl 1380.68103号 Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。175-189 (2017).MSC公司：68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Kang}等人，《第44届ACM SIGPLAN编程语言原理研讨会论文集》，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。175-189（2017；Zbl 1380.68103） 全文： 内政部 链接
马可·多科;维克托·瓦菲亚迪斯 使用FSL++处理真实的放松并发。 （英语） Zbl 1485.68061号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日，作为欧洲软件理论和实践联席会议的一部分，在瑞典乌普萨拉举行的第26届欧洲编程研讨会，ESOP 2017。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。10201, 448-475 (2017).MSC公司：68号30 03B70号 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Doko}和\textit{V.Vafeiadis}，莱克特。注释计算。科学。10201、448--475（2017；Zbl 1485.68061） 全文： 内政部
伊凡·加夫兰;菲利普·尼克西奇;阿迪蒂亚·卡纳德;鲁帕克·马朱姆达尔;维克托·瓦菲亚迪斯 异步程序的可靠性/保证推理。 （英语） Zbl 1374.68104号 Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，483-496（2015）。MSC公司：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Gavran}等人，LIPIcs——莱布尼茨国际程序。通知。42、483--496（2015年；Zbl 1374.68104） 全文： 内政部
奥里·拉哈夫;维克托·瓦菲亚迪斯 Owicki-Gries对弱记忆模型的推理。 （英语） Zbl 1440.68046号 Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。勒克特。注释计算。科学。9135, 311-323 (2015).MSC公司：68号30 03B70号 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Lahav}和\textit{V.Vafeiadis}，莱克特。注释计算。科学。9135311--323（2015；Zbl 1440.68046） 全文： 内政部
维克托·瓦菲亚迪斯 并发分离逻辑和操作语义。 （英语） Zbl 1342.68104号 Mislove，Michael（ed.）等人，第27届编程语义数学基础会议论文集（MFPS XXVII），美国宾夕法尼亚州匹兹堡，2011年5月25日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记276335-351（2011）。MSC公司：68号30 03B70号 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.Vafeiadis}，电子。注释Theor。计算。科学。276335-351（2011年；Zbl 1342.68104） 全文： 内政部
维克托·瓦菲亚迪斯 RGSep动作推断。 （英语） Zbl 1273.68243号 Barthe，Gilles（编辑）等人，《验证、模型检验和抽象解释》。第11届国际会议，VMCAI 2010，马德里，西班牙，2010年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11318-5/pbk）。计算机科学课堂讲稿5944，345-361（2010）。MSC公司：60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{V.Vafeiadis}，莱克特。注释计算。科学。5944345--361（2010年；Zbl 1273.68243） 全文： 内政部
阿列克谢·戈茨曼;拜伦·库克;马修·帕金森;维克托·瓦菲亚迪斯 证明非阻塞算法不会阻塞。 （英语） Zbl 1315.68093号 第36届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集，POPL’09，美国佐治亚州萨凡纳，2009年1月18日至24日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。16-28 (2009).MSC公司：68号30 68甲15 68甲19 68周01 PDF格式BibTeX公司 XML格式引用 \textit{A.Gotsman}等人，摘自：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。16-28（2009年；Zbl 1315.68093） 全文： 内政部
多兹，迈克;冯新余;马修·帕金森;维克托·瓦菲亚迪斯 拒绝保证推理。 （英语） Zbl 1234.68075号 朱塞佩（编辑），《编程语言和系统》。2009年3月22日至29日在英国约克举行的第18届欧洲编程研讨会（ESOP 2009）是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00589-3/pbk）。计算机科学讲座笔记5502363-377（2009）。MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \文本{M.Dodds}等人，Lect。注释计算。科学。5502633-377（2009年；兹比尔12346.8075） 全文： 内政部
彼得·休厄尔;詹姆斯·J·莱弗。;基思·万斯堡;弗朗西斯科·扎帕·纳德利;梅尔·艾伦·威廉姆斯;皮埃尔·哈布泽特;维克托·瓦菲亚迪斯 急性：分布式计算的高级编程语言设计。 （英语） Zbl 1302.68071号 2005年9月26日至28日，爱沙尼亚塔林，ICFP'05，第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-064-7）。ACM SIGPLAN Notices 40，No.9，15-26（2005）。MSC公司：68甲18 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Sewell}等人，in：第十届ACM SIGPLAN函数编程国际会议论文集，ICFP'05，爱沙尼亚塔林，2005年9月26-28日。纽约州纽约市：计算机协会（ACM）。15-26（2005；Zbl 1302.68071） 全文： 内政部