×
计算距离:
作者ID: 蒂内利。塞萨尔“蒂内利,塞萨尔”最近发表的zbMATH文章
发布为: 蒂内利,塞萨尔;蒂内利,C。
外部链接: MGP公司·半兽人·dblp公司
编制索引的文档: 62种出版物1996年以来
8位编辑稿件
合著者: 64位合著者具有66个联合出版物
962位合著者
全部的 前5名

合著者

4 单作者
26 巴雷特,克拉克W。
21 雷诺兹,安德鲁
9 鲍姆加特纳,彼得
7 巴德尔,弗兰兹
5 威慑,摩根
5 福斯,亚历山大
5 歌尔,阿米特
5 科斯蒂克,萨瓦A。
5 尼美兹,艾娜
5 普莱纳,马蒂亚斯
4 尼尤文胡斯,罗伯特
4 奥利维拉斯,艾伯特
4 佐哈尔,尤尼
巴博萨,哈尼尔
格伦迪,吉姆
林格森,克里斯托夫
扎尔巴,卡罗杰罗G。
2 拜尔,克里斯特尔
2 班萨尔,克希提
2 德尼维尔,汉斯
2 葛艺婷
2 吉尔迪,西尔维奥
2 哈达琳,莉安娜
2 哈兰迪,迈赫迪T。
2 昆卡,维克多
2 梁天一
2 卢茨,卡斯滕
2 乌里达州萨特勒
2 伊戈尔,希卡尼安
2 茨卡里兹,内斯坦
2 图尔汗,安尼·亚斯明
2 沃尔特,弗兰克
1 阿伦特,沃尔夫冈
1 比尔,阿明
1 布兰切特,贾斯敏·克里斯蒂安
1 博纳奇娜,玛丽亚·保拉
1 布朗,克里斯托弗
1 克鲁恩斯,西蒙
1 达文波特,詹姆斯·哈罗德
1 多诺维克,卡莱布
1 El Ouraoui,丹尼尔
1 英格兰,马修
1 方丹,帕斯卡
1 甘津格,哈拉尔德
1 格里吉奥,阿尔伯托
1 古曼,艾莉森
1 哈根,乔治
1 艾哈迈德·伊尔凡
1 乔瓦诺维奇,德扬
1 Mann,Makai
1 孟宝洛
1 诺兹利,安德烈
1 欧,达基
1 佩尔泽,比约恩
1 拉妮丝,西尔维奥
1 罗斯,特奥多
1 盛,颖
1 索夫罗尼·斯托克曼,维奥里卡
1 树桩,亚伦
1 斯特伦茨,林赛
1 斯图姆,托马斯
1 维斯瓦纳坦,阿琼
1 维登巴赫,克里斯托夫
1 威尔逊,阿玛利

按年份列出的出版物

zbMATH公开赛中包含的引文

