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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/2026215 0 4 23 23 21 16 30 24 41 20 5 8
Totale 215