×

找到1834位作者(结果1–100)

马克·D·阿加德。

19出版物(1999–2020)编入索引的
40条引文
合著者: 龚光;曼达尔,卡利金卡;Day,Nancy A…
主要字段: 计算机科学(68-XX)
发布日期: 马克·D·阿加德。;马克·阿加德

卡拉姆Abd Elkader

3出版物(2015–2018)编入索引的
6引文
合著者: Orna Grumberg;科琳娜·s·帕斯·雷纳。;沙龙·肖姆
主要字段: 计算机科学(68-XX)
发布日期: 阿布德·埃尔卡德尔,卡拉姆;卡拉姆·阿布德·埃尔卡德

埃萨姆·奥斯曼(Essam Othman),阿卜杜勒·拉赫曼(Abdel-Rahman)

6出版物(2005–2017)编入索引的
39引文
合著者: 托马斯·斯特姆(Thomas Sturm);Andreas Günter韦伯;Ali,Dareen N…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);生物学和其他自然科学(92-XX)。。。
发布日期: Abdel-Rahman,Essam O。;埃萨姆·奥斯曼(Essam Othman),阿卜杜勒·拉赫曼(Abdel-Rahman);E.O.阿卜杜勒·拉赫曼。

帕罗什·阿齐兹·阿卜杜拉

129出版物(1992–2022)编入索引的
799引文
合著者: 穆罕默德·法乌齐(Mohamed Faouzi Atig);Jonsson,Bengt;乔治·德尔扎诺(Giorgio Delzanno)…
主要字段: 计算机科学(68-XX)
发布日期: 帕罗什·阿齐兹·阿卜杜拉;帕罗什·A·阿卜杜拉。;帕罗什·阿卜杜拉;帕罗什阿齐兹·阿卜杜拉;阿卜杜拉,P.A。

费里·阿博拉桑

1出版物(1999)编入索引的
1引文
合著者: Jörg Keller;沃尔夫冈·雅各布·保罗
主要字段: 计算机科学(68-XX)
发布日期: 费里·阿博拉桑

谢尔盖·阿勒克桑德罗维奇·阿布拉莫夫

171出版物(1971–2023)编入索引的
880条引文
合著者: Anna A.Ryabenko。;佩特科夫舍克,马尔科;穆雷·A·巴卡图…
主要字段: 计算机科学(68-XX);差分方程和函数方程(39-XX);常微分方程(34-XX)。。。
发布日期: 阿布拉莫夫,S.A。;阿布拉莫夫,谢尔盖·A。;谢尔盖·阿布拉莫夫;谢尔盖·阿布拉莫夫。;阿布拉莫夫,S。

安德鲁·亚当斯(Andrew A.Adams)。

8出版物(1999–2013)编入索引的
24引文
合著者: Gottliebsen,Hanne;马丁·厄休拉;Michael P.Brenner…
主要字段: 计算机科学(68-XX);数理逻辑与基础(03-XX)
发布日期: 安德鲁·亚当斯(Andrew A.Adams)。;亚当斯,A.A。;安德鲁·亚当斯

萨拉·亚当斯

1出版物(2007)编入索引的
2引文
合著者: Ouaknine,Joel O。;詹姆斯·沃雷尔。
主要字段: 计算机科学(68-XX)
发布日期: 萨拉·亚当斯

迪基·阿兹基亚

20出版物(2013–2023)编入索引的
49引文
合著者: 亚历山德罗·阿巴特;Herlambang,T。;穆菲德、穆罕默德·赛法尔…
主要字段: 系统论;控制(93-XX);运筹学、数学规划(90-XX);线性代数和多线性代数;矩阵理论(15-XX)。。。
发布日期: 迪基·阿兹基亚;阿兹基亚,D。

塞尔吉奥山谷阿吉亚尔·坎波斯

1出版物(1999)编入索引的
4引文
合著者: 克拉克(Edmund Melson jun Clarke)。
主要字段: 计算机科学(68-XX)
发布日期: 塞尔吉奥山谷阿吉亚尔·坎波斯

丹尼尔·艾哈迈德

