Sam Buss

Navedeno

	Vse	Od leta 2019
Navedbe	9079	2505
indeks h	45	24
indeks i10	113	58

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 363 373 424 423 388 438 421 421 414

Javni dostop

Prikaži vse

26 člankov

0 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Maria Luisa BonetLSI, UPCPreverjeni e-poštni naslov na lsi.upc.edu
Arnold BeckmannProfessor of Computer Science, Swansea UniversityPreverjeni e-poštni naslov na swansea.ac.uk
Russell ImpagliazzoUCSDPreverjeni e-poštni naslov na ucsd.edu
Peter N YianilosCIO Edgestream PartnersPreverjeni e-poštni naslov na yianilos.com
Pavel Pudlákresearcher, Institute of Mathematics, CASPreverjeni e-poštni naslov na math.cas.cz
Neil ThapenResearcher, Institute of Mathematics, Czech Academy of SciencesPreverjeni e-poštni naslov na math.cas.cz
Stephen CookDepartment of Computer Science, University of TorontoPreverjeni e-poštni naslov na cs.toronto.edu
Jan KrajicekCharles UniversityPreverjeni e-poštni naslov na karlin.mff.cuni.cz
Jan JohannsenInstitut für Informatik, LMU MünchenPreverjeni e-poštni naslov na ifi.lmu.de
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaPreverjeni e-poštni naslov na icrea.cat
Alexey IgnatievFaculty of Information Technology, Monash UniversityPreverjeni e-poštni naslov na monash.edu
António MorgadoARSR, Inesc-ID; IST, Universidade de LisboaPreverjeni e-poštni naslov na arsr.inesc-id.pt
Moritz MüllerPreverjeni e-poštni naslov na uni-passau.de
Leszek KołodziejczykAssociate Professor, University of WarsawPreverjeni e-poštni naslov na mimuw.edu.pl
Dima GrigorievDirecteur de recherche, CNRS, LillePreverjeni e-poštni naslov na math.univ-lille1.fr
Peter CloteBoston CollgePreverjeni e-poštni naslov na bc.edu
shlomo moranCS Department, Technion, IsraelPreverjeni e-poštni naslov na cs.technion.ac.il
Jan HoffmannCarnegie Mellon UniversityPreverjeni e-poštni naslov na cmu.edu
Christos H PAPADIMITRIOUColumbia UniversityPreverjeni e-poštni naslov na columbia.edu
Vijaya RamachandranUniversity of Texas at AustinPreverjeni e-poštni naslov na cs.utexas.edu

Spremljaj

Sam Buss

Professor of Mathematics and Computer Science

Preverjeni e-poštni naslov na ucsd.edu - Domača stran

Logic Theory of Computer Science


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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	995	2004
Bounded Arithmetic SR Buss	876	1986
Selectively damped least squares for inverse kinematics SR Buss, JS Kim Journal of Graphics tools 10 (3), 37-49, 2005	443	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	360	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	322	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	131	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	111	1994
On Herbrand's theorem SR Buss International Workshop on Logic and Computational Complexity, 195-209, 1994	108	1994

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji