马克·亚当斯 11出版物(1986–2019)编入索引的 60条引文 合著者： 保罗·H·缪尔。；史蒂文·奥布阿（Steven Obua）；大卫·阿斯皮纳尔… 主要字段： 计算机科学（68-XX） 发布日期： 马克·亚当斯
威廉·艾特肯（William E.Aitken）。 2出版物(1999–2011)编入索引的 2引文 合著者： 康斯特布尔，罗伯特·李；弗兰兹·约瑟夫·莱默迈耶（Franz Josef Lemmermeyer）；朱迪思·安德伍德。 主要字段： 计算机科学（68-XX） 发布日期： 威廉·艾特肯（William E.Aitken）。
Stuart F.艾伦。 6出版物(1975–2006)编入索引的 20引文 合著者： 康斯特布尔，罗伯特·李；理查德·伊顿（Richard Eaton）；克里斯托夫·克里茨… 主要字段： 计算机科学（68-XX） 发布日期： 斯图亚特·艾伦。;斯图亚特·艾伦;艾伦，S.F。 更多。。。较少的
阿南德，阿比舍克 9出版物(2013–2024)编入索引的 26引文 合著者： 西蒙·博利埃（Simon Boulier）；科恩、西里尔；文森特·拉利（Vincent Rahli）… 主要字段： 计算机科学（68-XX） 发布日期： 阿南德，阿比舍克
奥费尔·阿列利 69出版物(1996–2023)编入索引的 528条引文 合著者： 安娜·扎曼斯基（Anna Zamansky）；阿诺·阿夫隆；马克·德内克（Marc Denecker）… 主要字段： 计算机科学（68-XX） 发布日期： 奥费尔·阿列利;O·阿里利。
大卫·阿斯皮纳尔 37出版物(1977–2021)编入索引的 99引文 合著者： 吕斯，克里斯托夫；马丁·霍夫曼；丹尼，埃文… 主要字段： 计算机科学（68-XX） 发布日期： 大卫·阿斯皮纳尔;阿斯皮纳尔，D。
哈尼尔·巴博萨 13出版物(2017–2024)编入索引的 55引文 合著者： 安德鲁·雷诺兹（Andrew Reynolds）；蒂内利、塞萨尔；克拉克·W·巴雷特… 主要字段： 计算机科学（68-XX） 发布日期： 哈尼尔·巴博萨
亨德里克·彼得·巴伦德雷格特 71出版物(1973–2022)编入索引的 1531引文 合著者： 科洛普（Klop）、扬·威廉姆（Jan Willem）；理查德·斯塔特曼（Richard Statman）；Wil J.M.Dekkers… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 亨克·巴伦德雷格特;巴伦德里格特，H.P。;Barendregt，Henk P。;巴伦德雷格特，H。;亨德里克·彼得·巴伦德雷格特 更多。。。较少的
克拉克·W·巴雷特。 79出版物(2000–2023)编入索引的 540条引文 合著者： 蒂内利、塞萨尔；安德鲁·雷诺兹（Andrew Reynolds）；尤尼·佐哈尔… 主要字段： 计算机科学（68-XX） 发布日期： 克拉克·巴雷特;克拉克·W·巴雷特。;克拉克·巴雷特 更多。。。较少的
David A.Basin。 112出版物(1988–2023)编入索引的 371条引文 合著者： 卢卡·维甘诺；费利克斯·克莱特克（Felix Klaedtke）；塞恩·马修斯… 主要字段： 计算机科学（68-XX） 发布日期： 戴维·巴恩斯;David A.Basin。
约瑟夫·贝茨。 2出版物(1985)编入索引的 18引文 合著者： 康斯特布尔，罗伯特·李；托德·诺布洛克（Todd B.Knoblock）。 主要字段： 计算机科学（68-XX） 发布日期： 约瑟夫·贝茨。;J.L.贝茨。
格特鲁德·鲍尔 5出版物(2000–2017)编入索引的 77条引文 合著者： 托拜厄斯·尼普科；马库斯·温泽尔；亚当斯，马克… 主要字段： 计算机科学（68-XX）；凸和离散几何（52-XX） 发布日期： 格特鲁德·鲍尔
乔纳森·本·奈姆 10出版物(2004–2018)编入索引的 51引文 合著者： 莱拉·阿姆古德；阿诺·阿夫隆；Salem Benferhat… 主要字段： 计算机科学（68-XX） 发布日期： 乔纳森·本·奈姆
珍妮·伊夫·贝齐奥 107出版物(1989–2022)编入索引的 539引文 合著者： 达科斯塔，牛顿·卡内罗·阿方索；奥塔维奥·布埃诺；Coniglio，Marcelo Esteban… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 珍妮·伊夫·贝齐奥;Jean-Yves贝齐奥;贝齐奥，J.-Y。;让·伊夫·贝齐奥;Jen-Yves贝齐奥;贝齐奥，J.Y。 更多。。。较少的
拉斯·布劳布罗克 3出版物(2020–2023)编入索引的 10引文 合著者： 约瑟夫·乌尔班（Josef Urban）；塞萨里·卡利西克；张，廖… 主要字段： 计算机科学（68-XX） 发布日期： 拉斯·布劳布罗克
贾斯敏·克里斯蒂安·布兰切特 67出版物(2009–2023)编入索引的 632引文 合著者： 安德烈·波佩斯库；德米特里·特雷特尔；亚历山大·本特坎普… 主要字段： 计算机科学（68-XX） 发布日期： 贾斯敏·克里斯蒂安·布兰切特;贾斯敏·布兰切特;Jasmin C.布兰切特。 更多。。。较少的
费多·阿列克塞维奇·博戈莫洛夫 156出版物(1969–2023)编入索引的 1009引文 合著者： Tschinkel，尤里；Cheltsov，Ivan Anatol'evich；Ludmil Katzarkov… 主要字段： 代数几何（14-XX）；几个复变量与解析空间（32-XX）；数论（11-XX）。。。 发布日期： 费多·博戈莫洛夫;F.A.博戈莫洛夫。;Fedor A.Bogomolov。;F.博戈莫洛夫。;费多·阿列克塞维奇·博戈莫洛夫 更多。。。较少的
艾伦·B·博罗丁。 95出版物(1971–2024)编入索引的 1875条引文 合著者： 潘克拉托夫，丹尼斯；拉加万，普拉巴卡尔；马丁·汤帕… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX） 发布日期： 艾伦·博罗丁;博罗丁，A。;艾伦·B·博罗丁。 更多。。。较少的
埃德温·布雷迪（Edwin C.Brady）。 11出版物(2004–2019)编入索引的 53引文 合著者： 凯文·哈蒙德；戴维·克里斯蒂安森（David R.Christiansen）。；尼古拉·博塔… 主要字段： 计算机科学（68-XX） 发布日期： 埃德温·布雷迪;埃德温·布雷迪（Edwin C.Brady）。
詹姆斯·布罗瑟斯顿 28出版物(2001–2021)编入索引的 138引文 合著者： 尼科斯·戈罗甘尼斯（Nikos Gorogannis）；卡诺维奇（Max Iosifovich）；加尔卡尼奥、克里斯蒂亚诺… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 詹姆斯·布罗瑟斯顿
乍得·布朗·爱德华 41出版物(1996–2024)编入索引的 214引文 合著者： 克里斯托夫·埃瓦尔德（Christoph Ewald），本兹穆勒（Benzmüller）；Michael Kohlhase；约瑟夫·乌尔班（Josef Urban）… 主要字段： 计算机科学（68-XX） 发布日期： 乍得·E·布朗。;乍得布朗;乍得·布朗·爱德华 更多。。。较少的
克里斯托弗·布朗 5出版物(2021–2023)编入索引的 合著者： James P.Fairbanks。；汉克斯，泰勒；埃文·帕特森（Evan Patterson）… 主要字段： 计算机科学（68-XX） 发布日期： 克里斯托弗·布朗
雅克·卡雷特 44出版物(2004–2021)编入索引的 98引文 合著者： Farmer，William M。；Sabry，Amr；沃尔克·索尔格… 主要字段： 计算机科学（68-XX）；总体主题；集合（00-XX） 发布日期： 雅克·卡雷特
乔恩·普罗科普 1出版物(2021)编入索引的 2引文 合著者： Lasse，Blaauwbroek；塞萨里·卡利西克；彼得罗夫斯基（Piotrowski）、巴托斯（Bartosz）… 主要字段： 计算机科学（68-XX） 发布日期： 乔恩·普罗科普
Steven W.T.张。 8出版物(1992–2018)编入索引的 4引文 合著者： Yuk，T.I。；Dan R.Ghica。；Koko Muroya… 主要字段： 计算机科学（68-XX） 发布日期： 史蒂文·张;Steven W.T.Cheung。
蝉蜕、阿加塔 79出版物(1995–2023)编入索引的 407引文 合著者： 马提亚斯·巴兹；Fermüller，Christian G。；拉马纳亚克、雷文莎… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 蝉蜕、阿加塔
皮埃尔·科尔比诺 12出版物(2004–2023)编入索引的 52引文 合著者： 卡琳·阿提森（Karine Altisen）；圣埃芬Devismes；布鲁诺·巴拉斯… 主要字段： 计算机科学（68-XX） 发布日期： 皮埃尔·科尔比诺
阿德里安·西萨里克 2出版物(2021–2022)编入索引的 1引文 合著者： 安布罗斯、盖格利；塞萨里·卡利西克；马托尔西，马特… 主要字段： 计算机科学（68-XX）；凸和离散几何（52-XX）；欧氏空间的调和分析（42-XX） 发布日期： 阿德里安·西萨里克
库卡斯·扎伊卡 16出版物(2011–2022)编入索引的 41引文 合著者： 塞萨里·卡利西克；Bessai，Jan；伊基奇、伯拉克… 主要字段： 计算机科学（68-XX） 发布日期： 库卡斯·扎伊卡;卢卡斯·查伊卡
Dang，Tat Dat公司 2出版物(2017–2023)编入索引的 54引文 合著者： 马克·亚当斯；格特鲁德·鲍尔；托马斯·卡利斯特·黑尔斯（Thomas Callister Hales）… 主要字段： 计算机科学（68-XX） 发布日期： Dang，Tat Dat公司
维克托·阿莱克桑德鲁·达尔瓦鲁 1出版物(2018)编入索引的 2引文 合著者： Steven W.T.Cheung。；Dan R.Ghica。；Koko Muroya… 主要字段： 计算机科学（68-XX） 发布日期： 维克托·达尔瓦鲁
纳鸿·德肖维茨 151出版物(1975–2022)编入索引的 1897引文 合著者： 乌迪·博克；Jean-Pierre Jouannaud；爱德华·马丁·莱因戈尔德… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： 纳鸿·德肖维茨;北卡罗来纳州德肖维茨。;纳鸿·德肖维茨 更多。。。较少的
大卫·L·迪尔。 46出版物(1986–2023)编入索引的 1494引文 合著者： 克拉克·巴雷特（Clark W.Barrett）。；谢尔盖·贝雷津（Sergey Berezin）；斯塔姆，亚伦… 主要字段： 计算机科学（68-XX） 发布日期： 大卫·L·迪尔。;大卫·迪尔;迪尔·D·L。 更多。。。较少的
西蒙·多尔蒂 9出版物(2016–2021)编入索引的 24引文 合著者： 大卫·J·派姆（David J.Pym）。；保罗·布鲁内特（Paul Brunet）；马修·科林森（Matthew Collinson）… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 西蒙·多尔蒂
詹姆斯·多纳休（James E.Donahue）。 5出版物(1976–1985)编入索引的 16引文 合著者： 罗伯特·李警官；艾伦·德默斯。 主要字段： 计算机科学（68-XX） 发布日期： 詹姆斯·多纳休（James E.Donahue）。;詹姆斯·多纳休
卡勒布·多诺维克 2出版物(2016–2021)编入索引的 合著者： Abu-Ghazaleh，Nael B。；克拉克·巴雷特（Clark W.Barrett）。；克里斯托弗·布朗… 主要字段： 计算机科学（68-XX） 发布日期： 卡勒布·多诺维克
Cvetan Dunchev公司 4出版物(2015)编入索引的 16引文 合著者： Khan Afshar、Sanaz；索菲涅·塔哈尔；Guidi，Ferruccio… 主要字段： 计算机科学（68-XX）；光学、电磁理论（78-XX） 发布日期： Cvetan Dunchev公司
理查德·伊顿 3出版物(2000–2006)编入索引的 21引文 合著者： 康斯特布尔，罗伯特·李；Lorigo，Lori；艾伦，斯图亚特·F·… 主要字段： 计算机科学（68-XX） 发布日期： 理查德·伊顿;伊顿，里奇;伊顿，R。 更多。。。较少的
伯拉克·埃基奇 7出版物(2016–2023)编入索引的 13引文 合著者： 克拉克·巴雷特（Clark W.Barrett）。；塞萨里·卡利西克；蒂内利、塞萨尔… 主要字段： 计算机科学（68-XX） 发布日期： 伯拉克·埃基奇
迈克尔·Färber 15出版物(1998–2024)编入索引的 27引文 合著者： 塞萨里·卡利西克；保罗，阿米特·库马尔；格尼丁，亚历山大五世… 主要字段： 计算机科学（68-XX） 发布日期： 迈克尔·Färber
帕斯卡·方丹 40份出版物(1991–2023)编入索引的 163引文 合著者： 克里斯托夫·林盖森（Christophe Ringeissen）；Stephan Merz；哈尼尔·巴博萨… 主要字段： 计算机科学（68-XX） 发布日期： 帕斯卡·方丹;方丹，P。
Thibault Gauthier 11出版物(2011–2024)编入索引的 60条引文 合著者： 塞萨里·卡利西克；约瑟夫·乌尔班（Josef Urban）；查德·爱德华·布朗（Chad Edward Brown）… 主要字段： 计算机科学（68-XX） 发布日期： Thibault Gauthier;Gauthier，T。
简·赫尔曼·杰弗斯 68出版物(1991–2022)编入索引的 294引文 合著者： 弗里克·维迪jk；约瑟夫·乌尔班（Josef Urban）；勒布、艾丽斯… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 赫尔曼·格乌弗斯;赫·格弗斯。;杰弗斯，J.H。 更多。。。较少的
Dan R.吉卡。 48出版物(2000–2023)编入索引的 192条引文 合著者： 安德烈·穆拉夫斯基（Andrzej S.Murawski）。；Koko Muroya；亚历克斯·史密斯… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： Dan R.吉卡。;吉卡，D.R。;丹·吉卡 更多。。。较少的
法杜阿·古拉比 7出版物(2006–2018)编入索引的 23引文 合著者： 艾达、铁雄；卡塞姆（Kasem）、阿斯姆（Asem）；高桥、川子… 主要字段： 计算机科学（68-XX）；几何（51-XX） 发布日期： 法杜阿·古拉比
尼科斯·戈罗甘尼斯 14出版物(2002–2017)编入索引的 106引文 合著者： Brotherston，詹姆斯；亨特，安东尼；Ryan，Mark Dermot… 主要字段： 计算机科学（68-XX） 发布日期： 尼科斯·戈罗甘尼斯
巴尔塔萨尔·格拉马耶 5出版物(2021–2024)编入索引的 11引文 合著者： 阿诺·阿夫隆；沃尔克·哈尔巴赫；阿尔伯特·维瑟（Albert Visser）… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 巴尔塔萨尔·格拉马耶
大卫·格林纳韦 6出版物(2001–2016)编入索引的 33引文 合著者： 罗德·法尔维；Andronick，六月；Jasmin Christian布兰切特… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX） 发布日期： 大卫·格林纳韦;D.格林纳韦。
大卫·格里斯 75出版物(1965–2005)编入索引的 748引文 合著者： 苏珊·奥维基。；弗雷德·施耐德（Fred B.Schneider）。；贾亚德夫·米斯拉（Jayadev Misra）… 主要字段： 计算机科学（68-XX） 发布日期： 大卫·格里斯
沃尔夫冈·格里斯坎普 11出版物(1993–2023)编入索引的 14引文 合著者： 玛格斯·维纳斯（Margus Veanes）；克拉克·巴雷特（Clark W.Barrett）。；大卫·L·迪尔… 主要字段： 计算机科学（68-XX） 发布日期： 沃尔夫冈·格里斯坎普
阿利森·古曼 1出版物(2021)编入索引的 合著者： 克拉克·巴雷特（Clark W.Barrett）。；克里斯托弗·布朗（Kristopher Brown）；卡勒布·多诺维克（Caleb Donovick）… 主要字段： 计算机科学（68-XX） 发布日期： 阿利森·古曼
托马斯·卡利斯特·黑尔斯 67出版物(1989–2024)编入索引的 633条引文 合著者： 肖恩·麦克劳林（Sean McLaughlin）；克拉克斯，拉夫；塞缪尔·弗格森（Samuel P.Ferguson）… 主要字段： 凸和离散几何（52-XX）；数论（11-XX）；拓扑群，李群（22-XX）。。。 发布日期： 托马斯·黑尔斯（Thomas C.Hales）。;托马斯·黑尔斯;哈尔斯，T.C。 更多。。。较少的
Joseph Yehuda Halpern 226出版物(1981–2023)编入索引的 4385条引文 合著者： 罗纳德·费金；瓦尔迪（Moshe Ya'akov Vardi）；摩西，约兰… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： 约瑟夫·霍尔珀（Joseph Y.Halpern）。;J.Y.Halpern。;约瑟夫·哈尔珀 更多。。。较少的
Hartmanis，法学家 115出版物(1956–2012)编入索引的 1544条引文 合著者： 理查德·埃德温（Richard Edwin Stearns）；Hemaspandra，A巷。；Richard Chang… 主要字段： 计算机科学（68-XX） 发布日期： J·哈特马尼斯。;Hartmanis，法学家
Hoáng LíTrờng 39出版物(2005–2024)编入索引的 163引文 合著者： 阮图炯；Yen，Hoang Ngoc；去吧，Shiro… 主要字段： 交换代数（13-XX） 发布日期： 黄乐忠;Truong、Hoang Le;Hoang Le Truong公司;Le Truong Hoang先生 更多。。。较少的
Furio Honsell 98出版物(1983–2022)编入索引的 691引文 合著者： 玛丽娜·莱妮莎；Marco Forti；小天鹅，伊凡… 主要字段： 计算机科学（68-XX） 发布日期： Furio Honsell;F.Honsell。
道格拉斯·J·豪。 19出版物(1973–2010)编入索引的 123引文 合著者： 艾米·费尔蒂（Amy P.Felty）。；Basin，David A。；贾瓦哈尔·奇里马尔… 主要字段： 计算机科学（68-XX） 发布日期： 道格拉斯·J·豪。;道格拉斯·豪;D.J.豪。 更多。。。较少的
亨特，哈里·鲍文三世 88出版物(1973–2023)编入索引的 801引文 合著者： 丹尼尔·罗森克兰茨（Daniel J.Rosenkrantz）。；理查德·埃德温（Richard Edwin Stearns）；马达夫五世（Madhav V.Marathe）… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： 亨特，H.B.III;亨特，哈里·B·三世;亨特，H.B。;亨特，哈里·鲍文三世;亨特，哈里·B·。;亨特，H.III 更多。。。较少的
艾达、铁雄 53出版物(1977–2023)编入索引的 59引文 合著者： 马林、米尔恰；高桥、Hidekazu；铃木、太郎… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： 艾达、铁雄
艾哈迈德·埃尔凡 9出版物(2017–2022)编入索引的 36引文 合著者： 阿尔贝托·格里乔；亚历山德罗·西马蒂；马可·罗维里（Marco Roveri）… 主要字段： 计算机科学（68-XX） 发布日期： 艾哈迈德·埃尔凡
杰弗里·欧文 4出版物(2006–2017)编入索引的 18引文 合著者： 塞萨里·卡利西克；Sarah M.Loos。；Henry Segerman… 主要字段： 计算机科学（68-XX） 发布日期： 杰弗里·欧文
Jakubův，简 16出版物(2016–2023)编入索引的 84引文 合著者： 约瑟夫·乌尔班（Josef Urban）；卡雷尔·克瓦洛夫斯克；戈泽尔（Goertzel）、查拉图斯特拉·阿马德乌斯（Zarathustra Amadeus）… 主要字段： 计算机科学（68-XX） 发布日期： Jakubův，简;Jan Jakubuv公司
Fairouz D.卡马雷丁。 91出版物(1992–2024)编入索引的 189条引文 合著者： Wells，Joe B。；阿亚拉·林康，毛里西奥；内德佩尔特，罗布… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 法鲁兹卡马雷丁;卡马雷丁，F。;Fairouz D.卡马雷丁。 更多。。。较少的
诺里希罗·卡米德 113出版物(1997–2023)编入索引的 331引文 合著者： 海因里希·西奥多（Heinrich Theodor）；鹿岛，Ryo；雅罗斯拉夫·什兰科… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 诺里希罗·卡米德
Kanovich、Max Iosifovich 111出版物(1969–2023)编入索引的 256篇引文 合著者： 安德烈·斯克洛夫（Andre Scedrov）；库兹涅佐夫（Kuznetsov）、斯蒂芬·勒沃维奇（Stepan L'vovich）；Nigam，Vivek… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 马克斯·卡诺维奇;M.I.卡诺维奇。;M.I.卡诺维奇。;马克斯·卡诺维奇。;马克斯·卡诺维奇。 更多。。。较少的
亚塞姆·卡塞姆 5出版物(2006–2017)编入索引的 21引文 合著者： 法杜阿·古拉比；艾达、铁雄；高桥，Hidekazu… 主要字段： 几何（51-XX）；计算机科学（68-XX）；凸和离散几何（52-XX） 发布日期： 亚塞姆·卡塞姆;A.卡塞姆。
阿里尔·凯利森（Ariel E.Kellison）。 2出版物(2019–2023)编入索引的 合著者： Andrew W.Appel。；马克·比克福德（Mark Bickford）；大卫·宾德尔（David S.Bindel）… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX） 发布日期： 阿里尔·凯利森（Ariel E.Kellison）。;阿里尔·凯利森
曼弗雷德·科伯 43出版物(1991–2023)编入索引的 94引文 合著者： 科林·罗亚特（Colin Rowat）；沃尔克·索尔格；本兹穆勒、克里斯托夫·埃瓦尔德… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： 曼弗雷德·科伯
萨纳兹·汗·阿夫沙尔 5出版物(2009–2015)编入索引的 16引文 合著者： 索菲涅·塔哈尔；奥斯曼·哈桑；Vincent Aravantinos… 主要字段： 计算机科学（68-XX） 发布日期： Khan Afshar，萨纳兹;萨纳兹·汗阿夫沙尔;萨纳兹·汗·阿夫沙尔 更多。。。较少的
乔恩·迈克尔·克莱伯格 109出版物(1992–2024)编入索引的 2567条引文 合著者： 埃瓦塔尔多斯；普拉巴卡尔·拉加万；David Kempe… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；组合数学（05-XX） 发布日期： 乔恩·克莱恩伯格;乔恩·克莱伯格（Jon M.Kleinberg）。
托德·诺布洛克（Todd B.Knoblock）。 2出版物(1985–2000)编入索引的 6引文 合著者： 约瑟夫·贝茨（Joseph L.Bates）。；康斯特布尔，罗伯特·李；雅各布·雷霍夫 主要字段： 计算机科学（68-XX） 发布日期： 托德·诺布洛克（Todd B.Knoblock）。;Knoblock，T.B.公司。
安德烈亚·科尔哈斯 14出版物(2004–2019)编入索引的 17引文 合著者： Michael Kohlhase；Edwin C.Brady。；大卫·卡塔琳（David，Catalin）… 主要字段： 计算机科学（68-XX） 发布日期： 安德烈亚·科尔哈斯
迈克尔·科尔哈斯 112出版物(1992–2023)编入索引的 387条引文 合著者： 弗洛里安·拉贝（Florian Rabe）；穆勒，丹尼斯；Kohlhase，Andrea… 主要字段： 计算机科学（68-XX） 发布日期： 迈克尔·科尔哈斯
比塔·科尼科夫斯卡 56出版物(1971–2020)编入索引的 194条引文 合著者： 阿诺·阿夫隆；沃伊切赫·彭泽克（Wojciech Penczek）；安娜·扎曼斯基… 主要字段： 计算机科学（68-XX） 发布日期： 比塔·科尼科夫斯卡;科尼科夫斯卡，B。
德克斯特·科岑。 135出版物(1978–2024)编入索引的 2723引文 合著者： 亚历山德拉·席尔瓦；让-巴蒂斯特·让宁；马穆拉斯，康斯坦丁诺斯… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： 德克斯特·科赞;德克斯特·科岑。;科赞，D。 更多。。。较少的
亚历山大·克劳斯 14出版物(2006–2016)编入索引的 175条引文 合著者： 托拜厄斯·尼普科；Jasmin Christian布兰切特；卢卡斯·布尔瓦恩… 主要字段： 计算机科学（68-XX） 发布日期： 亚历山大·克劳斯
克里斯托夫·克里茨 35出版物(1982–2012)编入索引的 224引文 合著者： Jens Otten；克劳斯·威劳赫（Klaus Weihrauch）；施密特，斯蒂芬… 主要字段： 计算机科学（68-XX） 发布日期： 克里斯托夫·克里茨;克里茨，C。
基里恩·克莱默 8出版物(2015–2022)编入索引的 42引文 合著者： 艾丽卡·阿尔布拉汉姆；克拉克·巴雷特（Clark W.Barrett）。；弗洛里安·科齐利厄斯（Florian Corzilius）… 主要字段： 计算机科学（68-XX） 发布日期： 基里恩·克莱默
丹尼尔·库尔温 10出版物(2010–2016)编入索引的 107引文 合著者： 约瑟夫·厄本；Jasmin Christian布兰切特；汤姆·M·海斯克斯… 主要字段： 计算机科学（68-XX） 发布日期： 丹尼尔·库尔温
拉马纳·库马尔 73出版物(1974–2024)编入索引的 125引文 合著者： 玛格努斯·奥·米林（Magnus O.Myreen）。；迈克尔·诺里什（Michael Norrish）；古普塔、索拉巴… 主要字段： 计算机科学（68-XX） 发布日期： 拉马纳·库马尔
特温·拉恩 12出版物(1996–2012)编入索引的 19引文 合著者： Fairouz D.Kamaredine。；Rob Nederpelt；布洛，罗… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 特温·拉恩
汉娜·拉奇尼特 3出版物(2020–2022)编入索引的 5引文 合著者： 巴博萨、哈尼尔；克拉克·巴雷特（Clark W.Barrett）。；安东尼·博尔吉（Anthony Bordg）… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： 汉娜·拉奇尼特
索林·勒纳 7出版物(2002–2011)编入索引的 23引文 合著者： 迈克尔·斯特普（Michael Stepp）；泰特，罗斯；钱伯斯，克雷格… 主要字段： 计算机科学（68-XX） 发布日期： 索林·勒纳
日产李维斯 3出版物(2017–2021)编入索引的 19引文 合著者： 阿诺·阿夫隆；缓冲带，Niv；海特纳，伊夫塔赫… 主要字段： 数学逻辑与基础（03-XX）；信息与通信理论，电路（94-XX）；概率论与随机过程（60-XX） 发布日期： 日产李维斯
Sarah M.Loos。 2出版物(2016–2017)编入索引的 20引文 合著者： 杰弗里·欧文；塞萨里·卡利西克；安德烈·普拉泽… 主要字段： 计算机科学（68-XX） 发布日期： Sarah M.Loos。;莎拉·卢斯
洛里戈，洛里 4出版物(2000–2006)编入索引的 29引文 合著者： 康斯特布尔，罗伯特·李；理查德·伊顿（Richard Eaton）；克里斯托夫·克里茨… 主要字段： 计算机科学（68-XX） 发布日期： 洛里戈，洛丽;洛里戈，L。
维克托·马格伦 67出版物(2013–2024)编入索引的 277条引文 合著者： Jean-Bernard Lasserre；王杰；迪迪埃·亨利昂… 主要字段： 运筹学、数学规划（90-XX）；代数几何（14-XX）；计算机科学（68-XX）。。。 发布日期： 维克托·马格伦
马凯·曼 6出版物(2000–2022)编入索引的 5引文 合著者： 克拉克·巴雷特（Clark W.Barrett）。；艾哈迈德·艾尔凡；阿尔贝托·格里乔… 主要字段： 计算机科学（68-XX） 发布日期： 马凯·曼
乔安·马科斯 42出版物(1999–2022)编入索引的 462引文 合著者： 卡洛斯·卡莱罗；卡尼利，沃尔特·亚历山大；塞尔吉奥·马塞利诺… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 乔安·马科斯