LEVI, FRANCESCA
 Distribuzione geografica
Continente #
NA - Nord America 3.324
EU - Europa 2.879
AS - Asia 1.407
SA - Sud America 176
AF - Africa 73
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 7.862
Nazione #
US - Stati Uniti d'America 3.227
IT - Italia 2.112
CN - Cina 427
SG - Singapore 412
HK - Hong Kong 225
SE - Svezia 173
DE - Germania 164
BR - Brasile 144
BG - Bulgaria 102
VN - Vietnam 96
CA - Canada 74
FI - Finlandia 57
FR - Francia 56
GB - Regno Unito 56
TR - Turchia 54
UA - Ucraina 47
KR - Corea 41
RU - Federazione Russa 40
JP - Giappone 37
IN - India 34
CI - Costa d'Avorio 28
BD - Bangladesh 18
CH - Svizzera 18
AR - Argentina 14
BE - Belgio 13
MX - Messico 13
IQ - Iraq 10
ZA - Sudafrica 10
PK - Pakistan 9
VE - Venezuela 8
ES - Italia 7
SA - Arabia Saudita 7
UZ - Uzbekistan 7
ET - Etiopia 6
GR - Grecia 6
NG - Nigeria 6
CO - Colombia 5
MY - Malesia 5
NL - Olanda 5
SN - Senegal 5
AE - Emirati Arabi Uniti 3
DZ - Algeria 3
EC - Ecuador 3
EG - Egitto 3
IE - Irlanda 3
NP - Nepal 3
PL - Polonia 3
PT - Portogallo 3
AO - Angola 2
AT - Austria 2
BH - Bahrain 2
DK - Danimarca 2
HR - Croazia 2
HU - Ungheria 2
ID - Indonesia 2
LB - Libano 2
LT - Lituania 2
MA - Marocco 2
OM - Oman 2
PH - Filippine 2
TT - Trinidad e Tobago 2
AG - Antigua e Barbuda 1
AU - Australia 1
BJ - Benin 1
BO - Bolivia 1
CG - Congo 1
CL - Cile 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
GE - Georgia 1
GH - Ghana 1
GP - Guadalupe 1
GT - Guatemala 1
HN - Honduras 1
IL - Israele 1
JM - Giamaica 1
JO - Giordania 1
KE - Kenya 1
KH - Cambogia 1
KZ - Kazakistan 1
LK - Sri Lanka 1
LY - Libia 1
MU - Mauritius 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PR - Porto Rico 1
PS - Palestinian Territory 1
QA - Qatar 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
TN - Tunisia 1
XK - ???statistics.table.value.countryCode.XK??? 1
YE - Yemen 1
ZW - Zimbabwe 1
Totale 7.862
Città #
Serra 1.799
Woodbridge 356
Fairfield 325
Ashburn 283
Ann Arbor 262
Singapore 258
Hong Kong 223
Santa Clara 197
Houston 190
Chandler 159
San Jose 148
Seattle 139
Cambridge 118
Wilmington 108
Sofia 102
Beijing 97
Dallas 94
Milan 75
Shanghai 70
New York 68
Ottawa 62
Jacksonville 59
Frankfurt am Main 48
Los Angeles 48
Boardman 42
Hefei 38
Nanjing 38
Princeton 38
Seoul 37
Lawrence 35
Izmir 33
Lauterbourg 33
Council Bluffs 31
Tokyo 30
Abidjan 28
Dearborn 28
Medford 27
Florence 26
Ho Chi Minh City 25
Des Moines 21
Bern 18
Düsseldorf 18
Bremen 16
Dong Ket 16
Helsinki 16
Pisa 16
São Paulo 16
Nanchang 15
Redondo Beach 14
Brussels 13
Buffalo 12
Munich 12
San Diego 12
Baltimore 11
Columbus 11
Istanbul 11
Jüchen 11
The Dalles 11
Hanoi 10
Rome 10
Washington 9
Boulder 8
Sacile 8
Kunming 7
Marseille 7
Osaka 7
Turku 7
Falkenstein 6
Karlsruhe 6
Lagos 6
London 6
Norwalk 6
Torino 6
Addis Ababa 5
Dakar 5
Dhaka 5
Guangzhou 5
Phoenix 5
Tashkent 5
Amsterdam 4
Auburn Hills 4
Brasília 4
Brooklyn 4
Feltre 4
Fuzhou 4
Hebei 4
Livorno 4
Nuremberg 4
Ogden 4
Orem 4
Scarlino 4
Araraquara 3
Atlanta 3
Bologna 3
Brantford 3
Cape Town 3
Changchun 3
Changsha 3
Chennai 3
Chicago 3
Totale 6.261
Nome #
Generalized contexts for reaction systems: definition and study of dynamic causalities 517
Investigating dynamic causalities in reaction systems 456
Specialized Predictor for Reaction Systems with Context Properties 420
Parallel Probabilistic Semantics for Multiset Rewriting 415
Specialized Predictor for Reaction Systems with Context Properties 410
Simulating gene regulatory networks using reaction systems 386
Probabilistic model checking of biological systems with uncertain kinetic rates 385
A Global Occurrence Counting Analysis for Brane Calculi 249
Compilative Constructive Negation in Constraint Logic Programs. 235
A static analysis for Brane Calculi providing global occurrence counting information 231
An Analysis for Proving Probabilistic Termination of Biological Systems 225
A typed encoding of boxed into safe ambients 212
Causal static analysis for Brane Calculi 209
A Symbolic Semantics for Abstract Model Checking. 200
An Analysis for Causal Properties of Membrane Interactions 185
Abstract interpretation based verification of temporal properties for BioAmbients 183
On abstract interpretation of Mobile Ambients 175
A Process Language for Statecharts. 165
A control flow analysis for safe and boxed ambients 162
Safe ambients: control flow analysis and security 158
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates 155
An Abstract Interpretation Framework for Analysing Mobile Ambients 154
An Analysis for Proving Temporal Properties of Biological Systems 154
Types for Evolving Communication in Safe Ambients. 151
Abstract Interpretation for Probabilistic Termination of Biological Systems 149
Quantitative extensions of reaction systems based on SOS semantics 148
Approximating Probabilistic Behaviours of Biological Systems using Abstract Interpretation 146
Controlling Interference in Ambients. 145
A New Occurrence Counting Analysis for BioAmbients 144
A Compositional µ-Calculus Proof System for Statecharts Processes 141
Mobile safe ambients. 140
A symbolic semantics for abstract model checking 133
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks 128
Compositional Verification of Quantitative Properties of Statecharts. 127
Security Analysis for Mobile Ambients 125
Control Flow Analysis for Mobile Safe Ambients 121
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 108
Totale 7.947
Categoria #
all - tutte 18.343
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 18.343


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022454 9 35 9 35 105 56 25 17 29 11 22 101
2022/2023550 58 58 32 48 69 54 7 39 132 7 41 5
2023/2024381 52 39 63 18 59 73 8 8 7 16 11 27
2024/20251.269 9 47 25 44 119 131 80 66 65 165 121 397
2025/20261.236 70 138 107 65 127 116 206 47 96 135 45 84
2026/202714 14 0 0 0 0 0 0 0 0 0 0 0
Totale 7.947