×

计算机语言、系统和结构

国际期刊

简短标题: 计算。语言系统。结构。
出版商: 爱思唯尔(佩加蒙),牛津
国际标准编号: 1477-8424
在线: https://www.sciencedirect.com/journal/computer-languages-systems-and-structures/issues
前任: 计算机语言
评论: 期刊;不再索引
已编制索引的文档: 109出版物(2002–2017)
索引的引用: 105出版物参考文献3094。
全部的 前5名

作者

6 阿戈斯蒂诺·科尔特斯
5 Stéphane Ducasse
5 罗埃尔·伍兹
里卡多·福卡尔迪
2 亚历山大·贝格尔
2 奇亚拉·布拉金
2 弗洛里安·布兰德纳
2 马塞洛·R·坎波。
2 陈洁才
2 程春田
2 Mehran S·法拉。
2 约翰·C·卢斯。
2 Vivek Nigam先生
2 罗纳德·奥尔森。
2 卡拉广场
2 安德烈·斯克洛夫
2 纳撒内尔·施亚利
2 尚伟佳
2 杨,吴
2 亚历杭德罗·祖尼诺
1 阿萨勒阿杰
1 维克拉姆·阿格拉瓦尔
1 马尔科·阿尔迪努奇
1 阿纳利亚·阿曼迪
1 阿米尔·穆罕默德(Amir-Mhammadian,Sepehr)
1 阿姆托夫特,托本
1 西奥多·安德洛尼科斯
1 安德烈·阿鲁索艾
1 埃米尔·阿克塞尔森
1 塔贾纳Ban Kirigin
1 巴博萨、路易斯·索亚雷斯
1 吉尔·巴特
1 阿弥陀佛巴苏
1 杰拉尔德·鲍姆加特纳
1 格雷戈里·本森。
1 伦纳特·贝林格
1 加利纳州贝索娃
1 罗伯托·比戈尼亚。
1 安德鲁·菲利普·布莱克
1 安娜丽莎·博西
1 努里·布拉卡迪
1 尼古拉斯·G·布尔巴吉斯。
1 理查德·肖恩·鲍曼
1 梅拉·布鲁索
1 巴雷特·R·布莱恩特。
1 米歇尔·布格列西
1 阿尔瓦罗·坎波斯。
1 朱塞佩·卡斯塔尼亚
1 莫里斯·张
1 郭敬洲
1 米歇尔·切萨姆
1 Chen,Jim X。
1 克拉克,大卫
1 克拉克、戴夫
1 凯文·克莱尔曼
1 丹尼尔·科奇奥娃
1 保罗·科克肖特
1 科伦拜特,昆廷
1 班诺伊·库梅莱
1 朱利娅·科斯坦蒂尼
1 弗雷德里克·达布罗斯基
1 亚历山德罗·达尔·帕洛
1 安德烈·玛丽安(Andrei Marian Dan)
1 马可·丹拉托托
1 詹姆斯·吉尔·德·拉马德里德
1 何塞·德·奥利维拉·吉马朗斯
1 朱塞佩·德拉·佩纳
1 阿德里安·德迈德
1 马库斯·丹克
1 Dhamdhere,Dhananjay M。
1 Maja D'Hondt
1 罗伯托·迪·科斯莫
1 弗拉基米尔·奥·迪奥里奥。
1 亚历山德罗斯·C·迪莫普洛斯。
1 董泽刚
1 阿戈斯蒂诺·多维尔
1 迪帕克·D’Souza
1 尼尔斯·埃尔曼瑞奇
1 皮埃特罗·费拉拉
1 尤金·福多尔(Eugene F.Fodor)。
1 尼库·弗鲁贾。
1 戈帕尔·古普塔
1 约翰·加拉赫(John P.Gallagher)。
1 皮埃尔·洛伊奇
1 蒂埃里·戈蒂埃
1 葛廷坚
1 哈利勒·戈尔巴尔
1 科斯塔斯·古提斯(Costas E.Goutis)。
1 罗伯特·格拉博夫斯基
1 克里斯·吉贝尔斯
1 郭海峰
1 盖坦·海恩斯
1 拉朱·哈尔德
1 哈米迪,哈米德·雷扎
1 斯特凡·哈内伯格
1 克里斯·汉金。
1 大卫·哈拉伯达
1 戈雷尔·赫丁
1 轩尼诗,Matthew C.B。
1 Heo,Kihong先生
…还有129位作者

按年份列出的出版物

zbMATH Open中包含的引文

