Sindoni, Giulia
 Distribuzione geografica
Continente #
EU - Europa 22
AS - Asia 15
NA - Nord America 6
SA - Sud America 1
Totale 44
Nazione #
IT - Italia 17
US - Stati Uniti d'America 5
VN - Vietnam 5
CN - Cina 4
SG - Singapore 4
BG - Bulgaria 1
CO - Colombia 1
DE - Germania 1
ES - Italia 1
GB - Regno Unito 1
HK - Hong Kong 1
JP - Giappone 1
MX - Messico 1
SE - Svezia 1
Totale 44
Città #
Naples 12
San Jose 5
Bolzano 2
Hanoi 2
Spilimbergo 2
Barcelona 1
Cali 1
City of London 1
Hong Kong 1
Hải Dương 1
Long Xuyen 1
Pachuca 1
Pergine Valsugana 1
Singapore 1
Tokyo 1
Totale 33
Nome #
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 27
Certifying rlive: A New Proof Strategy for Liveness Model Checking 16
Ontology as Structure, Domain and Definition 10
Totale 53
Categoria #
all - tutte 93
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 93


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/202653 0 0 0 0 0 0 0 6 28 19 0 0
Totale 53