CASTIGLIONI, VALENTINA
 Distribuzione geografica
Continente #
NA - Nord America 454
EU - Europa 348
AS - Asia 93
SA - Sud America 4
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 903
Nazione #
US - Stati Uniti d'America 453
IT - Italia 180
UA - Ucraina 53
SE - Svezia 45
TR - Turchia 41
DE - Germania 21
VN - Vietnam 19
SG - Singapore 17
CN - Cina 14
IE - Irlanda 12
FI - Finlandia 9
GB - Regno Unito 9
RU - Federazione Russa 6
FR - Francia 4
BR - Brasile 3
RO - Romania 3
AT - Austria 2
AU - Australia 2
HU - Ungheria 2
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 903
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
Council Bluffs 1
Dallas 1
Dhaka 1
Dourados 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 631
Nome #
A function elimination method for checking satisfiability of arithmetical logics 146
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics 143
Logical Characterization of Bisimulation Metrics 136
Logical Characterization of Trace Metrics 124
A specification format for rooted branching bisimulation 114
SOS-BASED MODAL DECOMPOSITION ON NONDETERMINISTIC PROBABILISTIC PROCESSES 107
Modal Decomposition on Nondeterministic Probabilistic Processes 105
Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes 52
STARK: A tool for the analysis of CPSs robustness 6
Totale 933
Categoria #
all - tutte 3.919
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.919


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202039 0 0 0 0 0 0 0 0 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/202545 1 1 23 1 3 5 3 4 4 0 0 0
Totale 933