Sindoni, Giulia
 Distribuzione geografica
Continente #
NA - Nord America 44
EU - Europa 29
AS - Asia 16
Continente sconosciuto - Info sul continente non disponibili 9
SA - Sud America 1
Totale 99
Nazione #
US - Stati Uniti d'America 42
IT - Italia 18
CN - Cina 5
VN - Vietnam 5
DE - Germania 4
SG - Singapore 4
SE - Svezia 3
BG - Bulgaria 1
CA - Canada 1
CO - Colombia 1
ES - Italia 1
GB - Regno Unito 1
HK - Hong Kong 1
JP - Giappone 1
MX - Messico 1
NL - Olanda 1
Totale 90
Città #
Council Bluffs 23
Naples 12
San Jose 6
Bolzano 2
Buffalo 2
Hanoi 2
Los Angeles 2
Santa Clara 2
Spilimbergo 2
Ashburn 1
Barcelona 1
Beijing 1
Bowling Green 1
Cali 1
City of London 1
Detroit 1
Ensdorf 1
Hong Kong 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
Singapore 1
Tokyo 1
Udine 1
Totale 74
Nome #
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 46
Certifying rlive: A New Proof Strategy for Liveness Model Checking 31
Ontology as Structure, Domain and Definition 22
Totale 99
Categoria #
all - tutte 480
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 480


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/202724 15 9 0 0 0 0 0 0 0 0 0 0
Totale 99