ROSSI, Sabina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 14.310
EU - Europa 5.987
AS - Asia 4.109
SA - Sud America 281
AF - Africa 17
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 13
Totale 24.731
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 14.143
CN - Cina 2.415
PL - Polonia 1.487
IT - Italia 1.304
SG - Singapore 966
UA - Ucraina 546
GB - Regno Unito 452
DE - Germania 451
IE - Irlanda 449
SE - Svezia 417
HK - Hong Kong 358
FI - Finlandia 334
BR - Brasile 250
RU - Federazione Russa 243
CA - Canada 155
TR - Turchia 142
FR - Francia 82
BE - Belgio 42
AT - Austria 38
ID - Indonesia 36
VN - Vietnam 31
CH - Svizzera 27
BD - Bangladesh 25
NL - Olanda 25
KR - Corea 20
IN - India 16
GR - Grecia 15
UZ - Uzbekistan 15
ES - Italia 13
AU - Australia 11
IR - Iran 11
CL - Cile 10
EU - Europa 10
CZ - Repubblica Ceca 9
DK - Danimarca 9
JP - Giappone 9
LB - Libano 9
PK - Pakistan 9
BA - Bosnia-Erzegovina 6
IL - Israele 6
IQ - Iraq 6
MX - Messico 6
RO - Romania 6
TW - Taiwan 6
VE - Venezuela 6
AR - Argentina 5
EC - Ecuador 5
HR - Croazia 5
MA - Marocco 5
AE - Emirati Arabi Uniti 4
BG - Bulgaria 4
NO - Norvegia 4
PH - Filippine 4
PT - Portogallo 4
ZA - Sudafrica 4
KE - Kenya 3
MY - Malesia 3
NZ - Nuova Zelanda 3
OM - Oman 3
PE - Perù 3
A2 - ???statistics.table.value.countryCode.A2??? 2
DZ - Algeria 2
EE - Estonia 2
HU - Ungheria 2
JM - Giamaica 2
JO - Giordania 2
LA - Repubblica Popolare Democratica del Laos 2
LT - Lituania 2
PA - Panama 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
TH - Thailandia 2
AL - Albania 1
AZ - Azerbaigian 1
BJ - Benin 1
BS - Bahamas 1
BY - Bielorussia 1
CO - Colombia 1
CY - Cipro 1
GA - Gabon 1
HN - Honduras 1
KG - Kirghizistan 1
KW - Kuwait 1
LI - Liechtenstein 1
LU - Lussemburgo 1
ME - Montenegro 1
MM - Myanmar 1
MO - Macao, regione amministrativa speciale della Cina 1
NP - Nepal 1
RS - Serbia 1
SI - Slovenia 1
TN - Tunisia 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 24.731
Salva come PNG Salva come JPEG
Città #
Woodbridge 2.421
Fairfield 1.901
Warsaw 1.467
Chandler 1.116
Houston 964
Jacksonville 951
Ashburn 892
Ann Arbor 817
Seattle 779
Wilmington 627
Cambridge 618
Singapore 561
Dublin 447
Hong Kong 351
Mestre 271
Jinan 267
Nanjing 256
Beijing 216
Shenyang 207
New York 205
Boardman 203
Council Bluffs 173
Dearborn 171
Venezia 156
San Mateo 154
Guangzhou 141
Venice 139
Izmir 132
Des Moines 125
Hebei 122
Boston 119
Tianjin 114
Southend 109
Mülheim 107
Princeton 106
Andover 103
San Diego 90
The Dalles 87
Hangzhou 84
Changsha 79
Toronto 79
Zhengzhou 79
Nanchang 74
Taiyuan 74
Ningbo 62
Jiaxing 61
Taizhou 60
Los Angeles 59
Haikou 55
Milan 54
Ottawa 54
Fuzhou 52
Hefei 50
Altamura 48
Saint Petersburg 48
Brussels 41
London 38
San Paolo di Civitate 37
Jakarta 36
Moscow 35
Redwood City 31
Berlin 30
Dong Ket 30
Vienna 27
Brooklyn 22
Kilburn 21
Santa Clara 21
São Paulo 21
Washington 21
Padova 20
Norwalk 19
Helsinki 18
Kunming 18
North Bergen 17
Verona 16
Treviso 15
Udine 15
Phoenix 14
Amsterdam 12
Polska 11
Chicago 10
Puxian 10
Bologna 9
Nuremberg 9
Trieste 9
Atlanta 8
Auburn Hills 8
Clearwater 8
Edinburgh 8
Fremont 8
Lappeenranta 8
Manchester 8
Orange 8
Rio de Janeiro 8
San Francisco 8
Shanghai 8
Belo Horizonte 7
Latiano 7
Renton 7
Simi Valley 7
Totale 19.506
Salva come PNG Salva come JPEG
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 574
Behavioural equivalences and interference metrics for mobile ad-hoc networks 536
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 535
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 528
null 439
Priority-based bandwidth allocation in wireless sensor networks 435
On the relations between Markov chain lumpability and reversibility 432
Performance evaluation of AQM techniques with heterogeneous traffic 422
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 420
Persistent Stochastic Non-Interference 418
Quantitative Analysis of Concurrent Reversible Computations 414
A Product-form Model for the Analysis of Systems with Aging Objects 393
Model Checking Adaptive Service Compositions 356
Biased processor sharing in fork-join queues 352
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 343
Guest editor's forewords: Special issue on Valuetools 2017 342
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 303
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 301
Product-forms for Probabilistic Input/Output Automata 299
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 297
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 289
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 279
Power control in saturated fork-join queueing systems 274
On Modular Termination Proofs of General Logic Programs 271
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks 267
Fair workload distribution for multi-server systems with pulling strategies 260
Information Flow in Secure Contexts 254
Declarative Semantics of Input Consuming Logic Programs 248
P-Congruences as Non-Interference for the pi-calculus 247
Interference-sensitive Preorders for MANETs 247
Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks 245
Performance Analysis and Formal Verification of Cognitive Wireless Networks 245
Termination of Well-Typed Logic Programs 242
Automated Verification of Behavioural Properties of Prolog Programs 241
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 238
Information Flow Security for Stochastic Processes 235
Autoreversibility: exploiting symmetries in Markov chains 234
A Proof System for Information Flow Security 230
A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks 227
Action Refinement in Process Algebra and Security Issues 223
On Discrete Time Reversibility modulo State Renaming and its Applications 222
Information Flow Security and Recursive Systems 220
Unwinding in Information Flow Security 220
Refinement Operators and Information Flow Security 217
Information Flow Security for Service Compositions. 217
Compliance Preorders for Web Services. 216
Unwinding Conditions for Security in Imperative Languages 215
Specialising Logic Programs with respect to Call/Post Specifications 215
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 211
Properties of Input-Consuming Derivations 210
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 208
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 206
Automated Verification of Prolog Programs 206
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations 205
Static vs Dynamic Typing for Access Control in Pi-Calculus 204
Modelling Downgrading in Information Flow Security 200
On the relations between Lumpability and Reversibility 200
Specification-based Automatic Verification of Prolog Programs 196
A Theory of Adaptable Contract-based Service Composition. 195
A process algebra for (delimited) persistent stochastic non-interference 195
Compositional Information Flow Security for Concurrent Programs 194
Transforming processes to check and ensure Information Flow Security 191
Properties of Input-Consuming Derivations 190
Semantics of well-moded input-consuming logic programs 190
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 189
Static Analysis of Prolog with Cut 188
Sequence-based Abstract Interpretation of Prolog 187
Static Analysis of Prolog with Cut 184
Bridging Language-Based and Process Calculi Security 183
Compositional information flow security for concurrent programs 183
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 181
Automated Behavioural Verification of Prolog Programs 180
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 180
Information Flow Security in Dynamic Contexts 180
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut 177
Semantics of input-consuming programs 177
A Security Property for Processes in Dynamic Contexts 176
Secure Contexts for Confidential Data 176
Proportional Lumpability 176
Information Flow Security in Dynamic Contexts 174
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 174
A Theory of Noninterference for the pi-calculus 173
Call-Correct Specialisation of Logic Programs 172
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 171
Verifying Persistent Security Properties. 171
Model Checking Adaptive Multilevel Service Compositions 166
A Queueing Model that Works Only on the Biggest Jobs 166
PicNic - Pi-calculus Non-Interference checker 162
Proofs Methods for Bisimulation based Information Flow Security 161
CoPS - Checker of Persistent Security 161
Dynamic resource allocation in fork-join queues 156
An Abstract Interpretation Framework for (almost) Full Prolog 152
Delimited persistent stochastic non-interference 127
Frequency scaling in multilevel queues 125
Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach 118
Contextual Lumpability 113
On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness 109
Speed scaling in fork-join queues: A comparative study 105
Smart-RED: A novel congestion control mechanism for high throughput and low queuing delay 102
Controlling Information Release in the pi-calculus 101
Totale 23.854
Salva come PNG Salva come JPEG
Categoria #
all - tutte 81.355
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 81.355
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020146 0 0 0 0 0 0 0 0 0 0 0 146
2020/20214.397 279 208 354 182 586 372 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.415 57 88 220 249 214 122 278 255 255 266 285 126
Totale 25.213