×

米歇尔·阿德里安·雷尼尔

作者ID: 雷内尔斯·米切尔·阿德里安最近由“Reniers,Michel Adriaan”撰写的zbMATH文章
发布日期: 米歇尔·雷尼尔斯(Michel A.Reniers)。;雷尼尔斯,M.A。;米歇尔·雷尼尔斯;米歇尔·阿德里安·雷尼尔
外部链接: MGP公司
已编制索引的文档: 68出版物自1996年以来,包括2本书
2作为编辑的贡献
合著者: 51位合著者具有64联合出版物
599合著作者

按年份列出的出版物

zbMATH Open中包含的引文

55出版物有被引用342中的次194文件 引用人 年份
过程代数:通信过程的方程理论。由托尼·霍尔(Tony Hoare)、罗宾·米尔纳(Robin Milner)和扬·伯格斯特拉(Jan Bergstra)撰写的前言。 兹比尔12346.8001
巴顿,J.C.M。;巴斯滕,T。;Reniers,医学硕士。
52
2010
SOS格式和元理论:20年后。 兹比尔1111.68069
穆罕默德·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特
33
2007
混合进程代数。 Zbl 1090.68071号
P.J.L.Cuijpers。;Reniers,医学硕士。
27
2005
代数过程验证。 Zbl 1035.68069号
J.F.格罗特。;Reniers,医学硕士。
22
2001
混合Chi的语法和一致方程语义。 兹比尔1088.68111
范·比克,D.A。;曼,K.L。;Reniers,医学硕士。;罗达,J.E。;R.R.H.希弗勒。
22
2006
SOS与数据的互模拟和同余格式的概念。 Zbl 1082.68075号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特
18
2005
使用mCRL2.的分布式系统分析。 Zbl 1171.68400号
Jan Friso,格鲁特;亚德·马蒂杰森;米歇尔·雷尼尔斯(Michel A.Reniers)。;亚罗斯拉夫·乌森科。;蒙克·范·维尔登堡
11
2009
关联性的规则格式。 Zbl 1160.68461号
斯乔德·克兰恩;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
9
2008
高阶过程的SOS。 Zbl 1134.68450号
穆罕默德·雷扎·穆萨维;默多克·J·加贝。;米歇尔·雷尼尔斯(Michel A.Reniers)。
8
2005
SOS规则格式的层次结构。 Zbl 1273.68206号
Jan Friso,格鲁特;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
8
2006
SOS的语法交换格式。 Zbl 1173.68561号
穆罕默德·穆萨维;米歇尔·雷尼尔斯;Jan Friso,格鲁特
7
2005
结构同余的同余。 Zbl 1118.68534号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
7
2005
消息序列图的通信模型层次结构。 Zbl 1014.68040号
恩格斯,A.G。;茅,S。;Reniers,医学硕士。
6
2002
有序SOS的语义和表达。 Zbl 1165.68045号
穆罕默德·雷扎·穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯(Michel A.Reniers)。;伊雷克·乌利多夫斯基
6
2009
标称SOS。 Zbl 1342.68193号
马蒂奥·奇米尼;穆罕默德雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;默多克·J·加贝。
6
2012
混合过程的线性化。 兹比尔1088.68137
范登布兰德,P.C.W。;Reniers,医学硕士。;P.J.L.Cuijpers。
5
2006
结构操作语义中的正交扩展(扩展抽象)。 Zbl 1085.68593号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
5
2005
PARS:包含资源和调度程序的进程代数。 1099.68673兹比尔
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯;吐温·巴斯滕;米歇尔·乔德隆
5
2004
拓扑(双)模拟。 兹比尔1271.68177
P.J.L.Cuijpers。;Reniers,医学硕士。
5
2004
决定论和幂等性的规则格式。 Zbl 1274.68060号
卢卡·埃特罗;阿纳尔·比吉松;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
5
2010
单位元素的规则格式。 Zbl 1274.68169号
卢卡·埃特罗;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
5
2010
消息序列图。语法和语义。 Zbl 0930.68084号
米歇尔·阿德里安·雷尼尔
4
1999
定时CRL的完整性。 Zbl 1011.68063号
Reniers,医学硕士。;J.F.格罗特。;范德兹瓦格,M.B。;J.范瓦梅尔。
4
2002
混合系统组合交换格式的基础。 Zbl 1221.68152号
范·比克,D.A。;Reniers,医学硕士。;R.R.H.希弗勒。;罗达,J.E。
4
2007
从CTL到一阶模态演算的线性转换。 Zbl 1216.68188号
斯乔德·克兰恩;Jan Friso,格鲁特;米歇尔·雷尼尔斯
4
2011
非确定性和模态逻辑的最大允许受控系统综合。 Zbl 1356.93030号
范·赫斯特,A.C。;Reniers,医学硕士。;W.J.福克金。
4
2017
时间进程代数(关注显式终止和相对时间)。 兹比尔1105.68079
巴顿,J.C.M。;Reniers,医学硕士。
2004
迷失在翻译中:混合时间流与实时转换。 Zbl 1143.68480号
P.J.L.Cuijpers。;Reniers,医学硕士。
2008
零元素和单位元素的规则格式。 兹比尔1342.68189
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
2010
混合Chi的形式语义。 Zbl 1099.68651号
R.R.H.希弗勒。;范·比克,D.A。;曼,K.L。;Reniers,医学硕士。;罗达,J.E。
2004
分配性的规则格式。 Zbl 1330.68184号
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
2011
决定论和幂等性的规则格式。 Zbl 1243.68205号
卢卡·埃特罗;阿纳尔·比吉松;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
2012
进程代数需要证明方法。 Zbl 1169.68541号
Wan Fokkink公司;Jan Friso,格鲁特;米歇尔·雷尼尔斯
2
2004
工业系统分析。 Zbl 1021.68061号
Kleijn,J.J.T。;Reniers,医学硕士。;罗达,J.E。
2
2003
有序SOS的含义。 Zbl 1177.68140号
穆罕默德·雷扎·穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯(Michel A.Reniers)。;伊雷克·乌利多夫斯基
2
2006
用依赖结构矩阵构造多级离散事件系统。 Zbl 07256281号
马尔蒂恩·古登;乔安娜·范·德·莫特尔·弗朗查克(Joanna van de Mortel-Fronczak);米歇尔·雷尼尔斯;Wan Fokkink公司;雅各布斯·罗达
2
2020
混合过程的拓扑方面:使用非标准分析的拟议处理方法。 Zbl 1316.68091号
P.J.L.Cuijpers。;Reniers,医学硕士。
2
2006
部分可控制制造系统的监督合成和吞吐量优化。 兹比尔1478.93190
van Putten,Berend Jan Christiaan;范德桑登,布拉姆;米歇尔·雷尼尔斯;杰罗·沃顿;拉蒙·希夫勒
2
2021
具有一阶逻辑的结构操作语义。 兹比尔1339.68161
蒙克·范·维尔登堡;米歇尔·雷尼尔斯(Michel A.Reniers)。
2
2009
在莫德原型化SOS元理论。 Zbl 1273.68212号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
2
2006
具有通用量化的同余规则格式。 Zbl 1278.68144号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯
2
2007
计时不定时:在保守的情况下成功终止。 Zbl 1171.68559号
巴顿,J.C.M。;穆萨维,M.R。;Reniers,医学硕士。
1
2005
用于交互的进程代数。 Zbl 1035.68070号
茅,S。;Reniers,医学硕士。
1
2001
用于检查Petri网的LTL(setminus)X属性的增量模块化技术。 Zbl 1215.68155号
凯斯·克莱;劳雷·佩特鲁奇;米歇尔·雷尼尔斯
1
2007
PARS:一种处理资源和调度程序的进程代数方法。 Zbl 1171.68575号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;吐温·巴斯滕;米歇尔·乔德隆
1
2009
通过结构图分析布尔方程组。 Zbl 1454.68066号
米歇尔·雷尼尔斯(Michel A.Reniers)。;Tim A.C.Willemse。
1
2010
扩展有限自动机的合成协调器综合。 Zbl 1478.93186号
Martijn A.古登。;马丁·费比安;范·德·莫特尔·弗朗恰克(van de Mortel-Fronczak),乔安娜·M·。;米歇尔·雷尼尔斯(Michel A.Reniers)。;万·J·福克金。;雅各布斯·E·罗达。
1
2021
运算扩展下方程的稳健性。 Zbl 1455.68125号
彼得·莫塞斯(Peter D.Mosses)。;穆罕默德·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
1
2010
演化系统的转型主管综合。 Zbl 1492.93116号
桑德·瑟斯曼;米歇尔·雷尼尔斯
1
2022
模态逻辑的最大允许受控系统综合。 Zbl 1432.68248号
阿兰·范·赫斯特。;米歇尔·雷尼尔斯(Michel A.Reniers)。;万·J·福克金。
1
2015
零元素和单位元素的SOS规则格式。 兹比尔1216.68152
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
1
2011
关于被提升的tyft的基础和表现力(被提升会有所不同)。 Zbl 1277.68125号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯
1
2007
基于模型的嵌入式系统工程使用混合进程代数Chi。 Zbl 1279.68245号
巴顿,J.C.M。;范·比克,D.A。;P.J.L.Cuijpers。;Reniers,医学硕士。;罗达,J.E。;R.R.H.希弗勒。;托尼森,R.J.M。
1
2008
代数性质免费! Zbl 1188.68200号
卢卡·埃特罗;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
1
2009
2012年9月3日,英国泰恩河畔纽卡斯尔,第19届并发表达性国际研讨会和第9届结构化操作语义研讨会合并。诉讼程序。 Zbl 1415.68034号
1
2012
演化系统的转型主管综合。 Zbl 1492.93116号
桑德·瑟斯曼;米歇尔·雷尼尔斯
1
2022
部分可控制制造系统的监督合成和吞吐量优化。 Zbl 1478.93190号
van Putten,Berend Jan Christiaan;范德桑登,布拉姆;米歇尔·雷尼尔斯;杰罗·沃顿;拉蒙·希夫勒
2
2021
扩展有限自动机的合成协调器综合。 Zbl 1478.93186号
Martijn A.古登。;马丁·费比安;范·德·莫特尔·弗朗恰克(van de Mortel-Fronczak),乔安娜·M·。;米歇尔·雷尼尔斯(Michel A.Reniers)。;万·J·福克金。;雅各布斯·E·罗达。
1
2021
用依赖结构矩阵构造多级离散事件系统。 兹比尔07256281
马尔蒂恩·古登;乔安娜·范·德·莫特尔·弗朗查克(Joanna van de Mortel-Fronczak);米歇尔·雷尼尔斯;Wan Fokkink公司;雅各布斯·罗达
2
2020
非确定性和模态逻辑的最大允许受控系统综合。 兹比尔1356.93030
范·赫斯特,A.C。;Reniers,医学硕士。;W.J.福克金。
4
2017
模态逻辑的最大允许控制系统综合。 Zbl 1432.68248号
阿兰·范·赫斯特。;米歇尔·雷尼尔斯(Michel A.Reniers)。;万·J·福克金。
1
2015
标称SOS。 Zbl 1342.68193号
马蒂奥·奇米尼;穆罕默德雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;默多克·J·加贝。
6
2012
决定论和幂等性的规则格式。 Zbl 1243.68205号
卢卡·埃特罗;阿纳尔·比吉松;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
2012
2012年9月3日,英国泰恩河畔纽卡斯尔,第19届并发表达性国际研讨会和第9届结构化操作语义研讨会合并。诉讼程序。 Zbl 1415.68034号
1
2012
从CTL到一阶模态演算的线性转换。 Zbl 1216.68188号
斯乔德·克兰恩;Jan Friso,格鲁特;米歇尔·雷尼尔斯
4
2011
分配性的规则格式。 Zbl 1330.68184号
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
2011
零元素和单位元素的SOS规则格式。 Zbl 1216.68152号
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
1
2011
过程代数:通信过程的方程理论。由托尼·霍尔(Tony Hoare)、罗宾·米尔纳(Robin Milner)和扬·伯格斯特拉(Jan Bergstra)撰写的前言。 兹比尔12346.8001
巴顿,J.C.M。;巴斯滕,T。;Reniers,医学硕士。
52
2010
决定论和幂等性的规则格式。 Zbl 1274.68060号
卢卡·埃特罗;阿纳尔·比吉松;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
5
2010
单位元素的规则格式。 Zbl 1274.68169号
卢卡·埃特罗;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
5
2010
零元素和单位元素的规则格式。 Zbl 1342.68189号
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
2010
通过结构图分析布尔方程组。 Zbl 1454.68066号
米歇尔·雷尼尔斯(Michel A.Reniers)。;蒂姆·威廉姆斯。
1
2010
运算扩展下方程的稳健性。 Zbl 1455.68125号
彼得·莫塞斯(Peter D.Mosses)。;穆罕默德·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
1
2010
使用mCRL2分析分布式系统。 Zbl 1171.68400号
Jan Friso,格鲁特;亚德·马蒂杰森;米歇尔·雷尼尔斯(Michel A.Reniers)。;亚罗斯拉夫·乌森科。;蒙克·范·维尔登堡
11
2009
有序SOS的语义和表达。 Zbl 1165.68045号
穆罕默德·雷扎·穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯(Michel A.Reniers)。;伊雷克·乌利多夫斯基
6
2009
具有一阶逻辑的结构操作语义。 Zbl 1339.68161号
蒙克·范·维尔登堡;米歇尔·雷尼尔斯(Michel A.Reniers)。
2
2009
PARS:一种处理资源和调度程序的进程代数方法。 Zbl 1171.68575号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;吐温·巴斯滕;米歇尔·乔德隆
1
2009
代数性质免费! Zbl 1188.68200号
卢卡·埃特罗;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
1
2009
关联性的规则格式。 Zbl 1160.68461号
斯乔德·克兰恩;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
9
2008
迷失在翻译中:混合时间流与实时转换。 Zbl 1143.68480号
P.J.L.Cuijpers。;Reniers,医学硕士。
2008
基于模型的嵌入式系统工程使用混合进程代数Chi。 Zbl 1279.68245号
巴顿,J.C.M。;范·比克,D.A。;P.J.L.Cuijpers。;Reniers,医学硕士。;罗达,J.E。;R.R.H.希弗勒。;托尼森,R.J.M。
1
2008
SOS格式和元理论:20年后。 Zbl 1111.68069号
穆罕默德·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特
33
2007
混合系统组合交换格式的基础。 Zbl 1221.68152号
范·比克,D.A。;Reniers,医学硕士。;Schiffelers,R.R.H。;罗达,J.E。
4
2007
具有通用量化的同余规则格式。 Zbl 1278.68144号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯
2
2007
用于检查Petri网的LTL(setminus)X属性的增量模块化技术。 Zbl 1215.68155号
凯斯·克莱;劳雷·佩特鲁奇;米歇尔·雷尼尔斯
1
2007
论提拔品的根基深厚和表现力(提拔起作用)。 Zbl 1277.68125号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯
1
2007
混合Chi的语法和一致方程语义。 兹比尔1088.68111
范·比克,D.A。;曼,K.L。;Reniers,医学硕士。;罗达,J.E。;R.R.H.希弗勒。
22
2006
SOS规则格式的层次结构。 Zbl 1273.68206号
Jan Friso,格鲁特;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
8
2006
混合过程的线性化。 Zbl 1088.68137号
范登布兰德,P.C.W。;Reniers,医学硕士。;P.J.L.Cuijpers。
5
2006
有序SOS的含义。 Zbl 1177.68140号
穆罕默德·雷扎·穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯(Michel A.Reniers)。;伊雷克·乌利多夫斯基
2
2006
混合过程的拓扑方面:使用非标准分析的拟议处理方法。 Zbl 1316.68091号
P.J.L.Cuijpers。;Reniers,医学硕士。
2
2006
在莫德原型化SOS元理论。 Zbl 1273.68212号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
2
2006
混合进程代数。 Zbl 1090.68071号
P.J.L.Cuijpers。;Reniers,医学硕士。
27
2005
SOS与数据的互模拟和同余格式的概念。 Zbl 1082.68075号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特
18
2005
高阶过程的SOS。 兹比尔1134.68450
穆罕默德·雷扎·穆萨维;默多克·J·加贝。;米歇尔·雷尼尔斯(Michel A.Reniers)。
8
2005
SOS的语法交换格式。 Zbl 1173.68561号
穆罕默德·穆萨维;米歇尔·雷尼尔斯;Jan Friso,格鲁特
7
2005
结构同余的同余。 Zbl 1118.68534号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
7
2005
结构操作语义中的正交扩展(扩展抽象)。 Zbl 1085.68593号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。
5
2005
计时不定时:在保守的情况下成功终止。 兹比尔1171.68559
巴顿,J.C.M。;穆萨维,M.R。;Reniers,医学硕士。
1
2005
PARS:包含资源和调度程序的进程代数。 Zbl 1099.68673号
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯;吐温·巴斯滕;米歇尔·乔德隆
5
2004
拓扑(双)模拟。 Zbl 1271.68177号
P.J.L.Cuijpers。;Reniers,医学硕士。
5
2004
时间进程代数(关注显式终止和相对时间)。 Zbl 1105.68079号
巴顿,J.C.M。;Reniers,医学硕士。
2004
混合Chi的形式语义。 Zbl 1099.68651号
R.R.H.希弗勒。;范·比克,D.A。;曼,K.L。;Reniers,医学硕士。;罗达,J.E。
2004
进程代数需要证明方法。 Zbl 1169.68541号
Wan Fokkink公司;Jan Friso,格鲁特;米歇尔·雷尼尔斯
2
2004
工业系统分析。 Zbl 1021.68061号
Kleijn,J.J.T。;Reniers,医学硕士。;罗达,J.E。
2
2003
消息序列图的通信模型层次结构。 Zbl 1014.68040号
恩格斯,A.G。;茅,S。;Reniers,医学硕士。
6
2002
定时CRL的完整性。 Zbl 1011.68063号
雷尼尔斯,M.A。;J.F.格罗特。;范德兹瓦格,M.B。;J.范瓦梅尔。
4
2002
代数过程验证。 Zbl 1035.68069号
J.F.格罗特。;Reniers,医学硕士。
22
2001
用于交互工作的过程代数。 Zbl 1035.68070号
茅,S。;雷尼尔斯,M.A。
1
2001
消息序列图。语法和语义。 Zbl 0930.68084号
米歇尔·阿德里安·雷尼尔
4
1999
全部的 前5名