4出版物(2020–2022)编入索引的
12引文
合著者: 亚历山德罗·阿巴特;安德烈亚·佩鲁福(Andrea Peruffo);爱德华兹,亚历克…
主要字段: 计算机科学(68-XX)
发布日期: 丹尼尔·艾哈迈德

沃尔夫冈·阿伦特

22出版物(1997–2024)编入索引的
81篇引文
合著者: 贝恩哈德·贝克特;雷纳·Hähnle;施密特(Peter H.Schmitt)…
主要字段: 计算机科学(68-XX)
发布日期: 沃尔夫冈·阿伦特

阿克沙伊,S。

39出版物(2007–2022)编入索引的
110引文
合著者: 保罗·加斯丁(Paul Gastin);Genest,Blaise;Hélouét,Loíc…
主要字段: 计算机科学(68-XX)
发布日期: 阿克沙伊,S。

奥斯州阿尔巴古蒂

1出版物(2015)编入索引的
3引文
合著者: 乔什·伯丁(Josh Berdine);拜伦·库克;扎卡里·金凯德
主要字段: 计算机科学(68-XX)
发布日期: 奥斯州阿尔巴古蒂

马里奥·阿尔伯特

6出版物(2007–2020)编入索引的
13引文
合著者: Werner M.塞勒。;马提亚斯·费泽尔(Matthias Fetzer);贝尔通,克里斯蒂娜…
主要字段: 交换代数(13-XX)
发布日期: 马里奥·阿尔伯特

弗朗西斯科·阿尔贝蒂

9出版物(2012–2017)编入索引的
69引文
合著者: 西尔维奥·吉拉尔迪;莎里吉娜,娜塔莎;埃琳娜·帕加尼…
主要字段: 计算机科学(68-XX)
发布日期: 弗朗西斯科·阿尔贝蒂;阿尔伯蒂,F。

鲁道夫·F·阿尔布雷希特。

59出版物(1952–2005)编入索引的
47引文
合著者: 奈杰尔·斯蒂尔(Nigel C.Steele)。;汉斯·霍赫穆斯;大卫·威廉·皮尔逊(David William Pearson)…
主要字段: 计算机科学(68-XX);总体主题;藏品(00-XX);数值分析(65-XX)。。。
发布日期: 鲁道夫·F·阿尔布雷希特。;阿尔布雷希特,R.F。;鲁道夫·阿尔布雷希特;R·阿尔布雷希特。

阿列克桑德罗维奇(Aleksandrowicz,Gadi)

13出版物(2006–2017)编入索引的
36篇引文
合著者: 吉尔·巴奎特;安德烈·阿西诺夫斯基;罗尼·巴奎特…
主要字段: 组合数学(05-XX)
发布日期: 阿列克桑德罗维奇(Aleksandrowicz,Gadi)

安德烈亚·亚历山大。

6出版物(2001–2023)编入索引的
9引文
合著者: 乔治·帕帕斯(George J.Pappas)。;艾丽卡·布鲁姆;B.加马里…
主要字段: 信息与通信理论,电路(94-XX);系统论;控制(93-XX)
发布日期: 安德烈亚·亚历山大。

艾亚德·阿尔卡萨

4出版物(2008–2014)编入索引的
20引文
合著者: 诺伯特·W·希默(Norbert W.Schirmer)。;阿特姆·斯塔罗斯汀;塞巴斯蒂安·博根…
主要字段: 计算机科学(68-XX)
发布日期: 艾亚德·阿尔卡萨

沙乌尔·阿尔马戈

31出版物(2010–2023)编入索引的
158引文
合著者: 奥纳·库普夫曼;詹姆斯·沃雷尔(James B.Worrell)。;乌迪·博克…
主要字段: 计算机科学(68-XX);数理逻辑与基础(03-XX)
发布日期: 沙乌尔·阿尔马戈

达拉·阿拉杰

9出版物(2007–2022)编入索引的
16引文
合著者: 亚历山德拉·拉索。;塞巴斯蒂安·乌奇特尔;卡维扎,大卫·贾科莫…
主要字段: 计算机科学(68-XX)
发布日期: 达拉·阿拉杰;D.阿尔拉杰。

