ROSSI, Sabina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 17.668
AS - Asia 9.114
EU - Europa 6.607
SA - Sud America 620
AF - Africa 140
OC - Oceania 19
Continente sconosciuto - Info sul continente non disponibili 14
Totale 34.182
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 17.385
CN - Cina 3.248
SG - Singapore 2.685
PL - Polonia 1.514
IT - Italia 1.457
VN - Vietnam 1.269
UA - Ucraina 555
DE - Germania 544
HK - Hong Kong 530
GB - Regno Unito 522
BR - Brasile 478
IE - Irlanda 452
SE - Svezia 432
FI - Finlandia 362
JP - Giappone 284
KR - Corea 267
RU - Federazione Russa 255
FR - Francia 208
IN - India 206
CA - Canada 205
TR - Turchia 158
BD - Bangladesh 75
IQ - Iraq 61
ZA - Sudafrica 56
AR - Argentina 55
MX - Messico 55
ID - Indonesia 54
AT - Austria 46
BE - Belgio 42
ES - Italia 42
NL - Olanda 37
PH - Filippine 34
TH - Thailandia 34
CH - Svizzera 33
PK - Pakistan 30
TW - Taiwan 26
MA - Marocco 21
CL - Cile 20
EC - Ecuador 19
UZ - Uzbekistan 19
VE - Venezuela 18
GR - Grecia 16
KE - Kenya 16
SA - Arabia Saudita 16
AU - Australia 14
JO - Giordania 14
AE - Emirati Arabi Uniti 13
CZ - Repubblica Ceca 13
IL - Israele 13
IR - Iran 12
BJ - Benin 11
LB - Libano 11
MY - Malesia 11
EU - Europa 10
CO - Colombia 9
DK - Danimarca 9
RO - Romania 9
AZ - Azerbaigian 8
NP - Nepal 8
HR - Croazia 7
OM - Oman 7
PE - Perù 7
TN - Tunisia 7
BA - Bosnia-Erzegovina 6
DZ - Algeria 6
LT - Lituania 6
PY - Paraguay 6
UY - Uruguay 6
BG - Bulgaria 5
NO - Norvegia 5
PT - Portogallo 5
CR - Costa Rica 4
DO - Repubblica Dominicana 4
EG - Egitto 4
HU - Ungheria 4
JM - Giamaica 4
BS - Bahamas 3
GA - Gabon 3
KZ - Kazakistan 3
LA - Repubblica Popolare Democratica del Laos 3
NZ - Nuova Zelanda 3
PA - Panama 3
RS - Serbia 3
SK - Slovacchia (Repubblica Slovacca) 3
SN - Senegal 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
BY - Bielorussia 2
EE - Estonia 2
ET - Etiopia 2
HN - Honduras 2
KG - Kirghizistan 2
KH - Cambogia 2
KW - Kuwait 2
MD - Moldavia 2
ME - Montenegro 2
MG - Madagascar 2
NG - Nigeria 2
PS - Palestinian Territory 2
SI - Slovenia 2
Totale 34.156
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.421
Ashburn 1.949
Fairfield 1.901
Singapore 1.546
Warsaw 1.491
Chandler 1.116
Houston 982
Jacksonville 953
Ann Arbor 818
Seattle 791
San Jose 667
Wilmington 632
Cambridge 618
Dallas 503
Hong Kong 492
Dublin 450
Beijing 341
Ho Chi Minh City 340
Hanoi 284
Mestre 272
New York 270
Jinan 269
Nanjing 257
Seoul 227
Hefei 218
Shenyang 208
Boardman 206
Council Bluffs 201
Guangzhou 191
Los Angeles 184
Tokyo 181
Dearborn 171
Venice 157
Venezia 156
San Mateo 154
The Dalles 137
Des Moines 133
Izmir 133
Boston 123
Hebei 122
Bengaluru 121
Tianjin 119
Southend 109
Lauterbourg 108
Mülheim 107
Princeton 106
Andover 103
San Diego 92
Changsha 88
Hangzhou 88
Toronto 88
Zhengzhou 83
Taiyuan 75
Nanchang 74
Santa Clara 73
Buffalo 72
Milan 64
Ningbo 63
São Paulo 62
Jiaxing 61
London 60
Taizhou 60
Frankfurt am Main 56
Haikou 55
Ottawa 54
Fuzhou 52
Da Nang 51
Johannesburg 51
Altamura 48
Saint Petersburg 48
Haiphong 46
Columbus 45
Chicago 42
Brussels 41
Jakarta 41
Brooklyn 37
Orem 37
San Paolo di Civitate 37
Moscow 36
Treviso 35
Munich 33
Berlin 31
Helsinki 31
Redwood City 31
Dong Ket 30
Phoenix 30
Montreal 29
Vienna 29
Chennai 26
Shanghai 25
Atlanta 22
Amsterdam 21
Biên Hòa 21
Denver 21
Kilburn 21
Washington 21
Norwalk 20
Padova 20
Baghdad 19
Kunming 19
Totale 25.453
Salva come PNG Salva come JPEG
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 668
Behavioural equivalences and interference metrics for mobile ad-hoc networks 627
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 622
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 601
Priority-based bandwidth allocation in wireless sensor networks 495
A Product-form Model for the Analysis of Systems with Aging Objects 493
Persistent Stochastic Non-Interference 491
Quantitative Analysis of Concurrent Reversible Computations 485
On the relations between Markov chain lumpability and reversibility 484
Performance evaluation of AQM techniques with heterogeneous traffic 480
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 478
null 439
Biased processor sharing in fork-join queues 437
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 421
Guest editor's forewords: Special issue on Valuetools 2017 418
Model Checking Adaptive Service Compositions 417
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 406
Product-forms for Probabilistic Input/Output Automata 395
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 391
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 391
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 381
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 379
On Modular Termination Proofs of General Logic Programs 373
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks 363
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 353
Information Flow in Secure Contexts 348
Action Refinement in Process Algebra and Security Issues 337
Performance Analysis and Formal Verification of Cognitive Wireless Networks 337
Power control in saturated fork-join queueing systems 333
Declarative Semantics of Input Consuming Logic Programs 332
A Proof System for Information Flow Security 329
Interference-sensitive Preorders for MANETs 326
Fair workload distribution for multi-server systems with pulling strategies 317
Information Flow Security for Stochastic Processes 313
A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks 309
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 308
Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks 308
A Theory of Adaptable Contract-based Service Composition. 305
Autoreversibility: exploiting symmetries in Markov chains 303
P-Congruences as Non-Interference for the pi-calculus 300
Termination of Well-Typed Logic Programs 299
Modelling Downgrading in Information Flow Security 293
Information Flow Security and Recursive Systems 289
Automated Verification of Behavioural Properties of Prolog Programs 286
Information Flow Security for Service Compositions. 284
On Discrete Time Reversibility modulo State Renaming and its Applications 284
A process algebra for (delimited) persistent stochastic non-interference 282
Compliance Preorders for Web Services. 275
Compositional Information Flow Security for Concurrent Programs 274
A Security Property for Processes in Dynamic Contexts 272
Unwinding in Information Flow Security 268
Call-Correct Specialisation of Logic Programs 266
Refinement Operators and Information Flow Security 266
Unwinding Conditions for Security in Imperative Languages 264
Specialising Logic Programs with respect to Call/Post Specifications 262
Properties of Input-Consuming Derivations 262
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 261
A Theory of Noninterference for the pi-calculus 258
Compositional information flow security for concurrent programs 257
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 256
AI-enhanced blockchain technology: A review of advancements and opportunities 256
Static vs Dynamic Typing for Access Control in Pi-Calculus 255
Automated Verification of Prolog Programs 251
Semantics of well-moded input-consuming logic programs 250
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 248
A Queueing Model that Works Only on the Biggest Jobs 247
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 244
Properties of Input-Consuming Derivations 242
Specification-based Automatic Verification of Prolog Programs 242
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations 242
Transforming processes to check and ensure Information Flow Security 241
On the relations between Lumpability and Reversibility 241
Static Analysis of Prolog with Cut 239
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 239
Dynamic resource allocation in fork-join queues 236
Bridging Language-Based and Process Calculi Security 234
Sequence-based Abstract Interpretation of Prolog 234
Verifying Persistent Security Properties. 232
Automated Behavioural Verification of Prolog Programs 231
Information Flow Security in Dynamic Contexts 231
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 230
Proportional Lumpability 230
Static Analysis of Prolog with Cut 227
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 225
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut 219
Semantics of input-consuming programs 219
Secure Contexts for Confidential Data 218
Information Flow Security in Dynamic Contexts 216
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations 211
PicNic - Pi-calculus Non-Interference checker 210
Model Checking Adaptive Multilevel Service Compositions 210
Proofs Methods for Bisimulation based Information Flow Security 207
CoPS - Checker of Persistent Security 203
ALGOMOVE – A Move Embedding for Algorand 200
An Abstract Interpretation Framework for (almost) Full Prolog 200
Frequency scaling in multilevel queues 186
Verifier's Dilemma in Proof-of-Work Public Blockchains: A~Quantitative Analysis 184
Delimited persistent stochastic non-interference 181
Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation 174
On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness 174
Totale 30.710
Salva come PNG Salva come JPEG
Categoria #
all - tutte 101.871
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 101.871
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.509 0 0 0 0 0 0 0 0 0 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/20269.382 680 668 856 934 1.243 757 1.150 685 1.466 943 0 0
Totale 34.679