编辑配置文件(在新选项卡中打开) 简·J·M·M·鲁顿。 合著者距离 作者ID: rutten.jan-j-m-m 发布日期: Rutten,一月;J.J.M.M.鲁顿。;简·J·M·M·鲁顿。;鲁滕,J。;Jan J.M.鲁顿。 更多。。。较少的 已编制索引的文档: 95出版物自1988年以来,包括1本书 11作为编辑的贡献·1进一步贡献 合著者: 57位合著者具有83联合出版物 1371合著作者 全部的 前5名合著者 24 单作者的 30 马塞洛·玛丽亚·邦桑格 18 亚历山大·席尔瓦 10 菲利波·邦奇 8 Helle Hvid Hansen先生 7 德波尔(Frank S。 7 Joost N.角。 6 巴特·雅各布斯 5 阿道夫芭蕾舞团 5 安里克·科斯梅·洛佩斯 5 克莱门斯·库普克 5 米拉德·尼基 5 卡图西亚帕拉米德斯 5 朱里安·罗特 5 温特,乔斯特 4 美国,皮埃尔 4 法哈德·阿尔巴 4 雅各布斯·W·德·巴克。 4 弗兰克·范·布鲁格尔 三 海宁·巴索尔德 三 乔治亚娜·卡尔泰斯 2 大卫·戈尔茨坦·科斯塔 2 埃里克·P·德文克。 2 埃斯特班·罗梅罗,拉蒙 2 JoséLuiz Fiadeiro 2 帕南加登,普拉卡什 2 销,Jean-Eric 2 朱利安·萨拉曼卡 1 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 1 法比奥·阿莱西 1 美国P.H.M。 1 大卫·安科纳 1 Krzysztof Rafal公寓 1 阿塞特夫·诺艾,勒克雷米奥拉 1 克里斯特尔·拜尔 1 保罗·巴尔丹 1 吉安娜·贝尔 1 Jan A.Bergstra。 1 米歇尔·博雷尔 1 杰科·德·巴克 1 玛丽·何塞·福廷 1 保罗·加斯丁 1 欧根·伊安·戈里亚克 1 Harman,Neil(尼尔·哈曼) 1 Eiichi Horita 1 埃勒姆·卡舍菲 1 扬·威廉·克鲁普 1 Marta Z.Kwiatkowska。 1 多雷尔·卢卡努 1 孙孟 1 拉里·莫斯 1 格钦·诺曼 1 Damien Pous 1 霍斯特·赖切尔 1 马库斯·罗根巴赫 1 戴维·桑吉奥吉 1 A.斯库特拉。 1 马尔詹·西尔贾尼 1 丹尼尔·图里 1 杰弗里·扎克。 全部的 前5名系列 13 理论计算机科学 8 信息与计算 6 MSCS公司。计算机科学中的数学结构 5 计算机科学中的逻辑方法 三 计算机科学课堂讲稿 三 理论计算机科学电子笔记 三 计算机科学科学年鉴 2 计算机与系统科学杂志 2 计算机程序设计科学 1 SIAM计算机杂志 1 拓扑及其应用 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 欧洲理论计算机科学协会(EATCS)公报 1 计算的形式方面 1 自动机、语言和组合数学杂志 1 欧洲理论计算机科学协会公报 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 1 ACM计算逻辑事务 1 剑桥理论计算机科学丛书 1 CRM专题系列 1 CWI拖拉机 全部的 前5名字段 107 计算机科学(68-XX) 16 范畴理论;同调代数(18-XX) 11 总体主题;集合(00-XX) 7 数学逻辑和基础(03-XX) 7 一般拓扑结构(54至XX) 4 一般代数系统(08-XX) 2 历史和传记(01-XX) 2 组合数学(05-XX) 2 群论与推广(20-XX) 2 信息与通信理论、电路(94-XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 1 结合环与代数(16-XX) 1 概率论与随机过程(60-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 90出版物有1510年被引用中的次858文件 引用人▼ 年份▼ 宇宙余代数:一种系统理论。 Zbl 0951.68038号 J.J.M.M.鲁顿。 385 2000 关于(co)代数和(co)归纳法的教程。 Zbl 0880.68070号 巴特·雅各布斯;Rutten,一月 115 1997 在一类完备度量空间中解自反域方程。 Zbl 0717.18002号 美国,皮埃尔;Rutten,一月 79 1989 广义度量空间:通过Yoneda嵌入的完成、拓扑和幂域。 Zbl 0997.54042号 M.M.邦桑格。;范·布鲁格尔(F.van Breugel)。;J.J.M.M.鲁顿。 65 1998 概率转移系统的互模拟:一种联合方法。 Zbl 0930.68092号 德文克,E.P。;J.J.M.M.鲁顿。 61 1999 自动机和共聚(colegebra中的一个练习)。 Zbl 0940.68085号 J.J.M.M.鲁顿。 57 1998 广义超量域理论的基础。 Zbl 0874.68189号 J.J.M.M.鲁顿。 48 1996 行为微分方程:流、自动机和幂级数的共导演算。 兹比尔1071.68050 J.J.M.M.鲁顿。 46 2003 通过约束自动机在Reo中建模组件连接器。 Zbl 1105.68058号 克里斯特尔·拜尔;马尔詹·西尔贾尼;法哈德·阿尔巴;Rutten,一月 43 2006 流的共推演算。 Zbl 1068.68061号 J.J.M.M.鲁顿。 32 2005 将自动机的决定推广到余代数。 Zbl 1262.18002号 亚历山大·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;Rutten,一月 31 2013 在最后的余代数语义的基础上:非零集、偏序、度量空间。 Zbl 0917.68140号 丹尼尔·图里;Rutten,一月 29 1998 并行面向对象语言的表示语义。 Zbl 0695.68058号 美国,皮埃尔;杰科·德·巴克;Joost N.角。;Rutten,一月 29 1989 线性加权自动机的联合观点。 兹比尔1279.68235 菲利波·邦奇;马塞洛·邦桑格;米歇尔·博雷尔;Rutten,一月;亚历山大·席尔瓦 24 2012 广义度量空间中的加权共线和形式球。 Zbl 0982.54029号 J.J.M.M.鲁顿。 24 1998 组件连接器的共导演算。 Zbl 1278.68200号 阿巴布,F。;J.J.M.M.鲁顿。 23 2003 Brzozowski最小化算法中的代数-代数对偶。 Zbl 1288.68174号 菲利波·邦奇;马塞洛·M·邦桑格。;Helle H.Hansen。;帕南加登,普拉卡什;简·J·M·M·鲁顿。;亚历山大·席尔瓦 23 2014 继电器和度量互模拟。 Zbl 0917.68146号 J.J.M.M.鲁顿。 18 1998 概括发电机组结构,合并。 Zbl 1245.68141号 亚历山大·席尔瓦;菲利波·邦奇;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。 18 2010 Coalgebraic互模拟。 兹比尔1303.68088 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 17 2013 代数和归纳法导论。 Zbl 1285.68105号 巴特·雅各布斯;Rutten,一月 17 2012 过程作为术语:用于相互模拟的非资金模型。 Zbl 0798.68094号 J.J.M.M.鲁顿。 14 1992 关于共导流演算和信号流图的教程。 Zbl 1077.68032号 J.J.M.M.鲁顿。 12 2005 流演算的基本要素(一个广泛的共创练习)。 Zbl 1260.68246号 J.J.M.M.鲁顿。 12 2001 关于while程序的共约和弱双相似性的注释。 Zbl 0945.68073号 J.J.M.M.鲁顿。 10 1999 多项式余代数的Kleene定理。 Zbl 1234.68272号 马塞洛·邦桑格;Rutten,一月;亚历山大·席尔瓦 10 2009 用于分析并发和概率系统的数学技术。 Zbl 1069.68074号 10 2004 增强的燃煤共刺激。 Zbl 1380.68300号 朱里安·罗特;菲利波·邦奇;马塞洛·邦桑格;Damien Pous;Rutten,一月;亚历山大·席尔瓦 10 2015 上下文无关语言的同义词特征。 Zbl 1274.68215号 温特,乔斯特;Jan J.M.鲁顿。;马塞洛·M·邦桑格。 10 2013 定量Kleene余代数。 Zbl 1227.68075号 亚历山大·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;Rutten,一月 10 2011 理性的溪流汇聚在一起。 Zbl 1147.68024号 Rutten,一月 9 2008 相互模拟和共同归纳的高级主题。 Zbl 1264.68009号 9 2012 函数和非函数度量域方程的解。 兹比尔0910.68130 阿莱西,F。;鲍尔丹,P。;G·贝尔。;J.J.M.M.鲁顿。 8 1995 自动机、幂级数和同化:认真对待输入导数。(扩展摘要)。 Zbl 0941.68638号 J.J.M.M.鲁顿。 8 1999 Coalgebraic逻辑和Mealy机器的合成。 Zbl 1137.68034号 M.M.邦桑格。;Rutten,一月;亚历山大·席尔瓦 8 2008 非确定性Kleene余代数。 Zbl 1208.68141号 亚历山大·席尔瓦;马塞洛·邦桑格;Rutten,一月 8 2010 并行面向对象语言的语义正确性。 兹比尔0697.68077 J.J.M.M.鲁顿。 8 1990 比较并发语义时的收缩。 Zbl 0707.68054号 Joost N.角。;简·J·M·M·鲁顿。 8 1990 非一致并发语言的完全抽象指称模型。 Zbl 0824.68060号 霍里塔,E。;德巴克尔,J.W。;J.J.M.M.鲁顿。 7 1994 从失败到成功:比较Horn子句逻辑的指称语义和声明语义。 Zbl 0761.68055号 德波尔,F.S。;J.N.角。;帕拉米德斯,C。;J.J.M.M.鲁顿。 7 1992 Brzozowski算法(co)代数化。 Zbl 1354.68185号 菲利波·邦奇;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。;亚历山大·席尔瓦 7 2012 加权自动机的共导计数。 Zbl 1089.68058号 J.J.M.M.鲁顿。 6 2003 广义度量空间的Alexandroff和Scott拓扑。 Zbl 0955.54008号 M.M.邦桑格。;范·布鲁格尔(F.van Breugel)。;J.J.M.M.鲁顿。 6 1996 比较并发语义时的收缩。 Zbl 0649.68011号 J.N.角。;J.J.M.M.鲁顿。 6 1988 Coalgebra、并发和控制。 Zbl 1017.93064号 J.J.M.M.鲁顿。 6 2000 自动机方程和等式的对偶等价。 Zbl 1333.68184号 Ballester-Bolinches,A。;Cosme-Llópez,E。;J·拉特。 6 2015 控制流与逻辑:Guarded Horn子句的指称和声明模型。 兹比尔0755.68094 德波尔(Frank S。;Joost N.角。;卡图西亚帕拉米德斯;简·J·M·M·鲁顿。 6 1989 关于自动序列的最后一个余数。 Zbl 1354.68183号 克莱门斯·库普克;简·J·M·M·鲁顿。 6 2012 二叉树的行为微分方程和共约。 Zbl 1213.68393号 亚历山大·席尔瓦;Rutten,一月 5 2007 通过归纳法证明Moessner定理。 Zbl 1256.68120号 M.尼基。;J.J.M.M.鲁顿。 5 2011 概率转移系统的互模拟:一种联合方法。 Zbl 1401.68236号 德文克,E.P。;J.J.M.M.鲁顿。 5 1997 无上下文的余代数。 Zbl 1328.68133号 温特,乔斯特;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。 5 2015 monoid、同余和形式语言的形成。 Zbl 1423.68298号 Ballester-Bolinches,A。;Cosme-Llópez,E。;Esteban-Romero,R。;J.J.M.M.鲁顿。 5 2015 计算机科学中的协同代数方法,CMCS’98。第一次研讨会会议记录,葡萄牙里斯本,1998年3月28日至29日。 Zbl 0903.00067号 4 1998 使用衍生物合成粉碎机。 Zbl 1276.68111号 Helle Hvid Hansen先生;大卫·科斯塔;Rutten,一月 4 2006 导出定量规则行为的语法和公理。 Zbl 1254.68129号 菲利波·邦奇;马塞洛·邦桑格;Rutten,一月;亚历山大·席尔瓦 4 2009 无上下文语言,联合语言。 Zbl 1344.68152号 冬天,乔斯特;马塞洛·M·邦桑格。;Rutten,一月 4 2011 流微分方程:规范格式和求解方法。 Zbl 1451.68181号 Helle Hvid Hansen先生;克莱门斯·库普克;Rutten,一月 4 2017 并行面向对象语言的分层语义。 Zbl 0752.68052号 美国,皮埃尔;Rutten,一月 4 1992 联合定义无上下文幂级数。 Zbl 1328.68132号 马塞洛·M·邦桑格。;Rutten,一月;温特,乔斯特 4 2012 语言对等的共创性证明技术。 Zbl 1333.68173号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 4 2013 CMCS’99。计算机科学中的协代数方法第二次研讨会论文集。欧洲软件理论与实践联合会议(ETAPS'99)的卫星活动。荷兰阿姆斯特丹,1999年3月20日至21日。 Zbl 0916.00017号 三 1999 在一类完备度量空间中求解自反域方程。 Zbl 0664.18002号 美国,皮埃尔;Rutten,一月 三 1988 异步通信的范例及其在并发约束编程中的应用。 Zbl 0832.68014号 德波尔(Frank S。;Joost N.角。;卡图西亚帕拉米德斯;简·J·M·M·鲁顿。 三 1993 这都是关于协调的。庆祝Farhad Arbab终身科学成就的文章。 Zbl 1461.68011号 三 2018 修饰痕迹的最终语义。 Zbl 1342.68224号 菲利波·邦奇;马塞洛·邦桑格;乔治亚娜·卡尔泰斯;Rutten,一月;亚历山大·席尔瓦 三 2012 并发逻辑语言的语义模型。 兹伯利0746.8087 德波尔,F.S。;J.J.M.M.鲁顿。;J.N.角。;帕拉米德斯,C。 三 1991 观察联盟和整套合作。 Zbl 1279.68233号 克莱门斯·库普克;Rutten,一月 三 2008 信号流图的代数特征。 Zbl 1407.68183号 海宁·巴索尔德;马塞洛·邦桑格;Helle Hvid Hansen先生;Rutten,一月 三 2014 代数、比特流和电路。 Zbl 1083.68043号 J.J.M.M.鲁顿。 2 2005 通过创造证明语言的包容性和对等性。 Zbl 1333.68174号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 2 2016 广义正则表达式双相似性的判定过程。 Zbl 1325.68127号 马塞洛·邦桑格;乔治亚娜·卡尔泰斯;欧根·伊安·戈里亚克;多雷尔·卢卡努;Rutten,一月;亚历山大·席尔瓦 2 2011 装饰痕迹的联合视图。 Zbl 1364.68276号 邦奇,F。;M.邦桑格。;卡尔泰斯,G。;J·拉特。;A.席尔瓦。 2 2016 公平的语义方法。 Zbl 0773.68051号 J.J.M.M.鲁顿。;朱克,J.I。 2 1992 并行面向对象语言:设计和语义基础。 Zbl 0760.68044号 美国P.H.M。;J.J.M.M.鲁顿。 2 1991 共导流演算中的采样、分割和合并。 Zbl 1286.68089号 米拉德·尼基;Rutten,一月 2 2010 并发度量语义的正确性和完整抽象。(技术贡献)。 兹伯利0683.68073 J.J.M.M.鲁顿。 1 1989 控制驱动协调语言MANIFOLD的转换系统语义。 Zbl 0954.68107号 M.M.邦桑格。;阿巴布,F。;德巴克尔,J.W。;J.J.M.M.鲁顿。;A.斯库特拉。 1 2000 线性系统的代数基础。(流微积分练习)。 Zbl 1214.68232号 J.J.M.M.鲁顿。 1 2007 意向自动机:组件连接器的上下文相关模型(扩展抽象)。 Zbl 1353.68163号 大卫·科斯塔;米拉德·尼基;Rutten,一月 1 2012 牛顿级数,创造。 Zbl 1407.68316号 海宁·巴索尔德;Helle Hvid Hansen先生;让-埃里克·品;Rutten,一月 1 2015 语言的多样性和共变性(扩展抽象)。 Zbl 1334.68139号 Rutten,一月;阿道夫芭蕾舞团;安里克·科斯梅·洛佩斯 1 2013 自动机和等式的正则变体。 Zbl 1432.68270号 J.萨拉曼卡。;Ballester-Bolinches,A。;M.M.邦桑格。;Cosme-Llópez,E。;J.J.M.M.鲁顿。 1 2015 加权自动机的方程和等式。 Zbl 1465.68186号 朱利安·萨拉曼卡;马塞洛·邦桑格;Rutten,一月 1 2015 共导计数:枚举组合学中的互模拟(扩展抽象)。 Zbl 1270.68149号 J.J.M.M.鲁顿。 1 2002 整套合作。 Zbl 1209.68161号 克莱门斯·库普克;Rutten,一月 1 2010 基于度量域方程的并发语义。 Zbl 0792.68090号 德巴克尔,J.W。;J.J.M.M.鲁顿。 1 1991 连接器设计:建模、细化和测试用例生成。 Zbl 1242.68070号 孙孟;法哈德·阿尔巴;伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;阿塞特夫·诺艾,勒克雷米奥拉;德波尔(Frank S。;Rutten,一月 1 2012 二叉树的共导演算。 Zbl 1200.68082号 亚历山大·席尔瓦;Rutten,一月 1 2010 (k)-正则序列的最后一个余代数。 Zbl 1407.68318号 Helle Hvid Hansen先生;克莱门斯·库普克;Rutten,一月;冬天,乔斯特 1 2014 这都是关于协调的。庆祝Farhad Arbab终身科学成就的文章。 Zbl 1461.68011号 三 2018 流微分方程:规范格式和求解方法。 Zbl 1451.68181号 Helle Hvid Hansen先生;克莱门斯·库普克;Rutten,一月 4 2017 通过创造证明语言的包容性和对等性。 Zbl 1333.68174号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 2 2016 装饰痕迹的联合视图。 Zbl 1364.68276号 F.邦奇。;M.邦桑格。;卡尔泰斯,G。;J·拉特。;A.席尔瓦。 2 2016 增强的燃煤共刺激。 Zbl 1380.68300号 朱里安·罗特;菲利波·邦奇;马塞洛·邦桑格;Damien Pous;Rutten,一月;亚历山大·席尔瓦 10 2015 自动机方程和等式的对偶等价。 Zbl 1333.68184号 Ballester-Bolinches,A。;Cosme-Llópez,E。;J·拉特。 6 2015 无上下文的余代数。 Zbl 1328.68133号 温特,乔斯特;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。 5 2015 幺半群、同余和形式语言的构成。 Zbl 1423.68298号 Ballester-Bolinches,A。;Cosme-Llópez,E。;Esteban-Romero,R。;J.J.M.M.鲁顿。 5 2015 牛顿级数,创造。 兹比尔1407.68316 海宁·巴索尔德;Helle Hvid Hansen先生;让-埃里克·品;Rutten,一月 1 2015 自动机和等式的正则变体。 Zbl 1432.68270号 J.萨拉曼卡。;Ballester-Bolinches,A。;M.M.邦桑格。;Cosme-Llópez,E。;J.J.M.M.鲁顿。 1 2015 加权自动机的方程和等式。 Zbl 1465.68186号 朱利安·萨拉曼卡;马塞洛·邦桑格;Rutten,一月 1 2015 Brzozowski最小化算法中的代数-代数对偶。 Zbl 1288.68174号 菲利波·邦奇;马塞洛·M·邦桑格。;Helle H.Hansen。;帕南加登,普拉卡什;简·J·M·M·鲁顿。;亚历山大·席尔瓦 23 2014 信号流图的代数特征。 Zbl 1407.68183号 海宁·巴索尔德;马塞洛·邦桑格;Helle Hvid Hansen先生;Rutten,一月 三 2014 \(k\)-正则序列的最后一个余代数。 Zbl 1407.68318号 Helle Hvid Hansen先生;克莱门斯·库普克;Rutten,一月;温特,乔斯特 1 2014 将自动机的决定推广到余代数。 Zbl 1262.18002号 亚历山大·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;Rutten,一月 31 2013 Coalgebraic互模拟。 Zbl 1303.68088号 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 17 2013 上下文无关语言的同义词特征。 Zbl 1274.68215号 温特,乔斯特;Jan J.M.鲁顿。;马塞洛·M·邦桑格。 10 2013 语言对等的共创性证明技术。 兹比尔1333.68173 朱里安·罗特;马塞洛·邦桑格;Rutten,一月 4 2013 语言的多样性和共变性(扩展抽象)。 Zbl 1334.68139号 Rutten,一月;阿道夫芭蕾舞团;安里克·科斯梅·洛佩斯 1 2013 线性加权自动机的联合观点。 Zbl 1279.68235号 菲利波·邦奇;马塞洛·邦桑格;米歇尔·博雷尔;Rutten,一月;亚历山大·席尔瓦 24 2012 代数和归纳法导论。 Zbl 1285.68105号 巴特·雅各布斯;Rutten,一月 17 2012 相互模拟和共同归纳的高级主题。 Zbl 1264.68009号 9 2012 Brzozowski算法(co)代数化。 Zbl 1354.68185号 菲利波·邦奇;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。;亚历山大·席尔瓦 7 2012 关于自动序列的最后余代数。 兹比尔1354.68183 克莱门斯·库普克;简·J·M·M·鲁顿。 6 2012 联合定义无上下文幂级数。 Zbl 1328.68132号 马塞洛·M·邦桑格。;Rutten,一月;温特,乔斯特 4 2012 修饰痕迹的最终语义。 Zbl 1342.68224号 菲利波·邦奇;马塞洛·邦桑格;乔治亚娜·卡尔泰斯;Rutten,一月;亚历山大·席尔瓦 三 2012 意向自动机:组件连接器的上下文相关模型(扩展抽象)。 Zbl 1353.68163号 大卫·科斯塔;米拉德·尼基;Rutten,一月 1 2012 连接器设计:建模、细化和测试用例生成。 Zbl 1242.68070号 孙孟;法哈德·阿尔巴;伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;阿塞特夫·诺艾,勒克雷米奥拉;德波尔(Frank S。;Rutten,一月 1 2012 定量Kleene余代数。 兹比尔1227.68075 亚历山大·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;Rutten,一月 10 2011 通过归纳法证明Moessner定理。 Zbl 1256.68120号 M.尼基。;J.J.M.M.鲁顿。 5 2011 无上下文语言,联合语言。 Zbl 1344.68152号 温特,乔斯特;马塞洛·M·邦桑格。;Rutten,一月 4 2011 广义正则表达式双相似性的判定过程。 Zbl 1325.68127号 马塞洛·邦桑格;乔治亚娜·卡尔泰斯;欧根·伊安·戈里亚克;多雷尔·卢卡努;Rutten,一月;亚历山大·席尔瓦 2 2011 概括发电机组结构,合并。 Zbl 1245.68141号 亚历山大·席尔瓦;菲利波·邦奇;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。 18 2010 不确定性Kleene煤。 Zbl 1208.68141号 亚历山大·席尔瓦;马塞洛·邦桑格;Rutten,一月 8 2010 共导流演算中的采样、分割和合并。 Zbl 1286.68089号 米拉德·尼基;Rutten,一月 2 2010 整套合作。 Zbl 1209.68161号 克莱门斯·库普克;Rutten,一月 1 2010 二叉树的共导演算。 Zbl 1200.68082号 亚历山大·席尔瓦;Rutten,一月 1 2010 多项式余代数的Kleene定理。 Zbl 1234.68272号 马塞洛·邦桑格;Rutten,一月;亚历山大·席尔瓦 10 2009 导出定量规则行为的语法和公理。 Zbl 1254.68129号 菲利波·邦奇;马塞洛·邦桑格;Rutten,一月;亚历山大·席尔瓦 4 2009 合理的煤炭流。 Zbl 1147.68024号 Rutten,一月 9 2008 Coalgebraic逻辑和Mealy机器的合成。 Zbl 1137.68034号 M.M.邦桑格。;Rutten,一月;亚历山大·席尔瓦 8 2008 观察联盟和整套合作。 Zbl 1279.68233号 克莱门斯·库普克;Rutten,一月 三 2008 二叉树的行为微分方程和共约。 Zbl 1213.68393号 亚历山大·席尔瓦;Rutten,一月 5 2007 线性系统的代数基础。(流微积分练习)。 Zbl 1214.68232号 J.J.M.M.鲁顿。 1 2007 通过约束自动机在Reo中建模组件连接器。 Zbl 1105.68058号 克里斯特尔·拜尔;马尔詹·西尔贾尼;法哈德·阿尔巴;Rutten,一月 43 2006 使用衍生物合成Mealy机器。 Zbl 1276.68111号 Helle Hvid Hansen先生;大卫·科斯塔;Rutten,一月 4 2006 流的共推演算。 Zbl 1068.68061号 J.J.M.M.鲁顿。 32 2005 关于共导流演算和信号流图的教程。 Zbl 1077.68032号 J.J.M.M.鲁顿。 12 2005 代数、比特流和电路。 Zbl 1083.68043号 J.J.M.M.鲁顿。 2 2005 用于分析并发和概率系统的数学技术。 Zbl 1069.68074号 10 2004 行为微分方程:流、自动机和幂级数的共导演算。 Zbl 1071.68050号 J.J.M.M.鲁顿。 46 2003 组件连接器的共导演算。 Zbl 1278.68200号 阿巴布,F。;J.J.M.M.鲁顿。 23 2003 加权自动机的共导计数。 Zbl 1089.68058号 J.J.M.M.鲁顿。 6 2003 共导计数:枚举组合学中的互模拟(扩展抽象)。 Zbl 1270.68149号 J.J.M.M.鲁顿。 1 2002 流演算的基本要素(一个广泛的共创练习)。 Zbl 1260.68246号 J.J.M.M.鲁顿。 12 2001 宇宙余代数:一种系统理论。 Zbl 0951.68038号 J.J.M.M.鲁顿。 385 2000 Coalgebra、并发和控制。 Zbl 1017.93064号 J.J.M.M.鲁顿。 6 2000 控制驱动协调语言MANIFOLD的转换系统语义。 Zbl 0954.68107号 邦桑格,M.M。;阿巴布,F。;德巴克尔,J.W。;J.J.M.M.鲁顿。;A.斯库特拉。 1 2000 概率转移系统的互模拟:一种联合方法。 Zbl 0930.68092号 德文克,E.P。;J.J.M.M.鲁顿。 61 1999 关于while程序的共约和弱双相似性的注释。 Zbl 0945.68073号 J.J.M.M.鲁顿。 10 1999 自动机、幂级数和同化:认真对待输入导数。(扩展摘要)。 Zbl 0941.68638号 J.J.M.M.鲁顿。 8 1999 CMCS’99。计算机科学中的协代数方法第二次研讨会论文集。欧洲软件理论与实践联合会议(ETAPS'99)的卫星活动。荷兰阿姆斯特丹,1999年3月20日至21日。 兹比尔0916.00017 三 1999 广义度量空间:通过Yoneda嵌入的完成、拓扑和幂域。 Zbl 0997.54042号 M.M.邦桑格。;范·布鲁格尔(F.van Breugel)。;J.J.M.M.鲁顿。 65 1998 自动机和共聚(colegebra中的一个练习)。 Zbl 0940.68085号 J.J.M.M.鲁顿。 57 1998 在最后的余代数语义的基础上:非零集、偏序、度量空间。 Zbl 0917.68140号 丹尼尔·图里;Rutten,一月 29 1998 广义度量空间中的加权共线和形式球。 Zbl 0982.54029号 J.J.M.M.鲁顿。 24 1998 关系式和度量互刺激。 Zbl 0917.68146号 J.J.M.M.鲁顿。 18 1998 计算机科学中的协同代数方法,CMCS’98。第一次研讨会会议记录,葡萄牙里斯本,1998年3月28日至29日。 Zbl 0903.00067号 4 1998 关于(co)代数和(co)归纳法的教程。 Zbl 0880.68070号 巴特·雅各布斯;Rutten,一月 115 1997 概率转移系统的互模拟:一种联合方法。 Zbl 1401.68236号 德文克,E.P。;J.J.M.M.鲁顿。 5 1997 广义超量域理论的基础。 Zbl 0874.68189号 J.J.M.M.鲁顿。 48 1996 广义度量空间的Alexandroff和Scott拓扑。 Zbl 0955.54008号 邦桑格,M.M。;范·布鲁格尔(F.van Breugel)。;J.J.M.M.鲁顿。 6 1996 函数和非函数度量域方程的解。 Zbl 0910.68130号 阿莱西,F。;鲍尔丹,P。;G·贝尔。;J.J.M.M.鲁顿。 8 1995 非一致并发语言的完全抽象指称模型。 Zbl 0824.68060号 霍里塔,E。;德巴克尔,J.W。;J.J.M.M.鲁顿。 7 1994 异步通信的范例及其在并发约束编程中的应用。 Zbl 0832.68014号 德波尔(Frank S。;Joost N.角。;卡图西亚帕拉米德斯;简·J·M·M·鲁顿。 三 1993 过程作为术语:用于相互模拟的非资金模型。 兹比尔0798.68094 J.J.M.M.鲁顿。 14 1992 从失败到成功:比较Horn子句逻辑的指称语义和声明语义。 Zbl 0761.68055号 德波尔,F.S。;J.N.角。;帕拉米德斯,C。;J.J.M.M.鲁顿。 7 1992 并行面向对象语言的分层语义。 Zbl 0752.68052号 美国,皮埃尔;Rutten,一月 4 1992 公平的语义方法。 Zbl 0773.68051号 J.J.M.M.鲁顿。;朱克,J.I。 2 1992 并发逻辑语言的语义模型。 Zbl 0744.68087号 德波尔,F.S。;J.J.M.M.鲁顿。;J.N.角。;帕拉米德斯,C。 三 1991 并行面向对象语言:设计和语义基础。 兹比尔0760.68044 美国P.H.M。;J.J.M.M.鲁顿。 2 1991 基于度量域方程的并发语义。 Zbl 0792.68090号 德巴克尔,J.W。;J.J.M.M.鲁顿。 1 1991 并行面向对象语言的语义正确性。 Zbl 0697.68077号 J.J.M.M.鲁顿。 8 1990 比较并发语义时的收缩。 Zbl 0707.68054号 Joost N.角。;简·J·M·M·鲁顿。 8 1990 在一类完备度量空间中求解自反域方程。 Zbl 0717.18002号 美国,皮埃尔;Rutten,一月 79 1989 并行面向对象语言的表示语义。 Zbl 0695.68058号 美国,皮埃尔;杰科·德·巴克;Joost N.角。;Rutten,一月 29 1989 控制流与逻辑:保护号角子句的指称和声明模型。 兹比尔0755.68094 德波尔(Frank S。;Joost N.角。;卡图西亚帕拉米德斯;简·J·M·M·鲁顿。 6 1989 并发度量语义的正确性和完整抽象。(技术贡献)。 Zbl 0683.68073号 J.J.M.M.鲁顿。 1 1989 比较并发语义时的收缩。 Zbl 0649.68011号 J.N.角。;J.J.M.M.鲁顿。 6 1988 在一类完备度量空间中求解自反域方程。 Zbl 0664.18002号 美国,皮埃尔;Rutten,一月 三 1988 所有引用出版物 排名前五的出版物 全部的 前5名801位作者引用 45 简·J·M·M·鲁顿。 29 亚历山大·席尔瓦 28 斯特凡·米利厄斯 27 菲利波·邦奇 24 卢茨·施罗德 23 马塞洛·玛丽亚·邦桑格 21 阿达梅克,吉安尼 19 朱里安·罗特 18 乌戈·蒙塔纳里。 17 巴特·雅各布斯 16 法哈德·阿尔巴 15 亚历山大·库兹 14 克莱门斯·库普克 13 托尔斯滕·维曼 12 拉尔斯·比克达尔 12 巴托克·克林 12 帕南加登,普拉卡什 12 张德雪 11 克里斯特尔·拜尔 11 Ernst-Erich Doberkat 11 Helle Hvid Hansen先生 11 德克·帕丁森 11 维尼马,伊德 10 科琳娜·科斯特 10 埃里克·P·德文克。 10 德克·霍夫曼 10 弗兰克·范·布鲁格尔 9 巴博萨、路易斯·索亚雷斯 9 雅各布斯·W·德·巴克。 9 海因氏胶 9 一郎·哈索 9 安娜·索科洛娃 8 米歇尔·博雷尔 8 何塞·德斯哈奈斯 8 戴维·桑吉奥吉 8 吉·维勒比尔 7 巴巴拉·科尼格 7 德克斯特·C·科赞。 7 赖洪亮 7 何塞·努诺·奥利维拉 7 Damien Pous 7 马蒂奥·桑马蒂诺 7 法比奥·扎纳西 7 赵斌 6 美国,皮埃尔 6 克拉克、戴夫 6 德波尔(Frank S。 6 Joost N.角。 6 简·科门达 6 米拉·塞德尔巴姆少校。 6 马里诺·米库兰 6 劳伦斯·莫斯。 6 格里高·罗什乌 6 巴布亚州索波辛斯基 6 克里斯蒂安·斯特夫林 6 卡罗琳·塔尔科特。 6 海宁·乌尔巴特 6 詹姆斯·沃雷尔。 6 姚伟 5 乔治·巴奇 5 罗伯托·布鲁尼 5 文森佐·西安西亚 5 吉姆·德·格罗特 5 约尔格恩德鲁利斯 5 范磊 5 法比奥·加杜奇 5 罗伯特·伊恩·戈德布拉特 5 谢尔盖·冈查洛夫 5 让·古鲍特·拉雷克 5 Furio Honsell 5 杰西·休斯 5 托比亚斯·卡佩 5 塞巴斯蒂安·库珀 5 玛丽娜·莱妮莎 5 孙孟 5 巴甫洛维奇,杜什科 5 Daniela Luan Petrisan 5 雅各布·塔姆斯堡 5 瓦兹凯维奇 4 萨姆森·艾布拉姆斯基 4 阿道夫芭蕾舞团 4 贾斯敏·克里斯蒂安·布兰切特 4 托马斯·布伦戈斯 4 巴斯米,玛丽亚·格拉齐亚 4 安里克·科斯梅·洛佩斯 4 库卡斯·扎伊卡 4 乌尔里希·多尔希 4 毛里齐奥·加布里埃利 4 亨德里克斯,迪米特里 4 莫里斯·基安皮 4 克吕佩尔霍尔茨,萨沙 4 克里斯蒂安·克劳斯 4 Lanese,伊万 4 金·古德斯特兰·拉森 4 弗朗索瓦·拉维奥莱特 4 亚历山大·拉佐维克 4 本杰明·利昂 4 多雷尔·卢卡努 4 内尔玛·莫雷拉 4 内维斯、雷纳托 …还有701多名作者 全部的 前5名105篇连载文章中引用 141 理论计算机科学 51 信息与计算 41 MSCS公司。计算机科学中的数学结构 40 计算机科学中的逻辑方法 27 程序设计中的逻辑和代数方法杂志 17 模糊集与系统 15 拓扑及其应用 15 纯逻辑与应用逻辑年鉴 15 计算的形式方面 13 计算机程序设计科学 12 应用的分类结构 10 RAIRO公司。理论信息学及其应用 10 逻辑与代数程序设计杂志 9 纯粹与应用代数杂志 8 函数编程杂志 7 计算机与系统科学杂志 6 信息学报 5 自动推理杂志 5 范畴的理论与应用 4 信息处理信件 4 代数普遍性 4 圣母院形式逻辑杂志 4 离散事件动态系统 三 信息科学 三 国际计算机数学杂志 三 系统设计中的形式化方法 三 软计算 三 ACM计算逻辑事务 三 应用逻辑杂志 三 RAIRO公司。理论信息学及其应用 2 卡罗莱纳大学数学评论 2 国际数学与数学科学杂志 2 哲学逻辑杂志 2 符号逻辑杂志 2 Studia Logica公司 2 匈牙利数学学报 2 新一代计算 2 国际近似推理杂志 2 国际代数与计算杂志 2 国际计算机科学基础杂志 2 控制论与系统分析 2 高阶和符号计算 2 智能与模糊系统杂志 2 不动点理论及其应用 2 泛逻辑 2 范畴和一般代数结构及其应用 1 离散数学 1 数学分析与应用杂志 1 数学笔记 1 数学进展 1 应用数学与计算 1 Automatica公司 1 比特币 1 演示数学 1 Dedicata几何 1 代数杂志 1 计量经济学杂志 1 数值泛函分析与优化 1 Quaestions数学 1 巴勒莫马蒂科·马蒂科广场(Rendiconti del Circolo Matemático di Palermo)。系列II 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 阿根廷马特马提卡大学修订版 1 SIAM控制与优化杂志 1 合成 1 中国数学年鉴。B系列 1 优化 1 离散数学与应用 1 游戏与经济行为 1 自动化和远程控制 1 数学逻辑档案 1 拓扑程序 1 计算与应用数学 1 《数理逻辑季刊》 1 凸分析杂志 1 约束条件 1 欧洲控制杂志 1 计算系统理论 1 摘要与应用分析 1 美国计算机学会期刊 1 离散数学科学与密码学杂志 1 数学年鉴Silesianae 1 逻辑程序设计理论与实践 1 应用数学杂志 1 计算机语言、系统和结构 1 Hacettepe数学与统计杂志 1 代数杂志及其应用 1 不动点理论 1 国际现代物理几何方法杂志 1 地中海数学杂志 1 伊朗模糊系统杂志 1 计算机科学中的数学 1 不动点理论与应用杂志 1 亚欧数学杂志 1 《大学学报》。数学软件 1 \(p\)-Adic数、超度量分析及其应用 1 《科学与自然》Ciencias Exactas皇家科学院修订版。意甲:马特马斯。RACSAM公司 1 马哈尼数学研究中心期刊 1 计算机科学前沿 1 国际分析杂志 1 中国数学杂志 …还有5部连续剧 全部的 前5名34个领域被引用 669 计算机科学(68-XX) 226 范畴理论;同调代数(18-XX) 199 数学逻辑和基础(03-XX) 82 阶、格、有序代数结构(06-XX) 76 一般拓扑结构(54至XX) 26 一般代数系统(08-XX) 19 概率论与随机过程(60-XX) 19 博弈论、经济学、金融和其他社会和行为科学(91-XX) 16 系统论;控制(93至XX) 11 群论与推广(20-XX) 7 数论(11-XX) 7 结合环与代数(16-XX) 7 算子理论(47-XX) 7 量子理论(81-XX) 5 交换代数(13-XX) 5 运筹学、数学规划(90-XX) 5 信息与通信理论、电路(94-XX) 4 线性代数和多线性代数;矩阵理论(15-XX) 4 测量和集成(28-XX) 4 功能分析(46倍X倍) 4 生物学和其他自然科学(92-XX) 三 常微分方程(34-XX) 2 组合数学(05-XX) 2 动力系统和遍历理论(37至XX) 2 变异微积分和最优控制;最优化(49-XX) 2 几何图形(51-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 非结合环与代数(17-XX) 1 拓扑群、李群(22日至XX日) 1 偏微分方程(35-XX) 1 凸和离散几何(52至XX) 1 微分几何(53至XX) 1 整体分析,流形分析(58至XX) 按年份列出的引文