Alt,Leonardo S。

4出版物(2010–2019)编入索引的
16引文
合著者: Hyvärinen,Antti E.J。;莎里吉娜,娜塔莎;费迪尤科维奇,格里高利…
主要字段: 计算机科学(68-XX)
发布日期: 阿尔特,莱昂纳多;Alt,Leonardo S。

恩斯特·奥尔特豪斯

32出版物(1998–2023)编入索引的
96引文
合著者: 库尔特·梅尔霍恩(Kurt Mehlhorn);坎扎尔、斯特凡;鲁文·瑙约克斯…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
发布日期: 恩斯特·阿尔特豪斯

拉杰夫·阿鲁尔

145出版物(1990–2024)编入索引的
3456条引文
合著者: 马都苏丹,Parthasarathy;托马斯·亨辛格。;拉托雷,萨尔瓦多…
主要字段: 计算机科学(68-XX);数理逻辑与基础(03-XX)
发布日期: 拉杰夫·阿鲁尔;阿鲁尔,R。

努诺州阿马利奥

4出版物(2003–2020)编入索引的
2引文
合著者: 菲奥娜·波拉克。;安娜·卡瓦尔坎蒂;苏珊·斯蒂芬尼…
主要字段: 计算机科学(68-XX)
发布日期: 努诺州阿马利奥

阿明,索拉巴

30份出版物(2006–2023)编入索引的
215引文
合著者: Sastry,S.Shankar;金、李;Galina A.Schwartz…
主要字段: 系统论;控制(93-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);运筹学,数学规划(90-XX)。。。
发布日期: 阿明,索拉巴

本杰明·阿米诺夫

24出版物(2005–2022)编入索引的
124篇引文
合著者: 萨沙·鲁宾;奥纳·库普夫曼;阿尼埃洛·穆拉诺(Aniello Murano)…
主要字段: 计算机科学(68-XX)
发布日期: 本杰明·阿米诺夫

盖伊·埃米尔

1出版物(2021)编入索引的
3引文
合著者: 克拉克·巴雷特(Clark W.Barrett)。;盖伊·卡茨(Guy Katz);吴浩泽
主要字段: 计算机科学(68-XX)
发布日期: 盖伊·埃米尔

阿南塔拉曼,T.S。

1出版物(1987)编入索引的
合著者: 克拉克(Edmund Melson jun.Clarke)。;福斯特,M.J。;巴德·米什拉
主要字段: 信息与通信理论,电路(94-XX)
发布日期: 阿南塔拉曼,T.S。

埃蒂安·安德烈

45出版物(2008–2024)编入索引的
108引文
合著者: 莱姆,迪迪埃;劳伦·弗里堡;佩特鲁奇,劳拉…
主要字段: 计算机科学(68-XX)
发布日期: 埃蒂安·安德烈;艾蒂安·安德烈

本杰明·安德烈斯

5出版物(2012–2015)编入索引的
34引文
合著者: 托尔斯滕·绍布(Torsten H.Schaub)。;马丁·格布瑟(Martin Gebser);Haubert,克里斯蒂安…
主要字段: 计算机科学(68-XX)
发布日期: 本杰明·安德烈斯

蒂莫斯·安东尼奥普洛斯

11出版物(2009–2022)编入索引的
42引文
合著者: 达纳州安格鲁因;费斯曼,达纳;马滕斯,维姆…
主要字段: 计算机科学(68-XX)
发布日期: 蒂莫斯·安东尼奥普洛斯

纳西贝·阿拉米德

2出版物(2021年-2023年)编入索引的
合著者: 阿米尔·哈希米;艾哈迈德·穆萨维;Werner M.塞勒。
主要字段: 交换代数(13-XX)
发布日期: 纳西贝·阿拉米德

穆拉特·阿卡克

97出版物(2000–2024)编入索引的
1333条引文
合著者: 科科托维奇,彼得五世。;塞缪尔·库根(Samuel Coogan);安德鲁·凯利·帕卡德(Andrew Kelly Packard)…
主要字段: 系统论;控制(93-XX);生物学和其他自然科学(92-XX);运筹学、数学规划(90-XX)
发布日期: 穆拉特·阿卡克;M.阿卡克。

