LIPPARINI, ENRICO
 Distribuzione geografica
Continente #
EU - Europa 197
AS - Asia 74
NA - Nord America 56
SA - Sud America 7
Continente sconosciuto - Info sul continente non disponibili 6
Totale 340
Nazione #
IT - Italia 188
US - Stati Uniti d'America 53
BD - Bangladesh 21
SG - Singapore 19
CN - Cina 13
HK - Hong Kong 11
JP - Giappone 7
BR - Brasile 5
CZ - Repubblica Ceca 4
FI - Finlandia 2
AR - Argentina 1
CA - Canada 1
EC - Ecuador 1
FR - Francia 1
IE - Irlanda 1
JM - Giamaica 1
NI - Nicaragua 1
NL - Olanda 1
PH - Filippine 1
TH - Thailandia 1
VN - Vietnam 1
Totale 334
Città #
Genoa 139
Vado Ligure 29
San Jose 11
Los Angeles 6
Singapore 6
Hong Kong 4
Prague 4
Beijing 3
Dallas 3
Rome 3
Tallahassee 3
Tokyo 3
Ashburn 2
Kapolei 2
New York 2
Tsuen Wan 2
Turin 2
Bangkok 1
Boardman 1
Bologna 1
Bordighera 1
Brescia 1
Buffalo 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
Kathleen 1
Kingston 1
La Quinta 1
Lappeenranta 1
Las Vegas 1
Managua 1
Mestrino 1
Nijmegen 1
North Bergen 1
Norwalk 1
Oxnard 1
Quito 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 268
Nome #
Satisfiability modulo Nonlinear Arithmetic and Transcendental Functions via Numerical and Topological methods 236
Solvent: Liquidity Verification of Smart Contracts 47
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 31
Satisfiability of~Non-linear Transcendental Arithmetic as~a~Certificate Search Problem 26
Totale 340
Categoria #
all - tutte 776
article - articoli 0
book - libri 0
conference - conferenze 329
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.105


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/202724 15 6 3 0 0 0 0 0 0 0 0 0
Totale 340