Kjr，比约恩·安吉尔;路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西 从无限到编舞。无界系统的提取。 （英语） 兹比尔1522.68068 Alicia Villanueva（编辑），基于逻辑的程序合成和转换。第32届国际研讨会，LOPSTR 2022，格鲁吉亚第比利斯，2022年9月21日至23日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13474, 103-120 (2022).理学硕士：64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Kjr}等人，Lect。注释计算。科学。13474，103-120（2022；Zbl 1522.68068） 全文： 内政部 arXiv公司
亚历山德罗·布鲁尼;马尔科·卡博尼;罗萨里奥·朱斯托利西;塞巴斯蒂安·莫德谢姆;卡斯滕·舒尔曼 安全协议作为舞蹈。 （英语） Zbl 1499.94036号 Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。勒克特。注释计算。科学。13066, 98-111 (2021).理学硕士：94A60型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bruni}等人，Lect。注释计算。科学。13066，98-111（2021；Zbl 1499.94036） 全文： 内政部 链接
亚历克斯·科托;罗伯特·瓜夏莱;埃米利奥·托奥斯托 舞蹈测试的抽象框架。 （英语） Zbl 1528.68249号 J.日志。阿尔盖布。方法计划。 123，文章ID 100712，32 p.（2021）.理学硕士：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Coto}等人，J.Log。阿尔盖布。方法计划。123，文章ID 100712，32 p.（2021；Zbl 1528.68249） 全文： 内政部 arXiv公司
萨拉·本雅古布;雅敏阿伊特阿默尔;克劳斯·迪特·施韦 Event-B支持的编舞定义的通信系统。 （英语） Zbl 1497.68326号 Raschke，Alexander（编辑）等人，《严格的基于状态的方法》。第七届国际会议，ABZ 2020，德国乌尔姆，2020年5月27日至29日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12071, 155-168 (2020).理学硕士：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Benyagoub}等人，Lect。注释计算。科学。12071，155--168（2020；Zbl 1497.68326） 全文： 内政部
劳拉·博奇;埃尔南·梅尔格拉蒂;埃米利奥·托奥斯托 论舞蹈编导中非决定论的解决。 （英语） Zbl 1534.68118号 日志。方法计算。科学。 16，第3号，第18号论文，69页（2020年）.理学硕士：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人，日志。方法计算。科学。16，第3号，第18号论文，69页（2020年；Zbl 1534.68118） 全文： arXiv公司 链接
克劳斯·迪特·施韦;雅敏阿伊特阿默尔;莎拉·本雅古布 舞蹈设计的可实现性。 （英语） 兹比尔1462.68127 Andreas Herzig等人，《信息和知识系统基础》。第十一届国际研讨会，2020年2月17日至21日，德国多特蒙德，FoIKS 2020。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12012, 263-280 (2020). 审核人：T.C.Mohan（钦奈） 理学硕士：68问题85 2011年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.-D.Schewe}等人，Lect。注释计算。科学。12012、263--280（2020；Zbl 1462.68127） 全文： 内政部
莫尼卡卡普斯·科拉尔 具有先进先出通信通道的系统可实现因果一致的可逆编舞。 （英语） Zbl 1451.68191号 J.日志。阿尔盖布。方法计划。 114，文章ID 100560，21 p.（2020）.理学硕士：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Kapus-Kolar}，J.Log。阿尔盖布。方法计划。114，文章ID 100560，21 p.（2020；Zbl 1451.68191） 全文： 内政部
路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西 舞蹈编程的核心模型。 （英语） Zbl 1436.68078号 西奥。计算。科学。 802, 38-66 (2020).理学硕士：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}和\textit{F.Montesi}，Theor。计算。科学。802、38--66（2020年；Zbl 1436.68078） 全文： 内政部 arXiv公司 链接
朱利安·兰格;埃米利奥·托奥斯托;吉田、Nobuko 从通信机器到图形编舞。 （英语） Zbl 1346.68136号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。221-232 (2015).理学硕士：68问题85 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Lange}等人，《第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。221--232（2015；Zbl 1346.68136） 全文： 内政部 链接
索蒂里斯·莫斯科伊安尼斯;保罗·J·克劳斯。 数字生态系统长期运行事务中的真正并发性。 （英语） Zbl 1334.68154号 芬丹。通知。 138，第4期，483-514（2015）.理学硕士：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Moschoyiannis}和\textit{P.J.Krause}，Fundam。通知。138，第4号，483--514（2015；Zbl 1334.68154） 全文： 内政部
赵永新;肖浩;王，郑;浦、葛光;苏婷 定时服务编排的语义和验证。 （英语） Zbl 1373.68127号 国际期刊计算。数学。 91，第3期，384-402（2014）.理学硕士：64岁以下 68英里11 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhao}等人，国际计算机杂志。数学。91，第3号，384--402（2014；Zbl 1373.68127） 全文： 内政部
萨米克·巴苏;特维克布尔坦;梅里姆·乌代尔尼 决定编舞的可实现性。 （英语） Zbl 1321.68183号 2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。191-202 (2012).理学硕士：68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Basu}等人，in：第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。191--202（2012；Zbl 1321.68183） 全文： 内政部
瓦伦蒂安·瓦莱罗;赫梅内吉尔达·马西阿;胡安·何塞·帕尔多;玛丽亚·艾米利亚·坎布罗内罗;格雷戈里奥·迪亚斯 将具有优先级和时间约束的web服务编排转换为具有优先级的时间着色Petri网。 （英语） 兹比尔1243.68042 科学。计算。程序。 77，第3号，290-313（2012）.理学硕士：68英里11 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛V.Valero｝等人，《科学》。计算。程序。77，第3号，290--313（2012；Zbl 1243.68042） 全文： 内政部
尼玛·鲁希;格温·萨拉恩 弦规范的可实现性和动态重构。 （英语） Zbl 1238.68051号 卢布Informatica。 35，第1号，39-49（2011）.理学硕士：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Roohi}和\textit{G.SalaüN}，卢布Informatica。35，第1号，第39-49号（2011；Zbl 1238.68051）
费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 具有名称和复制的Petri网中的可判定性问题。 （英语） Zbl 1209.68341号 芬丹。通知。 105，第3期，291-317（2010）.理学硕士：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Rosa-Velardo}和\textit{D.de Frutos-Escrig}，Fundam。通知。105，第3号，291--317（2010；Zbl 1209.68341） 全文： 内政部
尼玛·鲁希;格温·萨拉恩;塞耶德·哈桑（Seyyed Hassan Mirian） 通过翻译成FSP来分析Chor规范。 （英语） Zbl 1364.68143号 Salaün，Gwen（编辑）等人，第八届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2009），希腊罗德斯，2009年7月11日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记255，159-176（2009）。理学硕士：68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Roohi}等人，《电子》。注释Theor。计算。科学。255159--176（2009年；Zbl 1364.68143） 全文： 链接
萨米拉·塔沙罗菲;马尔詹·西尔贾尼 使用Reo和CASM对WS-CDL进行形式化建模和一致性验证。 （英语） Zbl 1347.68240号 Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第2期，155-174（2009）。理学硕士：60年第68季度 68英里11 68号30 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Tasharofi}和\textit{M.Sirjani}，电子。注释Theor。计算。科学。229，第2号，155--174（2009；Zbl 1347.68240） 全文： 内政部
瓦伦蒂安·瓦莱罗;米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;赫梅内吉尔达·马西阿 用于设计和分析web服务编排的Petri网方法。 （英语） Zbl 1188.68205号 J.日志。阿尔盖布。程序。 78，第5号，359-380（2009）.理学硕士：68问题85 68米10 PDF格式BibTeX公司 XML格式引用 \textit{V.Valero}等人，J.Log。阿尔盖布。程序。78，第5号，359--380（2009；Zbl 1188.68205） 全文： 内政部
塞尔吉奥·马菲斯;菲利普·加德纳 动态web数据的行为等效性。 （英语） Zbl 1135.68005号 J.日志。阿尔盖布。程序。 75，第1期，86-138（2008）.理学硕士：68米10 68问题85 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Maffeis}和\textit{P.Gardner}，J.Log。阿尔盖布。程序。75，编号1，86--138（2008；Zbl 1135.68005） 全文： 内政部
杨洪丽;赵祥鹏;蔡超;邱宗燕 探索编舞和编配与异常处理和终结/补偿之间的联系。 （英语） Zbl 1215.68152号 Derrick，John（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2007》。第27届国际单项体育联合会工作组6.1国际会议，爱沙尼亚塔林，2007年6月27日至29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73195-5/pbk）。计算机科学课堂讲稿4574，81-96（2007）。理学硕士：68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hongli}等人，Lect。注释计算。科学。4574、81-96（2007年；Zbl 1215.68152） 全文： 内政部