ROSSI, Sabina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 19.636
AS - Asia 9.252
EU - Europa 6.832
SA - Sud America 647
Continente sconosciuto - Info sul continente non disponibili 512
AF - Africa 140
OC - Oceania 20
Totale 37.039
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 19.264
CN - Cina 3.277
SG - Singapore 2.753
IT - Italia 1.590
PL - Polonia 1.515
VN - Vietnam 1.271
UA - Ucraina 555
DE - Germania 547
HK - Hong Kong 535
GB - Regno Unito 525
SE - Svezia 491
BR - Brasile 489
IE - Irlanda 454
FI - Finlandia 362
JP - Giappone 286
KR - Corea 272
RU - Federazione Russa 256
CA - Canada 249
FR - Francia 218
IN - India 208
TR - Turchia 158
BD - Bangladesh 93
IQ - Iraq 61
MX - Messico 57
AR - Argentina 56
ID - Indonesia 56
ZA - Sudafrica 56
AT - Austria 47
ES - Italia 46
BE - Belgio 42
NL - Olanda 38
PH - Filippine 36
TH - Thailandia 34
CH - Svizzera 33
PK - Pakistan 30
TW - Taiwan 27
VE - Venezuela 22
CL - Cile 21
MA - Marocco 21
EC - Ecuador 19
UZ - Uzbekistan 19
CR - Costa Rica 18
CO - Colombia 17
GR - Grecia 17
KE - Kenya 16
SA - Arabia Saudita 16
AU - Australia 15
CZ - Repubblica Ceca 14
JM - Giamaica 14
JO - Giordania 14
AE - Emirati Arabi Uniti 13
IL - Israele 13
IR - Iran 12
MY - Malesia 12
BJ - Benin 11
LB - Libano 11
DK - Danimarca 10
EU - Europa 10
NP - Nepal 9
RO - Romania 9
AZ - Azerbaigian 8
HN - Honduras 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
BB - Barbados 4
BS - Bahamas 4
DO - Repubblica Dominicana 4
EG - Egitto 4
HU - Ungheria 4
PR - Porto Rico 4
AL - Albania 3
BY - Bielorussia 3
GA - Gabon 3
KZ - Kazakistan 3
LA - Repubblica Popolare Democratica del Laos 3
NI - Nicaragua 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
BO - Bolivia 2
EE - Estonia 2
ET - Etiopia 2
KG - Kirghizistan 2
KH - Cambogia 2
KW - Kuwait 2
MD - Moldavia 2
ME - Montenegro 2
Totale 36.505
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.424
Ashburn 2.326
Fairfield 1.902
Singapore 1.558
Warsaw 1.492
Chandler 1.118
Houston 990
Jacksonville 956
Council Bluffs 843
Ann Arbor 818
San Jose 811
Seattle 793
Wilmington 633
Cambridge 618
Dallas 514
Hong Kong 496
Dublin 450
Beijing 343
Ho Chi Minh City 340
New York 293
Hanoi 284
Mestre 276
Jinan 269
Nanjing 257
Seoul 231
Boardman 219
Hefei 218
Shenyang 208
Los Angeles 203
Guangzhou 191
Tokyo 183
Dearborn 171
Venice 165
Venezia 156
San Mateo 154
The Dalles 138
Des Moines 133
Izmir 133
Boston 128
Hebei 122
Bengaluru 121
Tianjin 120
Southend 109
Columbus 108
Lauterbourg 108
Princeton 108
Mülheim 107
Andover 103
Santa Clara 102
San Diego 95
Toronto 95
Changsha 89
Hangzhou 88
Zhengzhou 83
Milan 82
Buffalo 79
Taiyuan 75
Nanchang 74
Ningbo 63
São Paulo 63
London 62
Jiaxing 61
Taizhou 60
Chicago 56
Frankfurt am Main 56
Haikou 55
Ottawa 54
Fuzhou 52
Da Nang 51
Johannesburg 51
Altamura 48
Saint Petersburg 48
Brooklyn 47
Haiphong 46
Brussels 41
Jakarta 41
Phoenix 41
Orem 38
San Paolo di Civitate 37
Montreal 36
Moscow 36
Treviso 36
Munich 33
Berlin 31
Helsinki 31
Redwood City 31
Dong Ket 30
Vienna 29
Atlanta 27
Chennai 27
Washington 27
Shanghai 26
San Francisco 25
Denver 24
Memphis 24
Rome 23
Amsterdam 21
Biên Hòa 21
Kilburn 21
Norwalk 20
Totale 26.953
Salva come PNG Salva come JPEG
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 681
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 650
Behavioural equivalences and interference metrics for mobile ad-hoc networks 646
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 620
Priority-based bandwidth allocation in wireless sensor networks 517
Persistent Stochastic Non-Interference 510
A Product-form Model for the Analysis of Systems with Aging Objects 507
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 505
On the relations between Markov chain lumpability and reversibility 504
Quantitative Analysis of Concurrent Reversible Computations 500
Performance evaluation of AQM techniques with heterogeneous traffic 494
Biased processor sharing in fork-join queues 453
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 440
null 439
Model Checking Adaptive Service Compositions 432
Guest editor's forewords: Special issue on Valuetools 2017 426
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 420
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 412
Product-forms for Probabilistic Input/Output Automata 411
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 409
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 395
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 395
On Modular Termination Proofs of General Logic Programs 384
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks 378
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 372
Action Refinement in Process Algebra and Security Issues 361
Information Flow in Secure Contexts 360
Declarative Semantics of Input Consuming Logic Programs 353
Performance Analysis and Formal Verification of Cognitive Wireless Networks 346
Power control in saturated fork-join queueing systems 342
Interference-sensitive Preorders for MANETs 339
A Proof System for Information Flow Security 338
A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks 332
Fair workload distribution for multi-server systems with pulling strategies 332
Information Flow Security for Stochastic Processes 327
Autoreversibility: exploiting symmetries in Markov chains 325
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 324
A Theory of Adaptable Contract-based Service Composition. 322
Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks 318
P-Congruences as Non-Interference for the pi-calculus 316
Termination of Well-Typed Logic Programs 312
Modelling Downgrading in Information Flow Security 310
On Discrete Time Reversibility modulo State Renaming and its Applications 309
Automated Verification of Behavioural Properties of Prolog Programs 302
Information Flow Security and Recursive Systems 300
Information Flow Security for Service Compositions. 298
Compliance Preorders for Web Services. 295
A process algebra for (delimited) persistent stochastic non-interference 291
A Security Property for Processes in Dynamic Contexts 289
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 288
Unwinding in Information Flow Security 287
Call-Correct Specialisation of Logic Programs 286
Compositional information flow security for concurrent programs 286
Compositional Information Flow Security for Concurrent Programs 284
Refinement Operators and Information Flow Security 279
A Theory of Noninterference for the pi-calculus 277
AI-enhanced blockchain technology: A review of advancements and opportunities 276
Properties of Input-Consuming Derivations 275
Automated Verification of Prolog Programs 275
Unwinding Conditions for Security in Imperative Languages 273
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 272
Specialising Logic Programs with respect to Call/Post Specifications 271
Static vs Dynamic Typing for Access Control in Pi-Calculus 266
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 266
A Queueing Model that Works Only on the Biggest Jobs 262
Sequence-based Abstract Interpretation of Prolog 261
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 259
Transforming processes to check and ensure Information Flow Security 259
Semantics of well-moded input-consuming logic programs 258
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 257
Properties of Input-Consuming Derivations 256
Information Flow Security in Dynamic Contexts 253
Specification-based Automatic Verification of Prolog Programs 253
On the relations between Lumpability and Reversibility 253
Bridging Language-Based and Process Calculi Security 252
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 249
Dynamic resource allocation in fork-join queues 249
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations 248
Static Analysis of Prolog with Cut 247
Proportional Lumpability 247
Automated Behavioural Verification of Prolog Programs 246
Verifying Persistent Security Properties. 245
Static Analysis of Prolog with Cut 240
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 237
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut 234
Information Flow Security in Dynamic Contexts 232
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations 232
Secure Contexts for Confidential Data 228
Model Checking Adaptive Multilevel Service Compositions 228
ALGOMOVE – A Move Embedding for Algorand 227
Semantics of input-consuming programs 227
PicNic - Pi-calculus Non-Interference checker 226
Proofs Methods for Bisimulation based Information Flow Security 224
CoPS - Checker of Persistent Security 216
Confirmed or Dropped? Reliability Analysis of Transactions in PoW Blockchains 213
An Abstract Interpretation Framework for (almost) Full Prolog 207
Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation 203
Smart contract languages: A comparative analysis 201
Verifier's Dilemma in Proof-of-Work Public Blockchains: A~Quantitative Analysis 201
Frequency scaling in multilevel queues 199
Totale 32.331
Salva come PNG Salva come JPEG
Categoria #
all - tutte 111.256
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 111.256
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.675 0 0 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/2027941 416 521 4 0 0 0 0 0 0 0 0 0
Totale 37.039