Sindoni, Giulia
 Distribuzione geografica
Continente #
EU - Europa 24
NA - Nord America 23
AS - Asia 15
SA - Sud America 1
Totale 63
Nazione #
US - Stati Uniti d'America 22
IT - Italia 18
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
NL - Olanda 1
SE - Svezia 1
Totale 63
Città #
Naples 12
Council Bluffs 11
San Jose 6
Bolzano 2
Hanoi 2
Spilimbergo 2
Barcelona 1
Bowling Green 1
Buffalo 1
Cali 1
City of London 1
Hong Kong 1
Hải Dương 1
Long Xuyen 1
Los Angeles 1
New York 1
Pachuca 1
Pergine Valsugana 1
Singapore 1
Tokyo 1
Udine 1
Totale 50
Nome #
A Theorem Prover Based Approach for SAT-Based Model Checking Certification 35
Certifying rlive: A New Proof Strategy for Liveness Model Checking 23
Ontology as Structure, Domain and Definition 14
Totale 72
Categoria #
all - tutte 304
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 304


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/202672 0 0 0 0 0 0 0 6 28 21 17 0
Totale 72