IRIS
ALDINI, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.027
EU - Europa 6.726
AS - Asia 3.888
SA - Sud America 463
AF - Africa 58
OC - Oceania 19
Continente sconosciuto - Info sul continente non disponibili 18
Totale 22.199
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.915
GB - Regno Unito 2.220
CN - Cina 1.895
IT - Italia 1.103
SG - Singapore 986
UA - Ucraina 858
SE - Svezia 517
DE - Germania 468
TR - Turchia 403
RU - Federazione Russa 367
BR - Brasile 355
FI - Finlandia 327
FR - Francia 242
PL - Polonia 230
VN - Vietnam 195
IE - Irlanda 188
IN - India 95
JP - Giappone 82
CA - Canada 73
AR - Argentina 47
KR - Corea 38
HK - Hong Kong 33
AT - Austria 31
ES - Italia 29
NL - Olanda 29
BE - Belgio 26
IQ - Iraq 23
MX - Messico 23
ZA - Sudafrica 21
AU - Australia 18
RO - Romania 18
BD - Bangladesh 16
ID - Indonesia 16
IR - Iran 16
LT - Lituania 16
CH - Svizzera 15
CO - Colombia 14
EC - Ecuador 14
EU - Europa 13
PY - Paraguay 10
IL - Israele 9
PK - Pakistan 9
MA - Marocco 8
TG - Togo 8
UZ - Uzbekistan 8
KZ - Kazakistan 7
PE - Perù 7
CL - Cile 6
HU - Ungheria 6
KE - Kenya 6
KG - Kirghizistan 6
SA - Arabia Saudita 6
AE - Emirati Arabi Uniti 5
AZ - Azerbaigian 5
EG - Egitto 5
LB - Libano 5
A2 - ???statistics.table.value.countryCode.A2??? 4
LA - Repubblica Popolare Democratica del Laos 4
LU - Lussemburgo 4
LV - Lettonia 4
MY - Malesia 4
UY - Uruguay 4
VE - Venezuela 4
AL - Albania 3
CZ - Repubblica Ceca 3
GT - Guatemala 3
IM - Isola di Man 3
JO - Giordania 3
PH - Filippine 3
PT - Portogallo 3
TN - Tunisia 3
TT - Trinidad e Tobago 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BG - Bulgaria 2
BO - Bolivia 2
CM - Camerun 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
EE - Estonia 2
IS - Islanda 2
JM - Giamaica 2
NI - Nicaragua 2
NP - Nepal 2
OM - Oman 2
QA - Qatar 2
SM - San Marino 2
BN - Brunei Darussalam 1
BY - Bielorussia 1
DK - Danimarca 1
DM - Dominica 1
DZ - Algeria 1
ET - Etiopia 1
GA - Gabon 1
GD - Grenada 1
GR - Grecia 1
KW - Kuwait 1
LK - Sri Lanka 1
ML - Mali 1
MM - Myanmar 1
Totale 22.189
Salva come PNG Salva come JPEG
Città #
Southend 2.000
Fairfield 1.217
Woodbridge 1.201
Houston 965
Ashburn 907
Ann Arbor 815
Jacksonville 671
Chandler 617
Wilmington 528
Seattle 504
Dallas 503
Cambridge 494
Singapore 481
Nanjing 405
Izmir 285
Beijing 241
New York 208
Boardman 188
Kraków 183
Dublin 182
Urbino 141
Nanchang 138
Helsinki 133
Los Angeles 128
Bremen 109
Princeton 109
Moscow 94
Munich 91
Shenyang 88
San Mateo 73
Hebei 71
Ho Chi Minh City 70
Kunming 67
Tianjin 64
Jiaxing 62
Düsseldorf 56
San Diego 55
Changsha 50
Des Moines 50
Hanoi 48
Milan 48
London 46
Rome 46
Istanbul 45
Santa Clara 45
São Paulo 43
Buffalo 42
Pesaro 41
San Francisco 41
Shanghai 38
Chicago 34
Velikiy Novgorod 34
Jinan 33
Guangzhou 32
Seongnam 31
Hangzhou 30
The Dalles 30
Warsaw 30
Hong Kong 29
Turku 29
Zhengzhou 28
Chennai 27
Montreal 26
Tokyo 24
Boston 23
Brooklyn 23
Columbus 23
Denver 23
Toronto 23
Brussels 22
Orem 21
Frankfurt am Main 20
Wuppertal 20
Atlanta 18
Phoenix 18
Vienna 18
Bologna 17
Lanzhou 17
Changchun 16
Johannesburg 16
Poplar 16
Venice 16
Amsterdam 15
Ningbo 15
Paris 15
Ancona 14
Jesi 14
Kocaeli 14
Buenos Aires 13
Council Bluffs 13
Norwalk 13
Taizhou 13
Dearborn 12
Dong Ket 12
Florence 12
Grafing 12
Lauterbourg 12
Mexico City 12
Nuremberg 12
Redwood City 12
Totale 15.729
Salva come PNG Salva come JPEG
Nome #
"Worth one minute": An anonymous rewarding platform for crowd-sensing systems 358
Alcune note sui Teoremi di Incompletezza di Gödel e la conoscenza delle macchine 315
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems 311
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 311
Introducing a flexible rewarding platform for mobile crowd-sensing applications 310
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis 304
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances 294
A General Approach to Deadlock Freedom Verification for Software Architectures 280
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior 277
Modeling and verification of trust and reputation systems 271
A Process-algebraic Approach for the Analysis of Probabilistic Non-interference 266
A Formal Approach to the Integrated Analysis of Security and QoS 262
A Collaborative Framework for Generating Probabilistic Contracts 252
QoS Evaluation of IP Telephony Services: A Specification Language Based Simulation Software Tool 251
A Quantitative Approach to Noninterference for Probabilistic Systems 248
Virtual Currency and Reputation-Based Cooperation Incentives in User-Centric Networks 247
Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation 242
Classification of Security Properties in a Linda-like Process Algebra 239
A Study About Trade-off Between Performance and Security in an Internet Audio Mechanism 238
A Probabilistic Formulation of Imperfect Cryptography 235
Expressing Processes with Different Action Durations through Probabilities 232
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions 232
Design and Verification of Trusted Collective Adaptive Systems 231
On Securing Real Time Speech Transmission over the Internet: An Experimental Study 230
A Process Algebraic Approach to Software Architecture Design 229
Two Formal Approaches for Approximating Noninterference Properties 226
Towards attack-resistant Aggregate Computing using trust mechanisms 225
A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods 223
A Calculus for Trust and Reputation Systems 223
From Knowledge to Trust: A Logical Framework for Pre-trust Computations 223
Non-determinism in Probabilistic Timed Systems with General Distributions 221
Security Analysis of a Probabilistic Non-repudiation Protocol 221
Towards a Formal Treatment of Secrecy against Computational Adversaries 221
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference 219
Combining Trust and Aggregate Computing 218
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 216
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 216
Estimating the Maximum Information Leakage 215
On the Extension of Non-interference with Probabilities 215
A Trust Logic for Pre-Trust Computations 215
Foundations of Security Analysis and Design V 213
Discrete Time Generative-Reactive Probabilistic Processes with Different Advancing Speeds 212
Component-Oriented Specification of Performance Measures 209
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems 209
Predicting the Functional/Performance Impact of Dynamic Power Management 208
Expected-Delay-Summing Weak Bisimilarity for Markov Automata 207
A Taxonomy of Computational Models for Trust Computing in Decision-Making Procedures 207
Detection of repackaged mobile applications through a collaborative approach 206
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth 205
A Note on Knowing Machines 202
Foundations of Security Analysis and Design IV 201
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance 201
Foundations of Security Analysis and Design VII 200
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation 198
Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures 196
Probabilistic Information Flow in a Process Algebra 194
An Asynchronous Calculus for Generative-Reactive Probabilistic Systems 191
On Quantitative Analysis of Probabilistic Protocols 191
On Probabilistic Application Compliance 190
Approximating Imperfect Cryptography in a Formal Model 188
On the Tradeoff Among Trust, Privacy, and Cost in Incentive-Based Networks 188
Component-Oriented Verification of Noninterference 186
Foundations of Security Analysis and Design III 184
A Secure Protocol for Voice-Operated E-Commerce Systems over IP Networks 183
Logics to Reason Formally About Trust Computation and Manipulation 183
Coordination Model and Noninterference 182
Design and validation of a trust-based opportunity-enabled risk management system 178
On the Usability of Process Algebra: An Architectural View 177
Modeling and Verification of the Worth-One-Minute Security Protocols 176
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking 175
A Trust Logic for the Varieties of Trust 175
Stochastic Process Algebras for the Analysis of Internet Protocols 168
Performability Measure Specification: Combining CSRL and MSL 167
Reasoning About Ignorance and Beliefs 167
Lich: Enhancing IoT Supply Chain Security Through Automated Firmware Analysis 159
Approximating Markovian Testing Equivalence 157
User-Centric Networking - Future Perspectives 157
Formal Modeling and Verification of Opportunity-enabled Risk Management 156
On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret 152
Do the Self-Knowing Machines Dream of Knowing Their Factivity? 152
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 152
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages(QAPL 2007), Braga, Portugal 150
European Performance Engineering Workshop (EPEW 2010) 150
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 147
Formal Methods for Quantitative Aspects of Programming Languages (SFM 2010) 145
Procedimento di valutazione automatica della qualità di foto digitali 145
Trust Evidence Logic 145
Proceedings of the 3rd International Workshop on Views on Designing Complex Architectures (VODCA2008) 142
Quantitative Aspects in Security Assurance, Special Issue of the International Journal of Secure Software Engineering (IJSSE) 142
Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices 141
A Framework Balancing Privacy and Cooperation Incentives in User-Centric Networks 139
Model Checking of Trust-Based User-Centric Cooperative Networks 137
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems 136
Trading Performance and Cooperation Incentives in User-Centric Networks 131
An Adaptive Mechanism for Real-time Secure Speech Transmission over the Internet 129
Modeling and Verification of Cooperation Incentive Mechanisms in User-Centric Wireless CommunicationsSecurity, Privacy, Trust, and Resource Management in Mobile and Wireless Communications 125
Formal Approach to Design and Automatic Verification of Cooperation-Based Networks 118
Noninterference and the Most Powerful Probabilistic Adversary 116
From belief to trust: A quantitative framework based on modal logic 114
Special Issue of the Italian Conference on Theoretical Computer Science 2018 113
Totale 20.129
Salva come PNG Salva come JPEG
Categoria #
all - tutte 79.184
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 79.184
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.588 0 0 0 0 0 187 309 220 345 205 227 95
2021/20221.542 103 168 155 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/20263.464 398 669 696 960 462 279 0 0 0 0 0 0
Totale 22.577