Sam Buss

Cited by

	All	Since 2019
Citations	9046	2472
h-index	45	23
i10-index	111	56

440

220

110

330

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202431 79 64 62 80 96 140 110 108 137 117 168 179 178 197 176 258 292 293 298 286 284 303 288 322 331 343 364 373 424 421 388 438 419 420 386

Public access

View all

26 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 ImpagliazzoUCSDVerified email at ucsd.edu
Peter N YianilosCIO Edgestream PartnersVerified email at yianilos.com
Pavel Pudlákresearcher, Institute of Mathematics, CASVerified email at math.cas.cz
Neil ThapenResearcher, Institute of Mathematics, Czech Academy of SciencesVerified email at math.cas.cz
Stephen CookDepartment of Computer Science, University of TorontoVerified email at cs.toronto.edu
Jan KrajicekCharles UniversityVerified email at karlin.mff.cuni.cz
Jan JohannsenInstitut für Informatik, LMU MünchenVerified email at ifi.lmu.de
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
António MorgadoARSR, Inesc-ID; IST, Universidade de LisboaVerified email at arsr.inesc-id.pt
Moritz MüllerVerified email at uni-passau.de
Leszek KołodziejczykAssociate Professor, University of WarsawVerified email at mimuw.edu.pl
Dima GrigorievDirecteur de recherche, CNRS, LilleVerified email at math.univ-lille1.fr
Peter CloteBoston CollgeVerified email at bc.edu
shlomo moranCS Department, Technion, IsraelVerified email at cs.technion.ac.il
Jan HoffmannCarnegie Mellon UniversityVerified email at cmu.edu
Christos H PAPADIMITRIOUColumbia UniversityVerified email at columbia.edu
Vijaya RamachandranUniversity of Texas at AustinVerified email at cs.utexas.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	991	2004
Bounded Arithmetic SR Buss	873	1986
Selectively damped least squares for inverse kinematics SR Buss, JS Kim Journal of Graphics tools 10 (3), 37-49, 2005	441	2005
Spherical averages and applications to spherical splines and interpolation SR Buss, JP Fillmore ACM Transactions on Graphics (TOG) 20 (2), 95-126, 2001	395	2001
An introduction to proof theory SR Buss Handbook of proof theory 137, 1-78, 1998	359	1998
Handbook of proof theory SR Buss Elsevier, 1998	358	1998
The Boolean formula value problem is in ALOGTIME SR Buss Proceedings of the nineteenth annual ACM symposium on Theory of computing …, 1987	321	1987
3-D computer graphics: a mathematical introduction with OpenGL SR Buss Cambridge Univ Pr, 2003	284	2003
Polynomial size proofs of the propositional pigeonhole principle SR Buss The Journal of Symbolic Logic 52 (4), 916-927, 1987	244	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	150	1999
On truth-table reducibility to SAT SR Buss, L Hay Information and Computation 91 (1), 86-102, 1991	147	1991
First-order proof theory of arithmetic SR Buss Studies in Logic and the Foundations of Mathematics 137, 79-147, 1998	136	1998
An optimal parallel algorithm for formula evaluation SR Buss, S Cook, A Gupta, V Ramachandran SIAM J. Comput. 21 (4), 755-780, 1992	132	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	130	1996
The undecidability of k-provability SR Buss Annals of Pure and Applied Logic 53 (1), 75-102, 1991	128	1991
Resolution proofs of generalized pigeonhole principles SR Buss, G Turán Theoretical Computer Science 62 (3), 311-317, 1988	127	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	120	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	120	2002
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	110	1994
On Herbrand's theorem SR Buss International Workshop on Logic and Computational Complexity, 195-209, 1994	108	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