CASTIGLIONI, VALENTINA
 Distribuzione geografica
Continente #
NA - Nord America 453
EU - Europa 344
AS - Asia 88
OC - Oceania 3
SA - Sud America 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 892
Nazione #
US - Stati Uniti d'America 452
IT - Italia 180
UA - Ucraina 53
SE - Svezia 45
TR - Turchia 41
DE - Germania 20
VN - Vietnam 19
CN - Cina 14
IE - Irlanda 12
SG - Singapore 12
FI - Finlandia 9
GB - Regno Unito 9
FR - Francia 4
RU - Federazione Russa 4
RO - Romania 3
AU - Australia 2
BR - Brasile 2
HU - Ungheria 2
AT - Austria 1
BD - Bangladesh 1
CA - Canada 1
EU - Europa 1
FK - Isole Falkland (Malvinas) 1
GR - Grecia 1
NZ - Nuova Zelanda 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 892
Città #
Milan 126
Fairfield 76
Jacksonville 45
Ashburn 32
Chandler 30
Seattle 30
Woodbridge 28
Houston 23
Izmir 20
Dearborn 18
Ann Arbor 17
Cambridge 17
Nyköping 17
Wilmington 17
Princeton 16
Dublin 12
Singapore 11
Boardman 10
Rome 7
Como 6
Dong Ket 6
San Diego 5
Beijing 4
Cagliari 4
Castellanza 3
Hefei 3
London 3
Los Angeles 2
Ogden 2
San Mateo 2
Santa Clara 2
São Paulo 2
Verona 2
Washington 2
Athens 1
Bratislava 1
Budapest 1
Cologno Monzese 1
Costa Mesa 1
Dallas 1
Dhaka 1
Düsseldorf 1
Frankfurt am Main 1
Fuzhou 1
Guangzhou 1
Helsinki 1
Islington 1
Leipzig 1
Lurago D'erba 1
Melbourne 1
Nanjing 1
New York 1
Norwalk 1
Orlando 1
Redmond 1
Riyadh 1
San Francisco 1
Shanghai 1
Shaoxing 1
Simi Valley 1
Timisoara 1
Toronto 1
Vienna 1
Totale 629
Nome #
A function elimination method for checking satisfiability of arithmetical logics 146
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics 141
Logical Characterization of Bisimulation Metrics 135
Logical Characterization of Trace Metrics 124
A specification format for rooted branching bisimulation 112
SOS-BASED MODAL DECOMPOSITION ON NONDETERMINISTIC PROBABILISTIC PROCESSES 106
Modal Decomposition on Nondeterministic Probabilistic Processes 104
Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes 49
STARK: A tool for the analysis of CPSs robustness 5
Totale 922
Categoria #
all - tutte 3.697
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 3.697


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020107 0 0 0 0 0 23 24 21 12 14 1 12
2020/2021136 0 12 2 22 1 22 1 10 20 11 10 25
2021/202265 8 4 2 1 5 5 3 3 5 16 3 10
2022/2023131 32 0 7 6 10 22 0 13 28 0 3 10
2023/2024199 35 32 31 39 38 11 0 4 5 3 1 0
2024/202534 1 1 23 1 3 5 0 0 0 0 0 0
Totale 922