ROVERI, MARCO
 Distribuzione geografica
Continente #
EU - Europa 30
AS - Asia 27
NA - Nord America 24
SA - Sud America 3
Totale 84
Nazione #
IT - Italia 29
US - Stati Uniti d'America 24
SG - Singapore 12
CN - Cina 4
IN - India 3
VN - Vietnam 3
BR - Brasile 2
JP - Giappone 2
KR - Corea 2
AR - Argentina 1
BD - Bangladesh 1
DE - Germania 1
Totale 84
Città #
Turin 13
Ashburn 10
Dallas 10
Singapore 7
Galliera 5
Bruino 3
Bengaluru 2
Bressanvido 2
Selvino 2
Seoul 2
Tokyo 2
Buffalo 1
Darmstadt 1
Dhār 1
Hanoi 1
Hefei 1
La Plata 1
Lençóis Paulista 1
Lạc Dương 1
Milan 1
New York 1
Orem 1
Penedo 1
Yên Bái 1
Totale 71
Nome #
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 87
Totale 87
Categoria #
all - tutte 153
article - articoli 0
book - libri 0
conference - conferenze 153
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 306


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/202687 0 4 23 23 21 16 0 0 0 0 0 0
Totale 87