×
计算距离:
作者ID: 霍夫曼马丁1“霍夫曼,马丁”最近的zbMATH文章
发布为: 霍夫曼,马丁;霍夫曼,M。
主页: https://www.tcs.ifi.lmu.de/mitarbeiter/martin-hofmann
外部链接: MGP公司·维基数据·dblp公司·接地·伊德里夫·论文.fr
编制索引的文档: 82种出版物自1995年以来,包括2本书
7编辑稿件·1进一步贡献
传记参考: 3出版物
合著者: 56位合著者具有69个联合出版物
1568合著者
全部的 前5名

合著者

20 单作者
8 贝林格,伦纳特
6 达拉戈,乌戈
5 阿斯皮纳尔,大卫
5 本顿,尼克
4 乔斯特,斯特芬
4 洛迪尔,汉斯·沃尔夫冈
4 尼甘,维韦克
4 皮尔斯,本杰明·C。
4 斯特里切,托马斯
卡比雪夫,亚历山大
阿尔伯托莫米格里亚诺
罗德里格斯,杜尔马
舒普,乌尔里希
2 埃利格,克劳斯
2 鲍尔,安德烈
2 鲍尔,萨宾
2 可口可乐,蒂埃里
2 居里,皮埃尔·路易斯
2 加纳,理查德
2 格拉博夫斯基,罗伯特
2 霍夫曼,简·菲利普
2 Hötzel EscardóMartín
2 肯尼迪,安德鲁J。
2 兰格,马丁
2 莫瑟,乔治
2 拉姆亚,拉姆亚
2 桑内拉,唐纳德T。
2 斯科特,菲利普J。
2 塞德尔,赫尔穆特
2 瓦格纳,丹尼尔
1 阿克泽尔,彼得
1 阿伦斯,贝尼迪克
1 阿尔滕基奇,托尔斯滕
1 安圭利,卡罗
1 阿维加德,杰里米
1 噢,史蒂夫
1 巴拉斯,布鲁诺
1 巴特,斯蒂芬
1 贝兰托尼,斯蒂芬J。
1 伯杰,乌尔里希
1 贝托,伊夫
1 贝塞姆,马克
1 博德,安东尼
1 布鲁内里,纪尧姆
1 坎贝尔,布莱恩A。
1 陈伟
1 科恩,西里尔
1 警察,罗伯特·李
1 达斯,克里斯蒂安
1 戴比杰,彼得
1 芬斯特,埃里克
1 加贝,默多克·詹姆斯
1 甘比诺,尼古拉
1 冈瑟,乔治
1 格雷森,丹尼尔·理查德
1 哈尔斯,托马斯·卡利斯特
1 哈蒙德,凯文
1 哈珀,罗伯特
1 哈兹海姆,斯文
1 长谷川,Masahito
1 赫伯林,雨果
1 霍夫斯特拉,皮尔特J.W。
1 侯(Favonia)、权邦
1 乔亚尔,安德烈
1 卡普金,克里斯
1 科克,约阿希姆
1 科恩,米哈尔
1 克劳斯,尼科莱
1 莱登,杰瑞米
1 李诺
1 利卡塔,丹
1 卢姆斯丹,彼得·勒法努
1 罗兆辉
1 马布比,阿西娅
1 马丁-洛夫,佩尔
1 梅利霍夫,谢尔盖·阿列克山德罗维奇
1 纳哈斯,迈克尔
1 新基兴,基督徒
1 帕姆格伦,埃里克
1 帕夫洛娃,玛丽拉
1 巴甫洛维奇,杜什科
1 佩拉约,阿尔瓦罗
1 普洛金,戈登D。
1 波隆斯基,安德鲁
1 拉施迈耶,阿克塞尔
1 瑞尔,艾米莉
1 里杰克,埃格伯特
1 罗索里尼,朱塞佩
1 哈拉尔德ß街
1 赫尔穆特施威滕贝格
1 斯科特,达娜·斯图尔特
1 什卡拉夫斯卡,奥尔哈
1 舒尔曼,迈克尔A。
1 索雅科娃,克里斯蒂娜
1 索洛夫,谢尔盖·弗拉基米罗维奇
1 索佐,马修
1 唾沫,巴斯特
1 斯塔克,伊恩
1 史蒂文斯,珀迪塔
1 唐,弗朗西斯·C·Y。
…还有9个合著者