卡洛斯·阿雷塞斯

68出版物(1998–2023)编入索引的
311引文
合著者: 劳尔·费尔瓦里(Raul Fervari);纪尧姆·霍夫曼;圣地亚哥菲盖拉…
主要字段: 数理逻辑与基础(03-XX)
发布日期: 卡洛斯·阿雷塞斯;阿雷塞斯,C。

费利克斯·阿伦兹

1出版物(2011)编入索引的
4引文
合著者: Joel O.Ouaknine。;查尔斯·沃普勒二世
主要字段: 量子理论(81-XX)
发布日期: 费利克斯·阿伦兹

斯蒂芬·阿尔特

1出版物(2013)编入索引的
合著者: Rümmer,Philipp;马丁·施瓦夫
主要字段: 计算机科学(68-XX)
发布日期: 斯蒂芬·阿尔特

亚历山德罗·阿曼多

44出版物(1993年至2012年)编入索引的
228引文
合著者: 西尔维奥·兰伊斯;卢卡·孔帕尼亚(Luca Compagna);恩里科·金奇利亚(Enrico Giunchiglia)…
主要字段: 计算机科学(68-XX)
发布日期: 亚历山德罗·阿曼多;A.阿曼多。

罗伊·阿莫尼

7出版物(1998–2005)编入索引的
61引文
合著者: 瓦尔迪(Moshe Ya'akov Vardi);菲克斯,利莫;阿隆·弗莱舍(Alon Flaisher)…
主要字段: 计算机科学(68-XX)
发布日期: 罗伊·阿莫尼

丹尼斯·S·阿诺。

17出版物(1979年至1998年)编入索引的
206引文
合著者: 斯科特·麦卡卢姆(Scott McCallum);乔治·柯林斯(George E.Collins)。;布赫伯格,布鲁诺…
主要字段: 计算机科学(68-XX);代数几何(14-XX);场论与多项式(12-XX)
发布日期: 丹尼斯·S·阿诺。;丹尼斯·阿诺;丹尼斯·阿诺恩。

西里尔·阿尔托

9出版物(2003–2016)编入索引的
17引文
合著者: 克劳斯·哈维隆德;Olveczky,Peter Csaba;阿明·比尔(Armin Biere)…
主要字段: 计算机科学(68-XX)
发布日期: 西里尔·阿尔托

亚历山大·阿提基斯

24出版物(2001–2023)编入索引的
71引文
合著者: 乔治奥·帕利乌拉斯(Georgios Paliouras);杰里米·皮特;Katzouris、Nikos…
主要字段: 计算机科学(68-XX)
发布日期: 亚历山大·阿提基斯

塞皮德·阿萨迪

10出版物(2013–2022)编入索引的
6引文
合著者: Hyvärinen,Antti E.J。;侯赛因·曼苏里;莎莉吉娜、娜塔莎…
主要字段: 计算机科学(68-XX)
发布日期: 塞皮德·阿萨迪

安德烈亚·阿斯佩蒂

70出版物(1986–2015)编入索引的
433引文
合著者: Sacerdoti Coen,Claudio;恩里科·塔西;里奇奥蒂,威尔默…
主要字段: 计算机科学(68-XX)
发布日期: 安德烈亚·阿斯佩蒂;A.阿斯佩蒂。

大卫·阿斯皮纳尔

37出版物(1977–2021)编入索引的
99引文
合著者: 吕斯,克里斯托夫;马丁·霍夫曼;丹尼,埃文…
主要字段: 计算机科学(68-XX)
发布日期: 大卫·阿斯皮纳尔;阿斯皮纳尔D。

康斯坦蒂诺斯·阿萨纳西奥

1出版物(2016)编入索引的
8引文
合著者: 刘培尊;托马斯·沃尔
主要字段: 计算机科学(68-XX)
发布日期: 康斯坦蒂诺斯·阿萨纳西奥

克里斯·阿索恩

43出版物(1987–2021)编入索引的
126条引文
合著者: Halis Yilmaz;艾尔贝克,约翰·克里斯;英格兰,马修…
主要字段: 动力系统与遍历理论(37-XX);偏微分方程(35-XX);代数几何(14-XX)。。。
发布日期: 克里斯·阿索恩

阿提亚,D。

1出版物(2005)编入索引的
1引文
合著者: 史蒂夫·金(Steve F.King)。;詹姆斯·C·P·伍德科克。
主要字段: 计算机科学(68-XX)
发布日期: 阿提亚,D。

保罗·C·阿蒂。

24出版物(1993–2023)编入索引的
75条引文
合著者: 南希·安·林奇(Nancy Ann Lynch);阿诺拉,阿尼什;哈娜·乔克勒…
主要字段: 计算机科学(68-XX)
发布日期: 保罗·C·阿蒂。;保罗·阿蒂

吉尔·奥德玛

20出版物(2000–2020)编入索引的
127引文
合著者: 塞伊斯,拉赫达尔;Laurent S.R.西蒙。;贝莱德·本哈莫…
主要字段: 计算机科学(68-XX)
发布日期: 吉尔·奥德玛;奥德马尔,G。

尤尔根阿文豪斯

39出版物(1971–2004)编入索引的
141引文
合著者: Madlener,Klaus E。;克劳斯·贝克尔(Klaus W.Becker)。;登津格,约格…
主要字段: 计算机科学(68-XX);群论和推广(20-XX)
发布日期: J·阿文豪斯。;尤尔根阿文豪斯;于尔根阿文豪斯

杰里米·阿维加德

78出版物(1996–2024)编入索引的
648条引文
合著者: 阿西亚马布比;Edward T.院长。;唐纳利,凯文·P…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);总体主题;集合(00-XX)。。。
发布日期: 杰里米·阿维加德;J·阿维加德。

