LAURIA, MASSIMO
 Distribuzione geografica
Continente #
NA - Nord America 281
EU - Europa 106
AS - Asia 40
AF - Africa 4
SA - Sud America 2
Totale 433
Nazione #
US - Stati Uniti d'America 276
IT - Italia 70
FR - Francia 12
CN - Cina 10
AM - Armenia 8
IN - India 7
IE - Irlanda 6
CA - Canada 5
GB - Regno Unito 4
ZA - Sudafrica 4
DE - Germania 3
IL - Israele 3
IR - Iran 3
OM - Oman 3
CZ - Repubblica Ceca 2
ES - Italia 2
HK - Hong Kong 2
RU - Federazione Russa 2
BR - Brasile 1
CL - Cile 1
GR - Grecia 1
ID - Indonesia 1
LT - Lituania 1
LV - Lettonia 1
NL - Olanda 1
RO - Romania 1
SA - Arabia Saudita 1
SG - Singapore 1
TW - Taiwan 1
Totale 433
Città #
Houston 40
Rome 35
Fairfield 29
Ann Arbor 23
Seattle 19
Santa Cruz 18
Ashburn 17
Albano Laziale 15
Woodbridge 14
Buffalo 8
Cambridge 8
Las Vegas 8
Guangzhou 7
Wilmington 7
Bengaluru 6
Clearwater 6
Dublin 6
Muizenberg 4
Andover 3
Des Moines 3
Los Angeles 3
Nettuno 3
Toronto 3
Yerevan 3
Boulder 2
Chicago 2
Henderson 2
Lake Forest 2
Milan 2
Mountain View 2
New York 2
Ottawa 2
Palermo 2
Phoenix 2
Provo 2
Saint Petersburg 2
San Diego 2
Alfara 1
Atlanta 1
Bandung 1
Barcelona 1
Boardman 1
Chandler 1
Chang-hua 1
Costigliole Saluzzo 1
Dallas 1
Dulles 1
Frankfurt Am Main 1
Gaeta 1
Gedera 1
Hangzhou 1
Kansas City 1
Kashan 1
Kish 1
Parsippany 1
Patna 1
Petah Tikva 1
Pistoia 1
Ramat Gan 1
Redcar 1
Safwa 1
San Jose 1
Santa Clara 1
Scranton 1
Siena 1
Stockton 1
Sunnyvale 1
Terracina 1
Timisoara 1
Wuhan 1
Totale 347
Nome #
On the proof complexity of Paris-harrington and off-diagonal ramsey tautologies, file e3835315-6216-15e8-e053-a505fe0a3de9 143
Space complexity in polynomial calculus, file e3835316-cc8b-15e8-e053-a505fe0a3de9 135
Paris-Harrington tautologies, file e3835325-d8f8-15e8-e053-a505fe0a3de9 129
From small space to small width in resolution, file e3835320-0d62-15e8-e053-a505fe0a3de9 5
null, file 91ff7e47-4e0b-4a48-a8fd-3a797628e1b0 4
The complexity of proving that a graph is Ramsey, file e383531e-31d0-15e8-e053-a505fe0a3de9 4
Parameterized complexity of DPLL search procedures, file e3835312-1411-15e8-e053-a505fe0a3de9 3
null, file e383531e-6091-15e8-e053-a505fe0a3de9 3
Algorithm analysis through proof complexity, file e383531f-e30e-15e8-e053-a505fe0a3de9 3
Circular (Yet Sound) Proofs, file e3835325-b98a-15e8-e053-a505fe0a3de9 3
null, file e383531a-5983-15e8-e053-a505fe0a3de9 2
A rank lower bound for cutting Planes Proofs of Ramsey's Theorem, file e383531e-0070-15e8-e053-a505fe0a3de9 2
Towards an understanding of polynomial calculus: New separations and lower bounds (extended abstract), file e383531e-6e05-15e8-e053-a505fe0a3de9 2
Algorithm analysis through proof complexity, file e383531f-e30f-15e8-e053-a505fe0a3de9 2
The complexity of proving that a graph is Ramsey, file e383532b-445c-15e8-e053-a505fe0a3de9 2
Verification and generation of unrefinable partitions, file 009a7fc2-ac1a-4ef6-ac5e-9a309050f2c6 1
Circular (Yet Sound) Proofs in Propositional Logic, file 03f2c554-93cc-481a-a37c-a22813673faf 1
On Vanishing Sums of Roots of Unity in Polynomial Calculus and Sum-Of-Squares, file 59dd475e-f8b3-4e3a-95ab-e00f297219fd 1
On the maximal part in unrefinable partitions of triangular numbers, file 81f30bc3-133b-4561-a70d-ed7a97c623a9 1
null, file e383531a-5ada-15e8-e053-a505fe0a3de9 1
Tight Size-Degree Bounds for Sums-of-Squares Proofs, file e383531e-0066-15e8-e053-a505fe0a3de9 1
Narrow proofs may be maximally long, file e383531e-006f-15e8-e053-a505fe0a3de9 1
Towards an understanding of polynomial calculus: New separations and lower bounds (extended abstract), file e383531e-0095-15e8-e053-a505fe0a3de9 1
Towards an understanding of polynomial calculus: New separations and lower bounds (extended abstract), file e383531e-02bc-15e8-e053-a505fe0a3de9 1
A note about k-DNF resolution, file e383531e-1065-15e8-e053-a505fe0a3de9 1
On semantic cutting planes with very small coefficients, file e383531e-31c4-15e8-e053-a505fe0a3de9 1
Cliques enumeration and tree-like resolution proofs, file e3835320-0d61-15e8-e053-a505fe0a3de9 1
Upper bounds on positional Paris–Harrington games, file e383532b-2185-15e8-e053-a505fe0a3de9 1
Space complexity in polynomial calculus, file e383532b-46d6-15e8-e053-a505fe0a3de9 1
Totale 456
Categoria #
all - tutte 727
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 727


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201932 0 0 0 0 0 0 0 0 0 7 14 11
2019/202063 9 5 3 4 7 3 5 7 6 4 6 4
2020/202178 6 2 4 2 3 5 3 6 8 24 5 10
2021/2022138 6 6 14 30 19 2 6 6 7 9 28 5
2022/202373 6 8 17 12 5 7 10 0 3 2 3 0
2023/202442 4 2 4 3 4 2 7 15 1 0 0 0
Totale 456