Abhishek, Aakash
7 Publications (2017–2020) indexed |
1 Citation |
Co-Authors: | Boon, Marko A. A.; Núñez-Queija, Rudesindo; Mandjes, Michel Robertus Hendrikus; … |
Main Fields: | Computer science (68-XX) |
Published as: | Abhishek, Aakash |
7 Publications (2017–2020) indexed |
1 Citation |
Co-Authors: | Boon, Marko A. A.; Núñez-Queija, Rudesindo; Mandjes, Michel Robertus Hendrikus; … |
Main Fields: | Computer science (68-XX) |
Published as: | Abhishek, Aakash |
6 Publications (2002–2024) indexed |
2 Citations |
Co-Authors: | Harun, S. W.; Bahar, Arifah; Dimyati, Kaharudin; … |
Main Fields: | Computer science (68-XX) |
Published as: | Ahmad, Hammad |
2 Publications (1999–2011) indexed |
3 Citations |
Co-Authors: | Constable, Robert Lee; Lemmermeyer, Franz Josef; Underwood, Judith L. |
Main Fields: | Mathematical logic and foundations (03-XX) |
Published as: | Aitken, William E. |
6 Publications (1975–2006) indexed |
25 Citations |
Co-Authors: | Constable, Robert Lee; Eaton, Richard; Kreitz, Christoph; … |
Main Fields: | Computer science (68-XX) |
Published as: | Allen, Stuart F.; Allen, Stuart; Allen, S. F. more...less |
19 Publications (1992–2020) indexed |
96 Citations |
Co-Authors: | Banerjee, Anindya; Hatcliff, John; Androutsopoulos, Kelly; … |
Main Fields: | Computer science (68-XX) |
Published as: | Amtoft, Torben |
9 Publications (2013–2024) indexed |
32 Citations |
Co-Authors: | Boulier, Simon; Cohen, Cyril; Rahli, Vincent; … |
Main Fields: | Computer science (68-XX) |
Published as: | Anand, Abhishek |
12 Publications (1980–2014) indexed |
53 Citations |
Co-Authors: | Concus, Paul; Albright, Norman W.; Böckenholt, Ulf; … |
Main Fields: | Statistics (62-XX); Mathematical logic and foundations (03-XX) |
Published as: | Anderson, Carolyn J.; Anderson, Carolyn Jane; Anderson, Carolyn more...less |
3 Publications (2001–2014) indexed |
1 Citation |
Co-Authors: | Bindel, David S.; Chen, Yan; Cohen, Elaine; … |
Main Fields: | Computer science (68-XX) |
Published as: | Bargteil, Adam W.; Bargteil, Adam |
113 Publications (1988–2023) indexed |
393 Citations |
Co-Authors: | Viganò, Luca; Klaedtke, Felix; Matthews, Seán; … |
Main Fields: | Computer science (68-XX) |
Published as: | Basin, David; Basin, David A. |
2 Publications (1985) indexed |
19 Citations |
Co-Authors: | Constable, Robert Lee; Knoblock, Todd B. |
Main Fields: | Computer science (68-XX) |
Published as: | Bates, Joseph L.; Bates, J. L. |
9 Publications (1967–2022) indexed |
14 Citations |
Co-Authors: | Darulova, Eva; Tatlock, Zachary; Bard, Joachim; … |
Main Fields: | Computer science (68-XX) |
Published as: | Becker, Heiko |
3 Publications (2010–2016) indexed |
11 Citations |
Co-Authors: | Appel, Andrew W.; Lesani, Mohsen; Walker, David |
Main Fields: | Computer science (68-XX) |
Published as: | Bell, Christian J. |
24 Publications (2001–2021) indexed |
119 Citations |
Co-Authors: | Appel, Andrew W.; Hofmann, Martin; Stewart, Gordon; … |
Main Fields: | Computer science (68-XX) |
Published as: | Beringer, Lennart |
34 Publications (1991–2024) indexed |
531 Citations |
Co-Authors: | Théry, Laurent; Gonthier, Georges; Mahboubi, Assia; … |
Main Fields: | Computer science (68-XX); Mathematical logic and foundations (03-XX) |
Published as: | Bertot, Yves |
23 Publications (1996–2020) indexed |
128 Citations |
Co-Authors: | Pichardie, David; Besson, Frédéric; Wilke, Pierre; … |
Main Fields: | Computer science (68-XX) |
Published as: | Blazy, Sandrine |
13 Publications (1997–2013) indexed |
69 Citations |
Co-Authors: | Acar, Umut A.; Ahmed, Amal; Donham, Jacob; … |
Main Fields: | Computer science (68-XX) |
Published as: | Blume, Matthias |
158 Publications (1969–2024) indexed |
1,024 Citations |
Co-Authors: | Tschinkel, Yuri; Cheltsov, Ivan Anatol’evich; Katzarkov, Ludmil; … |
Main Fields: | Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); Number theory (11-XX); ... |
Published as: | Bogomolov, Fedor; Bogomolov, F. A.; Bogomolov, Fedor A.; Bogomolov, F.; Bogomolov, Fedor Alekseivich more...less |
97 Publications (1971–2024) indexed |
2,037 Citations |
Co-Authors: | Pankratov, Denis; Raghavan, Prabhakar; Tompa, Martin; … |
Main Fields: | Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX) |
Published as: | Borodin, Allan; Borodin, A.; Borodin, Allan B. more...less |
9 Publications (1993–2024) indexed |
57 Citations |
Co-Authors: | Appel, Andrew W.; Tao, Yichen; Beringer, Lennart; … |
Main Fields: | Mathematical logic and foundations (03-XX) |
Published as: | Cao, Qinxiang |
2 Publications (1999–2015) indexed |
Co-Authors: | Bindel, David S. |
Main Fields: | Statistical mechanics, structure of matter (82-XX) |
Published as: | Chadwick, J. |
62 Publications (1975–2023) indexed |
52 Citations |
Co-Authors: | Sharma, Manisha; Misra, Jagadis Chandra; Shit, G. C.; … |
Main Fields: | Sequences, series, summability (40-XX); Harmonic analysis on Euclidean spaces (42-XX) |
Published as: | Chandra, Satish |
87 Publications (2000–2024) indexed |
307 Citations |
Co-Authors: | Fan, Zhiping; Chen, Xia; Katz, Randy Howard; … |
Main Fields: | Game theory, economics, finance, and other social and behavioral sciences (91-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); ... |
Published as: | Chen, Yan |
16 Publications (1965–2022) indexed |
2 Citations |
Co-Authors: | Brasseur, M.; Slavyanov, Sergeĭ Yur’evich; Appel, Andrew W.; … |
Main Fields: | Computer science (68-XX) |
Published as: | Cohen, Joshua M.; Cohen, Joshua |
24 Publications (1990–2024) indexed |
56 Citations |
Co-Authors: | Rahli, Vincent; Avron, Arnon; Constable, Robert Lee; … |
Main Fields: | Mathematical logic and foundations (03-XX) |
Published as: | Cohen, Liron |
1 Publication (2012) indexed |
2 Citations |
Co-Authors: | Amtoft, Torben; Appel, Andrew W.; Beringer, Lennart; … |
Main Fields: | Computer science (68-XX) |
Published as: | Cousino, Andrew |
35 Publications (1997–2018) indexed |
231 Citations |
Co-Authors: | Harper, Robert; Weirich, Stephanie; Morrisett, Greg; … |
Main Fields: | Computer science (68-XX) |
Published as: | Crary, Karl |
2 Publications (2015–2017) indexed |
12 Citations |
Co-Authors: | Appel, Andrew W.; Beringer, Lennart; Cao, Qinxiang; … |
Main Fields: | Computer science (68-XX) |
Published as: | Cuellar, Santiago |
2 Publications (2020–2024) indexed |
1 Citation |
Co-Authors: | Bindel, David S.; Faber, Benjamin; Fairborn, Margaret; … |
Main Fields: | Mathematics education (97-XX) |
Published as: | Czekanski, Michael |
6 Publications (1994–2021) indexed |
14 Citations |
Co-Authors: | Vechev, Martin T.; Meshman, Yuri; Yahav, Eran; … |
Main Fields: | Computer science (68-XX) |
Published as: | Dan, Andrei; Dan, Andrei Marian |
9 Publications (2014–2022) indexed |
21 Citations |
Co-Authors: | Becker, Heiko; Tatlock, Zachary; Volkova, Anastasia; … |
Main Fields: | Computer science (68-XX) |
Published as: | Darulova, Eva |
133 Publications (1981–2024) indexed |
4,561 Citations |
Co-Authors: | Bai, Zhaojun; Dongarra, Jack J.; Grigori, Laura; … |
Main Fields: | Numerical analysis (65-XX); Linear and multilinear algebra; matrix theory (15-XX) |
Published as: | Demmel, James; Demmel, James W.; Demmel, J.; Demmel, J. W.; Demmel, James Weldon more...less |
7 Publications (2008–2014) indexed |
57 Citations |
Co-Authors: | Appel, Andrew W.; Hobor, Aquinas; Beringer, Lennart; … |
Main Fields: | Computer science (68-XX) |
Published as: | Dockins, Robert |
4 Publications (2012–2018) indexed |
44 Citations |
Co-Authors: | Appel, Andrew W.; Beringer, Lennart; Amtoft, Torben; … |
Main Fields: | Computer science (68-XX) |
Published as: | Dodds, Josiah |
5 Publications (1976–1985) indexed |
16 Citations |
Co-Authors: | Constable, Robert Lee; Demers, Alan J. |
Main Fields: | Computer science (68-XX) |
Published as: | Donahue, James E.; Donahue, James |
37 Publications (2008–2024) indexed |
515 Citations |
Co-Authors: | Gouasmi, Ayoub; Pan, Shaowu; Parish, Eric J.; … |
Main Fields: | Fluid mechanics (76-XX); Numerical analysis (65-XX); Statistics (62-XX); ... |
Published as: | Duraisamy, Karthik; Duraisamy, K. |
3 Publications (2000–2006) indexed |
26 Citations |
Co-Authors: | Constable, Robert Lee; Lorigo, Lori; Allen, Stuart F.; … |
Main Fields: | Computer science (68-XX) |
Published as: | Eaton, Richard; Eaton, Rich; Eaton, R. more...less |
3 Publications (1975–1976) indexed |
27 Citations |
Co-Authors: | Constable, Robert Lee |
Main Fields: | Mathematical logic and foundations (03-XX) |
Published as: | Egli, Herbert |
1 Publication (1982) indexed |
5 Citations |
Co-Authors: | Constable, Robert Lee |
Main Fields: | Computer science (68-XX) |
Published as: | Eichenlaub, C. D. |
5 Publications (2010–2024) indexed |
8 Citations |
Co-Authors: | Fally, Thibault; Atkin, David; Bindel, David S.; … |
Main Fields: | Game theory, economics, finance, and other social and behavioral sciences (91-XX) |
Published as: | Faber, Benjamin |
1 Publication (2024) indexed |
Co-Authors: | Bindel, David S.; Czekanski, Michael; Faber, Benjamin; … |
Main Fields: | – |
Published as: | – |
45 Publications (1988–2022) indexed |
193 Citations |
Co-Authors: | Momigliano, Alberto; Appel, Andrew W.; Capretta, Venanzio; … |
Main Fields: | Computer science (68-XX) |
Published as: | Felty, Amy; Felty, Amy P.; Felty, A. more...less |
10 Publications (2010–2022) indexed |
111 Citations |
Co-Authors: | Kozen, Dexter C.; Silva, Alexandra; Guha, Arjun; … |
Main Fields: | Computer science (68-XX) |
Published as: | Foster, Nate |
41 Publications (1972–2015) indexed |
394 Citations |
Co-Authors: | Doedel, Eusebius J.; Demmel, James Weldon; Govaerts, Willy J. F.; … |
Main Fields: | Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX); Integral equations (45-XX); ... |
Published as: | Friedman, Mark J.; Friedman, M. J.; Friedman, Mark; Friedman, M. more...less |
102 Publications (1975–2018) indexed |
1,270 Citations |
Co-Authors: | Kuznetsov, Yuriĭ Aleksandrovich; Dhooge, Annick; Crombez, Gilbert; … |
Main Fields: | Numerical analysis (65-XX); Dynamical systems and ergodic theory (37-XX); Functional analysis (46-XX); ... |
Published as: | Govaerts, W.; Govaerts, Willy; Govaerts, Willy J. F. more...less |
45 Publications (1988–2024) indexed |
917 Citations |
Co-Authors: | Simo, Juan Carlos; Hall, Garrett J.; Klinkel, Sven; … |
Main Fields: | Mechanics of deformable solids (74-XX) |
Published as: | Govindjee, Sanjay; Govindjee, S. |
75 Publications (1965–2005) indexed |
801 Citations |
Co-Authors: | Owicki, Susan S.; Schneider, Fred B.; Misra, Jayadev; … |
Main Fields: | Computer science (68-XX) |
Published as: | Gries, David |
2 Publications (2016–2018) indexed |
15 Citations |
Co-Authors: | Amin, Nada; Appel, Andrew W.; Beringer, Lennart; … |
Main Fields: | Mathematical logic and foundations (03-XX) |
Published as: | Gruetter, Samuel; Grütter, Samuel |
3 Publications (2011–2015) indexed |
49 Citations |
Co-Authors: | Foster, Nate; Anderson, Carolyn Jane; Eliopoulos, Spiridon; … |
Main Fields: | Computer science (68-XX) |
Published as: | Guha, Arjun |
227 Publications (1981–2024) indexed |
4,592 Citations |
Co-Authors: | Fagin, Ronald; Vardi, Moshe Ya’akov; Moses, Yoram; … |
Main Fields: | Computer science (68-XX); Mathematical logic and foundations (03-XX) |
Published as: | Halpern, Joseph Y.; Halpern, J. Y.; Halpern, Joseph more...less |
115 Publications (1956–2012) indexed |
1,598 Citations |
Co-Authors: | Stearns, Richard Edwin; Hemaspaandra, Lane A.; Chang, Richard; … |
Main Fields: | Computer science (68-XX) |
Published as: | Hartmanis, J.; Hartmanis, Juris |
30 Publications (1994–2022) indexed |
103 Citations |
Co-Authors: | Dwyer, Matthew B.; Robby, Matthew; Barthe, Gilles; … |
Main Fields: | Computer science (68-XX) |
Published as: | Hatcliff, John; Hatcliff, J. |
137 Publications (1988–2024) indexed |
269 Citations |
Co-Authors: | Wu, Weilin; Xie, Wei; Yang, Rongwei; … |
Main Fields: | Operations research, mathematical programming (90-XX); Operator theory (47-XX); Computer science (68-XX); ... |
Published as: | He, Wei |
11 Publications (1997–2019) indexed |
92 Citations |
Co-Authors: | Nogin, Aleksey; Yu, Xin; Bar-Sinai, Yohai; … |
Main Fields: | Computer science (68-XX) |
Published as: | Hickey, Jason; Hickey, Jason J. |
13 Publications (2008–2021) indexed |
88 Citations |
Co-Authors: | Appel, Andrew W.; Dockins, Robert; Gherghina, Cristian; … |
Main Fields: | Computer science (68-XX) |
Published as: | Hobor, Aquinas |
2 Publications (2020–2021) indexed |
1 Citation |
Co-Authors: | Mansky, William; Appel, Andrew W.; Beringer, Lennart; … |
Main Fields: | Computer science (68-XX) |
Published as: | Honoré, Wolf |
4 Publications (1988–2016) indexed |
15 Citations |
Co-Authors: | Bindel, David S.; Connor, J. W.; Cowley, Steven C.; … |
Main Fields: | Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX) |
Published as: | Hood, Amanda |
20 Publications (1973–2010) indexed |
146 Citations |
Co-Authors: | Felty, Amy P.; Basin, David A.; Chirimar, Jawahar; … |
Main Fields: | Computer science (68-XX) |
Published as: | Howe, Douglas J.; Howe, Douglas; Howe, D. J. more...less |
88 Publications (1973–2023) indexed |
857 Citations |
Co-Authors: | Rosenkrantz, Daniel J.; Stearns, Richard Edwin; Marathe, Madhav V.; … |
Main Fields: | Computer science (68-XX); Mathematical logic and foundations (03-XX) |
Published as: | Hunt, H. B. III; Hunt, Harry B. III; Hunt, H. B.; Hunt, Harry Bowen III; Hunt, Harry B.; Hunt, H. III more...less |
34 Publications (1980–2024) indexed |
34 Citations |
Co-Authors: | Ovchinnikov, Mikhail Yur’evich; Sokolov, Boris V.; Tkachev, S. S.; … |
Main Fields: | Mechanics of particles and systems (70-XX); Systems theory; control (93-XX) |
Published as: | Ivanov, D. S.; Ivanov, Dmitry S.; Ivanov, D. more...less |
11 Publications (1991–2011) indexed |
29 Citations |
Co-Authors: | Grossman, Dan; Gunter, Carl A.; Hornof, Luke; … |
Main Fields: | Computer science (68-XX) |
Published as: | Jim, Trevor |
28 Publications (1965–2012) indexed |
1,190 Citations |
Co-Authors: | Demmel, James Weldon; Parlett, Beresford Neill; Davis, Chandler; … |
Main Fields: | Numerical analysis (65-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX) |
Published as: | Kahan, W.; Kahan, William; Kahan, W. M.; Kahan, William M. more...less |
94 Publications (1992–2024) indexed |
191 Citations |
Co-Authors: | Wells, Joe B.; Ayala-Rincón, Mauricio; Nederpelt, Rob; … |
Main Fields: | Mathematical logic and foundations (03-XX) |
Published as: | Kamareddine, Fairouz; Kamareddine, F.; Kamareddine, Fairouz D. more...less |
12 Publications (1994–2019) indexed |
21 Citations |
Co-Authors: | Chen, Yan; Joseph, Anthony D.; Kubiatowicz, John D.; … |
Main Fields: | Computer science (68-XX) |
Published as: | Katz, Randy H.; Katz, Randy; Katz, R. H. more...less |
109 Publications (1992–2024) indexed |
2,797 Citations |
Co-Authors: | Tardos, Éva; Raghavan, Prabhakar; Kempe, David; … |
Main Fields: | Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Combinatorics (05-XX) |
Published as: | Kleinberg, Jon; Kleinberg, Jon M. |
2 Publications (1985–2000) indexed |
6 Citations |
Co-Authors: | Bates, Joseph L.; Constable, Robert Lee; Rehof, Jakob |
Main Fields: | Computer science (68-XX) |
Published as: | Knoblock, Todd B.; Knoblock, T. B. |
136 Publications (1978–2024) indexed |
2,969 Citations |
Co-Authors: | Silva, Alexandra; Jeannin, Jean-Baptiste; Mamouras, Konstantinos; … |
Main Fields: | Computer science (68-XX); Mathematical logic and foundations (03-XX) |
Published as: | Kozen, Dexter; Kozen, Dexter C.; Kozen, D. more...less |
35 Publications (1982–2012) indexed |
234 Citations |
Co-Authors: | Otten, Jens; Weihrauch, Klaus; Schmitt, Stephan; … |
Main Fields: | Computer science (68-XX) |
Published as: | Kreitz, Christoph; Kreitz, C. |
11 Publications (2001–2005) indexed |
38 Citations |
Co-Authors: | Chen, Yan; Hildrum, Kirsten; Katz, Randy Howard; … |
Main Fields: | Computer science (68-XX) |
Published as: | Kubiatowicz, John D.; Kubiatowicz, John |
89 Publications (1989–2024) indexed |
4,726 Citations |
Co-Authors: | Govaerts, Willy J. F.; Meijer, Hil G. E.; Rinaldi, Sergio; … |
Main Fields: | Dynamical systems and ergodic theory (37-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX) |
Published as: | Kuznetsov, Yu. A.; Kuznetsov, Yuri A.; Kuznetsov, Yuri; Kuznetsov, Y. A.; Kuznetsov, Yu.a.; Kuznetsov, Yury more...less |
12 Publications (1996–2012) indexed |
19 Citations |
Co-Authors: | Kamareddine, Fairouz D.; Nederpelt, Rob; Bloo, Roel; … |
Main Fields: | Mathematical logic and foundations (03-XX) |
Published as: | Laan, Twan |
35 Publications (1996–2023) indexed |
415 Citations |
Co-Authors: | Appel, Andrew W.; Blazy, Sandrine; Hirschowitz, Tom; … |
Main Fields: | Computer science (68-XX) |
Published as: | Leroy, Xavier |
1 Publication (2001) indexed |
1 Citation |
Co-Authors: | Bickford, Mark; Kreitz, Christoph; van Renesse, Robbert |
Main Fields: | Computer science (68-XX) |
Published as: | Liu, Xiaoming |
4 Publications (2000–2006) indexed |
35 Citations |
Co-Authors: | Constable, Robert Lee; Eaton, Richard; Kreitz, Christoph; … |
Main Fields: | Computer science (68-XX) |
Published as: | Lorigo, Lori; Lorigo, L. |
12 Publications (1976–2009) indexed |
104 Citations |
Co-Authors: | Gunter, Carl A.; Gunter, Elsa L.; Kahn, Gilles; … |
Main Fields: | Computer science (68-XX) |
Published as: | MacQueen, David B.; MacQueen, David; MacQueen, D. B.; Macqueen, David B. more...less |
7 Publications (2010–2021) indexed |
6 Citations |
Co-Authors: | Gunter, Elsa L.; Honoré, Wolf; Zdancewic, Steve; … |
Main Fields: | Computer science (68-XX) |
Published as: | Mansky, William |
21 Publications (1995–2020) indexed |
71 Citations |
Co-Authors: | Vömel, Christof; Vasconcelos, Paulo Beleza; Daydé, Michel J.; … |
Main Fields: | Numerical analysis (65-XX); General and overarching topics; collections (00-XX); Computer science (68-XX); ... |
Published as: | Marques, Osni; Marques, Osni A.; Marques, O. A.; Marques, O. more...less |
54 Publications (1995–2023) indexed |
146 Citations |
Co-Authors: | Zeilberger, Noam; Tabareau, Nicolas; Grellois, Charles; … |
Main Fields: | Mathematical logic and foundations (03-XX) |
Published as: | Melliès, Paul-André |
5 Publications (1985–1995) indexed |
137 Citations |
Co-Authors: | Aczel, Peter; Carlisle, David P.; Constable, Robert Lee; … |
Main Fields: | Mathematical logic and foundations (03-XX) |
Published as: | Mendler, Nax; Mendler, Nax Paul; Mendler, Nax P.; Mendler, N. P. more...less |
2 Publications (2000–2003) indexed |
4 Citations |
Co-Authors: | Appel, Andrew W.; Stump, Aaron; Virga, Roberto |
Main Fields: | Computer science (68-XX) |
Published as: | Michael, Neophytos G.; Michael, Neophytos |
11 Publications (2005–2016) indexed |
21 Citations |
Co-Authors: | Constable, Robert Lee; Canini, Kevin; Cotter, Andrew; … |
Main Fields: | Mathematical logic and foundations (03-XX) |
Published as: | Moczydłowski, Wojciech; Moczydlowski, Wojciech |
1 Publication (2006) indexed |
20 Citations |
Co-Authors: | Allen, Stuart F.; Bickford, Mark; Constable, Robert Lee; … |
Main Fields: | Mathematical logic and foundations (03-XX) |
Published as: | Moran, E. |
10 Publications (1972–1981) indexed |
70 Citations |
Co-Authors: | Jones, Neil D.; Constable, Robert Lee; Aho, Alfred Vaino; … |
Main Fields: | Computer science (68-XX) |
Published as: | Muchnick, Steven S.; Muchnick, S. S. |
1 Publication (1991) indexed |
6 Citations |
Co-Authors: | Constable, Robert Lee |
Main Fields: | Mathematical logic and foundations (03-XX) |
Published as: | Murthy, Chet |
21 Publications (1977–1996) indexed |
278 Citations |
Co-Authors: | Hoffmann, Christoph M.; Chen, Yiyun; Constable, Robert Lee; … |
Main Fields: | Computer science (68-XX) |
Published as: | O’Donnell, Michael J.; O’Donnell, Michael |
18 Publications (2011–2023) indexed |
86 Citations |
Co-Authors: | Kleinberg, Jon Michael; Dobzinski, Shahar; Babaioff, Moshe; … |
Main Fields: | Game theory, economics, finance, and other social and behavioral sciences (91-XX) |
Published as: | Oren, Sigal |
6 Publications (2000–2012) indexed |
38 Citations |
Co-Authors: | Zheng, Weimin; Amtoft, Torben; Appel, Andrew W.; … |
Main Fields: | Computer science (68-XX) |
Published as: | Ou, Xinming |
20 Publications (1989–2021) indexed |
38 Citations |
Co-Authors: | Ivanov, Dmitry S.; Roldugin, D. S.; Tkachev, S. S.; … |
Main Fields: | Systems theory; control (93-XX) |
Published as: | Ovchinnikov, M. Yu.; Ovchinnikov, M.; Ovchinnikov, Michael more...less |
4 Publications (2005–2011) indexed |
2 Citations |
Co-Authors: | Halpern, Joseph Yehuda; Bickford, Mark; Constable, Robert Lee |
Main Fields: | Computer science (68-XX) |
Published as: | Petride, Sabina |
76 Publications (2006–2024) indexed |
606 Citations |
Co-Authors: | Tan, Yong Kiam; Mitsch, Stefan; Clarke, Edmund Melson jun.; … |
Main Fields: | Computer science (68-XX); Mathematical logic and foundations (03-XX); Systems theory; control (93-XX) |
Published as: | Platzer, André |
7 Publications (2011–2024) indexed |
8 Citations |
Co-Authors: | Vassilevski, Panayot Spirov; Atkins, Zachary R.; Bindel, David S.; … |
Main Fields: | Numerical analysis (65-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX); ... |
Published as: | Ponce, Colin; Ponce, C. |
3 Publications (2003–2009) indexed |
11 Citations |
Co-Authors: | Garina, S. M.; Tishkin, Vladimir Fëdorovich; Zmitrenko, Nikolaĭ Vasil’evich; … |
Main Fields: | Fluid mechanics (76-XX) |
Published as: | Proncheva, N. G. |
19 Publications (2007–2024) indexed |
44 Citations |
Co-Authors: | Bickford, Mark; Cohen, Liron; Kamareddine, Fairouz D.; … |
Main Fields: | Computer science (68-XX) |
Published as: | Rahli, Vincent |
2 Publications (2006–2007) indexed |
40 Citations |
Co-Authors: | Appel, Andrew W.; Bahr, D. F.; Crabtree, O. I.; … |
Main Fields: | Mathematical logic and foundations (03-XX) |
Published as: | Richards, Christopher D. |
1 Publication (2010) indexed |
5 Citations |
Co-Authors: | Appel, Andrew W.; Blazy, Sandrine |
Main Fields: | Computer science (68-XX) |
Published as: | Robillard, Benoît |
4 Publications (2023–2024) indexed |
4 Citations |
Co-Authors: | Bindel, David S.; Kulik, Jackson; Orton-Urbina, Cedric; … |
Main Fields: | Numerical analysis (65-XX); Dynamical systems and ergodic theory (37-XX) |
Published as: | Ruth, Maximilian |
126 Publications (1974–2018) indexed |
2,250 Citations |
Co-Authors: | Horowitz, Ellis; Gonzalez, Teofilo F.; Nassimi, David; … |
Main Fields: | Computer science (68-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX) |
Published as: | Sahni, Sartaj; Sahni, S.; Sahni, Sartaj K. more...less |
3 Publications (2014–2020) indexed |
42 Citations |
Co-Authors: | Walker, David; Anderson, Carolyn Jane; Backes, John; … |
Main Fields: | Computer science (68-XX) |
Published as: | Schlesinger, Cole |
110 Publications (2007–2024) indexed |
569 Citations |
Co-Authors: | Bonsangue, Marcello Maria; Kozen, Dexter C.; Rutten, Jan J. M. M.; … |
Main Fields: | Computer science (68-XX); Category theory; homological algebra (18-XX) |
Published as: | Silva, Alexandra; Silva, A. |
40 Publications (1983–2021) indexed |
109 Citations |
Co-Authors: | Talcott, Carolyn L.; Skalka, Christian; Mason, Ian A.; … |
Main Fields: | Computer science (68-XX) |
Published as: | Smith, Scott F.; Smith, Scott |
1 Publication (2020) indexed |
1 Citation |
Co-Authors: | Abhishek, Aakash; Jeannin, Jean-Baptiste |
Main Fields: | Computer science (68-XX) |
Published as: | Sood, Harry |