ROSSI, Sabina
 Distribuzione geografica
Continente #
NA - Nord America 14.624
EU - Europa 6.052
AS - Asia 4.312
SA - Sud America 317
AF - Africa 23
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 13
Totale 25.355
Nazione #
US - Stati Uniti d'America 14.449
CN - Cina 2.442
PL - Polonia 1.487
IT - Italia 1.315
SG - Singapore 1.002
UA - Ucraina 546
DE - Germania 484
GB - Regno Unito 458
IE - Irlanda 449
SE - Svezia 418
HK - Hong Kong 392
FI - Finlandia 339
BR - Brasile 283
RU - Federazione Russa 243
CA - Canada 160
TR - Turchia 142
JP - Giappone 92
FR - Francia 83
AT - Austria 43
BE - Belgio 42
ID - Indonesia 36
VN - Vietnam 35
BD - Bangladesh 30
CH - Svizzera 27
NL - Olanda 27
IN - India 20
KR - Corea 20
GR - Grecia 15
UZ - Uzbekistan 15
ES - Italia 14
AU - Australia 11
CL - Cile 11
IR - Iran 11
EU - Europa 10
IQ - Iraq 10
CZ - Repubblica Ceca 9
DK - Danimarca 9
LB - Libano 9
MX - Messico 9
PK - Pakistan 9
TW - Taiwan 7
VE - Venezuela 7
ZA - Sudafrica 7
AR - Argentina 6
BA - Bosnia-Erzegovina 6
IL - Israele 6
MA - Marocco 6
RO - Romania 6
AE - Emirati Arabi Uniti 5
EC - Ecuador 5
HR - Croazia 5
KE - Kenya 5
BG - Bulgaria 4
JO - Giordania 4
NO - Norvegia 4
PH - Filippine 4
PT - Portogallo 4
MY - Malesia 3
NZ - Nuova Zelanda 3
OM - Oman 3
PE - Perù 3
SA - Arabia Saudita 3
A2 - ???statistics.table.value.countryCode.A2??? 2
DZ - Algeria 2
EE - Estonia 2
HU - Ungheria 2
JM - Giamaica 2
LA - Repubblica Popolare Democratica del Laos 2
LT - Lituania 2
PA - Panama 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
PS - Palestinian Territory 1
RS - Serbia 1
SI - Slovenia 1
TN - Tunisia 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 25.355
Città #
Woodbridge 2.421
Fairfield 1.901
Warsaw 1.467
Chandler 1.116
Ashburn 1.055
Houston 964
Jacksonville 952
Ann Arbor 817
Seattle 781
Wilmington 630
Cambridge 618
Singapore 590
Dublin 447
Hong Kong 381
Mestre 272
Jinan 267
Nanjing 256
Beijing 241
New York 210
Shenyang 207
Boardman 203
Council Bluffs 174
Dearborn 171
Venezia 156
San Mateo 154
Guangzhou 141
Venice 139
Izmir 132
Des Moines 125
Hebei 122
Boston 120
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
Los Angeles 71
Ningbo 62
Jiaxing 61
Taizhou 60
Haikou 55
Milan 54
Ottawa 54
Fuzhou 52
Hefei 50
Altamura 48
Saint Petersburg 48
Columbus 45
Brussels 41
London 41
San Paolo di Civitate 37
Jakarta 36
Moscow 35
Munich 32
Redwood City 31
Berlin 30
Dong Ket 30
São Paulo 28
Vienna 28
Brooklyn 25
Santa Clara 24
Kilburn 21
Washington 21
Norwalk 20
Padova 20
Helsinki 18
Kunming 18
North Bergen 17
Chicago 16
Verona 16
Treviso 15
Udine 15
Phoenix 14
Amsterdam 13
Nuremberg 13
Turku 12
Polska 11
Puxian 10
Bologna 9
Rome 9
San Francisco 9
Trieste 9
Atlanta 8
Auburn Hills 8
Clearwater 8
Edinburgh 8
Fremont 8
Lappeenranta 8
Manchester 8
Montreal 8
Orange 8
Rio de Janeiro 8
Totale 19.879
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 579
Behavioural equivalences and interference metrics for mobile ad-hoc networks 543
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 538
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 537
null 439
Priority-based bandwidth allocation in wireless sensor networks 438
On the relations between Markov chain lumpability and reversibility 433
Performance evaluation of AQM techniques with heterogeneous traffic 427
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 422
Persistent Stochastic Non-Interference 422
Quantitative Analysis of Concurrent Reversible Computations 421
A Product-form Model for the Analysis of Systems with Aging Objects 401
Model Checking Adaptive Service Compositions 358
Biased processor sharing in fork-join queues 356
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 351
Guest editor's forewords: Special issue on Valuetools 2017 346
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 312
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 309
Product-forms for Probabilistic Input/Output Automata 304
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 303
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 297
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 289
On Modular Termination Proofs of General Logic Programs 277
Power control in saturated fork-join queueing systems 275
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks 273
Fair workload distribution for multi-server systems with pulling strategies 264
Information Flow in Secure Contexts 261
Performance Analysis and Formal Verification of Cognitive Wireless Networks 257
Declarative Semantics of Input Consuming Logic Programs 255
Interference-sensitive Preorders for MANETs 252
P-Congruences as Non-Interference for the pi-calculus 251
Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks 250
Termination of Well-Typed Logic Programs 246
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 245
Automated Verification of Behavioural Properties of Prolog Programs 244
Autoreversibility: exploiting symmetries in Markov chains 241
Information Flow Security for Stochastic Processes 239
A Proof System for Information Flow Security 237
A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks 237
Action Refinement in Process Algebra and Security Issues 231
Information Flow Security and Recursive Systems 227
Unwinding in Information Flow Security 224
Information Flow Security for Service Compositions. 224
On Discrete Time Reversibility modulo State Renaming and its Applications 224
Compliance Preorders for Web Services. 223
Refinement Operators and Information Flow Security 220
Specialising Logic Programs with respect to Call/Post Specifications 218
Unwinding Conditions for Security in Imperative Languages 216
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 215
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 212
Properties of Input-Consuming Derivations 212
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 209
Static vs Dynamic Typing for Access Control in Pi-Calculus 208
Modelling Downgrading in Information Flow Security 207
Automated Verification of Prolog Programs 207
A Theory of Adaptable Contract-based Service Composition. 205
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations 205
On the relations between Lumpability and Reversibility 203
A process algebra for (delimited) persistent stochastic non-interference 201
Compositional Information Flow Security for Concurrent Programs 200
Specification-based Automatic Verification of Prolog Programs 199
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 195
Properties of Input-Consuming Derivations 194
Static Analysis of Prolog with Cut 192
Transforming processes to check and ensure Information Flow Security 192
Semantics of well-moded input-consuming logic programs 191
Compositional information flow security for concurrent programs 188
Static Analysis of Prolog with Cut 188
Sequence-based Abstract Interpretation of Prolog 188
A Security Property for Processes in Dynamic Contexts 187
Bridging Language-Based and Process Calculi Security 186
Information Flow Security in Dynamic Contexts 184
Automated Behavioural Verification of Prolog Programs 183
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 183
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 183
Semantics of input-consuming programs 182
A Theory of Noninterference for the pi-calculus 181
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut 180
Call-Correct Specialisation of Logic Programs 180
Secure Contexts for Confidential Data 178
Proportional Lumpability 178
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 178
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 176
Information Flow Security in Dynamic Contexts 176
Verifying Persistent Security Properties. 174
A Queueing Model that Works Only on the Biggest Jobs 172
Model Checking Adaptive Multilevel Service Compositions 171
CoPS - Checker of Persistent Security 165
PicNic - Pi-calculus Non-Interference checker 165
Proofs Methods for Bisimulation based Information Flow Security 163
Dynamic resource allocation in fork-join queues 161
An Abstract Interpretation Framework for (almost) Full Prolog 155
Delimited persistent stochastic non-interference 128
Frequency scaling in multilevel queues 127
Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach 119
Contextual Lumpability 116
On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness 113
Speed scaling in fork-join queues: A comparative study 110
Controlling Information Release in the pi-calculus 104
Smart-RED: A novel congestion control mechanism for high throughput and low queuing delay 104
Totale 24.309
Categoria #
all - tutte 83.620
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 83.620


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.499 57 88 220 249 214 122 278 255 255 266 285 210
2025/2026541 541 0 0 0 0 0 0 0 0 0 0 0
Totale 25.838