ROSSI, Sabina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.652
AS - Asia 6.696
EU - Europa 6.334
SA - Sud America 548
AF - Africa 75
OC - Oceania 18
Continente sconosciuto - Info sul continente non disponibili 13
Totale 30.336
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 16.398
CN - Cina 3.083
SG - Singapore 2.040
PL - Polonia 1.511
IT - Italia 1.410
UA - Ucraina 549
DE - Germania 517
GB - Regno Unito 500
HK - Hong Kong 485
IE - Irlanda 449
BR - Brasile 441
SE - Svezia 429
FI - Finlandia 347
RU - Federazione Russa 251
VN - Vietnam 243
CA - Canada 193
IN - India 169
TR - Turchia 152
JP - Giappone 138
FR - Francia 98
KR - Corea 98
BD - Bangladesh 50
ID - Indonesia 47
AT - Austria 46
AR - Argentina 45
BE - Belgio 42
MX - Messico 42
ES - Italia 39
IQ - Iraq 31
NL - Olanda 30
CH - Svizzera 27
ZA - Sudafrica 21
PK - Pakistan 20
UZ - Uzbekistan 18
CL - Cile 15
EC - Ecuador 15
GR - Grecia 15
VE - Venezuela 15
MA - Marocco 14
AE - Emirati Arabi Uniti 13
AU - Australia 13
IR - Iran 12
IL - Israele 11
KE - Kenya 11
LB - Libano 11
BJ - Benin 10
EU - Europa 10
JO - Giordania 10
TW - Taiwan 10
CZ - Repubblica Ceca 9
DK - Danimarca 9
SA - Arabia Saudita 9
AZ - Azerbaigian 7
MY - Malesia 7
RO - Romania 7
BA - Bosnia-Erzegovina 6
LT - Lituania 6
PH - Filippine 6
PY - Paraguay 6
BG - Bulgaria 5
HR - Croazia 5
NO - Norvegia 5
OM - Oman 5
CR - Costa Rica 4
DZ - Algeria 4
NP - Nepal 4
PE - Perù 4
PT - Portogallo 4
CO - Colombia 3
DO - Repubblica Dominicana 3
GA - Gabon 3
JM - Giamaica 3
NZ - Nuova Zelanda 3
PA - Panama 3
TH - Thailandia 3
UY - Uruguay 3
A2 - ???statistics.table.value.countryCode.A2??? 2
BS - Bahamas 2
BY - Bielorussia 2
EE - Estonia 2
EG - Egitto 2
ET - Etiopia 2
HU - Ungheria 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
ME - Montenegro 2
MG - Madagascar 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
TG - Togo 2
TN - Tunisia 2
AL - Albania 1
BH - Bahrain 1
BO - Bolivia 1
CY - Cipro 1
GT - Guatemala 1
HN - Honduras 1
KH - Cambogia 1
KW - Kuwait 1
Totale 30.320
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.421
Fairfield 1.901
Ashburn 1.534
Warsaw 1.488
Singapore 1.135
Chandler 1.116
Houston 978
Jacksonville 953
Ann Arbor 818
Seattle 790
Wilmington 632
Cambridge 618
Dallas 501
Hong Kong 470
Dublin 447
Beijing 336
San Jose 318
Mestre 272
Jinan 269
New York 261
Nanjing 256
Hefei 217
Shenyang 208
Boardman 205
Guangzhou 185
Council Bluffs 181
Los Angeles 172
Dearborn 171
Venezia 156
San Mateo 154
Venice 150
Izmir 132
Des Moines 130
Boston 123
Hebei 122
Bengaluru 119
Tianjin 119
The Dalles 115
Southend 109
Mülheim 107
Princeton 106
Andover 103
San Diego 90
Changsha 88
Hangzhou 86
Toronto 83
Zhengzhou 83
Seoul 80
Ho Chi Minh City 77
Nanchang 74
Taiyuan 74
Buffalo 70
Ningbo 63
Jiaxing 61
Milan 60
Taizhou 60
São Paulo 58
Haikou 55
Ottawa 54
London 53
Santa Clara 53
Fuzhou 52
Altamura 48
Saint Petersburg 48
Tokyo 46
Columbus 45
Hanoi 45
Brussels 41
Jakarta 41
Brooklyn 37
Chicago 37
San Paolo di Civitate 37
Frankfurt am Main 35
Moscow 35
Treviso 35
Munich 33
Redwood City 31
Berlin 30
Dong Ket 30
Vienna 29
Montreal 25
Orem 22
Phoenix 22
Kilburn 21
Washington 21
Atlanta 20
Chennai 20
Norwalk 20
Padova 20
Denver 19
Shanghai 19
Verona 19
Helsinki 18
Kunming 18
San Francisco 18
Johannesburg 17
North Bergen 17
Redondo Beach 17
Stockholm 17
Turku 17
Totale 23.042
Salva come PNG Salva come JPEG
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 623
Behavioural equivalences and interference metrics for mobile ad-hoc networks 585
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 579
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 570
Priority-based bandwidth allocation in wireless sensor networks 465
On the relations between Markov chain lumpability and reversibility 462
Performance evaluation of AQM techniques with heterogeneous traffic 457
Persistent Stochastic Non-Interference 457
A Product-form Model for the Analysis of Systems with Aging Objects 452
Quantitative Analysis of Concurrent Reversible Computations 449
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 447
null 439
Biased processor sharing in fork-join queues 393
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 392
Model Checking Adaptive Service Compositions 385
Guest editor's forewords: Special issue on Valuetools 2017 381
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 376
Product-forms for Probabilistic Input/Output Automata 364
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 353
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 349
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 346
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 342
On Modular Termination Proofs of General Logic Programs 337
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks 328
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 316
Information Flow in Secure Contexts 311
Power control in saturated fork-join queueing systems 310
Action Refinement in Process Algebra and Security Issues 308
Performance Analysis and Formal Verification of Cognitive Wireless Networks 298
Declarative Semantics of Input Consuming Logic Programs 297
Interference-sensitive Preorders for MANETs 294
Fair workload distribution for multi-server systems with pulling strategies 291
A Proof System for Information Flow Security 289
Termination of Well-Typed Logic Programs 281
Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks 280
A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks 278
P-Congruences as Non-Interference for the pi-calculus 277
Information Flow Security for Stochastic Processes 276
Autoreversibility: exploiting symmetries in Markov chains 273
Automated Verification of Behavioural Properties of Prolog Programs 271
A Theory of Adaptable Contract-based Service Composition. 269
Information Flow Security for Service Compositions. 265
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 264
Information Flow Security and Recursive Systems 263
Modelling Downgrading in Information Flow Security 259
Compliance Preorders for Web Services. 257
On Discrete Time Reversibility modulo State Renaming and its Applications 256
Compositional Information Flow Security for Concurrent Programs 250
Refinement Operators and Information Flow Security 250
Unwinding Conditions for Security in Imperative Languages 248
A process algebra for (delimited) persistent stochastic non-interference 248
Specialising Logic Programs with respect to Call/Post Specifications 246
Unwinding in Information Flow Security 244
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 242
Call-Correct Specialisation of Logic Programs 239
Static vs Dynamic Typing for Access Control in Pi-Calculus 239
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 237
Properties of Input-Consuming Derivations 237
A Security Property for Processes in Dynamic Contexts 234
A Theory of Noninterference for the pi-calculus 231
Compositional information flow security for concurrent programs 230
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 228
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations 227
Automated Verification of Prolog Programs 227
Properties of Input-Consuming Derivations 225
Specification-based Automatic Verification of Prolog Programs 222
On the relations between Lumpability and Reversibility 222
Semantics of well-moded input-consuming logic programs 221
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 220
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 217
Static Analysis of Prolog with Cut 216
Bridging Language-Based and Process Calculi Security 216
A Queueing Model that Works Only on the Biggest Jobs 215
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 212
Information Flow Security in Dynamic Contexts 212
Automated Behavioural Verification of Prolog Programs 210
Static Analysis of Prolog with Cut 210
Transforming processes to check and ensure Information Flow Security 210
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut 208
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 208
Proportional Lumpability 208
Sequence-based Abstract Interpretation of Prolog 205
Semantics of input-consuming programs 204
Verifying Persistent Security Properties. 203
Secure Contexts for Confidential Data 202
AI-enhanced blockchain technology: A review of advancements and opportunities 201
Information Flow Security in Dynamic Contexts 197
Model Checking Adaptive Multilevel Service Compositions 196
Dynamic resource allocation in fork-join queues 196
Proofs Methods for Bisimulation based Information Flow Security 191
PicNic - Pi-calculus Non-Interference checker 190
CoPS - Checker of Persistent Security 186
An Abstract Interpretation Framework for (almost) Full Prolog 176
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations 165
ALGOMOVE – A Move Embedding for Algorand 158
Delimited persistent stochastic non-interference 155
Frequency scaling in multilevel queues 155
Verifier's Dilemma in Proof-of-Work Public Blockchains: A~Quantitative Analysis 148
On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness 147
Contextual Lumpability 143
Totale 27.941
Salva come PNG Salva come JPEG
Categoria #
all - tutte 96.552
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 96.552
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212.416 0 0 0 0 0 0 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/20252.499 57 88 220 249 214 122 278 255 255 266 285 210
2025/20265.531 680 668 856 923 1.226 750 428 0 0 0 0 0
Totale 30.828