埃米娜·哥科·艾达尔

1出版物(2010)编入索引的
2引文
合著者: 罗德·查普曼;詹姆斯·C·P·伍德科克。
主要字段: 计算机科学(68-XX)
发布日期: 艾达尔,Emine Gökçe

Franz巴德

146出版物(1986–2024)编入索引的
1732条引文
合著者: 斯特凡·博格沃德;Barbara Morawska;克劳斯·U·舒尔茨…
主要字段: 计算机科学(68-XX)
发布日期: Franz巴德;F·巴德。

马提亚斯·巴兹

140出版物(1985–2024)编入索引的
714引文
合著者: Fermüller,Christian G。;亚历山大·莱奇(Alexander Leitsch);理查德·扎克(Richard Zach)…
主要字段: 数理逻辑与基础(03-XX)
发布日期: 马提亚斯·巴兹;M.巴兹。

Domagoj Babić

4出版物(2007–2013)编入索引的
17引文
合著者: 胡艾伦·J。;博廷坎,马特科;库克,拜伦…
主要字段: 计算机科学(68-XX)
发布日期: Domagoj Babić

法希姆·巴克斯

38出版物(1989–2020)编入索引的
296条引文
合著者: 亚历山大·古提亚耶娃;霍斯特·萨穆洛维茨;沃尔什、托比…
主要字段: 计算机科学(68-XX)
发布日期: 法希姆·巴克斯;巴克斯,F。

彼得·巴赫

1出版物(2002)编入索引的
合著者: Michael Bosch;Jörg Fischer;塞德里克·利希特诺…
主要字段: 计算机科学(68-XX)
发布日期: 彼得·巴赫

利奥·巴赫迈尔

40出版物(1980年-2005年)编入索引的
697引文
合著者: Harald Ganzinger;德肖维茨,纳丘姆;蒂瓦里、阿什什·库马尔…
主要字段: 计算机科学(68-XX)
发布日期: 利奥·巴赫迈尔;巴赫迈尔。

彼得·贝克曼

5出版物(2015–2021)编入索引的
10引文
合著者: 菲利普·吕默;Zeljić,Aleksandar;Christoph M.温特斯泰格。
主要字段: 计算机科学(68-XX)
发布日期: 彼得·贝克曼