56出版物有被引用589时间365个文档 引用人
求解SAT和SAT模理论,从抽象的Davis-Putnam-Logemann-Loveland过程到\(\operatorname{DPLL}(T)\)。 Zbl 1326.68164
尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
137
2006
DPLL(\(T\):快速决策过程。 Zbl 1103.68616
甘津格,哈拉尔德;哈根,乔治;尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
42
2004
Nelson-Oppen组合过程正确性的新证明。 Zbl 0893.03001
蒂内利,塞萨尔;哈兰迪,迈赫迪
30
1996
非不相交理论的结合和可满足性程序的组合。 Zbl 1018.68033
蒂内利,塞萨尔;林格森,克里斯托夫
26
2003
可满足模理论。 Zbl 1392.68379
巴雷特,克拉克;蒂内利,塞萨尔
22
2018
SAT模理论中的按需分裂。 Zbl 1165.68480号
巴雷特,克拉克;尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
21
2006
模型演化演算。 Zbl 1278.68249
鲍姆加特纳,彼得;蒂内利,塞萨尔
18
2003
结合了不稳定的无限理论。 Zbl 1108.03014
蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。
18
2005
利用可满足模理论求解量化验证条件。 Zbl 1213.68376
葛艺婷;巴雷特,克拉克;蒂内利,塞萨尔
17
2007
模型演化演算作为一阶DPLL方法。 Zbl 1182.03034
鲍姆加特纳,彼得;蒂内利,塞萨尔
15
2008
SMT中有限模型发现的量词实例化技术。 Zbl 1381.68275
雷诺兹,安德鲁;蒂内利,塞萨尔;歌尔,阿米特;萨瓦Krstić;威慑,摩根;巴雷特,克拉克
13
2013
分类理论的组合决策程序。 Zbl 1111.68691
蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。
13
2004
具有等式的模型演化演算。 Zbl 1135.03325
鲍姆加特纳,彼得;蒂内利,塞萨尔
12
2005
归纳数据类型理论的一种抽象决策过程。 Zbl 1129.68022
巴雷特,克拉克;伊戈尔,希卡尼安;蒂内利,塞萨尔
11
2007
地面插值为平等理论。 Zbl 1234.68257
福斯,亚历山大;歌尔,阿米特;格伦迪,吉姆;萨瓦Krstić;蒂内利,塞萨尔
11
2009
模型演化演算中的引理学习。 Zbl 1165.03308
鲍姆加特纳,彼得;福斯,亚历山大;蒂内利,塞萨尔
10
2006
背景推理机在剩余共享理论推理中的协作。 Zbl 1019.03004号
蒂内利,塞萨尔
10
2003
组合理论的地面插值。 Zbl 1250.68188
歌尔,阿米特;萨瓦Krstić;蒂内利,塞萨尔
10
2009
抽象DPLL和抽象DPLL模理论。 Zbl 1109.68097
尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
10
2005
反例引导的SMT合成量词实例化。 Zbl 1381.68059
雷诺兹,安德鲁;威慑,摩根;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克
10
2015
等式理论结合中的词语问题判定。 Zbl 1049.03032
巴德尔,弗兰兹;蒂内利,塞萨尔
9
2002
用无函数子句逻辑化简计算有限模型。 Zbl 1171.68040
鲍姆加特纳,彼得;福斯,亚历山大;德尼维尔,汉斯;蒂内利,塞萨尔
9
2009
组合可满足模参数理论。 Zbl 1186.68297
萨瓦Krstić;歌尔,阿米特;格伦迪,吉姆;蒂内利,塞萨尔
7
2007
利用可满足模理论求解量化验证条件。 Zbl 1184.68461
葛艺婷;巴雷特,克拉克;蒂内利,塞萨尔
7
2009
\(\mathcal{ME}\)(LIA)–具有线性整数算术约束的模型演化。 Zbl 1182.03033号
鲍姆加特纳,彼得;福斯,亚历山大;蒂内利,塞萨尔
7
2008
递归数据类型理论中可满足性的一种抽象决策过程。 兹布1277.68132
巴雷特,克拉克;伊戈尔,希卡尼安;蒂内利,塞萨尔
6
2007
使用逻辑框架进行SMT验证检查。 Zbl 1284.68521号
树桩,亚伦;欧,达基;雷诺兹,安德鲁;哈达琳,莉安娜;蒂内利,塞萨尔
6
2013
基于DPLL的地基可满足模理论演算。 Zbl 1013.68192号
蒂内利,塞萨尔
6
2002
结合非稳定无限理论。 Zbl 1261.03069
蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。
6
2003
将SMT求解器扩展到高阶逻辑。 Zbl 07178968
巴博萨,哈尼尔;雷诺兹,安德鲁;El Ouraoui,丹尼尔;蒂内利,塞萨尔;巴雷特,克拉克
6
2019
SMT中有限集和基数约束的一种新的决策过程。 Zbl 1475.68430
班萨尔,克希提;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔
5
2016
模型进化与平等-修订和实施。 Zbl 1258.03020
鲍姆加特纳,彼得;佩尔泽,比约恩;蒂内利,塞萨尔
5
2012
在共享构造器的等式理论联合中判定词问题。 Zbl 0976.03051
巴德尔,弗兰兹;蒂内利,塞萨尔
4
1999
在模态逻辑中,一种新的词问题组合方法,推广了融合可判定性。 Zbl 1098.03048
巴德尔,弗兰兹;吉尔迪,西尔维奥;蒂内利,塞萨尔
4
2006
用于系统构造和分析的工具和算法。第21届国际会议,TACAS 2015,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2015,伦敦,英国,2015年4月11日至18日。会议记录。 Zbl 1360.68006
2015
SMT中递归函数的模型发现。 Zbl 1475.68448号
雷诺兹,安德鲁;布兰切特,贾斯敏·克里斯蒂安;克鲁恩斯,西蒙;蒂内利,塞萨尔
2016
结合决策过程的实证理论分享建构者。 Zbl 1045.03013
巴德尔,弗兰兹;蒂内利,塞萨尔
2002
模型演化与等模内建理论。 Zbl 1341.68180号
鲍姆加特纳,彼得;蒂内利,塞萨尔
2011
用扩展设计理论求解器。 Zbl 06821625
雷诺兹,安德鲁;蒂内利,塞萨尔;乔瓦诺维奇,德扬;巴雷特,克拉克
2017
无界字符串上正则成员和长度约束的判定过程。 Zbl 1471.68119号
梁天一;茨卡里兹,内斯坦;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克
2015
一个有效的字符串约束SMT求解器。 Zbl 1404.68135号
梁天一;雷诺兹,安德鲁;茨卡里兹,内斯坦;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
2016
固定宽度位向量理论的细粒度SMT证明。 Zbl 1471.68143
哈达琳,莉安娜;巴雷特,克拉克;雷诺兹,安德鲁;蒂内利,塞萨尔;威慑,摩根
2
2015
在模态逻辑中,一种新的词问题组合方法,推广了融合可判定性。 Zbl 1126.03302
巴德尔,弗兰兹;吉尔迪,西尔维奥;蒂内利,塞萨尔
2
2004
SMT解算器的语法引导重写规则枚举。 Zbl 1441.68233
诺兹利,安德烈;雷诺兹,安德鲁;巴博萨,哈尼尔;尼美兹,艾娜;普莱纳,马蒂亚斯;巴雷特,克拉克;蒂内利,塞萨尔
2
2019
理论结合:超越平等分享。 兹布1443.68116
博纳奇娜,玛丽亚·保拉;方丹,帕斯卡;林格森,克里斯托夫;蒂内利,塞萨尔
2
2019
SMT中基于反驳的合成。 Zbl 1427.68051
雷诺兹,安德鲁;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
2
2019
SMT求解器中位宽度无关的证明。 Zbl 07178987
尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;佐哈尔,尤尼;巴雷特,克拉克;蒂内利,塞萨尔
2
2019
编辑:符号计算和可满足性检验。 Zbl 1444.68006
2
2020
SMT中的关系约束求解。 Zbl 06778402
孟宝洛;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克
2
2017
地面插值为平等理论。 Zbl 1239.03022
福斯,亚历山大;歌尔,阿米特;格伦迪,吉姆;萨瓦Krstić;蒂内利,塞萨尔
2
2012
利用可逆条件求解量化位向量约束。 Zbl 07388006
尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔
2
2021
约束理论联合上的约束逻辑规划。 Zbl 0924.68050
蒂内利,塞萨尔;哈兰迪,迈赫迪T。
1
1998
结合等式理论共享非折叠自由构造器。 Zbl 0962.03037
巴德尔,弗兰兹;蒂内利,塞萨尔
1
2000
2004年,爱尔兰科克,反证和第二届决策程序语用学国际研讨会论文选编。 Zbl 1271.68015号
1
2005
描述逻辑,理论结合,等等。在弗兰兹·巴德60岁生日之际献给他的文章。 Zbl 1428.68036
1
2019
具有共享选择器的数据类型。 Zbl 06958125
雷诺兹,安德鲁;维斯瓦纳坦,阿琼;巴博萨,哈尼尔;蒂内利,塞萨尔;巴雷特,克拉克
1
2018
利用可逆条件求解量化位向量约束。 Zbl 07388006
尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔
2
2021
编辑:符号计算和可满足性检验。 Zbl 1444.68006
2
2020
将SMT求解器扩展到高阶逻辑。 Zbl 07178968
巴博萨,哈尼尔;雷诺兹,安德鲁;El Ouraoui,丹尼尔;蒂内利,塞萨尔;巴雷特,克拉克
6
2019
SMT解算器的语法引导重写规则枚举。 Zbl 1441.68233
诺兹利,安德烈;雷诺兹,安德鲁;巴博萨,哈尼尔;尼美兹,艾娜;普莱纳,马蒂亚斯;巴雷特,克拉克;蒂内利,塞萨尔
2
2019
理论结合:超越平等分享。 兹布1443.68116
博纳奇娜,玛丽亚·保拉;方丹,帕斯卡;林格森,克里斯托夫;蒂内利,塞萨尔
2
2019
SMT中基于反驳的合成。 Zbl 1427.68051
雷诺兹,安德鲁;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
2
2019
SMT求解器中位宽度无关的证明。 Zbl 07178987
尼美兹,艾娜;普莱纳,马蒂亚斯;雷诺兹,安德鲁;佐哈尔,尤尼;巴雷特,克拉克;蒂内利,塞萨尔
2
2019
描述逻辑,理论结合,等等。在弗兰兹·巴德60岁生日之际献给他的文章。 Zbl 1428.68036
1
2019
可满足模理论。 Zbl 1392.68379
巴雷特,克拉克;蒂内利,塞萨尔
22
2018
具有共享选择器的数据类型。 Zbl 06958125
雷诺兹,安德鲁;维斯瓦纳坦,阿琼;巴博萨,哈尼尔;蒂内利,塞萨尔;巴雷特,克拉克
1
2018
用扩展设计理论求解器。 Zbl 06821625
雷诺兹,安德鲁;蒂内利,塞萨尔;乔瓦诺维奇,德扬;巴雷特,克拉克
2017
SMT中的关系约束求解。 Zbl 06778402
孟宝洛;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克
2
2017
SMT中有限集和基数约束的一种新的决策过程。 Zbl 1475.68430
班萨尔,克希提;雷诺兹,安德鲁;巴雷特,克拉克;蒂内利,塞萨尔
5
2016
SMT中递归函数的模型发现。 Zbl 1475.68448号
雷诺兹,安德鲁;布兰切特,贾斯敏·克里斯蒂安;克鲁恩斯,西蒙;蒂内利,塞萨尔
2016
一个有效的字符串约束SMT求解器。 Zbl 1404.68135号
梁天一;雷诺兹,安德鲁;茨卡里兹,内斯坦;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
2016
反例引导的SMT合成量词实例化。 Zbl 1381.68059
雷诺兹,安德鲁;威慑,摩根;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克
10
2015
用于系统构造和分析的工具和算法。第21届国际会议,TACAS 2015,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2015,伦敦,英国,2015年4月11日至18日。会议记录。 Zbl 1360.68006
2015
无界字符串上正则成员和长度约束的判定过程。 Zbl 1471.68119号
梁天一;茨卡里兹,内斯坦;雷诺兹,安德鲁;蒂内利,塞萨尔;巴雷特,克拉克
2015
固定宽度位向量理论的细粒度SMT证明。 Zbl 1471.68143
哈达琳,莉安娜;巴雷特,克拉克;雷诺兹,安德鲁;蒂内利,塞萨尔;威慑,摩根
2
2015
SMT中有限模型发现的量词实例化技术。 Zbl 1381.68275
雷诺兹,安德鲁;蒂内利,塞萨尔;歌尔,阿米特;萨瓦Krstić;威慑,摩根;巴雷特,克拉克
13
2013
使用逻辑框架进行SMT验证检查。 Zbl 1284.68521号
树桩,亚伦;欧,达基;雷诺兹,安德鲁;哈达琳,莉安娜;蒂内利,塞萨尔
6
2013
模型进化与平等-修订和实施。 Zbl 1258.03020
鲍姆加特纳,彼得;佩尔泽,比约恩;蒂内利,塞萨尔
5
2012
地面插值为平等理论。 Zbl 1239.03022
福斯,亚历山大;歌尔,阿米特;格伦迪,吉姆;萨瓦Krstić;蒂内利,塞萨尔
2
2012
模型演化与等模内建理论。 Zbl 1341.68180号
鲍姆加特纳,彼得;蒂内利,塞萨尔
2011
地面插值为平等理论。 Zbl 1234.68257
福斯,亚历山大;歌尔,阿米特;格伦迪,吉姆;萨瓦Krstić;蒂内利,塞萨尔
11
2009
组合理论的地面插值。 Zbl 1250.68188
歌尔,阿米特;萨瓦Krstić;蒂内利,塞萨尔
10
2009
用无函数子句逻辑化简计算有限模型。 Zbl 1171.68040
鲍姆加特纳,彼得;福斯,亚历山大;德尼维尔,汉斯;蒂内利,塞萨尔
9
2009
利用可满足模理论求解量化验证条件。 Zbl 1184.68461
葛艺婷;巴雷特,克拉克;蒂内利,塞萨尔
7
2009
模型演化演算作为一阶DPLL方法。 Zbl 1182.03034
鲍姆加特纳,彼得;蒂内利,塞萨尔
15
2008
\(\mathcal{ME}\)(LIA)–具有线性整数算术约束的模型演化。 Zbl 1182.03033号
鲍姆加特纳,彼得;福斯,亚历山大;蒂内利,塞萨尔
7
2008
利用可满足模理论求解量化验证条件。 Zbl 1213.68376
葛艺婷;巴雷特,克拉克;蒂内利,塞萨尔
17
2007
归纳数据类型理论的一种抽象决策过程。 Zbl 1129.68022
巴雷特,克拉克;伊戈尔,希卡尼安;蒂内利,塞萨尔
11
2007
组合可满足模参数理论。 Zbl 1186.68297
萨瓦Krstić;歌尔,阿米特;格伦迪,吉姆;蒂内利,塞萨尔
7
2007
递归数据类型理论中可满足性的一种抽象决策过程。 兹布1277.68132
巴雷特,克拉克;伊戈尔,希卡尼安;蒂内利,塞萨尔
6
2007
求解SAT和SAT模理论,从抽象的Davis-Putnam-Logemann-Loveland过程到\(\operatorname{DPLL}(T)\)。 Zbl 1326.68164
尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
137
2006
SAT模理论中的按需分裂。 Zbl 1165.68480号
巴雷特,克拉克;尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
21
2006
模型演化演算中的引理学习。 Zbl 1165.03308
鲍姆加特纳,彼得;福斯,亚历山大;蒂内利,塞萨尔
10
2006
在模态逻辑中,一种新的词问题组合方法,推广了融合可判定性。 Zbl 1098.03048
巴德尔,弗兰兹;吉尔迪,西尔维奥;蒂内利,塞萨尔
4
2006
结合了不稳定的无限理论。 Zbl 1108.03014
蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。
18
2005
具有等式的模型演化演算。 Zbl 1135.03325
鲍姆加特纳,彼得;蒂内利,塞萨尔
12
2005
抽象DPLL和抽象DPLL模理论。 Zbl 1109.68097
尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
10
2005
2004年,爱尔兰科克,反证和第二届决策程序语用学国际研讨会论文选编。 Zbl 1271.68015号
1
2005
DPLL(\(T\):快速决策过程。 Zbl 1103.68616
甘津格,哈拉尔德;哈根,乔治;尼尤文胡斯,罗伯特;奥利维拉斯,艾伯特;蒂内利,塞萨尔
42
2004
分类理论的组合决策程序。 Zbl 1111.68691
蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。
13
2004
在模态逻辑中,一种新的词问题组合方法,推广了融合可判定性。 Zbl 1126.03302
巴德尔,弗兰兹;吉尔迪,西尔维奥;蒂内利,塞萨尔
2
2004
非不相交理论的结合和可满足性程序的组合。 Zbl 1018.68033
蒂内利,塞萨尔;林格森,克里斯托夫
26
2003
模型演化演算。 Zbl 1278.68249
鲍姆加特纳,彼得;蒂内利,塞萨尔
18
2003
背景推理机在剩余共享理论推理中的协作。 Zbl 1019.03004号
蒂内利,塞萨尔
10
2003
结合非稳定无限理论。 Zbl 1261.03069
蒂内利,塞萨尔;扎尔巴,卡罗杰罗G。
6
2003
等式理论结合中的词语问题判定。 Zbl 1049.03032
巴德尔,弗兰兹;蒂内利,塞萨尔
9
2002
基于DPLL的地基可满足模理论演算。 Zbl 1013.68192号
蒂内利,塞萨尔
6
2002
结合决策过程的实证理论分享建构者。 Zbl 1045.03013
巴德尔,弗兰兹;蒂内利,塞萨尔
2002
结合等式理论共享非折叠自由构造器。 Zbl 0962.03037
巴德尔,弗兰兹;蒂内利,塞萨尔
1
2000
在共享构造器的等式理论联合中判定词问题。 Zbl 0976.03051
巴德尔,弗兰兹;蒂内利,塞萨尔
4
1999
约束理论联合上的约束逻辑规划。 Zbl 0924.68050
蒂内利,塞萨尔;哈兰迪,迈赫迪T。
1
1998
Nelson-Oppen组合过程正确性的新证明。 Zbl 0893.03001
蒂内利,塞萨尔;哈兰迪,迈赫迪
30
1996
全部的 前5名

被627位作者引用

27 蒂内利,塞萨尔
19 巴雷特,克拉克W。
17 雷诺兹,安德鲁
17 维登巴赫,克里斯托夫
15 吉尔迪,西尔维奥
12 布兰切特,贾斯敏·克里斯蒂安
12 博纳奇娜,玛丽亚·保拉
12 方丹,帕斯卡
10 拉妮丝,西尔维奥
10 塞巴斯蒂安尼,罗伯托
9 德穆拉,莱昂纳多
9 林格森,克里斯托夫
8 利勒,尤利娅
7 鲍姆加特纳,彼得
7 布鲁托梅索,罗伯托
7 沃德曼,乌韦
6 巴德尔,弗兰兹
6 格里吉奥,阿尔伯托
6 梅斯盖尔·瓜伊塔,何塞
6 尼尤文胡斯,罗伯特
5 亚历山德罗·西马蒂
5 伊希尼姆,姆纳乔
5 弗勒里,马蒂亚斯
5 加内什,维杰
5 昆卡,维克多
5 索夫罗尼·斯托克曼,维奥里卡
5 斯图姆,托马斯
4 聪明,柯蒂斯
4 布朗伯格,马丁
4 德哈贝,大卫
4 威慑,摩根
4 多达罗,胭脂红
4 乔瓦诺维奇,德扬
4 科茨里亚斯,伊利亚斯。
4 科宁,丹尼尔
4 科斯蒂克,萨瓦A。
4 尼美兹,艾娜
4 准备好了,大卫艾伦
4 普莱纳,马蒂亚斯
4 吕默,菲利普
4 肖布,托尔斯滕H。
4 莎莉吉娜,娜塔莎
4 斯图基,彼得·詹姆斯
4 图雷特,索菲
4 德康川
4 扎尔巴,卡罗杰罗G。
4 周,敏
Ábrahám,埃里卡
阿尔贝蒂,弗朗西斯科
班萨尔,克希提
本特坎普,亚历山大
比约纳,尼古拉·S。
乔克伦,保拉
康臣,西尔文
德卡特,兄弟
埃格斯,安德烈亚斯
格布瑟,马丁
贾诺拉,亚历山德罗
格雷厄姆·伦格兰德,圣潘
他,费
霍尼克,约琴
美国农业部约翰逊
科罗文,康斯坦丁
林奇,克里斯托弗A。
马拉茶,马可
奥利维拉斯,艾伯特
施密特,雷诺A。
沙卡,纳塔拉扬
宋晓宇
树桩,亚伦
孙佳光
沃龙科夫,安德烈
瓦克米罗维奇,佩塔
你,贾淮
张燕
2 阿尔维亚诺,马里奥
2 阿瑞斯,卡洛斯
2 班科维奇,米兰
2 巴博萨,哈尼尔
2 比尔,阿明
2 阮成平
2 博迪斯基,曼纽尔
2 波菲尔,米克尔
2 Böhme,萨沙
2 博格沃德,斯特凡
2 波扎诺,马可
2 布鲁努赫,莫里斯
2 加尔瓦内斯,迭戈
2 基哈尼,扎卡里亚
2 上帝啊,约根
2 克莱森,科恩
2 克里斯蒂娅,马克西米利亚诺
2 克鲁恩斯,西蒙
2 德奥利维拉,迭戈卡米尼亚B。
2 D'silva,维杰
2 埃尔巴特,塞尔达尔
2 菲茨克,阿诺
2 佛罗伦萨,卡米洛
2 马丁,弗兰兹
2 福斯,亚历山大
…还有527位作者

按年份列出的引文