IRIS
ALDINI, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.114
EU - Europa 7.412
AS - Asia 4.638
SA - Sud America 544
Continente sconosciuto - Info sul continente non disponibili 400
AF - Africa 74
OC - Oceania 20
Totale 26.202
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.951
GB - Regno Unito 2.256
CN - Cina 2.040
IT - Italia 1.412
SG - Singapore 1.333
UA - Ucraina 860
SE - Svezia 518
RU - Federazione Russa 499
DE - Germania 490
TR - Turchia 407
BR - Brasile 400
FR - Francia 370
FI - Finlandia 335
VN - Vietnam 252
PL - Polonia 237
IE - Irlanda 191
IN - India 114
CA - Canada 97
JP - Giappone 90
BD - Bangladesh 83
HK - Hong Kong 67
AR - Argentina 54
KR - Corea 41
ES - Italia 35
AT - Austria 34
NL - Olanda 34
BE - Belgio 30
MX - Messico 29
IQ - Iraq 28
ID - Indonesia 27
ZA - Sudafrica 24
CO - Colombia 22
EC - Ecuador 21
AU - Australia 19
RO - Romania 18
CH - Svizzera 16
IR - Iran 16
LT - Lituania 16
SA - Arabia Saudita 15
PK - Pakistan 14
EU - Europa 13
MA - Marocco 12
EE - Estonia 11
IL - Israele 10
MY - Malesia 10
PE - Perù 10
PH - Filippine 10
PY - Paraguay 10
UZ - Uzbekistan 10
VE - Venezuela 10
KZ - Kazakistan 9
AE - Emirati Arabi Uniti 8
CL - Cile 8
KE - Kenya 8
TG - Togo 8
CR - Costa Rica 7
TN - Tunisia 7
AZ - Azerbaigian 6
HU - Ungheria 6
KG - Kirghizistan 6
LB - Libano 6
UY - Uruguay 6
EG - Egitto 5
GT - Guatemala 5
PT - Portogallo 5
TT - Trinidad e Tobago 5
A2 - ???statistics.table.value.countryCode.A2??? 4
CZ - Repubblica Ceca 4
JO - Giordania 4
LA - Repubblica Popolare Democratica del Laos 4
LU - Lussemburgo 4
LV - Lettonia 4
NI - Nicaragua 4
AL - Albania 3
BB - Barbados 3
BG - Bulgaria 3
BO - Bolivia 3
DK - Danimarca 3
DO - Repubblica Dominicana 3
DZ - Algeria 3
IM - Isola di Man 3
JM - Giamaica 3
NP - Nepal 3
OM - Oman 3
PR - Porto Rico 3
QA - Qatar 3
TH - Thailandia 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BY - Bielorussia 2
CM - Camerun 2
GR - Grecia 2
IS - Islanda 2
KW - Kuwait 2
LK - Sri Lanka 2
PS - Palestinian Territory 2
RS - Serbia 2
SM - San Marino 2
TW - Taiwan 2
BH - Bahrain 1
Totale 25.801
Salva come PNG Salva come JPEG
Città #
Southend 2.000
Fairfield 1.217
Woodbridge 1.201
Ashburn 1.173
Houston 968
Ann Arbor 815
Singapore 713
San Jose 676
Jacksonville 671
Chandler 617
Wilmington 531
Dallas 518
Seattle 506
Cambridge 494
Nanjing 405
Izmir 285
Beijing 263
Council Bluffs 248
New York 234
Boardman 221
Kraków 183
Dublin 182
Los Angeles 146
Urbino 145
Helsinki 141
Nanchang 138
Lauterbourg 120
Staranzano 110
Bremen 109
Princeton 109
Moscow 108
Munich 91
Santa Clara 91
Shenyang 88
Ho Chi Minh City 85
Milan 77
San Mateo 73
Hebei 71
Phoenix 71
The Dalles 69
Kunming 67
Chicago 65
Rome 65
Tianjin 64
Columbus 63
Hanoi 63
Hong Kong 63
Jiaxing 62
Düsseldorf 56
San Diego 56
Buffalo 54
Des Moines 51
Changsha 50
London 48
Istanbul 46
Orem 46
San Francisco 44
São Paulo 43
Pesaro 41
Shanghai 38
Guangzhou 34
Velikiy Novgorod 34
Chennai 33
Hangzhou 33
Jinan 33
Warsaw 33
Montreal 31
Seongnam 31
Toronto 30
Tokyo 29
Turku 29
Bologna 28
Brooklyn 28
Zhengzhou 28
Frankfurt am Main 27
Brussels 26
Denver 26
Boston 25
Atlanta 21
Venice 21
Vienna 20
Wuppertal 20
Ancona 17
Johannesburg 17
Lanzhou 17
Poplar 17
Amsterdam 16
Changchun 16
Paris 16
Buenos Aires 15
Maglie 15
Mexico City 15
Ningbo 15
Turin 15
Jesi 14
Kocaeli 14
Manchester 14
Norwalk 14
Nuremberg 14
Taizhou 13
Totale 17.942
Salva come PNG Salva come JPEG
Nome #
"Worth one minute": An anonymous rewarding platform for crowd-sensing systems 396
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 351
Alcune note sui Teoremi di Incompletezza di Gödel e la conoscenza delle macchine 340
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems 338
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances 333
Introducing a flexible rewarding platform for mobile crowd-sensing applications 331
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis 328
A General Approach to Deadlock Freedom Verification for Software Architectures 304
A Process-algebraic Approach for the Analysis of Probabilistic Non-interference 298
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior 292
Modeling and verification of trust and reputation systems 288
A Formal Approach to the Integrated Analysis of Security and QoS 286
From Knowledge to Trust: A Logical Framework for Pre-trust Computations 284
A Collaborative Framework for Generating Probabilistic Contracts 279
Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation 274
Towards attack-resistant Aggregate Computing using trust mechanisms 274
A Quantitative Approach to Noninterference for Probabilistic Systems 273
QoS Evaluation of IP Telephony Services: A Specification Language Based Simulation Software Tool 273
Virtual Currency and Reputation-Based Cooperation Incentives in User-Centric Networks 265
Design and Verification of Trusted Collective Adaptive Systems 263
Classification of Security Properties in a Linda-like Process Algebra 260
A Study About Trade-off Between Performance and Security in an Internet Audio Mechanism 260
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions 258
A Probabilistic Formulation of Imperfect Cryptography 258
A Process Algebraic Approach to Software Architecture Design 257
A Trust Logic for Pre-Trust Computations 256
Two Formal Approaches for Approximating Noninterference Properties 254
A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods 250
Expressing Processes with Different Action Durations through Probabilities 250
A Calculus for Trust and Reputation Systems 250
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference 250
Towards a Formal Treatment of Secrecy against Computational Adversaries 246
Non-determinism in Probabilistic Timed Systems with General Distributions 242
Predicting the Functional/Performance Impact of Dynamic Power Management 242
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 240
On Securing Real Time Speech Transmission over the Internet: An Experimental Study 239
A Taxonomy of Computational Models for Trust Computing in Decision-Making Procedures 237
Discrete Time Generative-Reactive Probabilistic Processes with Different Advancing Speeds 236
Security Analysis of a Probabilistic Non-repudiation Protocol 235
A Secure Protocol for Voice-Operated E-Commerce Systems over IP Networks 233
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems 232
Data Privacy Management and Security Assurance. 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings 232
Combining Trust and Aggregate Computing 232
Foundations of Security Analysis and Design V 231
Component-Oriented Specification of Performance Measures 230
On the Extension of Non-interference with Probabilities 227
Estimating the Maximum Information Leakage 226
Foundations of Security Analysis and Design IV 226
Detection of repackaged mobile applications through a collaborative approach 223
A Note on Knowing Machines 223
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth 222
Expected-Delay-Summing Weak Bisimilarity for Markov Automata 221
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance 217
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation 216
Foundations of Security Analysis and Design VII 214
On Probabilistic Application Compliance 213
Logics to Reason Formally About Trust Computation and Manipulation 213
Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures 212
Component-Oriented Verification of Noninterference 211
Approximating Imperfect Cryptography in a Formal Model 208
An Asynchronous Calculus for Generative-Reactive Probabilistic Systems 207
On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret 204
On the Usability of Process Algebra: An Architectural View 204
Foundations of Security Analysis and Design III 204
On Quantitative Analysis of Probabilistic Protocols 203
Probabilistic Information Flow in a Process Algebra 203
A Trust Logic for the Varieties of Trust 203
Reasoning About Ignorance and Beliefs 201
Lich: Enhancing IoT Supply Chain Security Through Automated Firmware Analysis 199
On the Tradeoff Among Trust, Privacy, and Cost in Incentive-Based Networks 199
Coordination Model and Noninterference 198
Modeling and Verification of the Worth-One-Minute Security Protocols 197
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking 196
Design and validation of a trust-based opportunity-enabled risk management system 193
Stochastic Process Algebras for the Analysis of Internet Protocols 188
Performability Measure Specification: Combining CSRL and MSL 185
Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices 178
Approximating Markovian Testing Equivalence 177
Do the Self-Knowing Machines Dream of Knowing Their Factivity? 174
Quantitative Aspects in Security Assurance, Special Issue of the International Journal of Secure Software Engineering (IJSSE) 173
Data Privacy Management, and Security Assurance. 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21–22, 2015. Revised Selected Papers 173
Trust Evidence Logic 173
PROCEDIMENTO DI SELEZIONE AUTOMATICA DI FOTOGRAFIE DIGITALI DA UN ARCHIVIO PER LA CREAZIONE AUTOMATICA DI UNA SEQUENZA DI FOTO CHE RAPPRESENTA UNA STORIA EMOZIONALE DA STAMPARE E/O CONSERVARE 171
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages(QAPL 2007), Braga, Portugal 170
User-Centric Networking - Future Perspectives 169
Formal Modeling and Verification of Opportunity-enabled Risk Management 166
European Performance Engineering Workshop (EPEW 2010) 166
Procedimento di valutazione automatica della qualità di foto digitali 165
Trading Performance and Cooperation Incentives in User-Centric Networks 161
A Framework Balancing Privacy and Cooperation Incentives in User-Centric Networks 160
Proceedings of the 3rd International Workshop on Views on Designing Complex Architectures (VODCA2008) 157
Formal Methods for Quantitative Aspects of Programming Languages (SFM 2010) 156
Model Checking of Trust-Based User-Centric Cooperative Networks 154
Noninterference Analysis of Reversible Probabilistic Systems 153
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems 153
An Adaptive Mechanism for Real-time Secure Speech Transmission over the Internet 141
A logical perspective on intending to keep a true secret 139
Teoria degli automi per linguaggi formali 138
Formal Approach to Design and Automatic Verification of Cooperation-Based Networks 137
Modeling and Verification of Cooperation Incentive Mechanisms in User-Centric Wireless CommunicationsSecurity, Privacy, Trust, and Resource Management in Mobile and Wireless Communications 137
Totale 22.477
Salva come PNG Salva come JPEG
Categoria #
all - tutte 92.333
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 92.333
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.116 0 0 0 228 63 51 77 87 105 109 47 349
2022/20231.959 222 105 56 222 191 426 9 170 311 60 109 78
2023/2024582 47 49 34 39 59 183 26 55 3 15 12 60
2024/20252.241 107 105 436 110 94 160 217 130 244 147 310 181
2025/20265.865 398 669 696 960 462 377 852 192 362 401 298 198
2026/20271.224 197 183 594 250 0 0 0 0 0 0 0 0
Totale 26.202