ROSSI, Sabina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 21.637
AS - Asia 9.336
EU - Europa 7.186
SA - Sud America 746
Continente sconosciuto - Info sul continente non disponibili 524
AF - Africa 147
OC - Oceania 21
Totale 39.597
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 21.140
CN - Cina 3.292
SG - Singapore 2.770
IT - Italia 1.812
PL - Polonia 1.516
VN - Vietnam 1.276
GB - Regno Unito 584
UA - Ucraina 558
DE - Germania 552
HK - Hong Kong 536
BR - Brasile 530
SE - Svezia 491
IE - Irlanda 455
FI - Finlandia 362
CA - Canada 299
JP - Giappone 291
KR - Corea 272
RU - Federazione Russa 267
FR - Francia 219
IN - India 214
TR - Turchia 160
BD - Bangladesh 96
MX - Messico 66
AR - Argentina 62
IQ - Iraq 61
ID - Indonesia 59
ZA - Sudafrica 56
AT - Austria 49
CO - Colombia 47
ES - Italia 47
BE - Belgio 43
PH - Filippine 40
NL - Olanda 39
TH - Thailandia 35
EE - Estonia 34
PK - Pakistan 34
CH - Svizzera 33
EC - Ecuador 32
CR - Costa Rica 31
TW - Taiwan 27
VE - Venezuela 27
JM - Giamaica 24
CL - Cile 21
MA - Marocco 21
SA - Arabia Saudita 19
UZ - Uzbekistan 19
MY - Malesia 18
GR - Grecia 17
IL - Israele 17
KE - Kenya 17
LT - Lituania 17
AU - Australia 15
CZ - Repubblica Ceca 15
AE - Emirati Arabi Uniti 14
JO - Giordania 14
HN - Honduras 12
IR - Iran 12
BJ - Benin 11
LB - Libano 11
NI - Nicaragua 11
NP - Nepal 11
PR - Porto Rico 11
DK - Danimarca 10
EU - Europa 10
GT - Guatemala 9
RO - Romania 9
AZ - Azerbaigian 8
OM - Oman 8
UY - Uruguay 8
BG - Bulgaria 7
HR - Croazia 7
PE - Perù 7
TN - Tunisia 7
BA - Bosnia-Erzegovina 6
DZ - Algeria 6
PY - Paraguay 6
SV - El Salvador 6
BB - Barbados 5
NO - Norvegia 5
PT - Portogallo 5
TT - Trinidad e Tobago 5
AL - Albania 4
BO - Bolivia 4
BS - Bahamas 4
DO - Repubblica Dominicana 4
EG - Egitto 4
HU - Ungheria 4
SC - Seychelles 4
BY - Bielorussia 3
CW - ???statistics.table.value.countryCode.CW??? 3
GA - Gabon 3
KZ - Kazakistan 3
LA - Repubblica Popolare Democratica del Laos 3
NG - Nigeria 3
NZ - Nuova Zelanda 3
PA - Panama 3
RS - Serbia 3
SK - Slovacchia (Repubblica Slovacca) 3
SN - Senegal 3
XK - ???statistics.table.value.countryCode.XK??? 3
Totale 39.039
Salva come PNG Salva come JPEG
Città #
Ashburn 2.547
Woodbridge 2.424
Fairfield 1.902
Singapore 1.559
Warsaw 1.493
Chandler 1.118
San Jose 1.015
Houston 996
Council Bluffs 985
Jacksonville 960
Ann Arbor 818
Seattle 802
Wilmington 633
Cambridge 619
Dallas 530
Hong Kong 496
Dublin 450
Beijing 345
Ho Chi Minh City 343
New York 308
Hanoi 284
Mestre 276
Jinan 269
Nanjing 257
Seoul 231
Boardman 220
Hefei 218
Los Angeles 210
Shenyang 208
Venice 199
Guangzhou 191
Tokyo 187
Dearborn 171
Venezia 156
San Mateo 154
The Dalles 138
Des Moines 135
Izmir 134
Boston 132
Santa Clara 123
Hebei 122
Bengaluru 121
Tianjin 120
Columbus 114
Princeton 112
Southend 109
Staranzano 109
Lauterbourg 108
Mülheim 107
Toronto 104
Andover 103
San Diego 95
Changsha 89
Milan 89
Hangzhou 88
Zhengzhou 83
Buffalo 81
Taiyuan 75
Nanchang 74
São Paulo 68
Phoenix 65
Chicago 64
London 63
Ningbo 63
Jiaxing 61
Taizhou 60
North Bergen 57
Frankfurt am Main 56
Haikou 55
Brooklyn 54
Ottawa 54
Fuzhou 52
Da Nang 51
Johannesburg 51
Altamura 48
Saint Petersburg 48
Haiphong 46
Brussels 42
Atlanta 41
Jakarta 41
Orem 41
Montreal 39
San Paolo di Civitate 37
Moscow 36
Treviso 36
Denver 35
Munich 33
Berlin 31
Helsinki 31
Redwood City 31
Washington 31
Dong Ket 30
Rome 29
Vienna 29
Memphis 28
San Francisco 28
Chennai 27
Philadelphia 26
Shanghai 26
Amsterdam 22
Totale 27.905
Salva come PNG Salva come JPEG
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 698
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 674
Behavioural equivalences and interference metrics for mobile ad-hoc networks 666
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 633
On the relations between Markov chain lumpability and reversibility 534
Priority-based bandwidth allocation in wireless sensor networks 529
Persistent Stochastic Non-Interference 525
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 523
Quantitative Analysis of Concurrent Reversible Computations 519
A Product-form Model for the Analysis of Systems with Aging Objects 519
Performance evaluation of AQM techniques with heterogeneous traffic 507
Biased processor sharing in fork-join queues 480
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 460
Model Checking Adaptive Service Compositions 452
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 443
Guest editor's forewords: Special issue on Valuetools 2017 441
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 439
null 439
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 431
Product-forms for Probabilistic Input/Output Automata 421
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 418
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 417
On Modular Termination Proofs of General Logic Programs 403
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks 397
Action Refinement in Process Algebra and Security Issues 390
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 389
Information Flow in Secure Contexts 383
Declarative Semantics of Input Consuming Logic Programs 374
A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks 363
Interference-sensitive Preorders for MANETs 361
Performance Analysis and Formal Verification of Cognitive Wireless Networks 359
A Proof System for Information Flow Security 358
Power control in saturated fork-join queueing systems 354
Information Flow Security for Stochastic Processes 347
A Theory of Adaptable Contract-based Service Composition. 344
Autoreversibility: exploiting symmetries in Markov chains 343
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 342
Fair workload distribution for multi-server systems with pulling strategies 341
Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks 338
On Discrete Time Reversibility modulo State Renaming and its Applications 337
P-Congruences as Non-Interference for the pi-calculus 336
A Security Property for Processes in Dynamic Contexts 334
Termination of Well-Typed Logic Programs 325
Modelling Downgrading in Information Flow Security 324
Information Flow Security for Service Compositions. 321
Information Flow Security and Recursive Systems 317
Automated Verification of Behavioural Properties of Prolog Programs 316
Compliance Preorders for Web Services. 315
Unwinding in Information Flow Security 304
A process algebra for (delimited) persistent stochastic non-interference 302
Call-Correct Specialisation of Logic Programs 301
Compositional information flow security for concurrent programs 300
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 299
AI-enhanced blockchain technology: A review of advancements and opportunities 298
Compositional Information Flow Security for Concurrent Programs 297
Automated Verification of Prolog Programs 293
Refinement Operators and Information Flow Security 292
Properties of Input-Consuming Derivations 291
Unwinding Conditions for Security in Imperative Languages 290
A Theory of Noninterference for the pi-calculus 290
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 286
Specialising Logic Programs with respect to Call/Post Specifications 285
Static vs Dynamic Typing for Access Control in Pi-Calculus 284
A Queueing Model that Works Only on the Biggest Jobs 283
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 280
Semantics of well-moded input-consuming logic programs 277
Transforming processes to check and ensure Information Flow Security 277
Information Flow Security in Dynamic Contexts 276
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 276
Sequence-based Abstract Interpretation of Prolog 276
Bridging Language-Based and Process Calculi Security 273
Properties of Input-Consuming Derivations 273
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 270
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 270
Dynamic resource allocation in fork-join queues 268
On the relations between Lumpability and Reversibility 268
Static Analysis of Prolog with Cut 265
Verifying Persistent Security Properties. 264
Automated Behavioural Verification of Prolog Programs 262
Proportional Lumpability 261
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations 261
Specification-based Automatic Verification of Prolog Programs 260
Semantics of input-consuming programs 257
Static Analysis of Prolog with Cut 256
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 255
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations 249
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut 248
Secure Contexts for Confidential Data 247
Model Checking Adaptive Multilevel Service Compositions 247
Information Flow Security in Dynamic Contexts 246
Proofs Methods for Bisimulation based Information Flow Security 243
PicNic - Pi-calculus Non-Interference checker 242
ALGOMOVE – A Move Embedding for Algorand 239
Smart contract languages: A comparative analysis 237
Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation 234
CoPS - Checker of Persistent Security 233
Confirmed or Dropped? Reliability Analysis of Transactions in PoW Blockchains 227
Verifier's Dilemma in Proof-of-Work Public Blockchains: A~Quantitative Analysis 223
An Abstract Interpretation Framework for (almost) Full Prolog 216
Frequency scaling in multilevel queues 211
Totale 34.141
Salva come PNG Salva come JPEG
Categoria #
all - tutte 117.386
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 117.386
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.938 0 0 0 0 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/202610.801 680 668 856 934 1.243 757 1.150 685 1.466 1.079 475 808
2026/20273.499 416 521 1.484 1.030 48 0 0 0 0 0 0 0
Totale 39.597