编辑配置文件(在新选项卡中打开) 约阿希姆·帕罗 合著者距离 作者ID: 鹦鹉 发布日期: 约阿希姆·帕罗;J·帕罗。 已编制索引的文档: 42出版物自1987年起 7作为编辑的贡献 合著者: 28位合著者具有40份联合出版物 820位合作作者 全部的 前5名合著者 9 单作者的 11 比约恩·维克多 7 杰斯珀·本特森 7 约翰·博格斯特罗姆 6 奥曼·波霍拉,约翰内斯 6 Jonsson,孟加拉人 5 马格纳斯·M·约翰逊。 5 Tjark韦伯 3 埃里克森,拉尔斯·亨里克 3 拉姆纳斯·古特科瓦斯 3 罗宾·米尔纳 2 Pears,Arnold N。 2 比约恩·佩尔森 2 Palle Raabjerg 2 奥斯卡·威布尔 1 Jos C.M.Baeten。 1 迈克尔·巴尔达穆斯 1 马尔科·卡博尼 1 Forsberg Gutkovas,拉姆纳斯 1 托马斯·希尔德布兰特。 1 黄、舒琴 1 科西莫·拉内夫 1 简·卡雷尔·伦斯特拉 1 弗雷德里克·奥拉瓦 1 卡图西亚帕拉米德斯 1 戴维·桑吉奥吉 1 Peter Sjödin 1 马蒂亚斯·威德利奇 1 格哈德·沃金格 全部的 前5名系列 5 信息与计算 5 计算机科学中的逻辑方法 2 理论计算机科学 2 计算的形式方面 2 MSCS公司。计算机科学中的数学结构 2 计算机科学课堂讲稿 1 自动推理杂志 1 欧洲理论计算机科学协会(EATCS)公报 1 北欧计算机杂志 1 逻辑与代数程序设计杂志 1 北荷兰数学图书馆 1 理论计算机科学电子笔记 领域 49 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 7 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 39出版物有被引用982中的次699文件 引用人▼ 年份▼ 移动进程的微积分。二、。 Zbl 0752.68037号 罗宾·米尔纳;约阿希姆·帕罗;大卫·沃克 314 1992 移动进程的微积分。一、。 Zbl 0752.68036号 罗宾·米尔纳;约阿希姆·帕罗;大卫·沃克 290 1992 移动进程的模态逻辑。 Zbl 0778.68033号 罗宾·米尔纳;约阿希姆·帕罗;大卫·沃克 60 1993 Psi-calculi:具有标称数据和逻辑的移动进程框架。 Zbl 1213.68399号 杰斯珀·本特森;马格纳斯·约翰逊;约阿希姆·帕罗;比约恩·维克多 44 2011 介绍\(\pi\)-演算。 Zbl 1035.68071号 约阿希姆·帕罗 32 2001 通过名字计算的代数理论。 Zbl 0836.03020号 约阿希姆·帕罗;戴维·桑吉奥吉 27 1995 过程代数的表示性。 Zbl 1279.68264号 约阿希姆·帕罗 27 2008 决定一类非有限状态程序的互模拟等价性。 Zbl 0799.68133号 Jonsson,孟加拉人;约阿希姆·帕罗 15 1993 使用标称逻辑将π演算形式化。 Zbl 1168.68030号 杰斯珀·本特森;约阿希姆·帕罗 12 2009 移动网络的代数验证。 Zbl 0782.68081号 弗雷德里克·奥拉瓦;约阿希姆·帕罗 10 1992 CCS中作为方程求解的子模块构造。 Zbl 0686.68017号 约阿希姆·帕罗 10 1989 高阶psi-calculi。 Zbl 1342.68239号 约阿希姆·帕罗;约翰·博格斯特罗姆;Palle Raabjerg;约翰·奥曼·波霍拉 10 2014 完全抽象的一般条件。 Zbl 1361.68085号 约阿希姆·帕罗 10 2016 标称过渡系统的模态逻辑。 Zbl 1374.68339号 约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森,拉尔斯·亨里克;拉莫纳斯·古特科瓦斯;韦伯,特贾克 10 2015 使用标称逻辑将\(\pi\)-演算形式化。 Zbl 1168.68436号 杰斯珀·本特森;约阿希姆·帕罗 9 2007 使用数据项对\(\pi\)-演算进行完全抽象编码(扩展抽象)。 Zbl 1085.68594号 迈克尔·巴尔达穆斯;约阿希姆·帕罗;比约恩·维克多 9 2005 融合演算中的并发约束。(扩展摘要)。 Zbl 0915.03029号 比约恩·维克多;约阿希姆·帕罗 9 1998 自动验证临时路由协议。 Zbl 1110.68327号 奥斯卡·威布尔;约阿希姆·帕罗;阿诺德·皮尔斯 8 2004 Isabelle的Psi-calculi。 Zbl 1356.68175号 杰斯珀·本特森;约阿希姆·帕罗;Tjark韦伯 8 2016 Isabelle的Psi-calculi。 Zbl 1252.68247号 杰斯珀·本特森;约阿希姆·帕罗 7 2009 通过无线协议应用程序广播psi-calculi。 Zbl 1350.68041号 约翰·博格斯特罗姆;黄、舒琴;马格纳斯·约翰逊;Palle Raabjerg;比约恩·维克多;奥曼·波霍拉,约翰内斯;约阿希姆·帕罗 7 2011 计算psi-calculi的强互模拟和弱互模拟。 Zbl 1277.68192号 约翰松,马格努斯;比约恩·维克多;约阿希姆·帕罗 6 2012 单幅图表。 兹比尔1087.68607 科西莫·拉内夫;约阿希姆·帕罗;比约恩·维克多 6 2001 最大的尊重功能。 Zbl 1448.68349号 约阿希姆·帕罗;Tjark韦伯 6 2016 cs-同余的完全公理化。 Zbl 0941.68573号 约阿希姆·帕罗;Peter Sjödin 5 1994 通过广播抽象验证Ad hoc路由协议。 Zbl 1169.68328号 奥斯卡·威布尔;约阿希姆·帕罗;阿诺德·皮尔斯 4 2005 应用程序计算的分类语义框架(扩展抽象)。 Zbl 1348.68158号 约翰·博格斯特罗姆;拉姆纳斯·古特科瓦斯;约阿希姆·帕罗;比约恩·维克多;奥曼·波霍拉,约翰内斯 4 2014 约束作为过程。 Zbl 1514.68187号 比约恩·维克多;约阿希姆·帕罗 4 1996 自动化、语言和编程。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。 Zbl 1029.00041号 3 2003 标称过渡系统的模态逻辑。 Zbl 1509.68188号 约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森,拉尔斯·亨里克;Forsberg Gutkovas,拉姆纳斯;Tjark韦伯 3 2021 扩展pi-calculi。 Zbl 1155.68473号 马格纳斯·约翰逊;约阿希姆·帕罗;比约恩·维克多;杰斯珀·本特森 2 2008 单调的平行构图的表现力。 Zbl 1335.68039号 奥曼·波霍拉,约翰内斯;约阿希姆·帕罗 2 2016 用Isabelle证明pi-calculus中互模拟的完备性。 Zbl 1278.68212号 杰斯珀·本特森;约阿希姆·帕罗 2 2007 弱标称模态逻辑。 Zbl 1489.68167号 约阿希姆·帕罗;Tjark韦伯;约翰·博格斯特罗姆;埃里克森,拉尔斯·亨里克 2 2017 网络的结构和行为等效性。 Zbl 0799.68132号 约阿希姆·帕罗 1 1993 应用程序计算的分类语义框架。 Zbl 1448.68331号 约翰·博格斯特罗姆;拉姆纳斯·古特科瓦斯;约阿希姆·帕罗;比约恩·维克多;约翰·奥曼·波霍拉 1 2016 CONCUR’94:并发理论。第五届国际会议,1994年8月22日至25日,瑞典乌普萨拉。诉讼程序。 Zbl 0825.68132号 1 1994 无优先级的优先级:以psi-calculi表示抢占。 兹比尔1464.68223 奥曼·波霍拉,约翰内斯;约阿希姆·帕罗 1 2014 psi-calculi的完全抽象符号语义。 Zbl 1454.68076号 约翰松,马格努斯;比约恩·维克多;约阿希姆·帕罗 1 2010 标称过渡系统的模态逻辑。 Zbl 1509.68188号 约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森,拉尔斯·亨里克;Forsberg Gutkovas,拉姆纳斯;Tjark韦伯 3 2021 弱标称模态逻辑。 Zbl 1489.68167号 约阿希姆·帕罗;Tjark韦伯;约翰·博格斯特罗姆;埃里克森,拉尔斯·亨里克 2 2017 完全抽象的一般条件。 Zbl 1361.68085号 约阿希姆·帕罗 10 2016 Isabelle的Psi-calculi。 Zbl 1356.68175号 杰斯珀·本特森;约阿希姆·帕罗;Tjark韦伯 8 2016 最大的尊重功能。 Zbl 1448.68349号 约阿希姆·帕罗;韦伯,特贾克 6 2016 单调的平行构图的表现力。 Zbl 1335.68039号 奥曼·波霍拉,约翰内斯;约阿希姆·帕罗 2 2016 应用程序计算的分类语义框架。 Zbl 1448.68331号 约翰·博格斯特罗姆;拉姆纳斯·古特科瓦斯;约阿希姆·帕罗;比约恩·维克多;约翰·奥曼·波霍拉 1 2016 标称过渡系统的模态逻辑。 Zbl 1374.68339号 约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森,拉尔斯·亨里克;拉莫纳斯·古特科瓦斯;Tjark韦伯 10 2015 高阶psi-calculi。 Zbl 1342.68239号 约阿希姆·帕罗;约翰·博格斯特罗姆;Palle Raabjerg;约翰·奥曼·波霍拉 10 2014 应用程序计算的分类语义框架(扩展抽象)。 Zbl 1348.68158号 约翰·博格斯特罗姆;拉姆纳斯·古特科瓦斯;约阿希姆·帕罗;比约恩·维克多;奥曼·波霍拉,约翰内斯 4 2014 无优先级的优先级:以psi-calculi表示抢占。 Zbl 1464.68223号 奥曼·波霍拉,约翰内斯;约阿希姆·帕罗 1 2014 计算psi-calculi的强互模拟和弱互模拟。 Zbl 1277.68192号 马格纳斯·约翰逊;比约恩·维克多;约阿希姆·帕罗 6 2012 Psi-calculi:具有标称数据和逻辑的移动进程框架。 Zbl 1213.68399号 杰斯珀·本特森;马格纳斯·约翰逊;约阿希姆·帕罗;比约恩·维克多 44 2011 通过无线协议应用程序广播psi-calculi。 Zbl 1350.68041号 约翰·博格斯特罗姆;黄淑琴;马格纳斯·约翰逊;Raabjerg,帕尔;比约恩·维克多;奥曼·波霍拉,约翰内斯;约阿希姆·帕罗 7 2011 psi-calculi的完全抽象符号语义。 Zbl 1454.68076号 马格纳斯·约翰逊;比约恩·维克多;约阿希姆·帕罗 1 2010 使用标称逻辑对像素进行形式化。 Zbl 1168.68030号 杰斯珀·本特森;约阿希姆·帕罗 12 2009 Isabelle的Psi-calculi。 Zbl 1252.68247号 杰斯珀·本特森;约阿希姆·帕罗 7 2009 过程代数的表示性。 Zbl 1279.68264号 约阿希姆·帕罗 27 2008 扩展pi-calculi。 Zbl 1155.68473号 约翰松,马格努斯;约阿希姆·帕罗;比约恩·维克多;杰斯珀·本特森 2 2008 使用标称逻辑将\(\pi\)-演算形式化。 Zbl 1168.68436号 杰斯珀·本特森;约阿希姆·帕罗 9 2007 用Isabelle证明pi-calculus中互模拟的完备性。 Zbl 1278.68212号 杰斯珀·本特森;约阿希姆·帕罗 2 2007 使用数据项对\(\pi\)-演算进行完全抽象编码(扩展抽象)。 Zbl 1085.68594号 迈克尔·巴尔达穆斯;约阿希姆·帕罗;比约恩·维克多 9 2005 通过广播抽象验证Ad hoc路由协议。 Zbl 1169.68328号 奥斯卡·威布尔;约阿希姆·帕罗;阿诺德·皮尔斯 4 2005 自动验证临时路由协议。 Zbl 1110.68327号 奥斯卡·威布尔;约阿希姆·帕罗;阿诺德·皮尔斯 8 2004 自动化、语言和编程。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。 Zbl 1029.00041号 3 2003 介绍\(\pi\)-演算。 Zbl 1035.68071号 约阿希姆·帕罗 32 2001 单幅图表。 Zbl 1087.68607号 科西莫·拉内夫;约阿希姆·帕罗;比约恩·维克多 6 2001 融合演算中的并发约束。(扩展摘要)。 Zbl 0915.03029号 比约恩·维克多;约阿希姆·帕罗 9 1998 约束作为过程。 Zbl 1514.68187号 比约恩·维克多;约阿希姆·帕罗 4 1996 通过名字计算的代数理论。 兹伯利0836.03020 约阿希姆·帕罗;戴维·桑吉奥吉 27 1995 cs-同余的完全公理化。 Zbl 0941.68573号 约阿希姆·帕罗;Peter Sjödin 5 1994 CONCUR’94:并发理论。第五届国际会议,1994年8月22日至25日,瑞典乌普萨拉。诉讼程序。 Zbl 0825.68132号 1 1994 移动进程的模态逻辑。 Zbl 0778.68033号 罗宾·米尔纳;约阿希姆·帕罗;大卫·沃克 60 1993 确定一类非有限状态程序的互模拟等价性。 Zbl 0799.68133号 Jonsson,孟加拉人;约阿希姆·帕罗 15 1993 网络的结构和行为等效性。 Zbl 0799.68132号 约阿希姆·帕罗 1 1993 移动进程的微积分。二、。 Zbl 0752.68037号 罗宾·米尔纳;约阿希姆·帕罗;大卫·沃克 314 1992 移动进程的微积分。一、。 Zbl 0752.68036号 罗宾·米尔纳;约阿希姆·帕罗;大卫·沃克 290 1992 移动网络的代数验证。 Zbl 0782.68081号 弗雷德里克·奥拉瓦;约阿希姆·帕罗 10 1992 CCS中作为方程求解的子模块构造。 Zbl 0686.68017号 约阿希姆·帕罗 10 1989 所有引用出版物 前5名被引用出版物 全部的 前5名766位作者引用 27 乌戈·蒙塔纳里。 24 吉田、Nobuko 23 戴维·桑吉奥吉 20 伏玉溪 15 约阿希姆·帕罗 13 佩雷斯(Jorge A.Pérez)。 12 纳迪亚·布西 12 吉安·路易吉,法拉利 12 轩尼诗,Matthew C.B。 12 乌韦·内斯特曼 11 科拉多·普里亚米 11 吉安路易吉·扎瓦塔罗 10 本田、高黑 9 卢卡·埃特罗 9 洛科·德尼古拉 9 皮耶保罗·德加诺 9 丹妮尔·戈拉 9 罗斯·霍恩 9 汉斯·休特尔 9 Anna Ingólfsdóttir 9 柯斯汀·彼得斯 8 罗伯托·布鲁尼 8 文森佐·西安西亚 8 科西莫·拉内夫 8 罗萨里奥·普格利泽 8 范格拉贝克、罗伯特·扬 7 米歇尔·博雷尔 7 巴斯米,玛丽亚·格拉齐亚 7 弗拉维奥·科拉迪尼 7 Dezani Ciancaglini,马里亚焦拉 7 法比奥·加杜奇 7 马西莫·梅罗 7 卡图西亚帕拉米德斯 7 伊恩·菲利普斯。 7 斯科特·斯莫尔卡。 7 阿文·费南托(Alwen Fernanto Tiu) 7 Vascoconcelos、Vasco Thudichum 6 罗伯特·阿马迪奥(Roberto M.Amadio)。 6 马丁·伯杰(Martin J.Berger)。 6 罗宾·米尔纳 6 卡洛斯·奥拉特 6 约万卡·潘托维奇 6 弗朗西斯科·蒂埃齐 6 徐,西安 5 萨姆森·艾布拉姆斯基 5 奥曼·波霍拉,约翰内斯 5 博迪,恰拉 5 菲利波·邦奇 5 路易斯·凯雷斯 5 塞德里克·Fornet 5 阿德里安·弗兰卡兰扎 5 默多克·詹姆斯·加贝 5 西蒙·盖伊。 5 托马斯·希尔德布兰特。 5 Jonsson,孟加拉人 5 林惠民 5 米歇尔·洛雷蒂 5 弗莱明·尼尔森 5 马可·皮斯托雷 5 保拉·夸里亚 5 朱利安·拉特克 5 汉内·里斯·尼尔森 4 约翰·博格斯特罗姆 4 琳达·布罗多 4 卢卡·卡德利 4 伊恩·卡萨尔 4 达姆,麦兹 4 文森特·达诺斯 4 邓玉欣 4 里卡多·福卡迪 4 加塞米,法特梅 4 西尔维娅·吉勒赞 4 罗伯托·戈里埃里 4 Alan S.A.杰弗里。 4 克里斯蒂安·约翰森 4 小林直树 4 戴尔·艾伦·米勒 4 安德鲁·皮特斯(Andrew M.Pitts)。 4 詹姆斯·里利 4 马蒂奥·桑马蒂诺 4 索博辛斯基,Paweł 4 城市,基督教 4 比约恩·维克多 4 Ying,明生 3 马丁·阿巴迪 3 帕罗什·阿齐兹·阿卜杜拉 3 叶希亚·阿卜杜·阿勒拉赫曼 3 本杰明·阿齐兹 3 Jos C.M.Baeten。 3 贝内维特斯,马里奥·R·F·。 3 杰斯珀·本特森 3 Jan A.Bergstra。 3 马里奥·布拉维蒂 3 米歇尔·布格列西 3 Cacciagrano、Diletta Romana 3 玛丽亚·艾米利亚·坎布罗内罗 3 曹子宁 3 詹姆斯·切尼 3 加布里埃尔·乔巴努 3 格雷戈里奥·迪亚兹 …还有666位作者 全部的 前5名46篇连载文章中引用 152 理论计算机科学 73 信息与计算 29 MSCS公司。计算机科学中的数学结构 28 程序设计中的逻辑和代数方法杂志 25 逻辑与代数程序设计杂志 23 计算的形式方面 17 信息学报 13 计算机科学中的逻辑方法 9 自动推理杂志 6 信息处理信件 6 计算机程序设计科学 5 计算机科学与技术杂志 4 国际理论物理杂志 4 国际计算机科学基础杂志 4 函数编程杂志 3 计算机与系统科学杂志 3 分布式计算 3 系统设计中的形式化方法 2 符号计算杂志 2 国际计算机数学杂志 2 中国的科学。E系列 2 逻辑程序设计理论与实践 2 自然计算 2 应用逻辑杂志 1 信息科学 1 计算机协会杂志 1 符号逻辑杂志 1 国际并行程序设计杂志 1 国际近似推理杂志 1 离散事件动态系统 1 国际计算机与系统科学杂志 1 符号逻辑公报 1 范畴的理论与应用 1 约束条件 1 工程中的数学问题 1 组合优化期刊 1 武汉大学自然科学学报 1 并行与计算:实践与经验 1 计算机语言、系统和结构 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 中国的科学。F系列 1 国际并行、紧急和分布式系统杂志 1 上海交通大学学报(科学版) 1 科学中国。信息科学 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 全部的 前5名在15个字段中引用 680 计算机科学(68至XX) 118 数学逻辑和基础(03-XX) 21 生物学和其他自然科学(92-XX) 20 信息与通信理论、电路(94-XX) 17 范畴理论;同调代数(18-XX) 6 量子理论(81-XX) 3 运筹学、数学编程(90-XX) 2 历史和传记(01-XX) 2 有序,格,有序代数结构(06-XX) 2 一般代数系统(08-XX) 2 概率论与随机过程(60-XX) 2 系统论;控制(93至XX) 1 总体主题;集合(00-XX) 1 常微分方程(34-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文