按年份列出的出版物

zbMATH公开赛中包含的引文

67出版物有被引用563时间341份文件 引用人
同伦型理论。单叶数学基础。 Zbl 1298.03002号
单价基金会计划
69
2013
类型论的群论解释。 Zbl 0930.03089
霍夫曼,马丁;斯特里切,托马斯
48
1998
依赖类型的语法和语义。 Zbl 0919.68083
霍夫曼,马丁
42
1997
一阶函数程序堆空间使用量的静态预测。 Zbl 1321.68180号
霍夫曼,马丁;乔斯特,斯特芬
32
2003
线性类型和非尺寸递增多项式时间计算。 Zbl 1054.68065
霍夫曼,马丁
27
2003
多元摊余资源分析。 兹布1284.68132
霍夫曼,一月;埃利格,克劳斯;霍夫曼,马丁
24
2011
关于局部笛卡尔闭范畴中类型理论的解释。 Zbl 1044.03544号
霍夫曼,马丁
23
1995
具有更高类型和BCK代数的安全递归。 Zbl 0959.68075
霍夫曼,马丁
19
2000
线性时间微积分的一个证明系统。 Zbl 1163.03308
达斯,克里斯蒂安;霍夫曼,马丁;兰格,马丁
14
2006
建立经典系统在直觉模型上保守性的一种新方法。 Zbl 0935.03069
可口可乐,蒂埃里;霍夫曼,马丁
13
1999
多项式势的摊余资源分析。函数程序多项式界的静态推断。 Zbl 1260.68074
霍夫曼,一月;霍夫曼,马丁
13
2010
论高阶逻辑中的行为抽象与行为满足。 Zbl 0874.68196
霍夫曼,马丁;桑内拉,唐纳德
12
1996
混合模态/线性lambda演算及其在Bellantoni-Cook安全递归中的应用。 Zbl 0908.03022
霍夫曼,马丁
11
1998
堆消耗的自动认证。 Zbl 1108.68374
贝林格,伦纳特;霍夫曼,马丁;阿尔伯托莫米格里亚诺;什卡拉夫斯卡,奥尔哈
9
2005
基于类型的摊销堆空间分析。 Zbl 1178.68143
霍夫曼,马丁;乔斯特,斯特芬
9
2006
内涵类型理论中的外延结构。 Zbl 1411.03001号
霍夫曼,马丁
9
1997
名义重命名集。 Zbl 1182.03065号
加贝,默多克J。;霍夫曼,马丁
8
2008
值控制运算符调用的合理和完整的公理化。 Zbl 0846.68066
霍夫曼,马丁
8
1995
资源的程序逻辑。 Zbl 1133.68010
阿斯皮纳尔,大卫;贝林格,伦纳特;霍夫曼,马丁;洛迪尔,汉斯·沃尔夫冈;阿尔伯托莫米格里亚诺
8
2007
有限维向量空间对于跟踪对称幺半群范畴是完备的。 Zbl 1134.18003号
长谷川,Masahito;霍夫曼,马丁;普洛金,戈登
8
2008
实数计算区间域模型的非序列性。 Zbl 1067.68070
埃斯卡多,马丁内斯;霍夫曼,马丁;斯特里切,托马斯
7
2004
高阶程序定量资源使用的静态确定。 Zbl 1312.68039
乔斯特,斯特芬;哈蒙德,凯文;洛迪尔,汉斯·沃尔夫冈;霍夫曼,马丁
7
2010
对称透镜。 Zbl 1284.18009号
霍夫曼,马丁;皮尔斯,本杰明;瓦格纳,丹尼尔
7
2011
非尺寸递增计算的强度。 Zbl 1323.68213
霍夫曼,马丁
7
2002
类BLL语言的可实现性模型。 Zbl 1047.03049号
霍夫曼,M。;斯科特,P.J。
7
2004
(\lambda\\mu\)—演算连续模型的完备性。 Zbl 1096.03011
霍夫曼,马丁;斯特里切,托马斯
6
2002
定量模型和隐含复杂性。 Zbl 1172.68477号
达拉戈,乌戈;霍夫曼,马丁
6
2005
阅读、写作与关系。面向效果分析的扩展语义学。 Zbl 1168.68356
本顿,尼克;肯尼迪,安德鲁;霍夫曼,马丁;贝林格,伦纳特
6
2006
内涵型理论中平等反映的保守性。 Zbl 1434.03038号
霍夫曼,马丁
6
1996
抽象效果与相关逻辑关系的证明。 Zbl 1284.68371
本顿,尼克;霍夫曼,马丁;尼甘,维韦克
6
2014
重温依赖型理论的范畴解释。 Zbl 1433.03029号
居里,皮埃尔·路易斯;加纳,理查德;霍夫曼,马丁
6
2014
一种新的“可行”算法。 Zbl 1006.03035
贝拉兰托尼,斯蒂芬;霍夫曼,马丁
5
2002
阳性亚型。 邮政编码:0853.68125
霍夫曼,马丁;皮尔斯,本杰明·C。
5
1996
可实现性模型和隐含复杂性。 Zbl 1222.03065号
达拉戈,乌戈;霍夫曼,马丁
5
2011
一种非尺寸递增多项式时间计算的算法。 Zbl 1064.03036
埃利格,克劳斯;伯杰,乌尔里希;霍夫曼,马丁;赫尔穆特施威滕贝格
5
2004
关于二阶泛函的一元参数性。 Zbl 1260.68071
鲍尔,安德烈;霍夫曼,马丁;卡比雪夫,亚历山大
4
2013
有界空间和函数就地更新的类型系统。(扩展摘要)。 Zbl 0964.68027
霍夫曼,马丁
4
2000
有界空间和函数就地更新的类型系统。 Zbl 0971.68023
霍夫曼,马丁
4
2000
摊销资源分析和类型多项式解释。 Zbl 1416.68093
霍夫曼,马丁;莫瑟,乔治
4
2014
有界线性逻辑,重温。 Zbl 1211.03089号
达拉戈,乌戈;霍夫曼,马丁
2009
用于摊销堆空间分析的有效类型检查。 Zbl 1257.68051
霍夫曼,马丁;罗德里格斯,杜尔马
2009
用于摊销堆空间分析的自动类型推断。 Zbl 1381.68041
霍夫曼,马丁;罗德里格斯,杜尔马
2013
具有使用方面的类型系统。 Zbl 1142.68019号
阿斯皮纳尔,大卫;霍夫曼,马丁;科恩,米哈尔
2008
线性/模态lambda演算的语义。 Zbl 0965.68011
霍夫曼,马丁
2
1999
使用Mobius基本逻辑进行认证。 Zbl 1209.68121号
贝林格,伦纳特;霍夫曼,马丁;帕夫洛娃,玛丽拉
2
2008
在可实现性方面有良好的基础。 Zbl 1112.03058
霍夫曼,M。;范奥斯滕,J。;斯特里切,T。
2
2006
在高阶逻辑定理证明器中实现对象的程序逻辑。 Zbl 0974.68185
霍夫曼,马丁;唐,弗朗西斯
2
2000
商类型的一个简单模型。 Zbl 1063.68602
霍夫曼,马丁
2
1995
用于资源验证的程序逻辑。 Zbl 1099.68584
阿斯皮纳尔,大卫;贝林格,伦纳特;霍夫曼,马丁;洛迪尔,汉斯·沃尔夫冈;阿尔伯托莫米格里亚诺
2
2004
自动机理论与逻辑。(自动化和物流) Zbl 1257.68003
霍夫曼,马丁;兰格,马丁
2
2011
什么是纯功能性的? Zbl 1288.68037
霍夫曼,马丁;卡比雪夫,亚历山大;塞德尔,赫尔穆特
2
2010
带迭代的纯指针程序。 Zbl 1351.68101号
霍夫曼,马丁;舒普,乌尔里希
2
2010
术语重写系统的多元摊销资源分析。 Zbl 1367.68138
霍夫曼,马丁;莫瑟,乔治
2
2015
光仿射逻辑多时性的语义证明。 Zbl 1205.68169
达拉戈,乌戈;霍夫曼,马丁
2
2010
有界线性逻辑,重温。 Zbl 1211.03090
达拉戈,乌戈;霍夫曼,马丁
2
2010
使用区域类型系统验证指针和字符串分析。 Zbl 1253.68092
贝林格,伦纳特;格拉博夫斯基,罗伯特;霍夫曼,马丁
2
2010
Büchi自动机的抽象解释。 Zbl 1401.68162
霍夫曼,马丁;陈伟
2
2014
高阶模型检验的笛卡尔闭范畴。 Zbl 1460.68061
霍夫曼,马丁;莱登,杰瑞米
1
2017
范畴论语义在用高阶函数代数刻画复杂类中的应用。 Zbl 0931.03058
霍夫曼,马丁
1
1997
纯指针程序和树同构。 Zbl 1260.68099
霍夫曼,马丁;拉姆亚,拉姆亚;舒普,乌尔里希
1
2013
JML和类型的字节码逻辑。 Zbl 1168.68357号
贝林格,伦纳特;霍夫曼,马丁
1
2006
在Coq中验证一个局部通用解算器。 Zbl 1306.68029号
霍夫曼,马丁;卡比雪夫,亚历山大;塞德尔,赫尔穆特
1
2010
具有获胜策略的\(\mu\)-微积分认证。 Zbl 1354.68174
霍夫曼,马丁;新基兴,基督徒;哈拉尔德ß街
1
2016
编辑镜头。 Zbl 1321.68154
霍夫曼,马丁;皮尔斯,本杰明;瓦格纳,丹尼尔
1
2012
软件科学和计算结构基础。第14届国际会议,Fossac2011,作为欧洲软件理论与实践联合会议的一部分,2011年3月26日至4月3日在德国萨尔布吕肯举行。 Zbl 1213.68041
1
2011
无限树上的可判定不等式。 Zbl 1415.68059
鲍尔,萨宾;乔斯特,斯特芬;霍夫曼,马丁
1
2018
证明名称生成的相关逻辑关系。 Zbl 1459.68041
本顿,尼克;霍夫曼,马丁;尼甘,维韦克
1
2018
无限树上的可判定不等式。 Zbl 1415.68059
鲍尔,萨宾;乔斯特,斯特芬;霍夫曼,马丁
1
2018
证明名称生成的相关逻辑关系。 Zbl 1459.68041
本顿,尼克;霍夫曼,马丁;尼甘,维韦克
1
2018
高阶模型检验的笛卡尔闭范畴。 Zbl 1460.68061
霍夫曼,马丁;莱登,杰瑞米
1
2017
具有获胜策略的\(\mu\)-微积分认证。 Zbl 1354.68174
霍夫曼,马丁;新基兴,基督徒;哈拉尔德ß街
1
2016
术语重写系统的多元摊销资源分析。 Zbl 1367.68138
霍夫曼,马丁;莫瑟,乔治
2
2015
抽象效果与相关逻辑关系的证明。 Zbl 1284.68371
本顿,尼克;霍夫曼,马丁;尼甘,维韦克
6
2014
重温依赖型理论的范畴解释。 Zbl 1433.03029号
居里,皮埃尔·路易斯;加纳,理查德;霍夫曼,马丁
6
2014
摊销资源分析和类型多项式解释。 Zbl 1416.68093
霍夫曼,马丁;莫瑟,乔治
4
2014
Büchi自动机的抽象解释。 Zbl 1401.68162
霍夫曼,马丁;陈伟
2
2014
同伦型理论。单叶数学基础。 Zbl 1298.03002号
单价基金会计划
69
2013
关于二阶泛函的一元参数性。 Zbl 1260.68071
鲍尔,安德烈;霍夫曼,马丁;卡比雪夫,亚历山大
4
2013
用于摊销堆空间分析的自动类型推断。 Zbl 1381.68041
霍夫曼,马丁;罗德里格斯,杜尔马
2013
纯指针程序和树同构。 Zbl 1260.68099
霍夫曼,马丁;拉姆亚,拉姆亚;舒普,乌尔里希
1
2013
编辑镜头。 Zbl 1321.68154
霍夫曼,马丁;皮尔斯,本杰明;瓦格纳,丹尼尔
1
2012
多元摊余资源分析。 兹布1284.68132
霍夫曼,一月;埃利格,克劳斯;霍夫曼,马丁
24
2011
对称透镜。 Zbl 1284.18009号
霍夫曼,马丁;皮尔斯,本杰明;瓦格纳,丹尼尔
7
2011
可实现性模型和隐含复杂性。 Zbl 1222.03065号
达拉戈,乌戈;霍夫曼,马丁
5
2011
自动机理论与逻辑。(自动化和物流) Zbl 1257.68003
霍夫曼,马丁;兰格,马丁
2
2011
软件科学和计算结构基础。第14届国际会议,Fossac2011,作为欧洲软件理论与实践联合会议的一部分,2011年3月26日至4月3日在德国萨尔布吕肯举行。 Zbl 1213.68041
1
2011
多项式势的摊余资源分析。函数程序多项式界的静态推断。 Zbl 1260.68074
霍夫曼,一月;霍夫曼,马丁
13
2010
高阶程序定量资源使用的静态确定。 Zbl 1312.68039
乔斯特,斯特芬;哈蒙德,凯文;洛迪尔,汉斯·沃尔夫冈;霍夫曼,马丁
7
2010
什么是纯功能性的? Zbl 1288.68037
霍夫曼,马丁;卡比雪夫,亚历山大;塞德尔,赫尔穆特
2
2010
带迭代的纯指针程序。 Zbl 1351.68101号
霍夫曼,马丁;舒普,乌尔里希
2
2010
光仿射逻辑多时性的语义证明。 Zbl 1205.68169
达拉戈,乌戈;霍夫曼,马丁
2
2010
有界线性逻辑,重温。 Zbl 1211.03090
达拉戈,乌戈;霍夫曼,马丁
2
2010
使用区域类型系统验证指针和字符串分析。 Zbl 1253.68092
贝林格,伦纳特;格拉博夫斯基,罗伯特;霍夫曼,马丁
2
2010
在Coq中验证一个局部通用解算器。 Zbl 1306.68029号
霍夫曼,马丁;卡比雪夫,亚历山大;塞德尔,赫尔穆特
1
2010
有界线性逻辑,重温。 Zbl 1211.03089号
达拉戈,乌戈;霍夫曼,马丁
2009
用于摊销堆空间分析的有效类型检查。 Zbl 1257.68051
霍夫曼,马丁;罗德里格斯,杜尔马
2009
名义重命名集。 Zbl 1182.03065号
加贝,默多克J。;霍夫曼,马丁
8
2008
有限维向量空间对于跟踪对称幺半群范畴是完备的。 Zbl 1134.18003号
长谷川,Masahito;霍夫曼,马丁;普洛金,戈登
8
2008
具有使用方面的类型系统。 Zbl 1142.68019号
阿斯皮纳尔,大卫;霍夫曼,马丁;科恩,米哈尔
2008
使用Mobius基本逻辑进行认证。 Zbl 1209.68121号
贝林格,伦纳特;霍夫曼,马丁;帕夫洛娃,玛丽拉
2
2008
资源的程序逻辑。 Zbl 1133.68010
阿斯皮纳尔,大卫;贝林格,伦纳特;霍夫曼,马丁;洛迪尔,汉斯·沃尔夫冈;阿尔伯托莫米格里亚诺
8
2007
线性时间微积分的一个证明系统。 Zbl 1163.03308
达斯,克里斯蒂安;霍夫曼,马丁;兰格,马丁
14
2006
基于类型的摊销堆空间分析。 Zbl 1178.68143
霍夫曼,马丁;乔斯特,斯特芬
9
2006
阅读、写作与关系。面向效果分析的扩展语义学。 Zbl 1168.68356
本顿,尼克;肯尼迪,安德鲁;霍夫曼,马丁;贝林格,伦纳特
6
2006
在可实现性方面有良好的基础。 Zbl 1112.03058
霍夫曼,M。;范奥斯滕,J。;斯特里切,T。
2
2006
JML和类型的字节码逻辑。 Zbl 1168.68357号
贝林格,伦纳特;霍夫曼,马丁
1
2006
堆消耗的自动认证。 Zbl 1108.68374
贝林格,伦纳特;霍夫曼,马丁;阿尔伯托莫米格里亚诺;什卡拉夫斯卡,奥尔哈
9
2005
定量模型和隐含复杂性。 Zbl 1172.68477号
达拉戈,乌戈;霍夫曼,马丁
6
2005
实数计算区间域模型的非序列性。 Zbl 1067.68070
埃斯卡多,马丁内斯;霍夫曼,马丁;斯特里切,托马斯
7
2004
类BLL语言的可实现性模型。 Zbl 1047.03049号
霍夫曼,M。;斯科特,P.J。
7
2004
一种非尺寸递增多项式时间计算的算法。 Zbl 1064.03036
埃利格,克劳斯;伯杰,乌尔里希;霍夫曼,马丁;赫尔穆特施威滕贝格
5
2004
用于资源验证的程序逻辑。 Zbl 1099.68584
阿斯皮纳尔,大卫;贝林格,伦纳特;霍夫曼,马丁;洛迪尔,汉斯·沃尔夫冈;阿尔伯托莫米格里亚诺
2
2004
一阶函数程序堆空间使用量的静态预测。 Zbl 1321.68180号
霍夫曼,马丁;乔斯特,斯特芬
32
2003
线性类型和非尺寸递增多项式时间计算。 Zbl 1054.68065
霍夫曼,马丁
27
2003
非尺寸递增计算的强度。 Zbl 1323.68213
霍夫曼,马丁
7
2002
(\lambda\\mu\)—演算连续模型的完备性。 Zbl 1096.03011
霍夫曼,马丁;斯特里切,托马斯
6
2002
一种新的“可行”算法。 Zbl 1006.03035
贝拉兰托尼,斯蒂芬;霍夫曼,马丁
5
2002
具有更高类型和BCK代数的安全递归。 Zbl 0959.68075
霍夫曼,马丁
19
2000
有界空间和函数就地更新的类型系统。(扩展摘要)。 Zbl 0964.68027
霍夫曼,马丁
4
2000
有界空间和函数就地更新的类型系统。 Zbl 0971.68023
霍夫曼,马丁
4
2000
在高阶逻辑定理证明器中实现对象的程序逻辑。 Zbl 0974.68185
霍夫曼,马丁;唐,弗朗西斯
2
2000
建立经典系统在直觉模型上保守性的一种新方法。 Zbl 0935.03069
可口可乐,蒂埃里;霍夫曼,马丁
13
1999
线性/模态lambda演算的语义。 Zbl 0965.68011
霍夫曼,马丁
2
1999
类型论的群论解释。 Zbl 0930.03089
霍夫曼,马丁;斯特里切,托马斯
48
1998
混合模态/线性lambda演算及其在Bellantoni-Cook安全递归中的应用。 Zbl 0908.03022
霍夫曼,马丁
11
1998
依赖类型的语法和语义。 Zbl 0919.68083
霍夫曼,马丁
42
1997
内涵类型理论中的外延结构。 Zbl 1411.03001号
霍夫曼,马丁
9
1997
范畴论语义在用高阶函数代数刻画复杂类中的应用。 Zbl 0931.03058
霍夫曼,马丁
1
1997
论高阶逻辑中的行为抽象与行为满足。 Zbl 0874.68196
霍夫曼,马丁;桑内拉,唐纳德
12
1996
内涵型理论中平等反映的保守性。 Zbl 1434.03038号
霍夫曼,马丁
6
1996
阳性亚型。 邮政编码:0853.68125
霍夫曼,马丁;皮尔斯,本杰明·C。
5
1996
关于局部笛卡尔闭范畴中类型理论的解释。 Zbl 1044.03544号
霍夫曼,马丁
23
1995
值控制运算符调用的合理和完整的公理化。 Zbl 0846.68066
霍夫曼,马丁
8
1995
商类型的一个简单模型。 Zbl 1063.68602
霍夫曼,马丁
2
1995
全部的 前5名