约翰·拜克斯

1出版物(2020)编入索引的
2引文
合著者: 尤利西斯·贝鲁埃科;布雷,泰勒;丹尼尔·布里姆…
主要字段: 计算机科学(68-XX)
发布日期: 约翰·拜克斯

Badings,Thom S。

2出版物(2022–2023)编入索引的
3引文
合著者: 尼尔斯·詹森;玛丽·斯托琳加;亚历山德罗·阿巴特…
主要字段: 系统论;控制(93-XX);运筹学、数学规划(90-XX)
发布日期: Badings,Thom S。;汤姆·巴丁斯

Bae,Kyungmin先生

10出版物(2010–2022)编入索引的
59引文
合著者: 何塞·梅塞盖尔·瓜伊塔;Olveczky,Peter Csaba;克拉克、埃德蒙·梅尔森(Edmund Melson jun.)…
主要字段: 计算机科学(68-XX)
发布日期: Bae,Kyungmin先生

克里斯特尔·拜尔

132出版物(1994年至2024年)编入索引的
1380条引文
合著者: 赫尔曼斯,霍尔格;Joost-Pieter Katoen;约阿希姆·克莱恩(Joachim Klein)…
主要字段: 计算机科学(68-XX);数理逻辑与基础(03-XX)
发布日期: 克里斯特尔·拜尔;拜尔,C。

大卫·哈罗德·贝利

92出版物(1987–2023)编入索引的
1154引文
合著者: 乔纳森·迈克尔·博尔温(Jonathan Michael Borwein);理查德·克兰德尔(Richard E.Crandall)。;彼得·本杰明(Peter Benjamin Borwein)…
主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)。。。
发布日期: 大卫·H·贝利。;贝利,D.H。;大卫·贝利

马克西米利安·巴兰达

1出版物(2012)编入索引的
6引文
合著者: 亚历山德罗·阿巴特;张伟
主要字段: 系统论;控制(93-XX)
发布日期: 马克西米利安·巴兰达特

保罗·巴尔丹

98出版物(1995–2023)编入索引的
435条引文
合著者: 安德烈亚·科拉迪尼;芭芭拉·柯尼格;加杜奇,法比奥…
主要字段: 计算机科学(68-XX)
发布日期: 保罗·巴尔丹;鲍尔丹,P。

阿德里安·巴林特

5出版物(2010–2017)编入索引的
40条引文
合著者: Andreas M.Fröhlich。;霍尔格·胡斯。;乌韦州Schöning…
主要字段: 计算机科学(68-XX)
发布日期: 阿德里安·巴林

鲍尔,托马斯

23出版物(1999–2018)编入索引的
190条引文
合著者: Rajamani,Sriram K。;奥纳·库普夫曼;库克,拜伦…
主要字段: 计算机科学(68-XX)
发布日期: 鲍尔,托马斯

托马斯·巴利奥

5出版物(2013-2016)编入索引的
27引文
合著者: 阿明·比尔(Armin Biere);卡斯滕·辛兹(Carsten Sinz);Martin Babka…
主要字段: 计算机科学(68-XX)
发布日期: 托马斯·巴利奥

维克托·班杜尔

2出版物(2013)编入索引的
合著者: 詹姆斯·C·P·伍德科克。
主要字段: 计算机科学(68-XX)
发布日期: 维克托·班杜尔

克什蒂吉·班萨尔

9出版物(2009年至2021年)编入索引的
22篇引文
合著者: 埃里克·科斯金(Eric Koskinen);克拉克·巴雷特(Clark W.Barrett)。;安德鲁·雷诺兹(Andrew Reynolds)…
主要字段: 计算机科学(68-XX)
发布日期: 克什蒂吉·班萨尔

索米尔·班萨尔

5出版物(2003–2021)编入索引的
18引文
合著者: 克莱尔·汤姆林。;陈,莫;西尔维娅·赫伯特…
主要字段: 系统论;控制(93-XX);变分法与最优控制;优化(49-XX)
发布日期: 索米尔·班萨尔

塞巴斯蒂安·巴丁

