Sam Buss

Citado por

	Total	Desde 2020
Citas	9125	2130
Índice h	45	22
Índice i10	113	52

460

230

115

345

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202531 79 64 62 80 96 141 110 108 137 117 168 179 178 197 200 258 294 293 298 286 285 303 288 322 331 343 363 375 424 390 389 437 422 412 449 21

Acceso público

Ver todo

27 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Maria Luisa BonetLSI, UPCDirección de correo verificada de lsi.upc.edu
Arnold BeckmannProfessor of Computer Science, Swansea UniversityDirección de correo verificada de swansea.ac.uk
Russell ImpagliazzoUCSDDirección de correo verificada de ucsd.edu
Peter N YianilosCIO Edgestream PartnersDirección de correo verificada de yianilos.com
Pavel Pudlákresearcher, Institute of Mathematics, CASDirección de correo verificada de math.cas.cz
Neil ThapenResearcher, Institute of Mathematics, Czech Academy of SciencesDirección de correo verificada de math.cas.cz
Stephen CookDepartment of Computer Science, University of TorontoDirección de correo verificada de cs.toronto.edu
Jan KrajicekCharles UniversityDirección de correo verificada de karlin.mff.cuni.cz
Jan JohannsenInstitut für Informatik, LMU MünchenDirección de correo verificada de ifi.lmu.de
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaDirección de correo verificada de icrea.cat
Alexey IgnatievFaculty of Information Technology, Monash UniversityDirección de correo verificada de monash.edu
António MorgadoARSR, Inesc-ID; IST, Universidade de LisboaDirección de correo verificada de arsr.inesc-id.pt
Moritz MüllerDirección de correo verificada de uni-passau.de
Leszek KołodziejczykAssociate Professor, University of WarsawDirección de correo verificada de mimuw.edu.pl
Dima GrigorievDirecteur de recherche, CNRS, LilleDirección de correo verificada de math.univ-lille1.fr
Peter CloteBoston CollgeDirección de correo verificada de bc.edu
shlomo moranCS Department, Technion, IsraelDirección de correo verificada de cs.technion.ac.il
Jan HoffmannCarnegie Mellon UniversityDirección de correo verificada de cmu.edu
Christos H PAPADIMITRIOUColumbia UniversityDirección de correo verificada de columbia.edu
Vijaya RamachandranUniversity of Texas at AustinDirección de correo verificada de cs.utexas.edu

Seguir

Sam Buss

Professor of Mathematics and Computer Science

Dirección de correo verificada de ucsd.edu - Página principal

Logic Theory of Computer Science


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	1003	2004
Bounded Arithmetic SR Buss	878	1986
Selectively damped least squares for inverse kinematics SR Buss, JS Kim Journal of Graphics tools 10 (3), 37-49, 2005	447	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	362	1998
Handbook of proof theory SR Buss Elsevier, 1998	360	1998
The Boolean formula value problem is in ALOGTIME SR Buss Proceedings of the nineteenth annual ACM symposium on Theory of computing …, 1987	324	1987
3-D computer graphics: a mathematical introduction with OpenGL SR Buss Cambridge Univ Pr, 2003	291	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	137	1998
An optimal parallel algorithm for formula evaluation SR Buss, S Cook, A Gupta, V Ramachandran SIAM J. Comput. 21 (4), 755-780, 1992	133	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	132	1996
The undecidability of k-provability SR Buss Annals of Pure and Applied Logic 53 (1), 75-102, 1991	129	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	112	1994
On Herbrand's theorem SR Buss International Workshop on Logic and Computational Complexity, 195-209, 1994	108	1994

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores