Sindoni, Giulia
 Distribuzione geografica
Continente #
NA - Nord America 82
EU - Europa 30
AS - Asia 18
Continente sconosciuto - Info sul continente non disponibili 9
SA - Sud America 1
Totale 140
Nazione #
US - Stati Uniti d'America 78
IT - Italia 19
CN - Cina 6
VN - Vietnam 5
DE - Germania 4
SG - Singapore 4
SE - Svezia 3
BG - Bulgaria 1
CA - Canada 1
CO - Colombia 1
CR - Costa Rica 1
ES - Italia 1
GB - Regno Unito 1
HK - Hong Kong 1
IL - Israele 1
JP - Giappone 1
MX - Messico 1
NL - Olanda 1
SV - El Salvador 1
Totale 131
Città #
Council Bluffs 29
Naples 12
San Jose 10
Buffalo 8
Los Angeles 3
Santa Clara 3
Bolzano 2
Hanoi 2
Spilimbergo 2
Abbeville 1
Ashburn 1
Avon Lake 1
Barcelona 1
Beijing 1
Belleville 1
Bowling Green 1
Brooklyn 1
Cali 1
City of London 1
Cleveland 1
Dallas 1
Detroit 1
Ensdorf 1
Hong Kong 1
Houston 1
Hải Dương 1
Long Beach 1
Long Xuyen 1
Minden 1
Montreal 1
New York 1
Pachuca 1
Pergine Valsugana 1
Phoenix 1
Pisa 1
Prescott 1
Princeton 1
San Francisco 1
San José 1
San Salvador 1
Santa Cruz 1
Singapore 1
Tokyo 1
Udine 1
Ventura 1
West Palm Beach 1
Totale 108
Nome #
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 57
Certifying rlive: A New Proof Strategy for Liveness Model Checking 42
Ontology as Structure, Domain and Definition 41
Totale 140
Categoria #
all - tutte 751
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 751


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/202675 0 0 0 0 0 0 0 6 28 21 17 3
2026/202765 15 9 20 21 0 0 0 0 0 0 0 0
Totale 140