ROSSI, Sabina
 Distribuzione geografica
Continente #
NA - Nord America 13.670
EU - Europa 5.606
AS - Asia 2.546
SA - Sud America 15
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 12
AF - Africa 4
Totale 21.866
Nazione #
US - Stati Uniti d'America 13.522
CN - Cina 2.197
PL - Polonia 1.484
IT - Italia 1.093
UA - Ucraina 542
IE - Irlanda 448
GB - Regno Unito 446
SE - Svezia 414
DE - Germania 385
FI - Finlandia 309
RU - Federazione Russa 179
CA - Canada 144
TR - Turchia 135
BE - Belgio 88
SG - Singapore 74
FR - Francia 61
AT - Austria 39
VN - Vietnam 31
CH - Svizzera 24
HK - Hong Kong 17
GR - Grecia 15
NL - Olanda 15
KR - Corea 14
ES - Italia 12
IN - India 12
AU - Australia 11
IR - Iran 11
UZ - Uzbekistan 11
CL - Cile 10
EU - Europa 10
DK - Danimarca 9
LB - Libano 9
CZ - Repubblica Ceca 7
BA - Bosnia-Erzegovina 6
IL - Israele 6
JP - Giappone 6
RO - Romania 6
BD - Bangladesh 4
BG - Bulgaria 4
PK - Pakistan 4
PT - Portogallo 4
TW - Taiwan 4
BR - Brasile 3
HR - Croazia 3
NO - Norvegia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AE - Emirati Arabi Uniti 2
EE - Estonia 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
MA - Marocco 2
MX - Messico 2
NZ - Nuova Zelanda 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
MM - Myanmar 1
MO - Macao, regione amministrativa speciale della Cina 1
MY - Malesia 1
PE - Perù 1
PH - Filippine 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
ZA - Sudafrica 1
Totale 21.866
Città #
Woodbridge 2.421
Fairfield 1.901
Warsaw 1.464
Chandler 1.116
Houston 963
Jacksonville 951
Ashburn 882
Ann Arbor 817
Seattle 776
Wilmington 626
Cambridge 618
Dublin 446
Jinan 267
Mestre 267
Nanjing 254
Shenyang 206
Beijing 198
New York 197
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
Brussels 87
Hangzhou 84
Boardman 83
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
Venice 48
Milan 44
London 37
San Paolo di Civitate 37
Redwood City 31
Dong Ket 30
Vienna 30
Hefei 28
Kilburn 21
Norwalk 19
Washington 19
Kunming 17
Brooklyn 16
Verona 16
Philadelphia 14
Udine 14
Phoenix 13
Hong Kong 12
Polska 11
Puxian 10
Hounslow 9
Moscow 9
Auburn Hills 8
Bologna 8
Clearwater 8
Edinburgh 8
Fremont 8
Los Angeles 8
Orange 8
Helsinki 7
Latiano 7
New Bedfont 7
Renton 7
Simi Valley 7
Treviso 7
Winnipeg 7
Zanjan 7
Amsterdam 6
Chicago 6
Kemerovo 6
Lanzhou 6
Novokuznetsk 6
Padova 6
Riva 6
Sarajevo 6
Shanghai 6
Xiangfen 6
Dolo 5
Henderson 5
Marghera 5
San Francisco 5
Silea 5
Totale 17.840
Nome #
Connectivity and energy-aware preorders for mobile ad-hoc networks 541
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 511
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 499
Behavioural equivalences and interference metrics for mobile ad-hoc networks 498
null 439
On the relations between Markov chain lumpability and reversibility 421
Performance evaluation of AQM techniques with heterogeneous traffic 404
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations 403
Priority-based bandwidth allocation in wireless sensor networks 402
Persistent Stochastic Non-Interference 400
Quantitative Analysis of Concurrent Reversible Computations 390
A Product-form Model for the Analysis of Systems with Aging Objects 361
Model Checking Adaptive Service Compositions 337
Biased processor sharing in fork-join queues 330
Guest editor's forewords: Special issue on Valuetools 2017 327
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses 322
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks 281
Product-forms for Probabilistic Input/Output Automata 278
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 276
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 274
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 262
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 257
On Modular Termination Proofs of General Logic Programs 253
Power control in saturated fork-join queueing systems 248
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks 246
Fair workload distribution for multi-server systems with pulling strategies 241
Information Flow in Secure Contexts 239
Interference-sensitive Preorders for MANETs 229
Declarative Semantics of Input Consuming Logic Programs 227
P-Congruences as Non-Interference for the pi-calculus 226
Termination of Well-Typed Logic Programs 225
Automated Verification of Behavioural Properties of Prolog Programs 224
Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks 223
Performance Analysis and Formal Verification of Cognitive Wireless Networks 217
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 214
Information Flow Security for Stochastic Processes 213
A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks 205
Information Flow Security and Recursive Systems 204
Autoreversibility: exploiting symmetries in Markov chains 204
On Discrete Time Reversibility modulo State Renaming and its Applications 203
Compliance Preorders for Web Services. 202
Specialising Logic Programs with respect to Call/Post Specifications 201
Action Refinement in Process Algebra and Security Issues 199
A Proof System for Information Flow Security 197
Properties of Input-Consuming Derivations 197
Refinement Operators and Information Flow Security 197
Unwinding Conditions for Security in Imperative Languages 196
Unwinding in Information Flow Security 194
Semantics and Termination of Simply-moded Logic Programs with Dynamic Scheduling 192
Automated Verification of Prolog Programs 191
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 190
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 190
Information Flow Security for Service Compositions. 190
Static vs Dynamic Typing for Access Control in Pi-Calculus 187
Modelling Downgrading in Information Flow Security 185
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations 185
Compositional Information Flow Security for Concurrent Programs 180
On the relations between Lumpability and Reversibility 180
Specification-based Automatic Verification of Prolog Programs 179
A Theory of Adaptable Contract-based Service Composition. 174
Static Analysis of Prolog with Cut 173
Properties of Input-Consuming Derivations 172
Transforming processes to check and ensure Information Flow Security 170
A process algebra for (delimited) persistent stochastic non-interference 169
Sequence-based Abstract Interpretation of Prolog 169
Semantics of well-moded input-consuming logic programs 167
Static Analysis of Prolog with Cut 167
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 166
Compositional information flow security for concurrent programs 166
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 165
Automated Behavioural Verification of Prolog Programs 164
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut 161
Information Flow Security in Dynamic Contexts 160
Semantics of input-consuming programs 160
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses 160
A Security Property for Processes in Dynamic Contexts 158
Information Flow Security in Dynamic Contexts 158
Secure Contexts for Confidential Data 157
Bridging Language-Based and Process Calculi Security 156
Call-Correct Specialisation of Logic Programs 154
Verifying Persistent Security Properties. 154
A Theory of Noninterference for the pi-calculus 153
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows 152
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 151
PicNic - Pi-calculus Non-Interference checker 148
Model Checking Adaptive Multilevel Service Compositions 146
Proofs Methods for Bisimulation based Information Flow Security 144
CoPS - Checker of Persistent Security 143
A Queueing Model that Works Only on the Biggest Jobs 142
An Abstract Interpretation Framework for (almost) Full Prolog 133
Proportional Lumpability 126
Dynamic resource allocation in fork-join queues 122
Delimited persistent stochastic non-interference 117
Frequency scaling in multilevel queues 105
Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach 100
Contextual Lumpability 93
Speed scaling in fork-join queues: A comparative study 88
On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness 88
Smart-RED: A novel congestion control mechanism for high throughput and low queuing delay 86
Controlling Information Release in the pi-calculus 81
Totale 21.804
Categoria #
all - tutte 58.455
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 58.455


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191.357 0 0 0 0 0 0 0 0 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/2024898 78 79 77 47 158 294 82 82 1 0 0 0
Totale 22.335