ROSSI, Sabina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 18.952
AS - Asia 9.206
EU - Europa 6.672
SA - Sud America 636
AF - Africa 140
OC - Oceania 19
Continente sconosciuto - Info sul continente non disponibili 14
Totale 35.639
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 18.634
CN - Cina 3.273
SG - Singapore 2.725
PL - Polonia 1.514
IT - Italia 1.507
VN - Vietnam 1.270
UA - Ucraina 555
DE - Germania 546
HK - Hong Kong 533
GB - Regno Unito 523
BR - Brasile 486
IE - Irlanda 453
SE - Svezia 432
FI - Finlandia 362
JP - Giappone 286
KR - Corea 272
RU - Federazione Russa 256
CA - Canada 228
FR - Francia 211
IN - India 207
TR - Turchia 158
BD - Bangladesh 86
IQ - Iraq 61
AR - Argentina 56
MX - Messico 56
ZA - Sudafrica 56
ID - Indonesia 55
AT - Austria 47
ES - Italia 45
BE - Belgio 42
NL - Olanda 37
PH - Filippine 35
TH - Thailandia 34
CH - Svizzera 33
PK - Pakistan 30
TW - Taiwan 27
MA - Marocco 21
CL - Cile 20
VE - Venezuela 20
EC - Ecuador 19
UZ - Uzbekistan 19
GR - Grecia 16
KE - Kenya 16
SA - Arabia Saudita 16
AU - Australia 14
JO - Giordania 14
AE - Emirati Arabi Uniti 13
CO - Colombia 13
CZ - Repubblica Ceca 13
IL - Israele 13
IR - Iran 12
MY - Malesia 12
BJ - Benin 11
LB - Libano 11
DK - Danimarca 10
EU - Europa 10
RO - Romania 9
AZ - Azerbaigian 8
JM - Giamaica 8
NP - Nepal 8
CR - Costa Rica 7
HR - Croazia 7
LT - Lituania 7
OM - Oman 7
PE - Perù 7
TN - Tunisia 7
UY - Uruguay 7
BA - Bosnia-Erzegovina 6
DZ - Algeria 6
PY - Paraguay 6
BG - Bulgaria 5
NO - Norvegia 5
PT - Portogallo 5
DO - Repubblica Dominicana 4
EG - Egitto 4
HU - Ungheria 4
BS - Bahamas 3
GA - Gabon 3
HN - Honduras 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
KG - Kirghizistan 2
KH - Cambogia 2
KW - Kuwait 2
MD - Moldavia 2
ME - Montenegro 2
MG - Madagascar 2
NG - Nigeria 2
NI - Nicaragua 2
PS - Palestinian Territory 2
Totale 35.609
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.421
Ashburn 2.143
Fairfield 1.902
Singapore 1.556
Warsaw 1.491
Chandler 1.118
Houston 984
Jacksonville 956
Ann Arbor 818
Seattle 793
San Jose 783
Council Bluffs 733
Wilmington 633
Cambridge 618
Dallas 509
Hong Kong 495
Dublin 450
Beijing 343
Ho Chi Minh City 340
New York 291
Hanoi 284
Mestre 272
Jinan 269
Nanjing 257
Seoul 231
Boardman 219
Hefei 218
Shenyang 208
Los Angeles 195
Guangzhou 191
Tokyo 183
Dearborn 171
Venice 161
Venezia 156
San Mateo 154
The Dalles 137
Des Moines 133
Izmir 133
Boston 124
Hebei 122
Bengaluru 121
Tianjin 120
Southend 109
Columbus 108
Lauterbourg 108
Mülheim 107
Princeton 106
Andover 103
Santa Clara 94
San Diego 93
Toronto 93
Changsha 89
Hangzhou 88
Zhengzhou 83
Buffalo 76
Taiyuan 75
Nanchang 74
Milan 68
Ningbo 63
São Paulo 63
Jiaxing 61
London 61
Taizhou 60
Frankfurt am Main 56
Haikou 55
Ottawa 54
Fuzhou 52
Da Nang 51
Johannesburg 51
Altamura 48
Saint Petersburg 48
Chicago 47
Haiphong 46
Brooklyn 41
Brussels 41
Jakarta 41
Orem 38
San Paolo di Civitate 37
Moscow 36
Phoenix 36
Treviso 36
Montreal 33
Munich 33
Berlin 31
Helsinki 31
Redwood City 31
Dong Ket 30
Vienna 29
Chennai 26
Shanghai 26
Atlanta 25
Washington 24
Memphis 23
Amsterdam 21
Biên Hòa 21
Denver 21
Kilburn 21
Norwalk 20
Padova 20
Baghdad 19
Totale 26.517
Salva come PNG Salva come JPEG
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 674
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 640
Behavioural equivalences and interference metrics for mobile ad-hoc networks 639
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 613
Priority-based bandwidth allocation in wireless sensor networks 507
Persistent Stochastic Non-Interference 502
On the relations between Markov chain lumpability and reversibility 500
A Product-form Model for the Analysis of Systems with Aging Objects 500
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 497
Quantitative Analysis of Concurrent Reversible Computations 493
Performance evaluation of AQM techniques with heterogeneous traffic 488
Biased processor sharing in fork-join queues 446
null 439
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 435
Model Checking Adaptive Service Compositions 425
Guest editor's forewords: Special issue on Valuetools 2017 425
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 412
Product-forms for Probabilistic Input/Output Automata 406
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 403
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 402
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 387
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 385
On Modular Termination Proofs of General Logic Programs 381
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks 372
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 362
Information Flow in Secure Contexts 356
Action Refinement in Process Algebra and Security Issues 353
Declarative Semantics of Input Consuming Logic Programs 346
Performance Analysis and Formal Verification of Cognitive Wireless Networks 343
Power control in saturated fork-join queueing systems 339
A Proof System for Information Flow Security 334
Interference-sensitive Preorders for MANETs 334
A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks 326
Fair workload distribution for multi-server systems with pulling strategies 326
Information Flow Security for Stochastic Processes 320
Autoreversibility: exploiting symmetries in Markov chains 318
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 317
A Theory of Adaptable Contract-based Service Composition. 317
Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks 314
P-Congruences as Non-Interference for the pi-calculus 312
Termination of Well-Typed Logic Programs 308
Modelling Downgrading in Information Flow Security 304
Information Flow Security and Recursive Systems 298
On Discrete Time Reversibility modulo State Renaming and its Applications 298
Automated Verification of Behavioural Properties of Prolog Programs 294
Information Flow Security for Service Compositions. 294
Compliance Preorders for Web Services. 288
A process algebra for (delimited) persistent stochastic non-interference 285
A Security Property for Processes in Dynamic Contexts 283
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 282
Compositional Information Flow Security for Concurrent Programs 281
Unwinding in Information Flow Security 281
Call-Correct Specialisation of Logic Programs 280
Compositional information flow security for concurrent programs 275
Refinement Operators and Information Flow Security 275
A Theory of Noninterference for the pi-calculus 272
Unwinding Conditions for Security in Imperative Languages 269
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 268
Properties of Input-Consuming Derivations 268
Automated Verification of Prolog Programs 268
Specialising Logic Programs with respect to Call/Post Specifications 267
AI-enhanced blockchain technology: A review of advancements and opportunities 266
Static vs Dynamic Typing for Access Control in Pi-Calculus 264
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 261
A Queueing Model that Works Only on the Biggest Jobs 259
Semantics of well-moded input-consuming logic programs 255
Properties of Input-Consuming Derivations 254
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 253
Transforming processes to check and ensure Information Flow Security 253
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 252
On the relations between Lumpability and Reversibility 250
Specification-based Automatic Verification of Prolog Programs 248
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations 247
Bridging Language-Based and Process Calculi Security 246
Static Analysis of Prolog with Cut 245
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 245
Information Flow Security in Dynamic Contexts 245
Sequence-based Abstract Interpretation of Prolog 245
Dynamic resource allocation in fork-join queues 242
Automated Behavioural Verification of Prolog Programs 241
Verifying Persistent Security Properties. 241
Proportional Lumpability 238
Static Analysis of Prolog with Cut 236
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 233
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut 232
Information Flow Security in Dynamic Contexts 228
Secure Contexts for Confidential Data 226
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations 225
Semantics of input-consuming programs 224
PicNic - Pi-calculus Non-Interference checker 223
Model Checking Adaptive Multilevel Service Compositions 222
Proofs Methods for Bisimulation based Information Flow Security 218
CoPS - Checker of Persistent Security 214
ALGOMOVE – A Move Embedding for Algorand 207
An Abstract Interpretation Framework for (almost) Full Prolog 204
Frequency scaling in multilevel queues 196
Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation 194
Smart contract languages: A comparative analysis 193
Verifier's Dilemma in Proof-of-Work Public Blockchains: A~Quantitative Analysis 192
Delimited persistent stochastic non-interference 188
Totale 31.731
Salva come PNG Salva come JPEG
Categoria #
all - tutte 106.889
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 106.889
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/202610.801 680 668 856 934 1.243 757 1.150 685 1.466 1.079 475 808
2026/202739 39 0 0 0 0 0 0 0 0 0 0 0
Totale 36.137