费利克斯·斯图兹;达米安·祖弗里 比较通信状态机、高级消息序列图和多方会话类型的通道限制。 （英语） Zbl 1530.68193号 Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370194-212（2022）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Stutz}和\textit{D.Zufferey}，电子。程序。西奥。计算。科学。（EPTCS）370194--212（2022；Zbl 1530.68193） 全文： arXiv公司 链接
鲁帕克·马朱姆达尔;马达瓦恩·穆昆德;费利克斯·斯图兹;达米安·祖弗里 在异步多方会话类型中泛化投影。 （英语） Zbl 07730637号 Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第35条，第24页（2021年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人，LIPIcs--Leibniz Int.Proc。通知。203，第35条，第24页（2021；Zbl 07730637） 全文： 内政部 arXiv公司
德克·贝尔（编辑）;达米安·祖弗里（编辑） 验证、模型检查和抽象解释。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。 （英语） Zbl 1429.68006号 计算机科学课堂讲稿11990.查姆：施普林格（ISBN 978-3-030-39321-2/pbk；978-3-0030-39322-9/电子书）。xiv，第471页。(2020).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}（编辑）和\textit{D.Zufferey}（编），验证，模型检查和抽象解释。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。查姆：施普林格（2020；Zbl 1429.68006） 全文： 内政部
高思春;达米安·祖弗里 实域上非线性理论中的插值函数。 （英语） Zbl 1420.68187号 Chechik，Marsha（编辑）等人，《系统构建和分析的工具和算法》。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016，是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9636, 625-641 (2016).MSC公司：68吨15 03C40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gao}和\textit{D.Zufferey}，莱克特。注释计算。科学。9636625--641（2016；Zbl 1420.68187） 全文： 内政部
塞扎拉·奥盖医生;托马斯·亨辛格。;达米安·祖弗里 P同步：用于容错分布式算法的部分同步语言。 （英语） Zbl 1347.68036号 Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。400-415 (2016).MSC公司：68甲15 68米15 60年第68季度 68吨15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{C.Drágoi}等人，in：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。400-415（2016；Zbl 1347.68036） 全文： 内政部
塞扎拉·奥盖医生;托马斯·亨辛格。;赫尔穆特·维思;约瑟夫·维德;达米安·祖弗里 用于验证一致性算法的基于逻辑的框架。 （英语） Zbl 1428.68371号 McMillan，Kenneth L.（编辑）等人，《验证、模型检查和抽象解释》。2014年1月19日至21日，第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8318, 161-181 (2014).MSC公司：68宽15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Drágoi}等人，Lect。注释计算。科学。8318，161--181（2014；Zbl 1428.68371） 全文： 内政部
克什蒂吉·班萨尔;埃里克·科斯金;托马斯·怀斯;达米安·祖弗里 结构计数器抽象。 （英语） Zbl 1381.68194号 Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795，62-77（2013）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Bansal}等人，Lect。注释计算。科学。7795，62--77（2013；Zbl 1381.68194） 全文： 内政部
达米安·祖弗里;托马斯·怀斯;托马斯·亨辛格。 结构良好的转换系统的理想抽象。 （英语） Zbl 1326.68205号 Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学讲义7148445-460（2012）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Zufferey}等人，Lect。注释计算。科学。7148445--460（2012年；Zbl 1326.68205） 全文： 内政部
托马斯·怀斯;达米安·祖弗里;托马斯·亨辛格。 深度边界过程的正向分析。 （英语） Zbl 1284.68419号 Ong，Luke（编辑），《软件科学和计算结构基础》。2010年3月20日至28日，第13届国际会议FOSSACS 2010，作为欧洲软件理论与实践联合会议ETAPS 2010的一部分，在塞浦路斯帕福斯举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12031-2/pbk）。计算机科学课堂讲稿6014，94-108（2010）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Wies}等人，Lect。注释计算。科学。6014，94-108（2010；Zbl 1284.68419） 全文： 内政部