ROVERI, MARCO
 Distribuzione geografica
Continente #
EU - Europa 101
NA - Nord America 74
AS - Asia 66
SA - Sud America 3
Continente sconosciuto - Info sul continente non disponibili 3
Totale 247
Nazione #
IT - Italia 81
US - Stati Uniti d'America 72
VN - Vietnam 24
SG - Singapore 14
CN - Cina 7
HK - Hong Kong 7
RU - Federazione Russa 7
CH - Svizzera 5
IN - India 4
KR - Corea 4
DE - Germania 3
BR - Brasile 2
FI - Finlandia 2
JP - Giappone 2
AR - Argentina 1
BD - Bangladesh 1
CA - Canada 1
FR - Francia 1
PK - Pakistan 1
PT - Portogallo 1
SE - Svezia 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
Totale 244
Città #
Turin 32
Ashburn 31
Dallas 11
Milan 9
Singapore 9
Hong Kong 7
San Jose 7
Basel 5
Council Bluffs 5
Galliera 5
Ho Chi Minh City 4
Los Angeles 4
Rome 4
Bruino 3
Hanoi 3
Seoul 3
Bengaluru 2
Bressanvido 2
Hefei 2
Helsinki 2
Lainate 2
Pergine Valsugana 2
Selvino 2
Tokyo 2
Buffalo 1
Can Tho 1
Catania 1
Chiang Mai 1
Chicago 1
Conroe 1
Cornedo Vicentino 1
Da Nang 1
Darmstadt 1
Dhār 1
Diego Martin 1
Figino 1
Frankfurt am Main 1
Freiburg im Breisgau 1
Kansas City 1
La Plata 1
Lahore 1
Lauterbourg 1
Lençóis Paulista 1
Lisbon 1
Lạc Dương 1
Montreal 1
Moscow 1
New Taipei City 1
New York 1
Newark 1
Nola 1
Orem 1
Penedo 1
Phoenix 1
Scopa 1
Seongnam-si 1
Trento 1
Yên Bái 1
Điện Bàn 1
Totale 193
Nome #
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 247
Totale 247
Categoria #
all - tutte 402
article - articoli 0
book - libri 0
conference - conferenze 402
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 804


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/2026221 0 4 23 23 21 16 30 24 41 20 5 14
2026/202726 3 2 6 12 3 0 0 0 0 0 0 0
Totale 247