LEVI, FRANCESCA
 Distribuzione geografica
Continente #
NA - Nord America 3.062
EU - Europa 2.775
AS - Asia 1.221
SA - Sud America 160
AF - Africa 69
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 7.290
Nazione #
US - Stati Uniti d'America 2.976
IT - Italia 2.066
CN - Cina 379
SG - Singapore 368
HK - Hong Kong 221
SE - Svezia 173
DE - Germania 157
BR - Brasile 133
BG - Bulgaria 102
CA - Canada 69
VN - Vietnam 56
FI - Finlandia 53
TR - Turchia 53
GB - Regno Unito 50
UA - Ucraina 46
KR - Corea 41
RU - Federazione Russa 40
CI - Costa d'Avorio 28
IN - India 28
FR - Francia 25
CH - Svizzera 18
BD - Bangladesh 15
JP - Giappone 14
AR - Argentina 12
BE - Belgio 11
MX - Messico 11
ZA - Sudafrica 9
IQ - Iraq 8
VE - Venezuela 7
GR - Grecia 6
NG - Nigeria 6
PK - Pakistan 6
UZ - Uzbekistan 6
ES - Italia 5
ET - Etiopia 5
NL - Olanda 5
SA - Arabia Saudita 5
SN - Senegal 5
CO - Colombia 4
MY - Malesia 4
AE - Emirati Arabi Uniti 3
EC - Ecuador 3
EG - Egitto 3
NP - Nepal 3
AT - Austria 2
DK - Danimarca 2
DZ - Algeria 2
IE - Irlanda 2
LT - Lituania 2
MA - Marocco 2
PL - Polonia 2
PT - Portogallo 2
TT - Trinidad e Tobago 2
AG - Antigua e Barbuda 1
AO - Angola 1
AU - Australia 1
BH - Bahrain 1
BJ - Benin 1
BO - Bolivia 1
CG - Congo 1
CZ - Repubblica Ceca 1
GE - Georgia 1
GH - Ghana 1
HN - Honduras 1
HR - Croazia 1
HU - Ungheria 1
IL - Israele 1
JM - Giamaica 1
KE - Kenya 1
KH - Cambogia 1
KZ - Kazakistan 1
LB - Libano 1
LK - Sri Lanka 1
LY - Libia 1
MU - Mauritius 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PR - Porto Rico 1
PS - Palestinian Territory 1
QA - Qatar 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
XK - ???statistics.table.value.countryCode.XK??? 1
YE - Yemen 1
ZW - Zimbabwe 1
Totale 7.290
Città #
Serra 1.799
Woodbridge 356
Fairfield 325
Ann Arbor 262
Ashburn 255
Hong Kong 220
Singapore 219
Santa Clara 191
Houston 188
Chandler 159
Seattle 138
Cambridge 118
Wilmington 108
Sofia 102
Beijing 97
Dallas 88
Shanghai 70
Milan 67
New York 66
Ottawa 62
Jacksonville 59
San Jose 54
Los Angeles 47
Frankfurt am Main 44
Boardman 42
Hefei 38
Nanjing 38
Princeton 38
Seoul 37
Lawrence 35
Izmir 33
Abidjan 28
Dearborn 28
Medford 27
Florence 25
Des Moines 20
Bern 18
Düsseldorf 18
Bremen 16
Dong Ket 16
São Paulo 16
Nanchang 15
Pisa 14
Redondo Beach 14
Helsinki 12
Munich 12
San Diego 12
Brussels 11
Buffalo 11
Istanbul 11
Jüchen 11
The Dalles 11
Columbus 9
Boulder 8
Sacile 8
Washington 8
Kunming 7
Marseille 7
Osaka 7
Tokyo 7
Turku 7
Falkenstein 6
Karlsruhe 6
Lagos 6
Norwalk 6
Torino 6
Dakar 5
Dhaka 5
London 5
Phoenix 5
Rome 5
Tashkent 5
Addis Ababa 4
Amsterdam 4
Auburn Hills 4
Brasília 4
Council Bluffs 4
Feltre 4
Fuzhou 4
Guangzhou 4
Hanoi 4
Hebei 4
Ho Chi Minh City 4
Lauterbourg 4
Livorno 4
Nuremberg 4
Ogden 4
Scarlino 4
Araraquara 3
Brooklyn 3
Cape Town 3
Changchun 3
Changsha 3
Chennai 3
Curitiba 3
Fortaleza 3
Hangzhou 3
Kathmandu 3
Kocaeli 3
Kuala Lumpur 3
Totale 5.929
Nome #
Generalized contexts for reaction systems: definition and study of dynamic causalities 479
Investigating dynamic causalities in reaction systems 417
Specialized Predictor for Reaction Systems with Context Properties 402
Parallel Probabilistic Semantics for Multiset Rewriting 400
Specialized Predictor for Reaction Systems with Context Properties 386
Probabilistic model checking of biological systems with uncertain kinetic rates 380
Simulating gene regulatory networks using reaction systems 362
Compilative Constructive Negation in Constraint Logic Programs. 227
A Global Occurrence Counting Analysis for Brane Calculi 215
An Analysis for Proving Probabilistic Termination of Biological Systems 203
A typed encoding of boxed into safe ambients 199
A Symbolic Semantics for Abstract Model Checking. 194
A static analysis for Brane Calculi providing global occurrence counting information 186
Causal static analysis for Brane Calculi 183
On abstract interpretation of Mobile Ambients 171
Abstract interpretation based verification of temporal properties for BioAmbients 167
An Analysis for Causal Properties of Membrane Interactions 164
A Process Language for Statecharts. 159
Safe ambients: control flow analysis and security 153
An Abstract Interpretation Framework for Analysing Mobile Ambients 150
A control flow analysis for safe and boxed ambients 149
Types for Evolving Communication in Safe Ambients. 146
An Analysis for Proving Temporal Properties of Biological Systems 143
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates 142
Controlling Interference in Ambients. 137
Abstract Interpretation for Probabilistic Termination of Biological Systems 137
Mobile safe ambients. 135
A Compositional µ-Calculus Proof System for Statecharts Processes 134
Approximating Probabilistic Behaviours of Biological Systems using Abstract Interpretation 133
A New Occurrence Counting Analysis for BioAmbients 128
Quantitative extensions of reaction systems based on SOS semantics 124
A symbolic semantics for abstract model checking 124
Compositional Verification of Quantitative Properties of Statecharts. 124
Security Analysis for Mobile Ambients 119
Control Flow Analysis for Mobile Safe Ambients 115
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks 101
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 85
Totale 7.373
Categoria #
all - tutte 16.874
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 16.874


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021197 0 0 0 0 0 0 17 45 37 35 21 42
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/2026676 70 138 107 65 127 116 53 0 0 0 0 0
Totale 7.373