×
作者ID: rutten.jan-j-m-m最近由“Rutten,Jan J.M.M.”撰写的zbMATH文章
发布日期: 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 杰弗里·扎克。

按年份列出的出版物

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部连续剧

按年份列出的引文