Sam Buss

Cited by

	All	Since 2018
Citations	8456	2362
h-index	44	22
i10-index	106	53

440

220

110

330

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202321 29 78 64 60 77 94 129 113 108 123 111 160 189 177 194 208 239 287 284 300 280 283 305 294 319 318 342 355 372 425 377 391 438 421 308

Public access

View all

23 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Maria Luisa BonetLSI, UPCVerified email at lsi.upc.edu
Arnold BeckmannProfessor of Computer Science, Swansea UniversityVerified email at swansea.ac.uk
Russell ImpagliazzoUC, San DiegoVerified email at eng.ucsd.edu
Peter N YianilosCEO/CIO Edgestream PartnersVerified email at yianilos.com
Stephen CookDepartment of Computer Science, University of TorontoVerified email at cs.toronto.edu
Neil ThapenResearcher, Institute of Mathematics, Czech Academy of SciencesVerified email at math.cas.cz
Jan JohannsenInstitut für Informatik, LMU MünchenVerified email at ifi.lmu.de
Leszek KołodziejczykAssociate Professor, University of WarsawVerified email at mimuw.edu.pl
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
António MorgadoUniversity of LleidaVerified email at udl.cat
Christos H PAPADIMITRIOUColumbia UniversityVerified email at columbia.edu
Dima GrigorievDirecteur de recherche, CNRS, LilleVerified email at math.univ-lille1.fr
Peter CloteBoston CollgeVerified email at bc.edu
Moritz MüllerVerified email at uni-passau.de
Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu
shlomo moranCS Department, Technion, IsraelVerified email at cs.technion.ac.il
Vijaya RamachandranUniversity of Texas at AustinVerified email at cs.utexas.edu
Jiri SgallComputer Science Institute of Charles UniversityVerified email at iuuk.mff.cuni.cz
Gyorgy Turan University of Illinois at Chicago, and Hungarian Academy of SciencesVerified email at uic.edu

Sam Buss

Professor of Mathematics and Computer Science

Verified email at ucsd.edu - Homepage

Logic Theory of Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Introduction to inverse kinematics with jacobian transpose, pseudoinverse and damped least squares methods SR Buss University of California, San Diego, Typeset manuscript, available from http …, 2004	914	2004
Bounded Arithmetic SR Buss	846	1986
Selectively damped least squares for inverse kinematics SR Buss, JS Kim Journal of Graphics tools 10 (3), 37-49, 2005	406	2005
Spherical averages and applications to spherical splines and interpolation SR Buss, JP Fillmore ACM Transactions on Graphics (TOG) 20 (2), 95-126, 2001	383	2001
Handbook of proof theory SR Buss Elsevier, 1998	348	1998
An introduction to proof theory SR Buss Handbook of proof theory 137, 1-78, 1998	328	1998
The Boolean formula value problem is in ALOGTIME SR Buss Proceedings of the nineteenth annual ACM symposium on Theory of computing …, 1987	307	1987
3-D computer graphics: a mathematical introduction with OpenGL SR Buss Cambridge Univ Pr, 2003	303	2003
Polynomial size proofs of the propositional pigeonhole principle SR Buss The Journal of Symbolic Logic 52 (4), 916-927, 1987	239	1987
Linear gaps between degrees for the polynomial calculus modulo distinct primes S Buss, D Grigoriev, R Impagliazzo, T Pitassi Proceedings of the thirty-first annual ACM symposium on Theory of computing …, 1999	140	1999
On truth-table reducibility to SAT SR Buss, L Hay Information and Computation 91 (1), 86-102, 1991	136	1991
First-order proof theory of arithmetic SR Buss Studies in Logic and the Foundations of Mathematics 137, 79-147, 1998	129	1998
An optimal parallel algorithm for formula evaluation SR Buss, S Cook, A Gupta, V Ramachandran SIAM J. Comput. 21 (4), 755-780, 1992	128	1992
Proof complexity in algebraic systems and bounded depth Frege systems with modular counting S Buss, R Impagliazzo, J Krajíček, P Pudlák, AA Razborov, J Sgall Computational Complexity 6 (3), 256-298, 1996	127	1996
The undecidability of k-provability SR Buss Annals of Pure and Applied Logic 53 (1), 75-102, 1991	124	1991
Resolution proofs of generalized pigeonhole principles SR Buss, G Turán Theoretical Computer Science 62 (3), 311-317, 1988	121	1988
A Switching Lemma for Small Restrictions and Lower Bounds for k-DNF Resolution N Segerlind, S Buss, R Impagliazzo SIAM Journal on Computing 33 (5), 1171-1200, 2004	116	2004
Switching lemma for small restrictions and lower bounds for k-DNF resolution N Segerlind, S Buss, R Impagliazzo Foundations of Computer Science, 2002. Proceedings. The 43rd Annual IEEE …, 2002	116	2002
On Herbrand's theorem SR Buss International Workshop on Logic and Computational Complexity, 195-209, 1994	103	1994
An application of Boolean complexity to separation problems in bounded arithmetic SR Buss, J Krajicek Proceedings of the London Mathematical Society 69 (1), 1-21, 1994	102	1994

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors