ROSSI, Sabina
 Distribuzione geografica
Continente #
NA - Nord America 13.248
EU - Europa 5.474
AS - Asia 2.435
SA - Sud America 15
Continente sconosciuto - Info sul continente non disponibili 12
OC - Oceania 10
AF - Africa 4
Totale 21.198
Nazione #
US - Stati Uniti d'America 13.100
CN - Cina 2.188
PL - Polonia 1.484
IT - Italia 1.043
UA - Ucraina 542
IE - Irlanda 445
SE - Svezia 413
GB - Regno Unito 396
DE - Germania 378
FI - Finlandia 308
RU - Federazione Russa 173
CA - Canada 144
TR - Turchia 135
BE - Belgio 80
FR - Francia 61
AT - Austria 37
VN - Vietnam 31
CH - Svizzera 24
GR - Grecia 15
NL - Olanda 15
KR - Corea 14
ES - Italia 12
IR - Iran 11
UZ - Uzbekistan 11
CL - Cile 10
EU - Europa 10
AU - Australia 9
DK - Danimarca 9
LB - Libano 9
IN - India 7
BA - Bosnia-Erzegovina 6
IL - Israele 6
CZ - Repubblica Ceca 5
RO - Romania 5
BG - Bulgaria 4
JP - Giappone 4
PK - Pakistan 4
PT - Portogallo 4
BR - Brasile 3
HR - Croazia 3
NO - Norvegia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AE - Emirati Arabi Uniti 2
BD - Bangladesh 2
EE - Estonia 2
HK - Hong Kong 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
MA - Marocco 2
MX - Messico 2
PA - Panama 2
AL - Albania 1
BJ - Benin 1
CO - Colombia 1
CY - Cipro 1
IQ - Iraq 1
LI - Liechtenstein 1
LU - Lussemburgo 1
ME - Montenegro 1
MO - Macao, regione amministrativa speciale della Cina 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PE - Perù 1
PH - Filippine 1
SG - Singapore 1
SI - Slovenia 1
TH - Thailandia 1
ZA - Sudafrica 1
Totale 21.198
Città #
Woodbridge 2.421
Fairfield 1.901
Warsaw 1.464
Chandler 1.116
Houston 963
Jacksonville 951
Ann Arbor 817
Seattle 764
Ashburn 724
Wilmington 626
Cambridge 616
Dublin 443
Jinan 267
Mestre 262
Nanjing 254
Shenyang 206
Beijing 191
Dearborn 171
Venezia 156
San Mateo 154
Izmir 132
Des Moines 125
Hebei 122
Boston 116
Tianjin 113
Guangzhou 111
Southend 109
Mülheim 107
Princeton 106
Andover 103
San Diego 90
Hangzhou 84
Boardman 82
Brussels 79
Zhengzhou 78
Changsha 77
Toronto 77
Nanchang 74
Taiyuan 74
Ningbo 62
Jiaxing 61
Taizhou 60
Haikou 55
Ottawa 54
Fuzhou 51
Altamura 48
Saint Petersburg 48
Milan 39
San Paolo di Civitate 37
London 34
Redwood City 31
Dong Ket 30
Hefei 28
Venice 28
Vienna 28
Norwalk 19
Washington 19
Kunming 17
Brooklyn 16
Verona 16
Philadelphia 14
Phoenix 13
Polska 11
Puxian 10
Udine 9
Auburn Hills 8
Bologna 8
Clearwater 8
Edinburgh 8
Fremont 8
Los Angeles 8
Moscow 8
Orange 8
Helsinki 7
Latiano 7
Renton 7
Simi Valley 7
Treviso 7
Winnipeg 7
Zanjan 7
Amsterdam 6
Kemerovo 6
Lanzhou 6
Novokuznetsk 6
Padova 6
Riva 6
Sarajevo 6
Shanghai 6
Xiangfen 6
Chicago 5
Dolo 5
Henderson 5
Marghera 5
New York 5
San Francisco 5
Silea 5
Borgomanero 4
Cornedo Vicentino 4
Den Haag 4
Karlsruhe 4
Totale 17.382
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 526
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 502
Behavioural equivalences and interference metrics for mobile ad-hoc networks 493
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 486
null 439
On the relations between Markov chain lumpability and reversibility 420
Performance evaluation of AQM techniques with heterogeneous traffic 402
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 398
Priority-based bandwidth allocation in wireless sensor networks 398
Persistent Stochastic Non-Interference 393
Quantitative Analysis of Concurrent Reversible Computations 386
A Product-form Model for the Analysis of Systems with Aging Objects 351
Model Checking Adaptive Service Compositions 335
Biased processor sharing in fork-join queues 323
Guest editor's forewords: Special issue on Valuetools 2017 319
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 313
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 270
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 269
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 269
Product-forms for Probabilistic Input/Output Automata 267
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 254
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 248
On Modular Termination Proofs of General Logic Programs 242
Power control in saturated fork-join queueing systems 241
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks 239
Fair workload distribution for multi-server systems with pulling strategies 236
Information Flow in Secure Contexts 234
Termination of Well-Typed Logic Programs 225
P-Congruences as Non-Interference for the pi-calculus 223
Interference-sensitive Preorders for MANETs 223
Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks 220
Declarative Semantics of Input Consuming Logic Programs 217
Automated Verification of Behavioural Properties of Prolog Programs 216
Performance Analysis and Formal Verification of Cognitive Wireless Networks 212
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 210
A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks 202
Autoreversibility: exploiting symmetries in Markov chains 202
Information Flow Security and Recursive Systems 201
Compliance Preorders for Web Services. 200
On Discrete Time Reversibility modulo State Renaming and its Applications 200
Information Flow Security for Stochastic Processes 199
Specialising Logic Programs with respect to Call/Post Specifications 197
Refinement Operators and Information Flow Security 196
Action Refinement in Process Algebra and Security Issues 194
Properties of Input-Consuming Derivations 193
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 191
Unwinding in Information Flow Security 190
Automated Verification of Prolog Programs 190
Unwinding Conditions for Security in Imperative Languages 189
A Proof System for Information Flow Security 188
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 188
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 186
Information Flow Security for Service Compositions. 186
Static vs Dynamic Typing for Access Control in Pi-Calculus 184
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations 183
Modelling Downgrading in Information Flow Security 181
Compositional Information Flow Security for Concurrent Programs 179
On the relations between Lumpability and Reversibility 178
Specification-based Automatic Verification of Prolog Programs 176
Static Analysis of Prolog with Cut 172
Properties of Input-Consuming Derivations 170
A Theory of Adaptable Contract-based Service Composition. 167
Semantics of well-moded input-consuming logic programs 166
Transforming processes to check and ensure Information Flow Security 165
Sequence-based Abstract Interpretation of Prolog 164
Automated Behavioural Verification of Prolog Programs 163
Compositional information flow security for concurrent programs 163
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 162
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 160
Static Analysis of Prolog with Cut 160
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut 156
Information Flow Security in Dynamic Contexts 156
Secure Contexts for Confidential Data 156
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 155
A process algebra for (delimited) persistent stochastic non-interference 155
Semantics of input-consuming programs 154
Information Flow Security in Dynamic Contexts 154
A Security Property for Processes in Dynamic Contexts 153
Verifying Persistent Security Properties. 152
Call-Correct Specialisation of Logic Programs 151
Bridging Language-Based and Process Calculi Security 150
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 149
A Theory of Noninterference for the pi-calculus 146
PicNic - Pi-calculus Non-Interference checker 145
Model Checking Adaptive Multilevel Service Compositions 145
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 145
Proofs Methods for Bisimulation based Information Flow Security 141
CoPS - Checker of Persistent Security 141
An Abstract Interpretation Framework for (almost) Full Prolog 131
Proportional Lumpability 126
A Queueing Model that Works Only on the Biggest Jobs 122
Dynamic resource allocation in fork-join queues 116
Delimited persistent stochastic non-interference 115
Frequency scaling in multilevel queues 103
Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach 94
Contextual Lumpability 92
Speed scaling in fork-join queues: A comparative study 87
Controlling Information Release in the pi-calculus 77
Smart-RED: A novel congestion control mechanism for high throughput and low queuing delay 76
On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness 76
Totale 21.303
Categoria #
all - tutte 47.216
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 47.216


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191.899 0 0 82 48 148 84 115 65 76 214 427 640
2019/20205.275 491 324 403 1.113 345 454 347 560 442 402 248 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/20233.041 210 276 53 354 363 793 155 251 302 21 215 48
2023/2024223 78 79 66 0 0 0 0 0 0 0 0 0
Totale 21.660