Edit Profile (opens in new tab) Bellantoni, Stephen J. Co-Author Distance Author ID: bellantoni.stephen-j Published as: Bellantoni, Stephen J.; Bellantoni, Stephen; Bellantoni, S. more...less External Links: MGP Documents Indexed: 12 Publications since 1991 Co-Authors: 10 Co-Authors with 8 Joint Publications 454 Co-Co-Authors all top 5 Co-Authors 4 single-authored 2 Niggl, Karl-Heinz 2 Schwichtenberg, Helmut 1 Cook, Stephen Arthur 1 Hartman, Irith Ben-Arroyo 1 Hofmann, Martin 1 Oitavem, Isabel 1 Pitassi, Toniann 1 Przytycka, Teresa M. 1 Urquhart, Alasdair 1 Whitesides, Sue H. all top 5 Serials 2 SIAM Journal on Computing 1 Discrete Mathematics 1 The Journal of Symbolic Logic 1 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 Information and Computation 1 Computational Complexity Fields 10 Mathematical logic and foundations (03-XX) 9 Computer science (68-XX) 1 Combinatorics (05-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 11 Publications have been cited 224 times in 171 Documents Cited by ▼ Year ▼ A new recursion-theoretic characterization of the polytime functions. Zbl 0766.68037 Bellantoni, Stephen; Cook, Stephen 129 1992 Grid intersection graphs and boxicity. Zbl 0784.05031 Bellantoni, S.; Hartman, I. Ben-Arroyo; Przytycka, T.; Whitesides, S. 19 1993 Higher type recursion, ramification and polynomial time. Zbl 0959.03027 Bellantoni, Stephen J.; Niggl, Karl-Heinz; Schwichtenberg, Helmut 18 2000 Predicative recursion and the polytime hierarchy. Zbl 0841.03022 Bellantoni, Stephen 18 1995 Approximation and small-depth Frege proofs. Zbl 0762.03020 Bellantoni, Stephen; Pitassi, Toniann; Urquhart, Alasdair 14 1992 A new “feasible” arithmetic. Zbl 1006.03035 Bellantoni, Stephen; Hofmann, Martin 8 2002 Ranking primitive recursions: The low Grzegorczyk classes revisited. Zbl 0939.03042 Bellantoni, Stephen J.; Niggl, Karl-Heinz 7 1998 Separating NC along the \(\delta\) axis. Zbl 1076.68030 Bellantoni, S.; Oitavem, I. 4 2004 Feasible computation with higher types. Zbl 1064.03030 Schwichtenberg, Helmut; Bellantoni, Stephen J. 3 2002 Ranking arithmetic proofs by implicit ramification. Zbl 0890.03034 Bellantoni, Stephen J. 2 1998 Parallel random access machines with bounded memory wordsize. Zbl 0723.68041 Bellantoni, Stephen J. 2 1991 Separating NC along the \(\delta\) axis. Zbl 1076.68030 Bellantoni, S.; Oitavem, I. 4 2004 A new “feasible” arithmetic. Zbl 1006.03035 Bellantoni, Stephen; Hofmann, Martin 8 2002 Feasible computation with higher types. Zbl 1064.03030 Schwichtenberg, Helmut; Bellantoni, Stephen J. 3 2002 Higher type recursion, ramification and polynomial time. Zbl 0959.03027 Bellantoni, Stephen J.; Niggl, Karl-Heinz; Schwichtenberg, Helmut 18 2000 Ranking primitive recursions: The low Grzegorczyk classes revisited. Zbl 0939.03042 Bellantoni, Stephen J.; Niggl, Karl-Heinz 7 1998 Ranking arithmetic proofs by implicit ramification. Zbl 0890.03034 Bellantoni, Stephen J. 2 1998 Predicative recursion and the polytime hierarchy. Zbl 0841.03022 Bellantoni, Stephen 18 1995 Grid intersection graphs and boxicity. Zbl 0784.05031 Bellantoni, S.; Hartman, I. Ben-Arroyo; Przytycka, T.; Whitesides, S. 19 1993 A new recursion-theoretic characterization of the polytime functions. Zbl 0766.68037 Bellantoni, Stephen; Cook, Stephen 129 1992 Approximation and small-depth Frege proofs. Zbl 0762.03020 Bellantoni, Stephen; Pitassi, Toniann; Urquhart, Alasdair 14 1992 Parallel random access machines with bounded memory wordsize. Zbl 0723.68041 Bellantoni, Stephen J. 2 1991 all cited Publications top 5 cited Publications all top 5 Cited by 191 Authors 11 Dal Lago, Ugo 9 Chandran, L. Sunil 8 Baillot, Patrick 8 Hofmann, Martin 8 Marion, Jean-Yves 7 Oitavem, Isabel 7 Péchoux, Romain 6 Hainry, Emmanuel 6 Leivant, Daniel M. 6 Niggl, Karl-Heinz 5 Avanzini, Martin 5 Bellantoni, Stephen J. 5 Bournez, Olivier 5 Sivadasan, Naveen 5 Wainer, Stanley Scott 4 Buss, Samuel R. 4 Galesi, Nicola 4 Moser, Georg 4 Schwichtenberg, Helmut 4 Zhang, Yu 3 Bonfante, Guillaume 3 Eguchi, Naohi 3 Kahle, Reinhard 3 Kapron, Bruce M. 3 Mazza, Damiano 3 Müller, Moritz 3 Nowak, David E. 3 Redmond, Brian F. 3 Terui, Kazushige 2 Adiga, Abhijin 2 Arai, Toshiyasu 2 Asperti, Andrea 2 Aubert, Clément 2 Bagnol, Marc 2 Beckmann, Arnold 2 Bloch, Stephen A. 2 Caporaso, Salvatore 2 Cockett, J. Robin B. 2 Constable, Robert Lee 2 Cucker, Felipe 2 Danner, Norman 2 de Naurois, Paulin Jacobé 2 Francis, Mathew C. 2 Friedman, Sy-David 2 Ghyselen, Alexis 2 Golumbic, Martin Charles 2 Impagliazzo, Russell 2 Itsykson, Dmitry M. 2 Japaridze, Giorgi 2 Kohlenbach, Ulrich Wilhelm 2 Kratochvíl, Jan 2 Moyen, Jean-Yves 2 Otachi, Yota 2 Pitassi, Toniann 2 Riazanov, Artur 2 Rossman, Benjamin 2 Simonsen, Jakob Grue 2 Sofronova, Anastasia 2 Strahm, Thomas 2 Urquhart, Alasdair 1 Aehlig, Klaus 1 Amadio, Roberto M. 1 Asinowski, Andrei 1 Atserias, Albert 1 Babu, Jasine 1 Beame, Paul W. 1 Benzinger, Ralph 1 Berger, Ulrich 1 Bhaskar, Siddharth 1 Bhowmick, Diptendu 1 Blanc, Manon 1 Bonner, Anthony J. 1 Boudes, Pierre 1 Brunel, Aloïs 1 Burrell, Mike 1 Campagnolo, Manuel Lameiras 1 Carlucci, Lorenzo 1 Chaplick, Steven 1 Chew, Leroy 1 Clote, Peter G. 1 Cohen, Elad 1 Cook, Stephen Arthur 1 Costa, José Félix 1 Covino, Emanuele 1 Dal Zilio, Silvano 1 Das, Anita 1 Das, Anupam 1 de Naurois, Jacobé Paulin 1 Díaz-Báñez, Jose Miguel 1 Durand-Lose, Jérôme Olivier 1 Eberhard, Sebastian 1 Fampa, Marcia Helena C. 1 Férée, Hugo 1 Fichot, Jean 1 Fleming, Noah 1 Fu, Xudong 1 Gaboardi, Marco 1 Goldschmidt, Nir 1 Gomaa, Walid E. 1 Gordon, Dan ...and 91 more Authors all top 5 Cited in 34 Serials 28 Theoretical Computer Science 17 Information and Computation 12 Annals of Pure and Applied Logic 7 Information Processing Letters 6 The Bulletin of Symbolic Logic 5 Discrete Applied Mathematics 5 Computational Complexity 4 Archive for Mathematical Logic 3 Discrete Mathematics 3 The Journal of Symbolic Logic 3 Graphs and Combinatorics 3 MSCS. Mathematical Structures in Computer Science 3 Theory of Computing Systems 3 Logical Methods in Computer Science 2 The Journal of Logic and Algebraic Programming 2 ACM Transactions on Computational Logic 1 Journal of Computer and System Sciences 1 Networks 1 Notre Dame Journal of Formal Logic 1 SIAM Journal on Computing 1 Synthese 1 Moscow University Computational Mathematics and Cybernetics 1 Combinatorica 1 Order 1 Algorithmica 1 Journal of Automated Reasoning 1 Computational Geometry 1 International Journal of Foundations of Computer Science 1 Mathematical Logic Quarterly (MLQ) 1 Journal of Functional Programming 1 Logic and Logical Philosophy 1 Natural Computing 1 Oberwolfach Reports 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 13 Fields 116 Computer science (68-XX) 96 Mathematical logic and foundations (03-XX) 17 Combinatorics (05-XX) 9 Information and communication theory, circuits (94-XX) 6 General and overarching topics; collections (00-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Category theory; homological algebra (18-XX) 2 Numerical analysis (65-XX) 2 Operations research, mathematical programming (90-XX) 1 History and biography (01-XX) 1 Measure and integration (28-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year