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 |
Found 123 Authors (Results 1–100)
Ahmad, Hammad
| 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 |
Aitken, William E.
| 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. |
Allen, Stuart F.
| 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... |
Amtoft, Torben
| 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 |
Anand, Abhishek
| 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 |
Anderson, Carolyn Jane
| 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... |
Bargteil, Adam W.
| 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 |
Basin, David A.
| 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. |
Bates, Joseph L.
| 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. |
Becker, Heiko
| 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 |
Bell, Christian J.
| 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. |
Beringer, Lennart
| 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 |
Bertot, Yves
| 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 |
Blazy, Sandrine
| 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 |
Blume, Matthias
| 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 |
Bogomolov, Fedor Alekseivich
| 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... |
Borodin, Allan B.
| 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... |
Cao, Qinxiang
| 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 |
Chadwick, Jeffrey N.
| 2 Publications (1999–2015) indexed |
| Co-Authors: | Bindel, David S. |
| Main Fields: | Statistical mechanics, structure of matter (82-XX) |
| Published as: | Chadwick, J. |
Chandra, Satish
| 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 |
Chen, Yan
| 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 |
Cohen, Joshua M.
| 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 |
Cohen, Liron
| 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 |
Cousino, Andrew
| 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 |
Crary, Karl
| 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 |
Cuellar, Santiago
| 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 |
Czekanski, Michael
| 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 |
Dan, Andrei Marian
| 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 |
Darulova, Eva
| 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 |
Demmel, James Weldon
| 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... |
Dockins, Robert
| 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 |
Dodds, Josiah
| 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 |
Donahue, James E.
| 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 |
Duraisamy, Karthik
| 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. |
Eaton, Richard
| 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... |
Egli, Herbert
| 3 Publications (1975–1976) indexed |
| 27 Citations |
| Co-Authors: | Constable, Robert Lee |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Egli, Herbert |
Eichenlaub, C. D.
| 1 Publication (1982) indexed |
| 5 Citations |
| Co-Authors: | Constable, Robert Lee |
| Main Fields: | Computer science (68-XX) |
| Published as: | Eichenlaub, C. D. |
Faber, Benjamin
| 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 |
Fairborn, Margaret
| 1 Publication (2024) indexed |
| Co-Authors: | Bindel, David S.; Czekanski, Michael; Faber, Benjamin; … |
| Main Fields: | – |
| Published as: | – |
Felty, Amy P.
| 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... |
Foster, Nate
| 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 |
Friedman, Mark J.
| 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... |
Govaerts, Willy J. F.
| 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... |
Govindjee, Sanjay
| 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. |
Gries, David
| 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 |
Grütter, Samuel
| 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 |
Guha, Arjun
| 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 |
Halpern, Joseph Yehuda
| 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... |
Hartmanis, Juris
| 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 |
Hatcliff, John
| 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. |
He, Wei
| 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 |
Hickey, Jason J.
| 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. |
Hobor, Aquinas
| 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 |
Honoré, Wolf
| 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 |
Hood, Amanda
| 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 |
Howe, Douglas J.
| 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... |
Hunt, Harry Bowen III
| 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... |
Ivanov, Dmitry S.
| 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... |
Jim, Trevor
| 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 |
Kahan, William Morton
| 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... |
Kamareddine, Fairouz D.
| 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... |
Katz, Randy Howard
| 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... |
Kleinberg, Jon Michael
| 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. |
Knoblock, Todd B.
| 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. |
Kozen, Dexter C.
| 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... |
Kreitz, Christoph
| 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. |
Kubiatowicz, John D.
| 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 |
Kuznetsov, Yuriĭ Aleksandrovich
| 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... |
Laan, Twan
| 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 |
Leroy, Xavier
| 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 |
Liu, Xiaoming
| 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 |
Lorigo, Lori
| 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. |
MacQueen, David B.
| 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... |
Mansky, William
| 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 |
Marques, Osni A.
| 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... |
Melliès, Paul-André
| 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é |
Mendler, Nax Paul
| 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... |
Michael, Neophytos G.
| 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 |
Moczydłowski, Wojciech
| 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 |
Moran, E.
| 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. |
Muchnick, Steven S.
| 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. |
Murthy, Chet
| 1 Publication (1991) indexed |
| 6 Citations |
| Co-Authors: | Constable, Robert Lee |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Murthy, Chet |
O’Donnell, Michael J.
| 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 |
Oren, Sigal
| 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 |
Ou, Xinming
| 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 |
Ovchinnikov, Mikhail Yur’evich
| 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... |
Petride, Sabina
| 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 |
Platzer, André
| 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é |
Ponce, Colin
| 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. |
Proncheva, N. G.
| 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. |
Rahli, Vincent
| 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 |
Richards, Christopher D.
| 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. |
Robillard, Benoît
| 1 Publication (2010) indexed |
| 5 Citations |
| Co-Authors: | Appel, Andrew W.; Blazy, Sandrine |
| Main Fields: | Computer science (68-XX) |
| Published as: | Robillard, Benoît |
Ruth, Maximilian
| 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 |
Sahni, Sartaj K.
| 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... |
Schlesinger, Cole
| 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 |
Silva, Alexandra
| 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. |
Smith, Scott F.
| 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 |
Sood, Harry
| 1 Publication (2020) indexed |
| 1 Citation |
| Co-Authors: | Abhishek, Aakash; Jeannin, Jean-Baptiste |
| Main Fields: | Computer science (68-XX) |
| Published as: | Sood, Harry |
Filter Results by …
Award
- Turing Award (2)
- Nevanlinna Prize (1)
all
top 3
Main Field
- 68-XX (84)
- 03-XX (21)
- 65-XX (12)
- 37-XX (7)
- 91-XX (7)
- 90-XX (6)
- 93-XX (6)
- 34-XX (5)
- 94-XX (5)
- 15-XX (4)
- 35-XX (3)
- 62-XX (3)
- 76-XX (3)
- 00-XX (2)
- 05-XX (2)
- 11-XX (2)
- 14-XX (2)
- 47-XX (2)
- 58-XX (2)
- 74-XX (2)
- 78-XX (2)
- 81-XX (2)
- 92-XX (2)
- 18-XX (1)
- 20-XX (1)
- 30-XX (1)
- 32-XX (1)
- 40-XX (1)
- 42-XX (1)
- 45-XX (1)
- 46-XX (1)
- 53-XX (1)
- 54-XX (1)
- 60-XX (1)
- 70-XX (1)
- 82-XX (1)
- 97-XX (1)
all
top 3
External Link
- MGP (35)
- dblp (12)
- Homepage (12)
- Wikidata (11)
- GND (9)
- IdRef (9)
- ORCID (8)
- carmin.tv (5)
- Google Scholar (5)
- Math-Net.Ru (3)
- ResearchGate (2)
- theses.fr (2)
