马丁·阿巴迪 101出版物(1985–2023)编入索引的 1317引文 合著者： Fornet，塞德里克；布鲁诺·布兰切特；戈登·普洛金（Gordon D.Plotkin）… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX） 发布日期： 马丁·阿巴迪;马丁·阿巴迪;M.阿巴迪。 更多。。。较少的
安基永 11出版物(2000–2021)编入索引的 23引文 合著者： 罗斯·霍恩；蒂姆·谢尔德（Tim Sheard）；Tiu，Alwen Fernanto… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： 安基永;Ahn，K.Y.（安克英）。
米哈伊尔·艾扎图林 3出版物(2006–2013)编入索引的 5引文 合著者： 约翰·博格斯特罗姆；红葡萄酒，纪尧姆；弗洛里安·迪德里奇（Florian Diedrich）… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX） 发布日期： 米哈伊尔·艾扎图林
阿尔加莱、杰德 4出版物(2012–2017)编入索引的 33引文 合著者： 帕特里克·库索特（Patrick Cousot）；丹尼尔·科宁（Daniel Kröning）；Luc Maranget… 主要字段： 计算机科学（68-XX） 发布日期： 阿尔加莱、杰德
阿尔卡萨，埃亚德 4出版物(2008–2014)编入索引的 20引文 合著者： 诺伯特·W·希默（Norbert W.Schirmer）。；阿特姆·斯塔罗斯汀；塞巴斯蒂安·博根… 主要字段： 计算机科学（68-XX） 发布日期： 艾亚德·阿尔卡萨
梅尔·艾伦·威廉姆斯 3出版物(2005–2009)编入索引的 9引文 合著者： 皮埃尔·哈布泽特（Pierre Habouzit）；詹姆斯·J·莱弗。；彼得·休厄尔… 主要字段： 计算机科学（68-XX） 发布日期： 梅尔·艾伦·威廉姆斯
马里奥·阿尔维姆。 18出版物(2010–2023)编入索引的 24引文 合著者： 帕拉米德斯，卡图西亚；Chatzikokolakis，Konstantinos；米盖尔·安德烈斯… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX） 发布日期： 马里奥·阿尔维姆。
奥曼·波霍拉，约翰内斯 11出版物(2011–2020)编入索引的 31引文 合著者： 约阿希姆·帕罗；约翰·博格斯特罗姆；比约恩·维克多… 主要字段： 计算机科学（68-XX） 发布日期： 奥曼·波霍拉，约翰内斯;约翰·奥曼·波霍拉
西德尼·阿曼尼 2出版物(2016–2021)编入索引的 8引文 合著者： 陈子林；格温·克莱恩（Gerwin Klein）；穆雷、托比… 主要字段： 计算机科学（68-XX） 发布日期： 西德尼·阿曼尼
亚瑟·阿梅里科 4出版物(2017–2020)编入索引的 1引文 合著者： 马里奥·阿尔维姆。；Khouzani，MHR（阿曼）；马拉卡里亚，帕斯夸尔… 主要字段： 信息与通信理论，电路（94-XX） 发布日期： 亚瑟·阿梅里科
苏珊娜·安多瓦 17出版物(1997–2012)编入索引的 96引文 合著者： 索尼娅·乔治耶夫斯卡；埃里克·P·德文克。；Groenewegen，Luuk P.J… 主要字段： 计算机科学（68-XX） 发布日期： 苏珊娜·安多瓦;S.安多瓦。
安德罗尼克，六月 6出版物(2005–2022)编入索引的 17引文 合著者： 格温·克莱恩（Gerwin Klein）；Chetali，Bouthina；加米，彼得… 主要字段： 计算机科学（68-XX） 发布日期： Andronick，六月
安德鲁·W·阿佩尔。 45出版物(1976–2023)编入索引的 210引文 合著者： Lennart Beringer；Robert Dockins；约西亚·多兹… 主要字段： 计算机科学（68-XX） 发布日期： 安德鲁·W·阿佩尔。;安德鲁·阿佩尔
马丁·阿伦森 8出版物(1991–2021)编入索引的 1引文 合著者： 克鲁格，Per；托马斯·利登；Ali，Abderrahman Ait… 主要字段： 运筹学、数学规划（90-XX）；计算机科学（68-XX）；系统理论；控制（93-XX）。。。 发布日期： 马丁·阿伦森;M·阿伦森。
罗布·D·阿尔森。 25出版物(1982–2021)编入索引的 46引文 合著者： 保罗·奥利瓦；拉马纳库马尔；乌苏拉·马丁… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX） 发布日期： 罗布·阿尔坦;罗布·D·阿尔森。
布莱恩·艾德米尔。 3出版物(2005–2008)编入索引的 104引文 合著者： 斯蒂芬妮·威里奇；亚伦·博哈农；本杰明·皮尔斯（Benjamin C.Pierce）… 主要字段： 计算机科学（68-XX） 发布日期： 布莱恩·艾德米尔;布莱恩·艾德米尔。
Jos C.M.Baeten。 80种出版物(1979–2023)编入索引的 1003引文 合著者： Bergstra，简·A。；卢提克，巴斯；科洛普、扬·威廉姆… 主要字段： 计算机科学（68-XX） 发布日期： 巴顿，J.C.M。;Jos C.M.Baeten。;乔斯·贝顿;Baeten，J。 更多。。。较少的
迈克尔·巴尔达穆斯 9出版物(1991–2005)编入索引的 24引文 合著者： 哈特穆特·埃里格；费尔南多·奥雷贾斯（Fernando Orejas）；杰斯珀·本特森… 主要字段： 计算机科学（68-XX） 发布日期： 迈克尔·巴尔达穆斯
卡勒姆·班尼斯特 4出版物(2018–2023)编入索引的 2引文 合著者： Höfner，Peter；埃文格洛·奥斯特，纳索斯；伊恩·海耶斯（Ian J.Hayes）… 主要字段： 计算机科学（68-XX） 发布日期： 卡勒姆·班尼斯特
克拉克·W·巴雷特。 79出版物(2000–2023)编入索引的 540条引文 合著者： 蒂内利、塞萨尔；安德鲁·雷诺兹（Andrew Reynolds）；尤尼·佐哈尔… 主要字段： 计算机科学（68-XX） 发布日期： 克拉克·巴雷特;克拉克·W·巴雷特。;克拉克·巴雷特 更多。。。较少的
鲁道夫·伯哈默 115出版物(1982–2023)编入索引的 395条引文 合著者： 冈瑟·施密特；温特，迈克尔；Harrie C.M.de Swart… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX） 发布日期： 鲁道夫·伯哈默;R.伯哈默。
瑞安·贝桑德 1出版物(2005)编入索引的 1引文 合著者： 詹姆斯·布罗德曼（James C.Brodman）。；Hseu，Jonathan；比尔·金纳斯利（Bill Kinnersley）… 主要字段： 计算机科学（68-XX） 发布日期： 瑞安·贝桑德
苏拉吉·巴特 4出版物(2012–2020)编入索引的 6引文 合著者： 约翰·博格斯特罗姆；安德鲁·戈登（Andrew D.Gordon）。；拉索，克劳迪奥五世… 主要字段： 计算机科学（68-XX） 发布日期： 苏拉吉·巴特
加文·M·比尔曼。 28出版物(1993–2015)编入索引的 313引文 合著者： 瓦莱里亚·德·佩瓦；尼基尔·斯瓦米；彼得·休厄尔… 主要字段： 计算机科学（68-XX） 发布日期： G.M.比尔曼。;加文·比尔曼;加文·M·比尔曼。 更多。。。较少的
拉尔斯·比克达尔 110出版物(1997–2022)编入索引的 743引文 合著者： 阿列舍·比兹亚克；莫盖尔伯格，拉斯穆斯·埃杰勒斯；杨洪石… 主要字段： 计算机科学（68-XX） 发布日期： 拉尔斯·比克达尔;伯克达尔，L。
Steven R.主教。 62出版物(1987–2019)编入索引的 441引文 合著者： 迈克尔·克利福德（Michael J.Clifford）。；加尔瓦内托，乌戈；徐道林… 主要字段： 粒子和系统力学（70-XX）；动力系统与遍历理论（37-XX）；常微分方程（34-XX）。。。 发布日期： S.R.主教。;Steven R.主教。;史蒂文·毕晓普;Steve R.主教。;比肖普，S。;史蒂夫·毕晓普 更多。。。较少的
贾斯敏·克里斯蒂安·布兰切特 67出版物(2009–2023)编入索引的 632引文 合著者： 安德烈·波佩斯库；德米特里·特雷特尔；亚历山大·本特坎普… 主要字段： 计算机科学（68-XX） 发布日期： 贾斯敏·克里斯蒂安·布兰切特;贾斯敏·布兰切特;Jasmin C.布兰切特。 更多。。。较少的
亚伦·博哈农 4出版物（2001年至2008年）编入索引的 71引文 合著者： 布莱恩·艾德米尔。；J.Nathan Foster；本杰明·C·皮尔斯… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： 亚伦·博哈农
伯恩，彼得 3出版物(1991–2011)编入索引的 1引文 合著者： 马西莫·卡帕奇奥利；罗纳德·霍普（Ronald H.W.Hoppe）。；洛伦茨，海克… 主要字段： 信息与通信理论，电路（94-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX） 发布日期： 伯恩，彼得;Böhm，P
Richard博纳特 17出版物(1976–2013)编入索引的 126条引文 合著者： 加尔卡尼奥、克里斯蒂亚诺；哈桑·阿姆贾德；O'Hearn，Peter W… 主要字段： 计算机科学（68-XX） 发布日期： Richard博纳特;博纳特，R。
布莱恩，马丁 17出版物(2006–2023)编入索引的 61引文 合著者： 丹尼尔·科宁（Daniel Kröning）；阿尔贝托·格里乔；玛丽娜·德沃斯… 主要字段： 计算机科学（68-XX） 发布日期： 布莱恩，马丁;布莱恩，M。
巴西布里艾 8出版物(2002–2013)编入索引的 28引文 合著者： 乌韦·内斯特曼；Karine Deschingel；西德·阿赫迈德·阿里（Sid-Ahmed-Ali Touati）… 主要字段： 计算机科学（68-XX） 发布日期： 塞巴斯蒂安·布赖斯
詹姆斯·C·布罗德曼。 1出版物(2005)编入索引的 1引文 合著者： 瑞安·贝桑德（Ryan Besand）；Hseu，乔纳森；比尔·金纳斯利（Bill Kinnersley）… 主要字段： 计算机科学（68-XX） 发布日期： 詹姆斯·C·布罗德曼。
大卫·布罗曼 3出版物(2015–2021)编入索引的 35引文 合著者： 约翰·博格斯特罗姆；列夫·格林伯格；Leif Jonsson… 主要字段： 计算机科学（68-XX）；系统理论；控制（93-XX） 发布日期： 大卫·布罗曼
保罗·布鲁内特 24出版物(1989–2021)编入索引的 52引文 合著者： 亚历山德拉·席尔瓦；托拜厄斯·卡佩；Pous，Damien… 主要字段： 计算机科学（68-XX） 发布日期： 保罗·布鲁内特
卡梅隆·卡克 6出版物(2020–2023)编入索引的 4引文 合著者： 埃里克·古鲍特（Eric Goubault）；菲利普·马尔博斯（Philippe Malbos）；乔治·斯特鲁斯（Georg Struth）… 主要字段： 计算机科学（68-XX）；范畴理论；同调代数（18-XX） 发布日期： 卡梅隆·卡克
Sérgio V.A.坎波斯。 8出版物(1999–2021)编入索引的 4引文 合著者： 克拉克（Edmund Melson jun.Clarke）。；马吕斯·米娜；马里奥·阿尔维姆… 主要字段： 计算机科学（68-XX） 发布日期： 塞尔吉奥·坎波斯;Sérgio V.A.坎波斯。;Campos，S.V.A.公司。;塞尔吉奥·坎波斯 更多。。。较少的
马尔科·卡博尼 30份出版物(2002–2021)编入索引的 397引文 合著者： 吉田、Nobuko；蒙泰西（Fabrizio Montesi）；本田、Kohei… 主要字段： 计算机科学（68-XX） 发布日期： 马尔科·卡博尼
克里斯·卡辛基诺 5出版物(2012–2019)编入索引的 7引文 合著者： 斯蒂芬妮·威里奇；维勒姆·Sjöberg；Ahn，Ki Yung… 主要字段： 计算机科学（68-XX） 发布日期： 克里斯·卡辛基诺
大卫·卡斯特罗 7出版物(2001–2018)编入索引的 52引文 合著者： 路易斯·米盖尔·帕尔多；圣马汀，豪尔赫·阿隆索；蒙塔尼亚，何塞·路易斯… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；数论（11-XX） 发布日期： D.卡斯特罗。;大卫·卡斯特罗
吉安·卢卡·卡塔尼 10出版物(1997–2014)编入索引的 86引文 合著者： 格林·温斯克尔（Glynn Winskel）；马塞洛·菲奥雷（Marcelo P.Fiore）。；权力，约翰… 主要字段： 计算机科学（68-XX） 发布日期： 吉安·卢卡·卡塔尼
安娜·卡瓦尔坎蒂 83出版物(1998–2024)编入索引的 388条引文 合著者： 詹姆斯·伍德科克。；奥古斯托·桑帕约（Augusto C.A.Sampaio）。；泽达，弗兰克… 主要字段： 计算机科学（68-XX） 发布日期： 安娜·卡瓦尔坎蒂
罗德·查普曼 2出版物(2010–2021)编入索引的 2引文 合著者： James C.P.Woodcock。；埃米娜·哥科·艾达尔；珍妮特·巴恩斯… 主要字段： 计算机科学（68-XX） 发布日期： 罗德·查普曼
康斯坦蒂诺斯·查齐科科拉基斯 30份出版物(2004–2020)编入索引的 161引文 合著者： 帕拉米德斯，卡图西亚；马里奥·阿尔维姆。；帕南加登，普拉卡什… 主要字段： 计算机科学（68-XX） 发布日期： 康斯坦蒂诺斯·查齐科科拉基斯
陈子林 17出版物(1997–2022)编入索引的 10引文 合著者： 安东尼·威克斯特德（Anthony W.Wickstead）。；格温·克莱恩（Gerwin Klein）；穆雷、托比… 主要字段： 计算机科学（68-XX） 发布日期： 陈子林
Yoonsik Cheon先生 3出版物(1998–2005)编入索引的 16引文 合著者： Gary T.Leavens。；柯蒂斯·克利夫顿；大卫·R·科克… 主要字段： 计算机科学（68-XX） 发布日期： Yoonsik Cheon先生
红葡萄酒、纪尧姆 3出版物(2012–2013)编入索引的 7引文 合著者： 米哈伊尔·艾扎图林；约翰·博格斯特罗姆；德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德（Lourdes）… 主要字段： 计算机科学（68-XX） 发布日期： 红葡萄酒、纪尧姆
柯蒂斯·克利夫顿 4出版物(2000–2006)编入索引的 15引文 合著者： Gary T.Leavens。；比克达什，马尔旺大学。；Cheon，Yoonsik… 主要字段： 计算机科学（68-XX） 发布日期： 柯蒂斯·克利夫顿
内森·A·柯林斯。 4出版物(2006–2021)编入索引的 9引文 合著者： 埃里克·G·阿德尔伯格。；查尔斯·霍伊尔（Charles D.Hoyle）。；Ahn，Ki Yung… 主要字段： 计算机科学（68-XX） 发布日期： 柯林斯，内森;内森·A·柯林斯。;北卡罗来纳州柯林斯。 更多。。。较少的
乔治·康斯坦丁德斯（George A.Constantinides）。 22出版物(2002–2023)编入索引的 66引文 合著者： 埃里克·克里根（Eric C.Kerrigan）。；胡安·路易斯·赫雷斯；约翰·威克森… 主要字段： 计算机科学（68-XX）；系统理论；控制（93-XX）；数值分析（65-XX）。。。 发布日期： 康斯坦丁尼德斯，乔治A。;君士坦丁尼德斯，G.A。;乔治·康斯坦丁德斯 更多。。。较少的
西尔维亚·克拉法 31出版物（2000年至2022年）编入索引的 129引文 合著者： 米歇尔·布格列西；朱塞佩·卡斯塔尼亚；弗朗西斯科·兰扎托（Francesco Ranzato）… 主要字段： 计算机科学（68-XX） 发布日期： 西尔维亚·克拉法
詹姆斯·克兰奇 6出版物(2010–2021)编入索引的 3引文 合著者： 乔治·斯特鲁斯（Georg Struth）；霍尔格·博克·阿克塞尔森；西蒙·多尔蒂… 主要字段： 计算机科学（68-XX）；数论（11-XX）；信息与通信理论，电路（94-XX）。。。 发布日期： 詹姆斯·克兰奇
卡尔·克里 35出版物(1997–2018)编入索引的 142引文 合著者： 罗伯特·哈珀；斯蒂芬妮·威里奇；格雷格·莫里塞特（Greg Morrisett）… 主要字段： 计算机科学（68-XX） 发布日期： 卡尔·克里
乌戈·达尔拉戈 106出版物(2001–2023)编入索引的 465篇引文 合著者： 西蒙·马提尼；弗朗西斯科·加瓦佐；Patrick Baillot… 主要字段： 计算机科学（68-XX） 发布日期： 乌戈·达尔拉戈;乌戈·达尔·拉戈;美国达拉戈。 更多。。。较少的
布鲁克斯·戴维斯 1出版物(2019)编入索引的 合著者： David Chisnall；菲拉多，纳撒尼尔·韦斯利；Anthony C.J.福克斯… 主要字段： 计算机科学（68-XX） 发布日期： 布鲁克斯·戴维斯
马丁·戴维斯 91出版物(1953–2020)编入索引的 1847条引文 合著者： Hilary Whitehall，Putnam；所罗门·费弗曼；麦克莱恩，莱斯利·桑德斯… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；历史与传记（01-XX） 发布日期： 马丁·戴维斯;Davis，M。;马丁·D·戴维斯。;戴维斯，马丁·戴维;医学博士戴维斯。 更多。。。较少的
莱昂纳多·德·莫拉 41出版物(2002–2022)编入索引的 548条引文 合著者： 尼古拉·S·比约纳。；哈拉尔德街；克拉克·W·巴雷特… 主要字段： 计算机科学（68-XX） 发布日期： 莱昂纳多·德·莫拉;莱昂纳多·德·莫拉;莱昂纳多·德·莫拉;莱昂纳多·莫拉 更多。。。较少的
朱尔斯·德沙奈斯 50种出版物(1985–2020)编入索引的 289引文 合著者： 阿里·米利；莫勒，伯恩哈德；马克·弗拉皮耶（Marc Frappier）… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： 朱尔斯·德沙奈斯;J·德斯哈奈斯。
大卫·L·迪尔。 46出版物(1986–2023)编入索引的 1493引文 合著者： 克拉克·巴雷特（Clark W.Barrett）。；谢尔盖·贝雷津（Sergey Berezin）；斯塔姆，亚伦… 主要字段： 计算机科学（68-XX） 发布日期： 大卫·L·迪尔。;大卫·迪尔;迪尔·D·L。 更多。。。较少的
多兹，迈克 14出版物(2006–2021)编入索引的 40条引文 合著者： 马修·帕金森（Matthew J.Parkinson）。；阿列克谢·戈茨曼；巴蒂，马克… 主要字段： 计算机科学（68-XX） 发布日期： 多兹，迈克
西蒙·多尔蒂 16出版物(2004–2022)编入索引的 55引文 合著者： Dongol，Brijesh；Wehrheim，Heike；约翰·德里克… 主要字段： 计算机科学（68-XX） 发布日期： 西蒙·多尔蒂
阿拉斯泰尔·唐纳森。 23出版物（2005年至2019年）编入索引的 57引文 合著者： 爱丽丝·安·米勒（Alice Ann Miller）；卡德尔，莫菲；丹尼尔·科宁（Daniel Kröning）… 主要字段： 计算机科学（68-XX） 发布日期： 阿拉斯泰尔·唐纳森。;阿拉斯泰·唐纳森;A.F.唐纳森。 更多。。。较少的
布里杰什·多戈尔 39出版物(2006–2023)编入索引的 80条引文 合著者： Wehrheim，Heike；约翰·德里克（John Derrick）；西蒙·多尔蒂（Simon Doherty）… 主要字段： 计算机科学（68-XX） 发布日期： 布里杰什·多戈尔
马克·德拉斯 5出版物(2004–2022)编入索引的 3引文 合著者： 娜塔莎·费尔南德斯；Annabelle K.McIver。；Beheshti、Amin Rabiei… 主要字段： 计算机科学（68-XX） 发布日期： 马克·德拉斯
哈雷D.III伊德斯 3出版物(2009–2013)编入索引的 合著者： 阿伦·斯塔姆（Aaron Stump）；Ahn，Ki Yung；卡辛基诺，克里斯… 主要字段： 计算机科学（68-XX）；组合数学（05-XX） 发布日期： 哈雷D.III伊德斯
哈雷III伊德斯 9出版物(2013–2022)编入索引的 17引文 合著者： 瓦莱里亚·德·佩瓦；Orchard，Dominic A。；斯塔姆，亚伦… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 埃德斯，哈雷三世
鲁巴哈吉·奥马尔 1出版物(2013)编入索引的 3引文 合著者： 加林·基梅尔；阿伦·斯塔姆（Aaron Stump）；汉斯·赞特马 主要字段： 数学逻辑与基础（03-XX） 发布日期： 鲁巴哈吉·奥马尔
芭芭拉·埃斯皮诺萨 2出版物(2013–2014)编入索引的 15引文 合著者： Annabelle K.McIver。；拉里萨·梅尼基（Larissa A.Meinike）。；卡罗尔·C·摩根。 主要字段： 信息与通信理论，电路（94-XX） 发布日期： 芭芭拉·埃斯皮诺萨
乌里·法伦贝格 62出版物(2003–2023)编入索引的 328引文 合著者： Legay，Axel；Larsen，Kim Guldstrand；克劳斯·R·苏兰… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）。。。 发布日期： 乌里·法伦贝格;乌尔里奇·法伦伯格;Fahrenberg，美国。 更多。。。较少的
Fairbairn，Matthew W。 5出版物(2001–2019)编入索引的 53引文 合著者： 彼得·休厄尔（Peter Sewell）；布莱恩·艾德米尔。；Steven R.主教… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： 费尔贝恩，马修;Fairbairn，Matthew W。
本雅·法伦斯坦 3出版物（2015年至2016年）编入索引的 3引文 合著者： 保罗·F·克里斯蒂亚诺。；亚伯兰·登斯基；Scott M.Garrabrant… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX） 发布日期： 本杰·法伦斯坦
塞巴斯蒂安·法夸尔 2出版物(1998–2023)编入索引的 合著者： 汤姆·埃弗里特；扎卡里·肯顿；拉马纳库马尔… 主要字段： 计算机科学（68-XX） 发布日期： 塞巴斯蒂安·法夸尔;南卡罗来纳州法夸尔。
安斯加·芬克 16出版物(2001–2021)编入索引的 218引文 合著者： Bruce H.Krogh。；Gerd Behrmann；克拉克、埃德蒙·梅尔森（Edmund Melson jun.）… 主要字段： 计算机科学（68-XX）；系统理论；控制（93-XX） 发布日期： 安斯加·芬克
娜塔莎·费尔南德斯 8出版物(1989–2022)编入索引的 1引文 合著者： Annabelle K.McIver。；德拉斯，马克；马里奥·阿尔维姆… 主要字段： 计算机科学（68-XX） 发布日期： 娜塔莎·费尔南德斯
吉安·路易吉，法拉利 65出版物(1990–2020)编入索引的 225条引文 合著者： 皮耶保罗·德加诺（Pierpaolo Degano）；乌戈·蒙塔纳里（Ugo G.Montanari）。；埃米利奥·托斯托（Emilio Tuosto）… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX） 发布日期： Gianluigi法拉利;吉安·路易吉，法拉利;法拉利，吉安·路易吉;吉安·路易吉，法拉利;法拉利，G.L。;G.-L.法拉利。 更多。。。较少的
纳撒尼尔·卫斯理·费拉多 3出版物(2012–2019)编入索引的 合著者： 阿特尼塞，朱塞佩；David Chisnall；戴维斯、布鲁克斯… 主要字段： 计算机科学（68-XX）；组合数学（05-XX） 发布日期： 纳撒尼尔·卫斯理·费拉多;纳撒尼尔·W·费拉多。
丹尼斯·菲尔索夫 6出版物(2013–2022)编入索引的 8引文 合著者： 塔尔莫乌斯塔卢；理查德·布莱尔；Buldas，Ahto… 主要字段： 计算机科学（68-XX） 发布日期： 丹尼斯·菲尔索夫
马修·弗拉特 10出版物(1997–2012)编入索引的 48条引文 合著者： 费莱森，马提亚斯；芬德勒，罗伯特·布鲁斯；约翰·克莱门茨（John C.Clements）… 主要字段： 计算机科学（68-XX） 发布日期： 马修·弗拉特
马蒂亚斯·弗勒里 17出版物(1998–2023)编入索引的 57引文 合著者： Jasmin Christian布兰切特；阿明·比尔（Armin Biere）；韦登巴赫，克里斯托夫… 主要字段： 计算机科学（68-XX） 发布日期： 马蒂亚斯·弗勒里
福斯特，J.内森 7出版物(2002–2008)编入索引的 97篇引文 合著者： 本杰明·皮尔斯（Benjamin C.Pierce）。；阿兰·施密特（Alan Schmitt）；Michael B.Greenwald… 主要字段： 计算机科学（68-XX） 发布日期： J.Nathan福斯特
利奥·弗雷塔斯 11出版物(2005–2017)编入索引的 23引文 合著者： James C.P.Woodcock。；安德森，休；安德鲁·巴特菲尔德（Andrew Butterfield）… 主要字段： 计算机科学（68-XX） 发布日期： 利奥·弗雷塔斯;莱昂纳多·弗雷塔斯
傅鹏 30份出版物(2005–2024)编入索引的 79引文 合著者： 彼得·塞林格（Peter Selinger）；徐富毅；Kishida，Kohei… 主要字段： 计算机科学（68-XX）；偏微分方程（35-XX）；数学逻辑与基础（03-XX）。。。 发布日期： 傅鹏
内森·富尔顿 6出版物(2009–2021)编入索引的 39引文 合著者： 安德烈·普拉泽；斯特凡·米奇；布勒、布兰登… 主要字段： 计算机科学（68-XX）；系统理论；控制（93-XX） 发布日期： 内森·富尔顿