×

找到39个文档（结果1-39）

最新的 引文 关联
乌戈·德利古罗;埃尔南梅尔格拉蒂;埃米利奥·托斯托

关于改进舞蹈设计。 （英语） Zbl 07633801号

Nazareno Aguirre等人，《软件工程的数学基础》，纪念汤姆·迈鲍姆70岁生日和退休之际的论文。2019年2月16日至17日在阿根廷里约库亚托举行的联合国红十字会国际研讨会的贡献。伦敦：学院出版物。致敬45，76-91（2022）。
MSC公司：68新元
PDF格式BibTeX公司 XML格式引用
\textit{U.de’Liguoro}等人，《致敬》45，76-91（2022；Zbl 07633801）
埃尔南梅尔格拉蒂;克劳迪奥·安塔雷斯;米歇尔·平纳

实现可逆CCS的真正并发语义。 （英语） Zbl 07419486号

Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 109-125 (2021).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{H.Melgratti}等人，Lect。注释计算。科学。12805、109-125（2021；Zbl 07419486）
全文： 内政部 arXiv公司 哈尔
奥马尔·因弗索;埃尔南梅尔格拉蒂;卢卡·帕多瓦尼;卡蒂亚·特鲁比亚尼;埃米利奥·托斯托

二进制会话的概率分析。 （英语） Zbl 07559470号

Konnov，Igor（ed.）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第14条，第21页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{O.Inverso}等人，LIPIcs——莱布尼茨国际程序。通知。171，第14条，第21页（2020；兹bl 07559470）
全文： 内政部 arXiv公司
乌戈·德利古罗;埃尔南梅尔格拉蒂;埃米利奥·托斯托

朝着重新设计的舞蹈设计迈进。 （英语） Zbl 1477.68178号

Lange，Julien（编辑）等人，《第13届交互和并发体验研讨会论文集》，ICE’20，在线，2020年6月19日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32461-77（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.de'Liguoro}等人，《电子》。程序。西奥。计算。科学。（EPTCS）324，61--77（2020；Zbl 1477.68178）
全文： arXiv公司 链接
法比奥·加杜奇;埃尔南梅尔格拉蒂;克里斯蒂安·罗尔丹;马蒂奥·桑马蒂诺

复制数据类型的实现正确性。 （英语） Zbl 07369994号

Pun，Violet Ka I.（编辑）等人，《计算的理论方面——ICTAC 2020》。第17届国际学术讨论会，中国澳门，2020年11月30日至12月4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12545, 283-303 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{F.Gadducci}等人，Lect。注释计算。科学。12545283-303（2020年；兹bl 07369994）
全文： 内政部
埃尔南梅尔格拉蒂;克劳迪奥·安塔雷斯;伊恩·菲利普斯;米歇尔·平纳;伊雷克·乌利多夫斯基

可逆发生网和因果可逆素事件结构。 （英语） 兹伯利07368046

Lanese，Ivan（编辑）等人，《可逆计算》。2020年7月9日至10日在挪威奥斯陆举行的第十二届RC 2020国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12227, 35-53 (2020).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{H.Melgratti}等人，Lect。注释计算。科学。12227，35-53（2020；Zbl 07368046）
全文： 内政部 arXiv公司
罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里;埃米利奥·托斯托

数据驱动的舞蹈设计。 （英语） Zbl 1534.68119号

Boreale，Michele（编辑）等人，并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11665, 170-190 (2019).
MSC公司：68问题85 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。11665、170-190（2019年；Zbl 1534.68119）
全文： 内政部 链接
法比奥·加杜奇;埃尔南梅尔格拉蒂;克里斯蒂安·罗尔丹;马蒂奥·桑马蒂诺

复制数据类型的分类帐户。 （英语） Zbl 07650339号

Chattopadhyay，Arkadev（ed.）等人，第39届IARCS软件技术和理论计算机科学基础年会，2019年12月11-13日，印度孟买，FSTTCS 2019。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。150，第42条，第15页（2019年）。
MSC公司：68号30 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛F.Gadducci｝等人，LIPIcs——莱布尼茨国际期刊。通知。150，第42条，第15页（2019年；Zbl 07650339）
罗伯托·布鲁尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

并发性和概率：从组成上消除混淆。 （英语） Zbl 1497.68329号

2018年第33届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2018，英国牛津，2018年7月9-12日。纽约州纽约市：计算机协会（ACM）。195-204 (2018).
MSC公司：68问题85 2010年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。195-204（2018；Zbl 1497.68329）
全文： 内政部
保罗·巴尔丹;罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里

具有持久性的Petri网的事件结构。 （英语） Zbl 1417.68113号

日志。方法计算。科学。 14，第3号，第25号论文，30页（2018年）.
审核人：克莱门特·奥伯特（奥古斯塔）
MSC公司：68问题85 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，《日志》。方法计算。科学。14，第3号，第25号论文，30页（2018；Zbl 1417.68113）
全文： 内政部 arXiv公司
洛科·德尼古拉;埃尔南梅尔格拉蒂

多方测试预订单。 （英语） Zbl 1457.68022号

Ganty，Pierre（编辑）等人，《值得信赖的全球计算》。2015年8月31日至9月1日，第十届国际研讨会，TGC 2015，西班牙马德里。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9533, 16-31 (2016).
MSC公司：64岁以下 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.De Nicola}和\textit{H.Melgratti}，莱克特。注释计算。科学。9533，16-31（2016；Zbl 1457.68022）
全文： 内政部 arXiv公司
罗伯托·布鲁尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

有状态连接器的标准形式。 （英语） Zbl 1321.68357号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。商会：施普林格出版社（ISBN 978-3-319-23164-8/pbk；978-3-319-23165-5/ebook）。计算机科学讲座笔记9200，205-227（2015）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。9200，205-227（2015；Zbl 1321.68357）
全文： 内政部 链接
罗伯托·布鲁尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

从层次BIP到Petri演算。 （英语） Zbl 1416.68111号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415, 54-68 (2014).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。8415，54-68（2014；Zbl 1416.68111）
全文： 内政部
劳拉·博奇;埃尔南梅尔格拉蒂;埃米利奥·托斯托

解决舞蹈设计中的非决定论。 （英语） Zbl 1405.68071号

Shao，Zhong（编辑），《程序设计语言和系统》。2014年4月5日至13日，在法国格勒诺布尔举行的第23届欧洲编程研讨会（ESOP 2014），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54832-1/pbk）。计算机科学课堂讲稿8410493-512（2014）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{L.Bocchi}等人，Lect。注释计算。科学。8410493-512（2014；Zbl 1405.68071）
全文： 内政部
罗伯托·布鲁尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

行为、相互作用和动力学。 （英语） Zbl 1407.68098号

Iida，Shusaku（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8373, 382-401 (2014).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。8373382--401（2014；Zbl 1407.68098）
全文： 内政部 链接
佩德罗·R·达吉尼奥。（编辑）;埃尔南梅尔格拉蒂（编辑）

CONCUR 2013——并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。 （英语） 兹比尔1269.68020

计算机科学课堂讲稿8052.柏林：施普林格出版社（ISBN 978-3-642-40183-1/pbk）。xiv，562页。(2013).
MSC公司：68-06 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{P.R.D'Argenio}（编辑）和\textit{H.Melgratti}（主编），CONCUR 2013——并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（2013；Zbl 1269.68020）
全文： 内政部
罗伯托·布鲁尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

连接代数、Petri网和BIP。 （英语） Zbl 1336.68006号

Clarke，Edmund（编辑）等人，《系统信息学的观点》。2011年6月27日至7月1日，俄罗斯新西伯利亚，第八届安德烈·埃尔肖夫国际纪念大会，PSI 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-29708-3/pbk）。计算机科学讲义7162，19-38（2012）。
MSC公司：2007年7月68日 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。7162，19-38（2012；Zbl 1336.68006）
全文： 内政部
罗伯托·布鲁尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

P/T网络交互的连接代数。 （英语） Zbl 1344.68161号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901、312-326（2011）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。6901312--326（2011；Zbl 1344.68161）
全文： 内政部
巴斯米，玛丽亚·格拉齐亚;埃尔南梅尔格拉蒂

编排语言中的抽象流程。 （英语） 12346.8290兹比尔

朱塞佩（编辑），《编程语言和系统》。2009年3月22日至29日在英国约克举行的第18届欧洲编程研讨会（ESOP 2009）是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00589-3/pbk）。计算机科学讲座笔记5502301-315（2009）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.G.Buscemi}和\textit{H.Melgratti}，莱克特。注释计算。科学。5502301--315（2009年；Zbl 1234.68290）
全文： 内政部
罗伯托·布鲁尼;安东尼奥·布奇亚罗内;格内西、斯特凡尼亚;埃尔南梅尔格拉蒂

