LIPPARINI, ENRICO
 Distribuzione geografica
Continente #
EU - Europa 199
NA - Nord America 81
AS - Asia 74
SA - Sud America 7
Continente sconosciuto - Info sul continente non disponibili 6
Totale 367
Nazione #
IT - Italia 190
US - Stati Uniti d'America 73
BD - Bangladesh 21
SG - Singapore 19
CN - Cina 13
HK - Hong Kong 11
JP - Giappone 7
BR - Brasile 5
CZ - Repubblica Ceca 4
CA - Canada 2
CR - Costa Rica 2
FI - Finlandia 2
AR - Argentina 1
EC - Ecuador 1
FR - Francia 1
GP - Guadalupe 1
IE - Irlanda 1
JM - Giamaica 1
NI - Nicaragua 1
NL - Olanda 1
PH - Filippine 1
SV - El Salvador 1
TH - Thailandia 1
VN - Vietnam 1
Totale 361
Città #
Genoa 139
Vado Ligure 29
San Jose 11
Ashburn 7
Los Angeles 6
Singapore 6
Hong Kong 4
Prague 4
Beijing 3
Council Bluffs 3
Dallas 3
Rome 3
Tallahassee 3
Tokyo 3
Kapolei 2
Las Vegas 2
New York 2
San José 2
Tsuen Wan 2
Turin 2
Bangkok 1
Boardman 1
Bologna 1
Bordighera 1
Brescia 1
Buffalo 1
Burkburnett 1
Charleston 1
Charlotte 1
Chicago 1
Conway 1
Curitiba 1
Desio 1
Dover 1
Dublin 1
Galt 1
Gravataí 1
Haiphong 1
Helsinki 1
Jupiter 1
Kailua 1
Kathleen 1
Kingston 1
La Quinta 1
Lappeenranta 1
Los Gatos 1
Managua 1
Mestrino 1
New Smyrna Beach 1
Newark 1
Niagara Falls 1
Nijmegen 1
North Bergen 1
Norwalk 1
Oxnard 1
Quito 1
Sainte-Rose 1
San Salvador 1
Santa Clara 1
Santa Maria 1
Spokane 1
São Paulo 1
Tampa 1
Tarlac City 1
Taubaté 1
Teixeiras 1
Temple 1
Tooele 1
Toronto 1
Tourcoing 1
Verona 1
Villa Carlos Paz 1
Wuhan 1
Totale 289
Nome #
Satisfiability modulo Nonlinear Arithmetic and Transcendental Functions via Numerical and Topological methods 250
Solvent: Liquidity Verification of Smart Contracts 50
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 36
Satisfiability of~Non-linear Transcendental Arithmetic as~a~Certificate Search Problem 31
Totale 367
Categoria #
all - tutte 841
article - articoli 0
book - libri 0
conference - conferenze 358
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.199


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202410 0 0 2 0 0 0 0 3 0 0 2 3
2024/2025130 0 2 0 0 4 42 32 14 13 8 4 11
2025/2026176 12 5 10 12 17 21 16 9 16 12 23 23
2026/202751 15 6 9 21 0 0 0 0 0 0 0 0
Totale 367