Sam Buss

Cytowane przez

	Wszystkie	Od 2020
Cytowania	9156	2143
h-indeks	45	22
i10-indeks	112	51

440

220

110

330

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202531 77 67 67 82 94 140 105 109 141 116 162 183 178 199 206 260 290 290 296 292 292 304 285 329 330 342 360 378 422 392 392 415 426 418 439 53

Dostęp publiczny

Wyświetl wszystko

26 artykułów

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Maria Luisa BonetLSI, UPCZweryfikowany adres z lsi.upc.edu
Arnold BeckmannProfessor of Computer Science, Swansea UniversityZweryfikowany adres z swansea.ac.uk
Russell ImpagliazzoUCSDZweryfikowany adres z ucsd.edu
Pavel Pudlákresearcher, Institute of Mathematics, CASZweryfikowany adres z math.cas.cz
Peter N YianilosCIO Edgestream PartnersZweryfikowany adres z yianilos.com
Neil ThapenResearcher, Institute of Mathematics, Czech Academy of SciencesZweryfikowany adres z math.cas.cz
Stephen CookDepartment of Computer Science, University of TorontoZweryfikowany adres z cs.toronto.edu
Jan KrajicekCharles UniversityZweryfikowany adres z karlin.mff.cuni.cz
Jan JohannsenInstitut für Informatik, LMU MünchenZweryfikowany adres z ifi.lmu.de
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaZweryfikowany adres z icrea.cat
Alexey IgnatievFaculty of Information Technology, Monash UniversityZweryfikowany adres z monash.edu
António MorgadoARSR, Inesc-ID; IST, Universidade de LisboaZweryfikowany adres z arsr.inesc-id.pt
Moritz MüllerZweryfikowany adres z uni-passau.de
Leszek KołodziejczykAssociate Professor, University of WarsawZweryfikowany adres z mimuw.edu.pl
Dima GrigorievDirecteur de recherche, CNRS, LilleZweryfikowany adres z math.univ-lille1.fr
Peter CloteBoston CollgeZweryfikowany adres z bc.edu
Jan HoffmannCarnegie Mellon UniversityZweryfikowany adres z cmu.edu
shlomo moranCS Department, Technion, IsraelZweryfikowany adres z cs.technion.ac.il
Christos H PAPADIMITRIOUColumbia UniversityZweryfikowany adres z columbia.edu
Jiri SgallComputer Science Institute of Charles UniversityZweryfikowany adres z iuuk.mff.cuni.cz

Obserwuj

Sam Buss

Professor of Mathematics and Computer Science

Zweryfikowany adres z ucsd.edu - Strona główna

Logic Theory of Computer Science


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	1005	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	448	2005
Spherical averages and applications to spherical splines and interpolation SR Buss, JP Fillmore ACM Transactions on Graphics (TOG) 20 (2), 95-126, 2001	398	2001
An introduction to proof theory SR Buss Handbook of proof theory 137, 1-78, 1998	364	1998
Handbook of proof theory SR Buss Elsevier, 1998	363	1998
3-D computer graphics: a mathematical introduction with OpenGL SR Buss Cambridge Univ Pr, 2003	324	2003
The Boolean formula value problem is in ALOGTIME SR Buss Proceedings of the nineteenth annual ACM symposium on Theory of computing …, 1987	322	1987
Polynomial size proofs of the propositional pigeonhole principle SR Buss The Journal of Symbolic Logic 52 (4), 916-927, 1987	243	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	151	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	142	1998
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	136	1996
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
The undecidability of k-provability SR Buss Annals of Pure and Applied Logic 53 (1), 75-102, 1991	130	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	113	1994
On Herbrand's theorem SR Buss International Workshop on Logic and Computational Complexity, 195-209, 1994	110	1994

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy