编辑配置文件(在新选项卡中打开) 劳拉·博奇 合著者距离 作者ID: 博奇·卢拉 发布方式: 劳拉·博奇 已编制索引的文档: 17出版物自2003年起 2作为编辑的贡献 合著者: 23位合著者具有18联合出版物 305位联合作者 全部的 前5名合著者 1 单作者的 6 吉田、Nobuko 4 埃米利奥·托斯托 三 马西莫·巴托莱蒂 2 卢多维奇·亨利奥 2 本田、高黑 2 索菲亚·奈特 2 伊万·拉内斯 2 朱利安·兰格 2 埃尔南·梅尔格拉蒂 2 克劳迪奥·安塔雷斯·梅齐纳 2 莫里齐奥·穆尔吉亚 2 袁,Shoji 1 陈子纯 1 罗曼·德曼根 1 斯蒂芬·戈顿 1 科西莫·拉内夫 1 鲁米亚纳内科娃 1 斯蒂芬·雷夫·马加尼科 1 Vascoconcelos、Vasco Thudichum 1 Voinea,A.劳拉 1 卢西安·维希克 1 杨伟珍 1 吉安路易吉·扎瓦塔罗 全部的 前5名系列 三 计算机科学中的逻辑方法 2 计算的形式方面 1 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 1 程序设计中的逻辑和代数方法杂志 1 理论计算机科学电子论文集(EPTCS) 领域 19 计算机科学(68至XX) 2 总体主题;集合(00-XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用101中的次71文件 引用人▼ 年份▼ 分布式多方交互的设计契约理论。 Zbl 1287.68121号 劳拉·博奇;本田、高黑;埃米利奥·托斯托;吉田、Nobuko 25 2010 通过多方会话类型监视网络。 Zbl 1359.68215号 劳拉·博奇;陈子春;罗曼·德曼根;本田、高黑;吉田、Nobuko 17 2017 长期运行事务的计算。 Zbl 1253.68056号 劳拉·博奇;科西莫·拉内夫;吉安路易吉·扎瓦塔罗 15 2003 多方对话的定时运行时监视。 Zbl 1375.68030号 鲁米亚纳内科娃;劳拉·博奇;吉田、Nobuko 11 2017 定时多方会话类型。 Zbl 1417.68117号 劳拉·博奇;杨伟珍;吉田信子 9 2014 共同遵守截止日期。 Zbl 1374.68320号 劳拉·博奇;朱利安·兰格;吉田、Nobuko 7 2015 解决编舞中的非决定论。 Zbl 1405.68071号 劳拉·博奇;埃尔南·梅尔格拉蒂;埃米利奥·托斯托 6 2014 可逆时间过程语言。 Zbl 1499.68220号 劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;袁,Shoji 4 2022 组合嵌套的长时间运行事务。 Zbl 1129.68359号 劳拉·博奇 2 2004 从StPowla流程到SRML模型。 Zbl 1213.68217号 劳拉·博奇;斯蒂芬·戈顿;斯蒂芬·雷夫·马加尼科 2 2010 论舞蹈编导中非决定论的解决。 Zbl 07269246号 劳拉·博奇;埃尔南·梅尔格拉蒂;埃米利奥·托斯托 2 2020 进展——CTA的改进。 Zbl 1520.68087号 马西莫·巴托莱蒂;劳拉·博奇;莫里齐奥·穆尔吉亚 1 2018 可逆时间过程语言。 兹比尔1499.68220 劳拉·博奇;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;袁,Shoji 4 2022 论舞蹈编导中非决定论的解决。 Zbl 07269246号 劳拉·博奇;埃尔南·梅尔格拉蒂;埃米利奥·托斯托 2 2020 进展——CTA的改进。 Zbl 1520.68087号 马西莫·巴托莱蒂;劳拉·博奇;毛里齐奥·穆尔吉亚 1 2018 通过多方会话类型监视网络。 Zbl 1359.68215号 劳拉·博奇;陈子春;罗曼·德曼根;本田,Kohei;吉田、Nobuko 17 2017 多方对话的定时运行时监视。 Zbl 1375.68030号 鲁米亚纳内科娃;劳拉·博奇;吉田、Nobuko 11 2017 共同遵守截止日期。 Zbl 1374.68320号 劳拉·博奇;朱利安·兰格;吉田、Nobuko 7 2015 定时多方会话类型。 Zbl 1417.68117号 劳拉·博奇;杨伟珍;吉田、Nobuko 9 2014 解决舞蹈设计中的非决定论。 Zbl 1405.68071号 劳拉·博奇;埃尔南·梅尔格拉蒂;埃米利奥·托斯托 6 2014 分布式多方交互的设计契约理论。 Zbl 1287.68121号 劳拉·博奇;本田、高黑;埃米利奥·托斯托;吉田、Nobuko 25 2010 从StPowla流程到SRML模型。 Zbl 1213.68217号 劳拉·博奇;斯蒂芬·戈顿;斯蒂芬·雷夫·马加尼科 2 2010 组合嵌套的长时间运行事务。 Zbl 1129.68359号 劳拉·博奇 2 2004 长时间运行事务的微积分。 Zbl 1253.68056号 劳拉·博奇;科西莫·拉内夫;吉安路易吉·扎瓦塔罗 15 2003 所有引用出版物 前5名被引用出版物 全部的 前5名117位作者引用 11 阿德里安·弗兰卡兰扎 10 吉田、Nobuko 7 卢卡·埃特罗 7 劳拉·博奇 7 佩雷斯(Jorge A.Pérez)。 6 马里亚纽拉州Dezani-Ciancaglini 6 伊万·拉内斯 6 埃米利奥·托斯托 5 Anna Ingólfsdóttir 4 马西莫·巴托莱蒂 4 Cassar,伊恩 三 安东尼斯·阿奇利奥斯 三 罗伯特·瓜夏莱 三 克劳迪奥·安塔雷斯·梅齐纳 三 莫里齐奥·穆尔吉亚 三 约万卡·潘托维奇 三 阿尔切斯特·斯卡拉斯 三 伯纳多·托尼霍 2 伊利亚州卡斯特拉尼 2 马里奥·科普 2 乔瓦娜·德迪奇 2 罗曼·德曼根 2 拉杜·格里戈尔 2 本田、高黑 2 钟曼,宋世堂。 2 斯特凡·基弗 2 雨果·A·洛佩兹。 2 乌韦·内斯特曼 2 鲁米亚纳内科娃 2 弗莱明·尼尔森 2 卢卡·帕多瓦尼 2 柯斯汀·彼得斯 2 弗兰克·芬宁 2 伊恩·菲利普斯。 2 罗萨里奥·普格利泽 2 汉内·里斯·尼尔森 2 弗朗西斯科·蒂齐 2 伊雷克·乌利多夫斯基 2 克里斯托夫·瓦格纳。 2 袁,Shoji 2 罗伯特·祖尼诺 1 Abreu Jünior,Joáo Carlos 1 阿曼,博格丹 1 埃利·阿纳斯塔西亚迪 1 克莱门·奥伯特 1 费德里科·班蒂 1 佛朗哥·巴巴内拉 1 杰斯珀·本特森 1 洛伦佐·贝蒂尼 1 阿尼尔班·巴塔查里亚 1 马里奥·布拉维蒂 1 路易斯·凯雷斯 1 毛里西奥·卡诺 1 萨拉·卡佩基 1 陈子纯 1 陈振邦 1 克莱尔·西尼 1 加布里埃尔·乔巴努 1 费德里卡·乔切塔 1 亚历克斯·科托 1 路易斯·克鲁兹·菲利佩 1 达斯,安库什 1 Deniélou、Pierre-Malo 1 Cinzia迪朱斯托 1 吉安·路易吉,法拉利 1 卡拉·费雷拉 1 JoséLuiz Fiadeiro 1 法特梅·加塞米 1 西尔维娅·吉勒赞 1 埃琳娜·贾奇诺 1 罗伯特·格莱克 1 汉娜·贡默施塔特 1 斯蒂芬·戈顿 1 何继峰 1 胡雷蒙德 1 Anna Ingófsdóttir,安娜 1 贾利民 1 爱德华·坎伯扬 1 乔纳斯·卡斯伯格·辛里奇森 1 拉丁·科斯拉维 1 罗伯特·克雷伯斯 1 朱利安·兰格 1 亚历山德罗·拉帕杜拉 1 卡罗琳娜·莱赫蒂宁 1 李静 1 刘志明 1 卢赫·拉富恩特,阿尔贝托 1 安托尼亚州洛佩斯 1 罗伯托·卢奇 1 弗朗西斯科·马丁斯 1 曼努埃尔·马扎拉 1 埃尔南·梅尔格拉蒂 1 雅罗斯瓦夫·亚当·米兹扎克 1 Ken G.皮尔斯。 1 斯里尼瓦斯·皮尼塞蒂 1 安吉特·普拉丹 1 科拉多·普里亚米 1 安东尼奥·拉瓦拉 1 斯蒂芬·雷夫·马加尼科 1 罗普,Partha S。 …还有17位作者 全部的 前5名13篇连载文章中引用 13 程序设计中的逻辑和代数方法杂志 6 计算的形式方面 6 计算机科学中的逻辑方法 4 系统设计中的形式化方法 4 逻辑与代数程序设计杂志 三 信息学报 2 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 1 计算机与系统科学杂志 1 计算机程序设计科学 1 符号计算杂志 1 信息与计算 1 ACM计算逻辑事务 在5个字段中引用 70 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 2 概率论与随机过程(60-XX) 1 量子理论(81-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文