使用类型化图形语法建模动态软件架构。 （英语） Zbl 1283.68125号

König，Barbara（编辑）等人，第三届并发和验证图形转换研讨会论文集（GT-VC 2007），葡萄牙里斯本，2007年9月3日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》213，第1期，39-53（2008）。
MSC公司：68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，《电子》。注释Theor。计算。科学。213，第1号，39-53（2008；Zbl 1283.68125）
全文： 内政部
伊万·拉内斯;埃尔南梅尔格拉蒂

同步多方同步和事务。 （英语） Zbl 1143.68489号

Degano，Pierpaolo（编辑）等人，《并发性、图表和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿506576-95（2008）。
MSC公司：68问题85 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Lanese}和\textit{H.Melgratti}，莱克特。注释计算。科学。5065、76-95（2008年；Zbl 1143.68489）
全文： 内政部
罗伯托·布鲁尼;埃尔南梅尔格拉蒂

动态网络的非连续行为。 （英语） Zbl 1234.68289号

Donatelli，Susanna（编辑）等人，Petri网和其他并发模型——ICATPN 2006。第27届Petri网和其他并发模型的应用与理论国际会议，芬兰图尔库，2006年6月26日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-34699-9/pbk）。计算机科学课堂讲稿4024105-124（2006）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}和\textit{H.Melgratti}，莱克特。注释计算。科学。4024105-124（2006年；兹比尔12346.8289）
全文： 内政部
罗伯托·布鲁尼;埃尔南梅尔格拉蒂

动态图形转换系统。 （英语） Zbl 1156.68421号

Corradini，Andrea（编辑）等人，《图形变换》。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-38870-8/pbk）。计算机科学讲义4178，230-244（2006）。
MSC公司：2012年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}和\textit{H.Melgratti}，莱克特。注释计算。科学。4178，230--244（2006；Zbl 1156.68421）
全文： 内政部
罗伯托·布鲁尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

标称计算的事件结构语义。 （英语） 兹比尔1151.68512

Baier，Christel（编辑）等人，CONCUR 2006–并发理论。第17届国际会议，CONCUR 2006，德国波恩，2006年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学讲稿4137295-309（2006）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。4137295--309（2006年；Zbl 1151.68512）
全文： 内政部
罗伯托·布鲁尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

流合成语言中补偿的理论基础。 （英语） Zbl 1369.68070号

第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机机械协会（ACM）（ISBN 1-58113-830-X）。209-220 (2005).
MSC公司：68甲15 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，摘自：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。209--220（2005年；Zbl 1369.68070）
全文： 内政部
罗伯托·布鲁尼;迈克尔·巴特勒;卡拉·费雷拉;你好，托尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

比较两种可补偿流量合成方法。 （英语） Zbl 1134.68316号

Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山，2005年8月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿3653，383-397（2005）。
MSC公司：64岁以下 68问题85 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。3653、383--397（2005年；Zbl 1134.68316）
全文： 内政部
罗伯托·布鲁尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

平面提交联接。 （英语） Zbl 1271.68170号

Honsell，F.（ed.）等人，《COMETA计算元模型项目研讨会论文集》，意大利乌迪内，2003年12月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记104，39-59（2004）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，《电子》。注释Theor。计算。科学。104、39-59（2004年；Zbl 1271.68170）
全文： 链接
罗伯托·布鲁尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

将零安全方法扩展到有色、可重构和动态网络。 （英语） Zbl 1088.68120号

Desel，Jörg（编辑）等人，《并发和Petri网讲座》。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-22261-8/pbk）。计算机科学课堂讲稿3098，291-327（2004）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。3098、291--327（2004年；Zbl 1088.68120）
全文： 内政部
罗伯托·布鲁尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

移动计算的嵌套提交：扩展联接。 （英语） Zbl 1088.68507号

Levy，Jean-Jacques（编辑）等人，《探索理论信息学的新前沿》。IFIP第十八届世界计算机大会，TC1第三届理论计算机科学国际会议（TCS2004），2004年8月22-27日，法国图卢兹。马萨诸塞州波士顿：Kluwer学术出版社（ISBN 1-4020-8140-5/hbk）。IFIP，国际信息处理联合会155，563-576（2004）。
MSC公司：68M10个
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，IFIP，国际联邦信息处理。155563--576（2004年；Zbl 1088.68507）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件