10出版物(2004–2021)编入索引的
43引文
合著者: 本杰明·法里尼尔(Benjamin Farinier);阿兰·芬克尔(Alain Finkel);弗朗索瓦·博博特…
主要字段: 计算机科学(68-XX)
发布日期: 塞巴斯蒂安·巴丁

珍妮特·巴恩斯

3出版物(2004–2021)编入索引的
合著者: 查普曼,罗德;罗德里克·查普曼;安德鲁·库克(Andrew W.Cook)…
主要字段: 计算机科学(68-XX)
发布日期: 珍妮特·巴恩斯

李·巴奈特(Lee A.Barnett)。

4出版物(2017–2023)编入索引的
2引文
合著者: 阿明·比尔(Armin Biere);大卫·M·塞尔纳。;亚伦·古克内特。
主要字段: 计算机科学(68-XX)
发布日期: 李·巴奈特(Lee A.Barnett)。

凯特琳娜·巴罗内·阿德斯

1出版物(2011)编入索引的
3引文
合著者: 奇亚拉·布拉金(Chiara Braghin);娜塔莎·莎莉吉娜
主要字段: 计算机科学(68-XX)
发布日期: 卡捷琳娜·阿德西男爵

霍华德·巴林杰

40出版物(1979–2014)编入索引的
247篇引文
合著者: Dov M.加巴伊。;格雷厄姆·高夫(Graham Gough);Michael Fisher…
主要字段: 计算机科学(68-XX)
发布日期: 霍华德·巴林杰;H.巴林格。

埃齐奥·巴托西

52出版物(2008–2022)编入索引的
220条引文
合著者: 格鲁苏,拉杜;德扬·尼科维奇;斯科特·斯莫尔卡(Scott A.Smolka)…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);数学逻辑与基础(03-XX)。。。
发布日期: 埃齐奥·巴托西;巴托西,E。

君士坦丁·巴齐斯

8出版物(2001–2006)编入索引的
34引文
合著者: 布尔坦、特夫菲克;克拉克(Edmund Melson jun.Clarke)。;奥斯卡·H·伊巴拉…
主要字段: 计算机科学(68-XX)
发布日期: 君士坦丁·巴齐斯

阿南达·巴苏

18出版物(1978–2015)编入索引的
5引文
合著者: 萨德克·本萨勒姆;Kumar,M.Kishore;库马尔,P.Sreenivasa…
主要字段: 计算机科学(68-XX)
发布日期: 阿南达·巴苏

马克·巴蒂

9出版物(2002–2020)编入索引的
34引文
合著者: Mike Dodds;阿列克谢·戈斯曼;斯科特·欧文斯…
主要字段: 计算机科学(68-XX)
发布日期: 马克·巴蒂

安德烈·鲍尔

53出版物(1998年至2024年)编入索引的
230条引文
合著者: Lumsdaine,Peter LeFanu;史蒂夫·阿沃迪;哈塞尔沃特,菲利普·G…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);范畴理论;同调代数(18-XX)
发布日期: 安德烈·鲍尔

鲍姆加特纳

60出版物(1992–2021)编入索引的
310引文
合著者: 乌尔里希·富巴赫;蒂内利、塞萨尔;乌韦·沃尔德曼…
主要字段: 计算机科学(68-XX)
发布日期: 鲍姆加特纳;鲍姆加特纳,P。;鲍姆盖特纳,P。

马塞尔·鲍尔

1出版物(2004)编入索引的
1引文
合著者: 西里尔·阿尔托;阿明·比尔(Armin Biere);尤格斯特,帕斯卡…
主要字段: 计算机科学(68-XX)
发布日期: 马尔鲍尔

马哈萨·巴亚提

1出版物(2019)编入索引的
合著者: 顾一嘉;米丽亚姆·利瑟(Miriam Leeser);托马斯·沃尔
主要字段: 数值分析(65-XX)
发布日期: 马哈萨·巴亚提

詹姆斯·博蒙特。