292位作者引用

25 米歇尔·阿德里安·雷尼尔
20 卢卡·埃特罗
19 Anna Ingólfsdóttir
16 Jos C.M.Baeten。
13 巴斯·卢提克
8 Pieter J.L.Cuijpers。
8 Jan Friso,格鲁特
6 埃里克·P·德文克。
6 威廉·扬·福克金
6 戴维·桑吉奥吉
6 西蒙·蒂尼
5 Jan A.Bergstra。
5 马蒂奥·奇米尼
5 巴托克·克林
5 科内利斯·A·米德尔堡。
5 雅各布斯·E·罗达。
5 范格拉贝克、罗伯特·扬
4 苏珊娜·安多瓦
4 瓦伦蒂娜·卡斯蒂格利奥尼
4 Daniel E.Gebler。
4 李因苏普
4 穆罕默德·穆萨维
4 伊恩·菲利普斯。
4 奥列格·索科尔斯基
4 范德波尔,扬·科内利斯
4 Tim A.C.Willemse。
法哈德·阿尔巴
巴博萨、路易斯·索亚雷斯
西蒙·布利兹
卢卡·博托卢西
伊恩·卡萨尔
罗伯特·J·科尔文。
佩德罗·鲁宾·达吉尼奥
戴维·德·弗鲁托斯·埃斯克里格
阿德里安·杜里埃
伊格纳西奥·法布雷加斯
阿德里安·弗兰卡兰扎
瓦实提·加尔平
阿尔瓦罗·加西亚·佩雷斯
卡洛斯·格雷戈里奥·罗德里格斯
罗尔夫·亨尼克
简·希尔斯顿
丹尼尔·赫希科夫
拉诺特、拉格罗
亚历山大·马德拉
马西莫·梅罗
彼得·莫塞斯(Peter D.Mosses)。
庞、军
R.R.H.希弗勒。
伊雷克·乌利多夫斯基
范·比克,D.A。
Van Weerdenburg,Muck J。
2 埃利·阿纳斯塔西亚迪
2 克里斯特尔·拜尔
2 爱德华·巴拉诺夫
2 哈什,比哈尔
2 斯乔德·克兰恩
2 索尼娅·乔治耶夫斯卡
2 谢尔盖·冈查洛夫
2 欧根·伊安·戈里亚克
2 鲁克·格罗内韦根(Luuk P.J.Groenewegen)。
2 C.A.R.Tony Hoare
2 彼得·霍夫纳
2 侯赛因·霍贾特
2 Joost-Pieter卡托恩
2 李,马蒂亚斯·戴维
2 塞尔盖·伦格利特
2 罗比·马利克
2 伙计,卡洛克
2 马丁斯(Manuel António Martins)
2 尤兰达奥尔特加购物中心
2 西蒙娜·奥尔赞
2 马蒂亚斯·拉加德·佩德森
2 安娜·菲利普
2 贝斯·普洛格
2 克里斯托夫·劳赫
2 阿兰·施密特
2 卢茨·施罗德
2 马尔詹·西尔贾尼
2 Jean-Bernard斯特凡尼
2 田,春
2 尼古拉·特里卡
2 亚罗斯拉夫·乌森科。
2 范·德·莫特尔·弗朗恰克(van de Mortel-Fronczak),乔安娜·M·。
2 范蒂尔堡,P.J.A。
2 保罗·范蒂尔堡
2 米尔科·维罗利
2 杨菲
1 安东尼斯·阿奇利奥斯
1 安,Sojin
1 罗马斯·阿隆德里斯
1 拉杰夫·阿鲁尔
1 阿默尔·布利法,拉巴
1 安、杰
1 乔治·奥德里托
1 巴赫·鲍尔森,卡斯珀
1 巴哈雷赫巴德班
1 弗朗西斯科·巴拉丁
1 罗伯托·巴布蒂
1 吐温·巴斯滕
…还有192位作者

按年份列出的引文