57出版物有被引用142中的次131文件 引用人 年份
借助参数化系统进行模型检查和抽象(调查)。 Zbl 1072.68069号
勒诺尔·扎克;阿米尔·普努利
11
2004
Mizar的弯曲连接词。 Zbl 1387.68207号
阿图尔·科尔尼·奥维茨
9
2015
验证持久安全属性。 Zbl 1072.68065号
安娜丽莎·博西;里卡多·福卡尔迪;卡拉广场;萨宾娜·罗西
9
2004
使用凸多面体抽象和基于树自动机的细化进行Horn子句验证。 Zbl 1379.68239号
比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。
6
2017
在宽松的内存模型下进行验证的有效抽象。 兹比尔1379.68237
安德烈·丹;尤里·梅什曼;马丁·维切夫;埃兰·雅哈夫
6
2017
安全环境下的行为打字。 Zbl 1028.68005号
米歇尔·布格列西;朱塞佩·卡斯塔尼亚
5
2002
用于抽象解释的加宽和变窄运算符。 兹比尔1218.68100
阿戈斯蒂诺·科尔特斯;马泰奥·扎尼奥利
5
2011
高阶并发的一阶推理。 兹比尔1248.68355
瓦西里欧斯·库塔瓦斯;马修·轩尼诗
5
2012
类不变量作为跟踪语义的抽象解释。 Zbl 1387.68052号
弗朗西斯科·洛戈佐
4
2009
关于分层消息传递系统的推理。 Zbl 1072.68067号
Meenakshi,B。;拉马努贾姆,R。
4
2004
类Algol语言的信息流。 Zbl 1027.68021号
克拉克,大卫;克里斯·汉金;亨特,塞巴斯蒂安
4
2002
用于检查代数集和半代数集的正不变性的证明规则层次。 Zbl 1379.68238号
哈利勒·戈尔巴尔;安德鲁·索戈孔;安德烈·普拉泽
4
2017
涉及大型对象的表达式树的内存优化计算。 Zbl 1218.68072号
林志昌;托马斯·劳贝尔;杰拉尔德·鲍姆加特纳;丹尼尔·科奇奥娃;萨达亚潘,P。
4
2011
保护模块架构的完全抽象跟踪语义。 Zbl 1387.68054号
马可·帕特里格纳尼;克拉克、戴夫
2015
基于语言转换的符号执行。 Zbl 1387.68047号
安德烈·阿鲁索艾;多雷尔·卢卡努;弗拉德·鲁苏
2015
使用分类模型的开发工具的意外集成。 Zbl 1091.68014号
罗埃尔·伍兹;Stéphane Ducasse
2004
移动环境中的安全边界。 Zbl 1028.68004号
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡尔迪
2002
用状态表示简单语言中的程序等价性。 Zbl 1248.68155号
尼科斯·齐夫列科斯
2012
一种通过利用软件信息和内存结构来加速循环内核的方法。 Zbl 1387.68065号
凯莱福拉斯、瓦西里奥斯;安吉利基·克里蒂卡库;科斯塔斯·古提斯
2
2015
行为多视图模型的图内和图间一致性检查。 Zbl 1387.68051号
佩特拉·考夫曼;马丁·克罗内格;安德烈亚斯·普范德勒;马蒂娜·塞德尔;马格达莱娜·维德尔
2
2015
应用模型检查解决半结构化数据的查询。 Zbl 1387.68104号
A.多维尔。;E.昆塔雷利。
2
2009
保存编译的安全类型。 Zbl 1109.68025号
吉尔·巴特;塔玛拉·雷兹克;阿弥陀佛巴苏
2
2007
移动环境的嵌套分析。 Zbl 1072.68066号
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡尔迪;弗拉米尼娅·卢西奥。;卡拉广场
2
2004
环境微积分中的有序通信。 Zbl 1051.68029号
托尔本阿姆托夫特;阿萨夫·科福里。;圣地亚哥·M·佩里卡斯·格特森。
2
2002
C++程序中动态内存管理的研究。 Zbl 1038.68015号
Lee、Woo Hyong;莫里斯·张
2
2002
基于非连续分区的数组内容静态分析。 Zbl 1379.68096号
刘江超;对手,泽维尔
2
2017
有限内存协议。 Zbl 1308.68055号
马克斯·卡诺维奇;基里金,塔贾娜·班;Vivek Nigam先生;安德烈·斯克洛夫
2
2014
增量维护分布式逻辑程序。 Zbl 1248.68129号
Vivek Nigam先生;贾利民;Loo,Boon Thau先生;安德烈·斯克洛夫
2
2012
使用区域类型系统验证指针和字符串分析。 Zbl 1290.68034号
伦纳特·贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼
2
2013
语际反思:一个概念模型及其实现。 Zbl 1103.68465号
克里斯·吉贝尔斯;罗埃尔·伍兹;Stéphane Ducasse;Maja D'Hondt
1
2006
Smalltalk的运行时字节码转换。 Zbl 1102.68435号
马库斯·登克;Stéphane Ducasse;埃里克·坦特
1
2006
结合内涵视图的代码和设计:案例研究。 Zbl 1102.68449号
男人,金;安迪·凯伦斯;Pluquet、Frédéric;罗埃尔·伍兹
1
2006
计算网格的并行资源协同分配。 Zbl 1103.68338号
李惠贤;程春田;周,K.W。
1
2007
扩展movilog以支持web服务。 Zbl 1103.68344号
克里斯蒂安·马特奥斯;亚历杭德罗·祖尼诺;马塞洛·坎波
1
2007
带有线程转义的嵌套原子节的形式语义。 Zbl 1387.68048号
福雷德里克·达布罗夫斯基;弗雷德里克·卢勒格;托马斯·品萨尔
1
2015
关于架构重构的验证。 Zbl 1387.68071号
亚历杭德罗·桑切斯;亚历山大·马德拉;路易斯·巴博萨。
1
2015
编译和验证安全关键反应系统的SC-SystemJ程序。 Zbl 1387.68053号
和平公园;阿维纳什·马利克;萨尔西奇、佐兰
1
2015
中量级Java中调度器相关的不干涉的规范和静态实施。 兹比尔1387.68050
伊兰曼内什、泽纳布;Mehran S·法拉。
1
2016
可视化和高度确定的下推自动机的有效确定。 Zbl 1387.68160号
拉多米尔·波拉赫;特拉夫尼切克,简;Janoušek,扬;博伊沃伊·梅利查
1
2016
确定逻辑程序备选方案的动态重新排序。 Zbl 1387.68058号
郭海峰;戈帕尔·古普塔
1
2009
CCS的单调框架。 Zbl 1387.68172号
尼尔森、汉内·里斯;弗莱明·尼尔森
1
2009
计算网格中优化资源分配的实用性驱动解决方案。 Zbl 1387.68045号
李志杰;程春田;黄飞雪
1
2009
证明\(\mathrm{C}^{#}\)的类型安全性。 Zbl 1387.68049号
尼库·弗鲁贾。
1
2010
依赖条件图:程序点之间依赖的精确条件。 Zbl 1387.68073号
斯里哈里苏库马兰;阿肖克·斯列尼瓦斯;梅塔,拉文德拉
1
2010
多维稠密数组上并行计算的微积分。 Zbl 1112.68058号
罗伯托·迪·科斯莫;李,郑;佩拉加蒂,苏珊娜
1
2007
批量同步并行进程代数。 Zbl 1112.68105号
亚美尼亚梅林;盖坦·海恩斯
1
2007
在模型检查中使用对称约简。 Zbl 1072.68068号
西斯特拉·A·普拉萨德
1
2004
使用基于mixin的继承的安全元类组合。 Zbl 1072.68518号
努里·布拉卡迪
1
2004
在非确定性计算中处理动态环境的最佳数据结构。 Zbl 1027.68038号
彭泰利,E。;D.兰扬。;Dal Palú,A。
1
2002
从列表、数组和对象中进行统一选择。 Zbl 1038.68016号
约翰·C·卢斯。
1
2002
增量编程语言开发。 Zbl 1101.68632号
马尔扬·默尼克;维尔杰姆·舒默
1
2005
JavaLog:基于框架的Java和Prolog集成,用于面向代理的编程。 Zbl 1079.68519号
阿纳利亚·阿曼迪;马塞洛·坎波;亚历杭德罗·祖尼诺
1
2005
类框:控制类扩展的可见性。 Zbl 1101.68441号
亚历山大·贝格尔;Stéphane Ducasse;奥斯卡·尼尔斯特拉斯;罗埃尔·伍兹
1
2005
作为紧凑表示的逻辑程序。 Zbl 1059.68018号
帕特里夏·M·希尔。;福斯托·斯波托
1
2003
通过抽象解释证明时间属性的排序函数推断。 Zbl 1379.68101号
城市,卡特里娜;安托万·米内
1
2017
二叉树作为计算框架。 Zbl 1296.68028号
大卫·哈拉伯达;保罗·塔劳
1
2013
通过图剪枝优化最坏情况下的执行时间界限。 兹比尔1308.68024
弗洛里安·布兰德纳;亚历山大·乔丹
1
2014
使用凸多面体抽象和基于树自动机的细化进行Horn子句验证。 Zbl 1379.68239号
比肖克桑·卡夫;约翰·加拉赫(John P.Gallagher)。
6
2017
在宽松的内存模型下进行验证的有效抽象。 兹比尔1379.68237
安德烈·丹;尤里·梅什曼;马丁·维切夫;埃兰·雅哈夫
6
2017
用于检查代数集和半代数集的正不变性的证明规则层次。 Zbl 1379.68238号
哈利勒·戈尔巴尔;安德鲁·索戈孔;安德烈·普拉泽
4
2017
基于非连续分区的数组内容静态分析。 Zbl 1379.68096号
刘江超;对手,泽维尔
2
2017
通过抽象解释证明时间属性的排序函数推断。 Zbl 1379.68101号
城市,卡特里娜;安托万·米内
1
2017
中量级Java中调度器相关的不干涉的规范和静态实施。 Zbl 1387.68050号
伊兰曼内什、泽纳布;Mehran S·法拉。
1
2016
可视化和高度确定的下推自动机的有效确定。 Zbl 1387.68160号
拉多米尔·波拉赫;特拉夫尼切克,简;Janoušek,扬;博伊沃伊·梅利查
1
2016
Mizar的弯曲连接词。 Zbl 1387.68207号
阿图尔·科尔尼·奥维茨
9
2015
保护模块架构的完全抽象跟踪语义。 Zbl 1387.68054号
马可·帕特里格纳尼;克拉克、戴夫
2015
基于语言转换的符号执行。 Zbl 1387.68047号
安德烈·阿鲁索艾;多雷尔·卢卡努;弗拉德·鲁苏
2015
一种通过利用软件信息和内存结构来加速循环内核的方法。 Zbl 1387.68065号
凯莱福拉斯、瓦西里奥斯;安吉利基·克里蒂卡库;科斯塔斯·古提斯
2
2015
行为多视图模型的图内和图间一致性检查。 Zbl 1387.68051号
佩特拉·考夫曼;马丁·克罗内格;安德烈亚斯·普范德勒;塞德尔,玛蒂娜;马格达莱娜·维德尔
2
2015
带有线程转义的嵌套原子节的形式语义。 Zbl 1387.68048号
福雷德里克·达布罗夫斯基;弗雷德里克·卢勒格;托马斯·品萨尔
1
2015
关于架构重构的验证。 Zbl 1387.68071号
亚历杭德罗·桑切斯;亚历山大·马德拉;路易斯·巴博萨。
1
2015
编译和验证安全关键反应系统的SC-SystemJ程序。 Zbl 1387.68053号
和平公园;阿维纳什·马利克;萨尔西奇、佐兰
1
2015
有限内存协议。 Zbl 1308.68055号
马克斯·卡诺维奇;塔贾纳·班·基里金;Vivek Nigam先生;安德烈·斯克洛夫
2
2014
通过图剪枝优化最坏情况下的执行时间界限。 Zbl 1308.68024号
弗洛里安·布兰德纳;亚历山大·乔丹
1
2014
使用区域类型系统验证指针和字符串分析。 Zbl 1290.68034号
伦纳特·贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼
2
2013
二叉树作为计算框架。 兹比尔1296.68028
大卫·哈拉伯达;保罗·塔劳
1
2013
高阶并发的一阶推理。 Zbl 1248.68355号
瓦西里欧斯·库塔瓦斯;马修·轩尼诗
5
2012
用状态表示简单语言中的程序等价性。 Zbl 1248.68155号
尼科斯·齐夫列科斯
2012
增量维护分布式逻辑程序。 Zbl 1248.68129号
Vivek Nigam先生;贾利民;Loo,Boon Thau先生;安德烈·斯克洛夫
2
2012
用于抽象解释的加宽和变窄运算符。 兹比尔1218.68100
阿戈斯蒂诺·科尔特斯;马泰奥·扎尼奥利
5
2011
涉及大型对象的表达式树的内存优化计算。 Zbl 1218.68072号
林志昌;托马斯·劳贝尔;杰拉尔德·鲍姆加特纳;丹尼尔·科奇奥娃;萨达亚潘,P。
4
2011
证明\(\mathrm{C}^{#}\)的类型安全性。 Zbl 1387.68049号
尼库·弗鲁贾。
1
2010
依赖条件图:程序点之间依赖的精确条件。 Zbl 1387.68073号
斯里哈里苏库马兰;阿肖克·斯列尼瓦斯;梅塔,拉文德拉
1
2010
类不变量作为跟踪语义的抽象解释。 Zbl 1387.68052号
弗朗西斯科·洛戈佐
4
2009
应用模型检查解决半结构化数据的查询。 Zbl 1387.68104号
A.多维尔。;E.昆塔雷利。
2
2009
确定性逻辑程序备选方案的动态重新排序。 Zbl 1387.68058号
郭海峰;戈帕尔·古普塔
1
2009
CCS的单调框架。 Zbl 1387.68172号
尼尔森、汉内·里斯;弗莱明·尼尔森
1
2009
计算网格中优化资源分配的实用性驱动解决方案。 Zbl 1387.68045号
李志杰;程春田;黄飞雪
1
2009
保存编译的安全类型。 Zbl 1109.68025号
吉尔·巴特;塔玛拉·雷兹克;阿弥陀佛巴苏
2
2007
计算网格的并行资源协同分配。 Zbl 1103.68338号
李惠贤;程春田;周,K.W。
1
2007
扩展movilog以支持web服务。 Zbl 1103.68344号
克里斯蒂安·马泰奥斯;亚历杭德罗·祖尼诺;马塞洛·坎波
1
2007
多维稠密数组上并行计算的微积分。 Zbl 1112.68058号
罗伯托·迪·科斯莫;李,郑;苏珊娜·佩拉加蒂
1
2007
批量同步并行进程代数。 Zbl 1112.68105号
亚美尼亚梅林;盖坦·海恩斯
1
2007
语际反思:一个概念模型及其实现。 Zbl 1103.68465号
克里斯·吉贝尔斯;罗埃尔·伍兹;Stéphane Ducasse;D’Maja Hondt
1
2006
Smalltalk的运行时字节码转换。 Zbl 1102.68435号
马库斯·丹克;Stéphane Ducasse;埃里克·坦特
1
2006
结合内涵视图的代码和设计:案例研究。 Zbl 1102.68449号
男人,金;安迪·凯伦斯;弗雷德里克·普卢奎;罗埃尔·伍兹
1
2006
增量编程语言开发。 Zbl 1101.68632号
马尔扬·默尼克;维尔杰姆·舒默
1
2005
JavaLog:基于框架的Java和Prolog集成,用于面向代理的编程。 Zbl 1079.68519号
阿纳利亚·阿曼迪;马塞洛·坎波;亚历杭德罗·祖尼诺
1
2005
类框:控制类扩展的可见性。 Zbl 1101.68441号
亚历山大·贝格尔;Stéphane Ducasse;奥斯卡·尼尔斯特拉斯;伍茨,罗尔
1
2005
借助参数化系统进行模型检查和抽象(调查)。 Zbl 1072.68069号
勒诺尔·扎克;阿米尔·普努利
11
2004
验证持久安全属性。 Zbl 1072.68065号
安娜丽莎·博西;里卡多·福卡尔迪;卡拉广场;萨宾娜·罗西
9
2004
关于分层消息传递系统的推理。 Zbl 1072.68067号
Meenakshi,B。;拉马努贾姆,R。
4
2004
使用分类模型意外集成开发工具。 Zbl 1091.68014号
罗埃尔·伍兹;Stéphane Ducasse
2004
移动环境的嵌套分析。 Zbl 1072.68066号
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡尔迪;弗拉米尼娅·卢西奥。;卡拉广场
2
2004
在模型检查中使用对称约简。 Zbl 1072.68068号
西斯特拉·A·普拉萨德
1
2004
使用基于mixin的继承的安全元类组合。 Zbl 1072.68518号
努里·布拉卡迪
1
2004
作为紧凑表示的逻辑程序。 Zbl 1059.68018号
帕特里夏·M·希尔。;福斯托·斯波托
1
2003
安全环境下的行为打字。 Zbl 1028.68005号
米歇尔·布格列西;朱塞佩·卡斯塔尼亚
5
2002
类Algol语言的信息流。 Zbl 1027.68021号
克拉克,大卫;克里斯·汉金;亨特,塞巴斯蒂安
4
2002
移动环境中的安全边界。 Zbl 1028.68004号
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡尔迪
2002
环境微积分中的有序通信。 Zbl 1051.68029号
阿姆托夫特,托本;阿萨夫·科福里。;圣地亚哥·M·佩里卡斯·格特森。
2
2002
C++程序中动态内存管理的研究。 Zbl 1038.68015号
Lee、Woo Hyong;Chang,Morris莫里斯
2
2002
在非确定性计算中处理动态环境的最佳数据结构。 Zbl 1027.68038号
彭泰利,E。;D.兰扬。;Dal Palú,A。
1
2002
从列表、数组和对象中进行统一选择。 Zbl 1038.68016号
约翰·C·卢斯。
1
2002
全部的 前5名

300位作者引用

6 阿戈斯蒂诺·科尔特斯
6 阿图尔·科尔尼·奥维茨
4 艾哈迈德·博阿贾尼
4 约翰·加拉赫(John P.Gallagher)。
4 比肖克桑·卡夫
4 佩雷斯,豪尔赫·A。
4 卡拉广场
4 萨宾娜·罗西
西迪·穆罕默德·贝拉希
亚历山大·贝格尔
奇亚拉·布拉金
伊利亚卡斯特拉尼
马里亚纽拉州Dezani-Ciancaglini
康斯坦丁埃纳
皮埃特罗·费拉拉
里卡多·福卡尔迪
亚当·格拉博夫斯基
亚当·纳莫维奇
弗莱明·尼尔森
Vivek Nigam先生
汉内·里斯·尼尔森
安德鲁·索戈孔
福斯托·斯波托
海克·卫尔海姆
伍茨,罗尔
2 卡明·阿巴特
2 文森佐·阿塞里
2 马塞洛·R·坎波。
2 萨拉·卡佩基
2 萨迪·达尔瓦迪
2 伊曼纽尔·德·安吉利斯
2 西蒙·多尔蒂
2 Dongol,布里耶什
2 Stéphane Ducasse
2 法比奥·菲奥拉万蒂
2 格雷姆·恒河
2 皮埃尔·甘蒂
2 曼努埃尔五世(Manuel V.Hermenegildo)。
2 简·希尔斯顿
2 凯莱福拉斯,瓦西利奥斯一世。
2 安迪·凯伦斯
2 弗朗西丝卡·列维
2 安德烈亚·马林
2 克里斯蒂安·马特奥斯
2 肯尼思·麦克米兰。
2 Pąk,卡罗尔
2 马可·帕特里格纳尼
2 阿尔贝托·佩特罗西
2 安德烈·普拉泽
2 阿米尔·普努利
2 毛里齐奥·普罗埃蒂
2 里卡多·罗查
2 安德烈·罗西
2 戴维·桑吉奥吉
2 安德烈·斯克洛夫
2 彼得·沙赫特
2 纳撒内尔·施亚利
2 马克·塞沃
2 哈拉尔德·森德加德
2 玛丽亚·索托
2 彼得·詹姆斯·斯塔基
2 Tan,Yong Kiam先生
2 伯纳多·托尼霍
2 Lenore D.扎克。
2 亚历杭德罗·祖尼诺
1 帕罗什·阿齐兹·阿卜杜拉
1 马尔科·阿尔迪努奇
1 玛丽亚·阿尔普特
1 安德烈·阿鲁索艾
1 穆罕默德·法乌齐(Mohamed Faouzi Atig)
1 伊塔·巴拉班
1 克莱门特巴拉布里加
1 塔贾纳Ban Kirigin
1 格拉泽戈兹·班塞雷克
1 马西莫·巴托莱蒂
1 安娜·贝基
1 贝拉德,贝特里奇
1 罗伯托·比戈尼亚。
1 布莱克,安德鲁·菲利普
1 罗伯托·布兰科
1 迈克尔·布隆丁
1 贝内迪克特·博利格
1 约翰·博格斯特罗姆
1 雷米·波顿
1 理查德·肖恩·鲍曼
1 约翰·布里肖
1 Busi,Matteo公司
1 Czesław拜林斯基
1 路易斯·凯雷斯
1 弗兰克·卡塞兹
1 塞尔吉奥·卡斯特罗
1 伊万格洛斯·查齐卡利姆尼奥斯
1 亚历山德罗·西马蒂
1 瑟·特凡·乔巴赫
1 克拉克,戴夫
1 罗伯特·J·科尔文。
1 凯瑟琳·科德威尔
1 朱利娅·科斯坦蒂尼
1 西尔维亚·克拉法
1 路易斯·克鲁兹·菲利佩
…还有200多名作者

按年份列出的引文