6出版物(1993–2007)编入索引的
6引文
合著者: 拉塞尔·布拉德福德(Russell J.Bradford)。;詹姆斯·哈罗德·达文波特;菲桑布特,纳利纳…
主要字段: 计算机科学(68-XX);数学逻辑与基础(03-XX);特殊功能(33-XX)
发布日期: 詹姆斯·博蒙特。;詹姆斯·博蒙特

安娜·贝基

5出版物(2018–2022)编入索引的
12引文
合著者: 埃纳州扎法内拉;亚历山德罗·西马蒂
主要字段: 计算机科学(68-XX)
发布日期: 安娜·贝基

鲁本·贝克尔

67出版物(1912–2024)编入索引的
53引文
合著者: 安德烈亚斯·卡伦鲍尔;克里斯托夫·伦岑(Christoph Lenzen);麦克斯·亚伯拉罕…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);数值分析(65-XX)
发布日期: 鲁本·贝克尔

伯恩哈德·贝克特

47出版物(1993年至2022年)编入索引的
176条引文
合著者: 雷纳·Hähnle;施密特(Peter H.Schmitt)。;沃尔夫冈·阿伦特…
主要字段: 计算机科学(68-XX)
发布日期: 伯恩哈德·贝克特

啤酒,伊兰

7出版物(2000–2012)编入索引的
57引文
合著者: 本·大卫,肖姆;辛迪·艾斯纳;亚尔·阿巴巴内尔·维诺夫…
主要字段: 计算机科学(68-XX)
发布日期: 啤酒,宜兰

马库斯·贝勒

5出版物(2005–2008)编入索引的
38引文
合著者: 弗里德里希·艾森布兰德;贝恩德·贝克尔;Jünger,迈克尔…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
发布日期: 马库斯·贝勒

杰·贝朗格

11出版物(1992–2005)编入索引的
16引文
合著者: 王杰;马库斯·豪斯多夫(Marcus Hausdorf);阿杜里·帕凡…
主要字段: 计算机科学(68-XX)
发布日期: 杰·贝朗格;J.贝朗格。

马丁·本·阿马尔

34出版物(1991–2021)编入索引的
350条引文
合著者: 帕斯奎尔·西亚雷塔(Pasquale Ciarletta);琳达·J·卡明斯。;丹尼尔·波恩…
主要字段: 流体力学(76-XX);可变形固体力学(74-XX);生物学和其他自然科学(92-XX)
发布日期: 马丁·本·阿马尔;本·阿马尔,M。

本·萨西,穆罕默德·阿明

9出版物(2012–2019)编入索引的
30条引文
合著者: 桑卡拉纳拉亚南,斯里拉姆;安托万·吉拉德;艾丽卡·阿尔布拉汉姆…
主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX)
发布日期: 本·萨西,穆罕默德·阿明;穆罕默德·阿明·本·萨西

肖姆·本·达维德

26出版物(1994–2016)编入索引的
67引文
合著者: 费斯曼,达纳;啤酒,伊兰;西瓦尼特·鲁阿(Ruah,Sitvanit)…
主要字段: 计算机科学(68-XX)
发布日期: 肖姆·本·达维德

萨古·本奈姆

2出版物(2013-2016)编入索引的
8引文
合著者: Michael A.Benedikt。;维托尔德·查拉托尼克;基伦斯基,伊曼纽尔…
主要字段: 计算机科学(68-XX)
发布日期: 萨古·本奈姆

马可·贝内德蒂(Marco H.Benedetti)。

16出版物(2001–2022)编入索引的
71引文
合著者: 安德烈亚·马萨(Andrea Massa);Veronica J.Berrocal。;哈拉奇,Mangassarian…
主要字段: 计算机科学(68-XX)
发布日期: 马可·贝内代蒂;马可·贝内德蒂(Marco H.Benedetti)。

Michael A.Benedikt。

75出版物(1995–2023)编入索引的
302引文
合著者: 利金·列昂尼德·奥·利布金(Leonid O.Libkin)。;十凯特,鲍德·大卫;皮埃尔·布赫斯…
主要字段: 计算机科学(68-XX)
发布日期: 迈克尔·本尼迪克特;Michael A.Benedikt。;Benedikt,M。

筛选结果依据…