488位作者引用

20 霍夫曼,马丁
12 达拉戈,乌戈
11 柏洛,帕特里克
9 可口可乐,蒂埃里
7 艾伯特,艾薇拉
7 帕姆格伦,埃里克
6 贝林格,伦纳特
6 伯克达尔,拉尔斯
6 亨尼克,罗尔夫
6 Hötzel EscardóMartín
6 卢姆斯丹,彼得·勒法努
6 萨特勒,克里斯蒂安
5 阿尔滕基奇,托尔斯滕
5 噢,史蒂夫
5 戴比杰,彼得
5 皮特,安德鲁M。
5 张宇
4 阿维加德,杰里米
4 比多伊特,米歇尔
4 加贝,默多克·詹姆斯
4 加纳,理查德
4 杰纳姆,萨米尔
4 休伯,西蒙
4 莫迪克,伊克
4 培尼亚,里卡多
4 斯特里切,托马斯
4 范登伯格,本诺
4 沃伦,迈克尔·阿尔顿
阿丽奥拉,泽娜·M。
阿斯皮纳尔,大卫
伯杰,乌尔里希
埃蒙尼格尔,雅格布
弗洛里多,马里奥
加尼,尼尔
Ghyselen,亚历克西斯
吉尔根,吉尔根
Hähnle,雷纳
海恩里,伊曼纽
哈珀,罗伯特
赫伯林,雨果
霍夫斯特拉,皮尔特J.W。
马西亚罗梅罗,何塞·雷蒙多
莫盖尔伯格,拉斯穆斯·埃勒斯
黑山,曼努埃尔
莫瑟,乔治
诺瓦克,大卫·E。
奥顿,伊恩
Péchoux,罗曼
普洛金,戈登D。
普埃布拉,格尔曼
雷德蒙,布莱恩F。
罗索里尼,朱塞佩
桑内拉,唐纳德T。
赫尔穆特施威滕贝格
塞古拉,克拉拉
塞德尔,赫尔穆特
唾沫,巴斯特
斯图尔特,托马斯
尼古拉斯,塔巴劳
乌斯塔鲁,塔莫
福格勒,拉尔夫
2 阿布拉姆斯基,参孙
2 阿伦斯,贝尼迪克
2 阿尔维斯,桑德拉
2 安圭利,卡罗
2 阿里纳斯,普里
2 奥伯特,克莱门特
2 阿凡齐尼,马丁
2 巴贝内拉,佛朗哥
2 贝兰托尼,斯蒂芬J。
2 本顿,尼克
2 贝塞姆,马克
2 比兹亚克,阿莱什
2 布利尔,西蒙
2 布鲁内尔,阿洛伊丝
2 坎蒂尼,安德里亚
2 克莱兰堡,皮埃尔
2 克拉克,布莱斯
2 克劳斯顿,拉纳德A。
2 考克特,罗宾
2 丹纳,诺曼
2 德利古罗,乌戈
2 费尔南德斯,玛丽贝尔
2 弗罗恩,弗洛里安
2 加巴迪,马可
2 甘比诺,尼古拉
2 吉卡,丹·R。
2 格兰泽,丹尼尔
2 哈利米,布里斯
2 亨塞尔,杰拉
2 你好,米尔恰·丹
2 霍夫兰,达格
2 贾伯,吉伦
2 贾加迪桑,拉达
2 贾帕里泽,乔治
2 安布罗斯,卡波西
2 卡普金,Krzysztof
2 科克,约阿希姆
2 科恩,米哈尔
2 兰格,马丁
…还有388位作者

按年份列出的引文

数据显示为存储在Wikidata中的Creative Commons CC0许可证。应进行更新和更正在Wikidata中.