萨维里奥·贾勒伦佐;法布里西奥·蒙泰西;毛里齐奥·加布里埃利 应用舞蹈设计。 (英语) Zbl 1508.68242号 Baier,Christel(编辑)等人,分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议,FORTE 2018,作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10854, 21-40 (2018).MSC公司:第68季度85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Giallorenzo}等人,Lect。注释计算。科学。10854,21-40(2018;Zbl 1508.68242) 全文: 内政部 arXiv公司
米拉·达拉·普雷达;毛里齐奥·加布里埃利;萨维里奥·贾勒伦佐;Lanese,伊万;雅各布·毛罗 动态编舞:理论与实现。 (英语) Zbl 1398.68088号 日志。计算方法。科学。 13,第2号,第1号论文,57页(2017年).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Preda}等人,日志。计算方法。科学。13,第2号,第1号论文,57页(2017;Zbl 1398.68088) 全文: 内政部 arXiv公司