ROSSI, Sabina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.911
EU - Europa 5.700
AS - Asia 3.473
SA - Sud America 25
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 12
AF - Africa 5
Totale 23.140
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.761
CN - Cina 2.332
PL - Polonia 1.484
IT - Italia 1.179
SG - Singapore 680
UA - Ucraina 542
IE - Irlanda 448
GB - Regno Unito 439
DE - Germania 435
SE - Svezia 414
FI - Finlandia 320
RU - Federazione Russa 180
HK - Hong Kong 162
CA - Canada 146
TR - Turchia 136
FR - Francia 64
BE - Belgio 42
AT - Austria 34
VN - Vietnam 31
CH - Svizzera 24
ID - Indonesia 18
KR - Corea 18
NL - Olanda 16
BD - Bangladesh 15
GR - Grecia 15
IN - India 14
BR - Brasile 12
ES - Italia 12
AU - Australia 11
IR - Iran 11
UZ - Uzbekistan 11
CL - Cile 10
EU - Europa 10
DK - Danimarca 9
LB - Libano 9
BA - Bosnia-Erzegovina 6
IL - Israele 6
JP - Giappone 6
RO - Romania 6
CZ - Repubblica Ceca 5
TW - Taiwan 5
BG - Bulgaria 4
NO - Norvegia 4
PK - Pakistan 4
PT - Portogallo 4
HR - Croazia 3
MA - Marocco 3
MY - Malesia 3
NZ - Nuova Zelanda 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AE - Emirati Arabi Uniti 2
EE - Estonia 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
MX - Messico 2
PA - Panama 2
TH - Thailandia 2
AL - Albania 1
BJ - Benin 1
CO - Colombia 1
CY - Cipro 1
EC - Ecuador 1
IQ - Iraq 1
JO - Giordania 1
LI - Liechtenstein 1
LT - Lituania 1
LU - Lussemburgo 1
ME - Montenegro 1
MM - Myanmar 1
MO - Macao, regione amministrativa speciale della Cina 1
PE - Perù 1
PH - Filippine 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
ZA - Sudafrica 1
Totale 23.140
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.421
Fairfield 1.901
Warsaw 1.464
Chandler 1.116
Houston 963
Jacksonville 951
Ashburn 882
Ann Arbor 817
Seattle 778
Wilmington 626
Cambridge 618
Singapore 502
Dublin 446
Mestre 271
Jinan 267
Nanjing 254
Shenyang 206
Boardman 203
New York 201
Beijing 198
Dearborn 171
Venezia 156
Hong Kong 155
San Mateo 154
Izmir 132
Des Moines 125
Guangzhou 124
Hebei 122
Boston 116
Tianjin 114
Southend 109
Mülheim 107
Princeton 106
Andover 103
San Diego 90
Hangzhou 84
Changsha 79
Venice 79
Zhengzhou 79
Toronto 78
Nanchang 74
Taiyuan 74
Ningbo 62
Jiaxing 61
Taizhou 60
Haikou 55
Los Angeles 54
Ottawa 54
Fuzhou 52
Altamura 48
Saint Petersburg 48
Milan 46
Brussels 41
London 37
San Paolo di Civitate 37
Redwood City 31
Berlin 30
Dong Ket 30
Hefei 28
Vienna 25
Kilburn 21
Washington 21
Norwalk 19
Jakarta 18
Kunming 18
Santa Clara 18
Brooklyn 16
North Bergen 16
Verona 16
Padova 15
Udine 15
Helsinki 14
Phoenix 14
Polska 11
Puxian 10
Moscow 9
Auburn Hills 8
Bologna 8
Clearwater 8
Edinburgh 8
Fremont 8
Orange 8
Latiano 7
Renton 7
Shanghai 7
Simi Valley 7
Treviso 7
Winnipeg 7
Zanjan 7
Amsterdam 6
Bari 6
Chicago 6
Hounslow 6
Kemerovo 6
Kitzingen 6
Lanzhou 6
Novokuznetsk 6
Philadelphia 6
Riva 6
Sarajevo 6
Totale 18.729
Salva come PNG Salva come JPEG
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 552
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 521
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 516
Behavioural equivalences and interference metrics for mobile ad-hoc networks 512
null 439
On the relations between Markov chain lumpability and reversibility 426
Priority-based bandwidth allocation in wireless sensor networks 418
Persistent Stochastic Non-Interference 413
Performance evaluation of AQM techniques with heterogeneous traffic 410
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 408
Quantitative Analysis of Concurrent Reversible Computations 400
A Product-form Model for the Analysis of Systems with Aging Objects 380
Model Checking Adaptive Service Compositions 343
Biased processor sharing in fork-join queues 339
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 336
Guest editor's forewords: Special issue on Valuetools 2017 334
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 292
Product-forms for Probabilistic Input/Output Automata 288
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 285
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 281
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 274
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 268
On Modular Termination Proofs of General Logic Programs 259
Power control in saturated fork-join queueing systems 255
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks 254
Fair workload distribution for multi-server systems with pulling strategies 249
Information Flow in Secure Contexts 245
Interference-sensitive Preorders for MANETs 241
Declarative Semantics of Input Consuming Logic Programs 236
Termination of Well-Typed Logic Programs 234
Automated Verification of Behavioural Properties of Prolog Programs 233
P-Congruences as Non-Interference for the pi-calculus 232
Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks 229
Performance Analysis and Formal Verification of Cognitive Wireless Networks 228
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 226
Information Flow Security for Stochastic Processes 223
Autoreversibility: exploiting symmetries in Markov chains 219
A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks 214
On Discrete Time Reversibility modulo State Renaming and its Applications 212
Information Flow Security and Recursive Systems 211
A Proof System for Information Flow Security 211
Action Refinement in Process Algebra and Security Issues 209
Refinement Operators and Information Flow Security 208
Unwinding Conditions for Security in Imperative Languages 207
Compliance Preorders for Web Services. 207
Specialising Logic Programs with respect to Call/Post Specifications 206
Properties of Input-Consuming Derivations 204
Unwinding in Information Flow Security 202
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 201
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 201
Information Flow Security for Service Compositions. 201
Automated Verification of Prolog Programs 199
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 198
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations 194
Modelling Downgrading in Information Flow Security 193
Static vs Dynamic Typing for Access Control in Pi-Calculus 192
On the relations between Lumpability and Reversibility 188
A Theory of Adaptable Contract-based Service Composition. 187
Compositional Information Flow Security for Concurrent Programs 186
Specification-based Automatic Verification of Prolog Programs 185
A process algebra for (delimited) persistent stochastic non-interference 183
Properties of Input-Consuming Derivations 181
Semantics of well-moded input-consuming logic programs 181
Static Analysis of Prolog with Cut 179
Transforming processes to check and ensure Information Flow Security 179
Compositional information flow security for concurrent programs 176
Static Analysis of Prolog with Cut 176
Sequence-based Abstract Interpretation of Prolog 176
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 175
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 172
Information Flow Security in Dynamic Contexts 171
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 171
Automated Behavioural Verification of Prolog Programs 169
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut 168
Secure Contexts for Confidential Data 168
Semantics of input-consuming programs 167
A Security Property for Processes in Dynamic Contexts 165
Information Flow Security in Dynamic Contexts 165
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 165
Bridging Language-Based and Process Calculi Security 163
A Theory of Noninterference for the pi-calculus 163
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 162
Call-Correct Specialisation of Logic Programs 161
Verifying Persistent Security Properties. 161
A Queueing Model that Works Only on the Biggest Jobs 156
PicNic - Pi-calculus Non-Interference checker 155
Model Checking Adaptive Multilevel Service Compositions 155
Proofs Methods for Bisimulation based Information Flow Security 154
CoPS - Checker of Persistent Security 154
Proportional Lumpability 153
An Abstract Interpretation Framework for (almost) Full Prolog 143
Dynamic resource allocation in fork-join queues 135
Delimited persistent stochastic non-interference 122
Frequency scaling in multilevel queues 113
Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach 108
Contextual Lumpability 102
On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness 100
Speed scaling in fork-join queues: A comparative study 96
Smart-RED: A novel congestion control mechanism for high throughput and low queuing delay 93
Controlling Information Release in the pi-calculus 91
Totale 22.741
Salva come PNG Salva come JPEG
Categoria #
all - tutte 71.794
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 71.794
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.944 0 0 0 0 345 454 347 560 442 402 248 146
2020/20214.397 279 208 354 182 586 372 448 229 230 454 660 395
2021/20223.698 438 585 273 464 292 53 125 109 91 345 648 275
2022/20232.992 210 276 53 354 363 793 139 242 293 18 210 41
2023/20241.410 73 74 66 42 146 294 82 82 158 62 197 134
2024/2025818 57 88 220 249 204 0 0 0 0 0 0 0
Totale 23.616