编辑配置文件(在新选项卡中打开) 轩尼诗,Matthew C.B。 合著者距离 作者ID: 轩尼诗·马修-c-b 发布日期: 马修·轩尼诗;轩尼诗,M。;轩尼诗,M.C.B。;轩尼诗,Matthew C.B。;马修·亨内西 更多。。。较少的 主页: https://www.scss.tcd.ie/Matthew.Hennessy网站/ 外部链接: 管理程序·维基数据·谷歌学者·数据库许可证·ID参考 已编制索引的文档: 125出版物自1976年以来,包括3本书 4作为编辑的贡献 合著者: 47位合著者具有99份联合出版物 992联合作者 全部的 前5名合著者 28 单作者的 10 朱利安·拉特克 8 邓玉欣 8 阿德里安·弗兰卡兰扎 6 卢卡·埃特罗 6 瓦西里欧斯·库塔瓦斯 6 詹姆斯·里利 6 范格拉贝克、罗伯特·扬 5 乔瓦尼·伯纳迪 5 伊利亚州卡斯特拉尼 5 卡罗尔·C·摩根。 4 杰拉德·布多尔 4 安德烈亚·塞隆 4 埃德斯科·德弗里斯 4 威廉·费雷拉 4 阿斯特里德·基恩 4 马西莫·梅罗 4 吉田、Nobuko 三 洛科·德尼古拉 三 Anna Ingólfsdóttir 三 戈登·普洛金(Gordon D.Plotkin)。 2 阿伦库马尔,S。 2 爱德华·阿什克罗夫特。 2 牧场克利夫兰 2 丹尼尔·戈拉 2 赫里萨菲斯·哈托纳斯 2 塞缪尔·希姆 2 Alan S.A.杰弗里。 2 罗宾·米尔纳 2 弗拉迪米罗·萨松 2 科林·斯特林 1 阿尔贝托·齐法格利翁 1 里卡多·科内乔 1 皮埃尔·卢伊斯·居里 1 斯蒂芬·艾登本兹。 1 马尼什·戈尔 1 马西耶·加兹达。 1 巴托克·克林 1 李伟 1 刘新新 1 拉斐尔·莫拉莱斯 1 尼尔森,莫根斯 1 蒂姆·里根 1 卡洛·斯帕卡萨西 1 弗朗西斯科·特里戈罗 1 彼得·维德迈尔 1 格林·温斯克尔 1 张晨毅 全部的 前5名系列 12 理论计算机科学 12 信息与计算 8 计算机科学中的逻辑方法 6 计算的形式方面 5 信息学报 4 计算机协会杂志 三 信息和控制 2 SIAM计算机杂志 2 MSCS公司。计算机科学中的数学结构 2 逻辑与代数程序设计杂志 2 理论计算机科学电子笔记 1 计算机与系统科学杂志 1 程序设计语言与系统学报 1 波兰数学年鉴。系列IV 1 计算机程序设计科学 1 计算机科学与技术杂志 1 自动推理杂志 1 逻辑与计算杂志 1 函数编程杂志 1 计算机语言、系统和结构 1 计算机科学课堂讲稿 领域 128 计算机科学(68至XX) 19 数学逻辑和基础(03-XX) 4 总体主题;集合(00-XX) 2 信息与通信理论、电路(94-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 118出版物有被引用2245次中的次1321文件 引用人▼ 年份▼ 不确定性和并发性的代数定律。 Zbl 0629.68021号 马修·轩尼诗;罗宾·米尔纳 348 1985 测试过程的等效性。 Zbl 0985.68518号 R·德·尼古拉。;轩尼诗,M.C.B。 268 1984 过程的代数理论。 Zbl 0744.68047号 马修·轩尼诗 183 1988 关于观察不确定性和并发性。 Zbl 0441.68018号 马修·轩尼诗;罗宾·米尔纳 75 1980 象征性的相互刺激。 Zbl 0874.68187号 轩尼诗,M。;Lin,H。 75 1995 简单并行编程语言的完全抽象。 Zbl 0457.68006号 轩尼诗,M.C.B。;普洛金,G.D。 73 1979 定时系统的进程代数。 Zbl 0826.68068号 马修·轩尼诗;蒂姆·里根 68 1995 移动代理系统中的资源访问控制。 Zbl 1009.68081号 马修·轩尼诗;詹姆斯·里利 48 2002 流程的效率预购。 Zbl 0790.68039号 阿伦·库马尔,S。;轩尼诗,M。 43 1992 描述有限概率过程的测试预订单。 Zbl 1161.68035号 邓玉欣;罗伯特·J·范格拉贝克。;马修·轩尼诗;卡罗尔·C·摩根。 39 2008 终止、僵局和分歧。 Zbl 0799.68131号 丙酮,L。;轩尼诗,M。 35 1992 分布式像素。 Zbl 1125.68082号 马修·轩尼诗 35 2007 将等效性测试为互模拟等效性。 Zbl 0797.68058号 牧场克利夫兰;马修·轩尼诗 32 1993 验收树。 Zbl 0633.68074号 轩尼诗,M。 30 1985 具有局部性的过程理论。 Zbl 0806.68070号 G.布多尔。;卡斯特拉尼,I。;轩尼诗,M。;A.基恩。 29 1994 过程代数中的优先级。 Zbl 0726.68053号 牧场克利夫兰;马修·轩尼诗 29 1990 测试有限概率过程(扩展抽象)。 Zbl 1254.68166号 邓玉欣;罗布·范格拉贝克;马修·轩尼诗;摩根,卡罗尔 26 2009 同步进程的术语模型。 Zbl 0503.68022号 马修·轩尼诗 25 1981 用价值传递传递过程的理论。 Zbl 0794.68098号 轩尼诗,M。;Ingólfsdóttir,A。 23 1993 安全环境中的双刺激一致性。 Zbl 1323.68412号 马西莫·梅罗;马修·轩尼诗 23 2002 编程语言的语义。使用结构操作语义的初步介绍。 Zbl 0723.68067号 马修·轩尼诗 22 1990 分布式互模拟。 Zbl 0697.68076号 伊利亚州卡斯特拉尼;马修·轩尼诗 22 1989 CCS术语模型。 Zbl 0479.68011号 轩尼诗,M.C.B。;普洛金,G.D。 22 1980 非确定性环境中按值调用和按名称调用的语义。 Zbl 0437.68002号 轩尼诗,M.C.B。 21 1980 观察地点。 Zbl 0783.68072号 G.布多尔。;卡斯特拉尼,I。;轩尼诗,M。;A.基恩。 20 1993 探索概率互模拟。一、。 Zbl 1259.68153号 马修·轩尼诗 19 2012 公理化有限并发进程。 兹伯利0666.68024 马修·轩尼诗 19 1988 高阶过程的完全抽象指称模型。 Zbl 0806.68071号 轩尼诗,M。 18 1994 通信事务(扩展抽象)。 Zbl 1287.68018号 埃德斯科·德·弗里斯;瓦西里欧斯·库塔瓦斯;马修·轩尼诗 18 2010 关于马尔可夫自动机的语义。 Zbl 1286.68362号 邓玉欣;马修·轩尼诗 17 2013 移动代理系统中的资源访问控制。 兹比尔0917.68047 轩尼诗,M。;J.瑞利。 17 1998 向有限进程代数中添加操作细化。 Zbl 0834.68077号 丙酮,L。;轩尼诗,M。 16 1994 消息传递过程代数的证明系统。 Zbl 0857.68040号 轩尼诗,M。;Lin,H。 15 1996 没有\(\tau\)’s的CCS。 Zbl 0614.68025号 洛科·德尼古拉;马修·轩尼诗 15 1987 用值传递传递过程的一种证明系统。 Zbl 0736.68057号 轩尼诗,M。 15 1991 未来的力量完善了程序逻辑。 Zbl 0582.68010号 马修·轩尼诗;科林·斯特林 15 1985 过程代数中的动作重定义。 Zbl 0779.68028号 丙酮,L。;轩尼诗,M。 15 1993 分布式进程和位置故障。 Zbl 0989.68007号 里利,J。;轩尼诗,M。 14 2001 测试过程的等效性。 Zbl 0515.68029号 R·德·尼古拉。;轩尼诗,M.C.B。 14 1983 广播系统演算的相互模拟。 Zbl 0915.68065号 轩尼诗,M。;J.Rathke。 14 1998 使用高阶契约建模会话类型。 Zbl 1448.68329号 乔瓦尼·伯纳迪;马修·轩尼诗 13 2016 存在子类型的过程的类型化行为等效项。 Zbl 1093.68062号 马修·亨内西;朱利安·拉特克 12 2004 异步像素中的信息流与资源访问。(扩展摘要)。 Zbl 0973.68519号 马修·轩尼诗;詹姆斯·里利 12 2000 移动代理开放系统中的信任和部分键入。 Zbl 1069.68076号 詹姆斯·里利;马修·轩尼诗 12 2003 关于测试概率过程的备注。 Zbl 1277.68121号 邓玉欣;罗布·范格拉贝克;马修·轩尼诗;摩根,卡罗尔;张晨毅 11 2007 过程代数中的动作重定义。 Zbl 0716.68034号 丙酮,L。;轩尼诗,M。 11 1989 面向分布式系统中访问和移动性控制的行为理论。 Zbl 1071.68009号 马修·轩尼诗;马西莫·梅罗;朱利安·拉特克 10 2004 (pi)演算的完全抽象指称语义。 Zbl 1014.68105号 马修·轩尼诗 10 2002 一种不确定类型lambda演算的数学语义。 Zbl 0462.68006号 轩尼诗,M.C.B。;阿什克罗夫特,E.A。 10 1980 公平异步通信过程的代数理论。 兹比尔0612.68026 马修·轩尼诗 9 1987 不确定性的语义。 Zbl 0379.02015 轩尼诗,M。;阿什克罗夫特,E.A。 9 1976 存在节点和链路故障时的系统行为理论(扩展抽象)。 Zbl 1134.68340号 阿德里安·弗兰卡兰扎;马修·轩尼诗 8 2005 观察地点。(扩展摘要)。 Zbl 0778.68055号 G.布多尔。;卡斯特拉尼,I。;轩尼诗,M。;A.基恩。 8 1991 观测容错理论。 Zbl 1123.68080号 阿德里安·弗兰卡兰扎;马修·轩尼诗 8 2007 为进程分配类型。 Zbl 1009.68085号 吉田、Nobuko;马修·轩尼诗 8 2002 一阶关系演算的证明系统。 兹伯利0431.68084 轩尼诗,Matthew C.B。 8 1980 公理化有限延迟运算符。 Zbl 0521.68047号 马修·轩尼诗 8 1984 存在节点和链路故障时的系统行为理论。 Zbl 1152.68037号 阿德里安·弗兰卡兰扎;马修·轩尼诗 8 2008 safeDpi:一种控制移动代码的语言。 Zbl 1081.68003号 马修·轩尼诗;朱利安·拉特克;吉田、Nobuko 8 2005 过程的同步和异步实验。 Zbl 0544.68028号 轩尼诗,M。 8 1983 使用协定建模会话类型。 Zbl 1361.68160号 乔瓦尼·伯纳迪;马修·轩尼诗 8 2016 通过价值传递和分配沟通流程。 Zbl 0784.68055号 轩尼诗,M。;Ingólfsdóttir,A。 7 1993 幂域和非确定性递归定义。 Zbl 0486.68009号 轩尼诗,M.C.B。 7 1982 有限合取不确定性。 兹伯利0649.03013 轩尼诗,M。;普洛金,G。 6 1987 安全计算和不干涉。 Zbl 1067.68096号 马修·轩尼诗 6 2005 分布式高阶过程中的子类型和局部性。 Zbl 0940.68024号 吉田、Nobuko;马修·轩尼诗 6 1999 用于通信事务的相互模拟(扩展抽象)。 Zbl 1405.68215号 瓦西里欧斯·库塔瓦斯;卡洛·斯帕卡萨西;马修·轩尼诗 6 2014 安全策略作为全球计算系统中的膜。 Zbl 1272.68062号 丹尼尔·戈拉;马修·轩尼诗;弗拉迪米罗·萨松 6 2005 关于马尔可夫自动机的语义。 Zbl 1333.68162号 邓玉欣;马修·轩尼诗 6 2011 向有限进程代数中添加操作细化。 Zbl 0786.68055号 卢卡·埃特罗;马修·轩尼诗 6 1991 消息传递过程的模式逻辑。 兹比尔0827.68102 轩尼诗,M。;刘新新 6 1995 过程的并发测试。 Zbl 0835.68074号 轩尼诗,M。 6 1995 核心CML的弱互模拟理论。 Zbl 0916.68093号 威廉·费雷拉;马修·轩尼诗;阿兰·杰弗里 6 1998 证明收缩系统正确。 Zbl 0598.68030号 马修·轩尼诗 5 1986 一致性的容错互模拟证明(扩展抽象)。 兹比尔1187.68326 阿德里安·弗兰卡兰扎;马修·轩尼诗 5 2007 分布式进程和位置故障。 Zbl 1401.68233号 詹姆斯·里利;马修·轩尼诗 5 1997 使用高阶契约建模会话类型(扩展抽象)。 Zbl 1417.68116号 乔瓦尼·伯纳迪;马修·轩尼诗 5 2014 高阶并发的一阶推理。 Zbl 1248.68355号 瓦西里欧斯·库塔瓦斯;马修·轩尼诗 5 2012 成本计算的微积分。 Zbl 1213.68403号 马修·轩尼诗 5 2011 无线系统中MAC层通信的建模。 Zbl 1395.94007号 安德烈亚·塞隆;马修·轩尼诗;马西莫·梅罗 5 2015 计算微积分(扩展摘要)中的成本。 Zbl 1291.68288号 马修·轩尼诗;马尼什·戈尔 5 2009 未来的力量完善了程序逻辑。 Zbl 0557.68029号 轩尼诗,M。;斯特灵,C。 5 1984 核心CML的弱互模拟理论。 Zbl 1345.68049号 威廉·费雷拉;马修·轩尼诗;阿兰·杰弗里 5 1996 值传递过程的本地模型检查。(扩展摘要)。 Zbl 0885.03021号 J.Rathke。;轩尼诗,M。 4 1997 存在子类型的过程的类型化行为等效项。 Zbl 1268.68127号 马修·轩尼诗;朱利安·拉特克 4 2002 观测容错理论。(扩展摘要)。 Zbl 1180.68114号 阿德里安·弗兰卡兰扎;马修·轩尼诗 三 2006 消息传递过程计算的独特定点归纳。 兹比尔0998.68089 轩尼诗,M。;Lin,H。;J.Rathke。 三 2001 相互测试过程(扩展抽象)。 Zbl 1390.68459号 乔瓦尼·伯纳迪;马修·轩尼诗 三 2013 基于通道的并发中显式资源管理的组合推理。 Zbl 1335.68170号 阿德里安·弗兰卡兰扎;埃德斯科·德弗里斯;马修·轩尼诗 三 2014 公平异步通信过程的代数理论。 Zbl 0566.68022号 马修·轩尼诗 三 1985 观察过程。(教程)。 Zbl 0683.68021号 轩尼诗,M。 三 1989 高阶流程及其模型。 Zbl 1418.68143号 轩尼诗,M。 三 1994 DPI中行为等效性的证明方法。 Zbl 1169.68538号 阿尔贝托·齐法格利翁;马修·轩尼诗;朱利安·拉特克 2 2005 向Dpi添加递归。 兹比尔1111.68083 塞缪尔·希姆;马修·轩尼诗 2 2007 面向分布式系统中访问和移动性控制的行为理论。 Zbl 1029.68109号 马修·轩尼诗;马西莫·梅罗;朱利安·拉特克 2 2003 面向CML的语义理论。 Zbl 1193.68068号 西费雷拉。;轩尼诗,M。 2 1995 概率无线网络建模。 Zbl 1274.68225号 安德烈亚·塞隆;马修·轩尼诗 2 2013 相互测试过程。 Zbl 1390.68460号 乔瓦尼·伯纳迪;马修·轩尼诗 2 2015 一种通过价值传递来沟通过程的理论。 Zbl 0765.68105号 轩尼诗,M。;Ingólfsdóttir,A。 2 1990 过程行为:公式与测试(扩展抽象)。 Zbl 1455.68120号 安德烈亚·塞隆;马修·轩尼诗 2 2010 区分通信事务。 Zbl 1388.68198号 瓦西里欧斯·库塔瓦斯;马西耶·加兹达;马修·轩尼诗 1 2018 使用高阶契约建模会话类型。 Zbl 1448.68329号 乔瓦尼·伯纳迪;马修·轩尼诗 13 2016 使用协定建模会话类型。 Zbl 1361.68160号 乔瓦尼·伯纳迪;马修·轩尼诗 8 2016 无线系统中MAC层通信的建模。 Zbl 1395.94007号 安德烈亚·塞隆;马修·轩尼诗;马西莫·梅罗 5 2015 相互测试过程。 Zbl 1390.68460号 乔瓦尼·伯纳迪;马修·轩尼诗 2 2015 用于通信事务的相互模拟(扩展抽象)。 兹比尔1405.68215 瓦西里欧斯·库塔瓦斯;卡洛·斯帕卡萨西;马修·轩尼诗 6 2014 使用高阶契约建模会话类型(扩展抽象)。 Zbl 1417.68116号 乔瓦尼·伯纳迪;马修·轩尼诗 5 2014 基于通道的并发中显式资源管理的组合推理。 Zbl 1335.68170号 阿德里安·弗兰卡兰扎;埃德斯科·德弗里斯;马修·轩尼诗 三 2014 消息传递并发中用于资源管理的唯一性类型。 Zbl 1303.68087号 埃德斯科·德弗里斯;阿德里安·弗兰卡兰扎;马修·轩尼诗 2 2014 描述广播分布式系统的测试预订单。 Zbl 1444.68114号 安德烈亚·塞隆;马修·轩尼诗 2 2014 概率过程的实时测试。 Zbl 1359.68218号 邓玉欣;罗布·范格拉贝克;马修·轩尼诗;摩根,卡罗尔 1 2014 关于马尔可夫自动机的语义。 Zbl 1286.68362号 邓玉欣;马修·轩尼诗 17 2013 相互测试过程(扩展抽象)。 Zbl 1390.68459号 乔瓦尼·伯纳迪;马修·轩尼诗 三 2013 概率无线网络建模。 Zbl 1274.68225号 安德烈亚·塞隆;马修·轩尼诗 2 2013 探索概率相互模拟。一、。 Zbl 1259.68153号 马修·轩尼诗 19 2012 高阶并发的一阶推理。 Zbl 1248.68355号 瓦西里欧斯·库塔瓦斯;马修·轩尼诗 5 2012 关于马尔可夫自动机的语义。 Zbl 1333.68162号 邓玉欣;马修·轩尼诗 6 2011 成本计算的微积分。 Zbl 1213.68403号 马修·轩尼诗 5 2011 一种高阶密码语言的测试理论(扩展摘要)。 Zbl 1326.68200号 瓦西里欧斯·库塔瓦斯;马修·轩尼诗 1 2011 概率过程的实时测试(扩展抽象)。 Zbl 1457.68187号 邓玉欣;罗布·范格拉贝克;马修·轩尼诗;摩根,卡罗尔 1 2011 通信事务(扩展抽象)。 Zbl 1287.68018号 埃德斯科·德·弗里斯;瓦西里欧斯·库塔瓦斯;马修·轩尼诗 18 2010 过程行为:公式与测试(扩展抽象)。 Zbl 1455.68120号 安德烈亚·塞隆;马修·轩尼诗 2 2010 消息传递并发中用于资源管理的唯一性类型。 Zbl 1454.68075号 埃德斯科·德·弗里斯;阿德里安·弗兰卡兰扎;马修·轩尼诗 1 2010 测试有限概率过程(扩展抽象)。 Zbl 1254.68166号 邓玉欣;罗布·范格拉贝克;马修·轩尼诗;摩根,卡罗尔 26 2009 计算微积分(扩展摘要)中的成本。 Zbl 1291.68288号 马修·轩尼诗;马尼什·戈尔 5 2009 描述有限概率过程的测试预订单。 Zbl 1161.68035号 邓玉欣;罗伯特·J·范格拉贝克。;马修·轩尼诗;卡罗尔·C·摩根。 39 2008 存在节点和链路故障时的系统行为理论。 Zbl 1152.68037号 阿德里安·弗兰卡兰扎;马修·轩尼诗 8 2008 一种分布式π演算。 Zbl 1125.68082号 马修·轩尼诗 35 2007 关于测试概率过程的备注。 Zbl 1277.68121号 邓玉欣;罗布·范格拉贝克;马修·轩尼诗;摩根,卡罗尔;张晨毅 11 2007 观测容错理论。 Zbl 1123.68080号 阿德里安·弗兰卡兰扎;马修·轩尼诗 8 2007 一致性的容错互模拟证明(扩展抽象)。 Zbl 1187.68326号 阿德里安·弗兰卡兰扎;马修·轩尼诗 5 2007 向Dpi添加递归。 Zbl 1111.68083号 塞缪尔·希姆;马修·轩尼诗 2 2007 观测容错理论。(扩展摘要)。 Zbl 1180.68114号 阿德里安·弗兰卡兰扎;马修·轩尼诗 三 2006 存在节点和链路故障时的系统行为理论(扩展抽象)。 Zbl 1134.68340号 阿德里安·弗兰卡兰扎;马修·轩尼诗 8 2005 safeDpi:一种控制移动代码的语言。 Zbl 1081.68003号 马修·轩尼诗;朱利安·拉特克;吉田、Nobuko 8 2005 安全计算和不干涉。 Zbl 1067.68096号 马修·轩尼诗 6 2005 作为全球计算系统中的膜的安全策略。 Zbl 1272.68062号 丹尼尔·戈拉;马修·轩尼诗;弗拉迪米罗·萨松 6 2005 DPI中行为等效性的证明方法。 Zbl 1169.68538号 阿尔贝托·齐法格利翁;马修·轩尼诗;朱利安·拉特克 2 2005 存在子类型的过程的类型化行为等效项。 Zbl 1093.68062号 马修·亨内西;朱利安·拉特克 12 2004 面向分布式系统中访问和移动性控制的行为理论。 Zbl 1071.68009号 马修·轩尼诗;马西莫·梅罗;朱利安·拉特克 10 2004 SafeDpi:一种用于控制移动代码的语言(扩展抽象)。 Zbl 1126.68501号 马修·轩尼诗;朱利安·拉特克;吉田、Nobuko 1 2004 移动代理开放系统中的信任和部分键入。 Zbl 1069.68076号 詹姆斯·里利;马修·轩尼诗 12 2003 面向分布式系统中访问和移动性控制的行为理论。 Zbl 1029.68109号 马修·轩尼诗;马西莫·梅罗;朱利安·拉特克 2 2003 安全微积分和不干涉(扩展抽象)。 Zbl 1337.68183号 马修·轩尼诗 1 2003 移动代理系统中的资源访问控制。 Zbl 1009.68081号 马修·轩尼诗;詹姆斯·里利 48 2002 安全环境中的相互模拟一致性。 兹比尔1323.68412 马西莫·梅罗;马修·轩尼诗 23 2002 (pi)演算的完全抽象指称语义。 Zbl 1014.68105号 马修·轩尼诗 10 2002 为进程分配类型。 Zbl 1009.68085号 吉田、Nobuko;马修·轩尼诗 8 2002 存在子类型的过程的类型化行为等效项。 Zbl 1268.68127号 马修·轩尼诗;朱利安·拉特克 4 2002 自动化、语言和编程。第29届国际学术讨论会,ICALP 2002,西班牙马拉加,2002年7月8日至13日。诉讼程序。 Zbl 0993.00041号 1 2002 分布式进程和位置故障。 Zbl 0989.68007号 J.瑞利。;轩尼诗,M。 14 2001 消息传递过程计算的独特定点归纳。 兹比尔0998.68089 轩尼诗,M。;Lin,H。;J.Rathke。 三 2001 异步像素中的信息流与资源访问。(扩展摘要)。 Zbl 0973.68519号 马修·轩尼诗;詹姆斯·里利 12 2000 分布式高阶过程中的子类型和局部性。 Zbl 0940.68024号 吉田、Nobuko;马修·轩尼诗 6 1999 一阶CML的行为理论。 Zbl 0915.68111号 威廉·费雷拉;马修·轩尼诗 1 1999 消息传递过程计算的证明系统。 Zbl 0963.68115号 马修·轩尼诗 1 1999 移动代理系统中的资源访问控制。 Zbl 0917.68047号 轩尼诗,M。;J.瑞利。 17 1998 广播系统演算的相互模拟。 Zbl 0915.68065号 轩尼诗,M。;J.Rathke。 14 1998 核心慢性粒细胞白血病弱共刺激理论。 Zbl 0916.68093号 威廉·费雷拉;马修·轩尼诗;阿兰·杰弗里 6 1998 具有高阶值传递的函数/并发语言的完全抽象性。 Zbl 0912.68114号 赫里萨菲斯·哈托纳斯;马修·轩尼诗 2 1998 位置计算调查。 Zbl 0917.68066号 轩尼诗,M。 1 1998 分布式进程和位置故障。 Zbl 1401.68233号 詹姆斯·里利;马修·轩尼诗 5 1997 值传递过程的本地模型检查。(扩展摘要)。 Zbl 0885.03021号 J.Rathke。;轩尼诗,M。 4 1997 关于不干涉过程等效性的可判定性。 Zbl 0883.68059号 阿斯特里德·基恩;马修·轩尼诗 1 1997 消息传递过程代数的证明系统。 Zbl 0857.68040号 轩尼诗,M。;Lin,H。 15 1996 核心CML的弱互模拟理论。 Zbl 1345.68049号 威廉·费雷拉;马修·轩尼诗;阿兰·杰弗里 5 1996 符号互模拟。 Zbl 0874.68187号 轩尼诗,M。;Lin,H。 75 1995 定时系统的进程代数。 Zbl 0826.68068号 马修·轩尼诗;蒂姆·里根 68 1995 用于消息传递过程的模式逻辑。 Zbl 0827.68102号 轩尼诗,M。;刘新新 6 1995 过程的并发测试。 Zbl 0835.68074号 轩尼诗,M。 6 1995 面向CML的语义理论。 Zbl 1193.68068号 西费雷拉。;轩尼诗,M。 2 1995 关于局部过程的理论。 Zbl 0806.68070号 G.布多尔。;卡斯特拉尼,I。;轩尼诗,M。;A.基恩。 29 1994 高阶过程的完全抽象指称模型。 Zbl 0806.68071号 轩尼诗,M。 18 1994 向有限进程代数中添加操作细化。 Zbl 0834.68077号 丙酮,L。;轩尼诗,M。 16 1994 高阶流程及其模型。 Zbl 1418.68143号 轩尼诗,M。 三 1994 将等效性测试为互模拟等效性。 Zbl 0797.68058号 牧场克利夫兰;马修·轩尼诗 32 1993 用价值传递传递过程的理论。 Zbl 0794.68098号 轩尼诗,M。;Ingólfsdóttir,A。 23 1993 观察地点。 Zbl 0783.68072号 G.布多尔。;卡斯特拉尼,I。;轩尼诗,M。;Kiehn,A。 20 1993 过程代数中的动作重定义。 Zbl 0779.68028号 丙酮,L。;轩尼诗,M。 15 1993 通过价值传递和分配沟通流程。 Zbl 0784.68055号 轩尼诗,M。;Ingólfsdóttir,A。 7 1993 流程的效率预购。 Zbl 0790.68039号 阿伦·库马尔,S。;轩尼诗,M。 43 1992 终止、僵局和分歧。 Zbl 0799.68131号 丙酮,L。;轩尼诗,M。 35 1992 用值传递传递过程的一种证明系统。 Zbl 0736.68057号 轩尼诗,M。 15 1991 观察地点。(扩展摘要)。 Zbl 0778.68055号 G.布多尔。;卡斯特拉尼,I。;轩尼诗,M。;A.基恩。 8 1991 向有限进程代数中添加操作细化。 兹比尔0786.68055 卢卡·埃特罗;马修·轩尼诗 6 1991 流程的效率预购。 Zbl 1493.68238号 阿伦·库马尔,S。;轩尼诗,M。 1 1991 过程代数中的优先级。 Zbl 0726.68053号 牧场克利夫兰;马修·轩尼诗 29 1990 编程语言的语义。使用结构操作语义的初步介绍。 Zbl 0723.68067号 马修·轩尼诗 22 1990 用价值传递传递过程的理论。 Zbl 0765.68105号 轩尼诗,M。;Ingólfsdóttir,A。 2 1990 分布式互模拟。 Zbl 0697.68076号 伊利亚州卡斯特拉尼;马修·轩尼诗 22 1989 过程代数中的动作重定义。 Zbl 0716.68034号 丙酮,L。;轩尼诗,M。 11 1989 观察过程。(教程)。 Zbl 0683.68021号 轩尼诗,M。 三 1989 用值传递传递过程的一种证明系统。 Zbl 0729.68020号 轩尼诗,M。 2 1989 过程的代数理论。 Zbl 0744.68047号 马修·轩尼诗 183 1988 公理化有限并发进程。 Zbl 0666.68024号 马修·轩尼诗 19 1988 没有\(\tau\)’s的CCS。 Zbl 0614.68025号 洛科·德尼古拉;马修·轩尼诗 15 1987 公平异步通信过程的代数理论。 Zbl 0612.68026号 马修·轩尼诗 9 1987 有限联合不确定性。 Zbl 0649.03013号 轩尼诗,M。;普洛金,G。 6 1987 证明收缩系统正确。 Zbl 0598.68030号 马修·轩尼诗 5 1986 不确定性和并发性的代数定律。 Zbl 0629.68021号 马修·轩尼诗;罗宾·米尔纳 348 1985 …还有18个文档 所有引用出版物 前5名被引用出版物 全部的 前5名1263位作者引用 53 卢卡·埃特罗 46 Anna Ingólfsdóttir 44 轩尼诗,Matthew C.B。 28 范格拉贝克、罗伯特·扬 23 洛科·德尼古拉 20 乌戈·蒙塔纳里。 20 沃尔特·福格勒 19 马可·贝尔纳多 18 邓玉欣 18 戴维·桑吉奥吉 17 马里亚纽拉州Dezani-Ciancaglini 17 威廉·扬·福克金 16 阿德里安·弗兰卡兰扎 16 巴斯·卢提克 15 丹尼尔·戈拉 15 金·古德斯特兰·拉森 14 牧场克利夫兰 14 弗拉维奥·科拉迪尼 14 伏玉溪 13 马里奥·布拉维蒂 13 伊利亚州卡斯特拉尼 13 马西莫·梅罗 13 米歇尔·阿德里安 13 西蒙·蒂尼 12 Jan A.Bergstra。 12 米歇尔·博雷尔 12 罗伯托·戈里埃里 12 卡洛斯·格雷戈里奥·罗德里格斯 12 罗萨里奥Pugliese 12 吉田、Nobuko 11 瓦伦蒂娜·卡斯蒂格利奥尼 11 戴维·德·弗鲁托斯·埃斯克里格 11 乌韦州内斯特曼 10 Jan Friso,格鲁特 10 杰拉尔德·吕特根 10 科拉多·普里亚米 10 卢茨施罗德 9 Jos C.M.Baeten。 9 迪加诺,皮尔保罗 9 霍尔格·赫尔曼斯 9 拉诺特,拉格罗 9 佩雷斯(Jorge A.Pérez)。 9 伊恩·菲利普斯。 9 埃米利奥·托斯托 9 格林·温斯克尔 8 萨姆森·艾布拉姆斯基 8 菲利波·邦奇 8 杰拉德·布多尔 8 罗伯托·布鲁尼 8 路易斯·凯雷斯 8 吉安·路易吉,法拉利 8 罗斯·霍恩 8 Joost N.角。 8 Legay、Axel 8 马蒂·奥利特,纳西索 8 罗宾·米尔纳 8 尼尔森,莫根斯 8 卢卡·帕多瓦尼 8 卡图西亚帕拉米德斯 8 简·J·M·M·鲁顿。 8 斯科特·斯莫尔卡。 7 雅各布斯·W·德·巴克。 7 乌戈·德利古罗 7 朱利安·古铁雷斯 7 米歇尔·洛雷蒂 7 罗比·马利克 7 帕南加登,普拉卡什 7 朱利安·拉特克 7 Vascoconcelos、Vasco Thudichum 7 张丽君 6 马丁·阿巴迪 6 佛朗哥·巴巴内拉 6 西尔维亚·克拉法 6 乌里·法伦贝格 6 西尔维娅·吉勒赞 6 本田、高黑 6 Alan S.A.杰弗里。 6 马西耶·库特尼 6 安娜·拉布拉 6 伊万·拉内斯 6 林惠民 6 约翰·朱尔斯·查尔斯 6 克劳迪奥·安塔雷斯·梅齐纳 6 科内利斯·A·米德尔堡。 6 Mislove,Michael W。 6 Manuel A.努内兹。 6 约万卡·潘托维奇 6 约阿希姆·帕罗 6 Damien Pous 6 弗拉迪米罗·萨松 6 亚历山德拉·席尔瓦 6 科林·斯特林 6 伊雷克·乌利多夫斯基 6 英明生 6 吉安路易吉·扎瓦塔罗 6 张敏 5 罗伯特·阿马迪奥(Roberto M.Amadio)。 5 保罗·巴尔丹 5 马丁·伯杰(Martin J.Berger)。 5 彼得·布霍尔茨 …还有1163位作者 全部的 前5名74篇连载文章中引用 311 理论计算机科学 133 信息与计算 61 计算的形式方面 55 信息学报 48 逻辑与代数程序设计杂志 48 程序设计中的逻辑和代数方法杂志 40 MSCS公司。计算机科学中的数学结构 35 计算机科学中的逻辑方法 21 信息处理信件 14 计算机与系统科学杂志 12 系统设计中的形式化方法 11 人工智能 11 纯逻辑与应用逻辑年鉴 9 计算机程序设计科学 8 离散事件动态系统 6 国际近似推理杂志 6 ACM计算逻辑汇刊 5 模糊集与系统 5 信息科学 5 编程和计算机软件 5 国际计算机科学基础杂志 5 分布式计算 5 RAIRO公司。Informatique Théorique et Applications公司 4 Studia Logica公司 4 计算机科学与技术杂志 4 国际并行程序设计杂志 4 应用非经典逻辑杂志 4 计算机语言、系统和结构 三 国际理论物理杂志 三 自动推理杂志 三 数学与人工智能年鉴 三 RAIRO公司。理论信息学及其应用 三 萨达纳 三 应用逻辑杂志 2 纯粹与应用代数杂志 2 拓扑及其应用 2 国际计算机数学杂志 2 工程、通信和计算中的应用代数 2 函数编程杂志 2 符号逻辑公报 2 中国科学。E系列 2 工程中的数学问题 2 计算系统理论 2 美国计算机学会期刊 2 计算机基础理论 2 SibirskieÈlektronnye Matematicheskie Izvestiya公司 2 科学中国。信息科学 1 离散数学 1 应用数学与计算 1 Automatica公司 1 比特币 1 计算机协会杂志 1 计算与应用数学杂志 1 哲学逻辑杂志 1 苏联数学杂志 1 凯伯内特斯 1 数学系统理论 1 圣母院形式逻辑杂志 1 意大利信息研究所 1 新一代计算 1 运筹学年鉴 1 控制论与系统分析 1 逻辑、语言与信息杂志 1 应用的分类结构 1 托波伊 1 软计算 1 武汉大学自然科学学报 1 国际应用数学与计算机科学杂志 1 新数学与自然计算 1 上海交通大学学报(理学版) 1 算法 1 RAIRO公司。理论信息学及其应用 1 中国计算机科学前沿 1 计算机科学前沿 全部的 前5名28个领域被引用 1,268 计算机科学(68至XX) 273 数学逻辑和基础(03-XX) 46 范畴理论;同调代数(18-XX) 30 阶、格、有序代数结构(06-XX) 21 系统论;控制(93至XX) 17 信息与通信理论、电路(94-XX) 15 概率论与随机过程(60-XX) 15 博弈论、经济学、金融和其他社会和行为科学(91-XX) 13 生物学和其他自然科学(92-XX) 8 一般代数系统(08-XX) 7 量子理论(81-XX) 5 运筹学、数学规划(90-XX) 4 结合环与代数(16-XX) 三 历史和传记(01-XX) 三 群论与推广(20-XX) 三 一般拓扑结构(54-XX) 2 总体主题;集合(00-XX) 2 组合数学(05-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 1 拓扑群、李群(22日至XX日) 1 测量和集成(28-XX) 1 功能分析(46倍X倍) 1 算子理论(47-XX) 1 几何图形(51至XX) 1 微分几何(53至XX) 1 整体分析,流形分析(58至XX) 1 数值分析(65-XX) 1 经典热力学,传热(80-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的知识共享CC0许可证.应进行更新和更正在Wikidata中.