IRIS
ALDINI, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.137
EU - Europa 7.179
AS - Asia 4.549
SA - Sud America 512
AF - Africa 72
OC - Oceania 20
Continente sconosciuto - Info sul continente non disponibili 18
Totale 24.487
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.005
GB - Regno Unito 2.239
CN - Cina 2.028
SG - Singapore 1.309
IT - Italia 1.220
UA - Ucraina 860
SE - Svezia 518
RU - Federazione Russa 499
DE - Germania 488
TR - Turchia 407
BR - Brasile 386
FR - Francia 366
FI - Finlandia 335
VN - Vietnam 249
PL - Polonia 236
IE - Irlanda 189
IN - India 113
JP - Giappone 87
CA - Canada 86
BD - Bangladesh 69
HK - Hong Kong 55
AR - Argentina 53
KR - Corea 40
AT - Austria 34
ES - Italia 33
NL - Olanda 33
BE - Belgio 30
IQ - Iraq 28
MX - Messico 25
ZA - Sudafrica 24
ID - Indonesia 22
AU - Australia 19
RO - Romania 18
CH - Svizzera 16
IR - Iran 16
LT - Lituania 16
CO - Colombia 15
EC - Ecuador 15
SA - Arabia Saudita 14
EU - Europa 13
PK - Pakistan 13
MA - Marocco 11
IL - Israele 10
PY - Paraguay 10
UZ - Uzbekistan 10
CL - Cile 8
KE - Kenya 8
KZ - Kazakistan 8
PE - Perù 8
TG - Togo 8
VE - Venezuela 8
MY - Malesia 7
PH - Filippine 7
TN - Tunisia 7
AE - Emirati Arabi Uniti 6
AZ - Azerbaigian 6
HU - Ungheria 6
KG - Kirghizistan 6
LB - Libano 6
UY - Uruguay 6
EG - Egitto 5
A2 - ???statistics.table.value.countryCode.A2??? 4
JO - Giordania 4
LA - Repubblica Popolare Democratica del Laos 4
LU - Lussemburgo 4
LV - Lettonia 4
PT - Portogallo 4
AL - Albania 3
BG - Bulgaria 3
BO - Bolivia 3
CZ - Repubblica Ceca 3
DZ - Algeria 3
EE - Estonia 3
GT - Guatemala 3
IM - Isola di Man 3
JM - Giamaica 3
OM - Oman 3
QA - Qatar 3
TT - Trinidad e Tobago 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BB - Barbados 2
BY - Bielorussia 2
CM - Camerun 2
CR - Costa Rica 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
IS - Islanda 2
KW - Kuwait 2
LK - Sri Lanka 2
NI - Nicaragua 2
NP - Nepal 2
PS - Palestinian Territory 2
RS - Serbia 2
SM - San Marino 2
TH - Thailandia 2
TW - Taiwan 2
BH - Bahrain 1
BN - Brunei Darussalam 1
DM - Dominica 1
Totale 24.471
Salva come PNG Salva come JPEG
Città #
Southend 2.000
Fairfield 1.217
Woodbridge 1.201
Ashburn 1.019
Houston 967
Ann Arbor 815
Singapore 702
Jacksonville 671
Chandler 617
San Jose 610
Wilmington 528
Dallas 510
Seattle 506
Cambridge 494
Nanjing 405
Izmir 285
Beijing 258
New York 225
Boardman 220
Kraków 183
Dublin 182
Helsinki 141
Urbino 141
Los Angeles 140
Nanchang 138
Lauterbourg 120
Bremen 109
Princeton 109
Moscow 108
Council Bluffs 94
Munich 91
Shenyang 88
Ho Chi Minh City 82
San Mateo 73
Hebei 71
The Dalles 69
Kunming 67
Tianjin 64
Hanoi 63
Jiaxing 62
Milan 57
Düsseldorf 56
Rome 56
San Diego 56
Hong Kong 51
Changsha 50
Des Moines 50
Buffalo 49
Santa Clara 49
London 48
Istanbul 46
Orem 46
San Francisco 43
São Paulo 43
Pesaro 41
Chicago 38
Shanghai 38
Guangzhou 34
Velikiy Novgorod 34
Chennai 33
Hangzhou 33
Jinan 33
Warsaw 33
Seongnam 31
Montreal 29
Turku 29
Zhengzhou 28
Frankfurt am Main 27
Tokyo 27
Toronto 27
Brussels 26
Denver 26
Columbus 25
Bologna 24
Boston 24
Brooklyn 24
Vienna 20
Wuppertal 20
Venice 19
Atlanta 18
Phoenix 18
Johannesburg 17
Lanzhou 17
Poplar 17
Amsterdam 16
Changchun 16
Paris 16
Ancona 15
Buenos Aires 15
Maglie 15
Ningbo 15
Jesi 14
Kocaeli 14
Norwalk 14
Nuremberg 14
Turin 14
Manchester 13
Taizhou 13
Dearborn 12
Dong Ket 12
Totale 17.183
Salva come PNG Salva come JPEG
Nome #
"Worth one minute": An anonymous rewarding platform for crowd-sensing systems 382
Alcune note sui Teoremi di Incompletezza di Gödel e la conoscenza delle macchine 335
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 330
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems 328
Introducing a flexible rewarding platform for mobile crowd-sensing applications 320
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances 318
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis 315
A General Approach to Deadlock Freedom Verification for Software Architectures 295
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior 288
A Process-algebraic Approach for the Analysis of Probabilistic Non-interference 284
Modeling and verification of trust and reputation systems 279
A Formal Approach to the Integrated Analysis of Security and QoS 277
A Collaborative Framework for Generating Probabilistic Contracts 268
Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation 267
A Quantitative Approach to Noninterference for Probabilistic Systems 264
QoS Evaluation of IP Telephony Services: A Specification Language Based Simulation Software Tool 264
Towards attack-resistant Aggregate Computing using trust mechanisms 264
From Knowledge to Trust: A Logical Framework for Pre-trust Computations 262
Virtual Currency and Reputation-Based Cooperation Incentives in User-Centric Networks 255
Classification of Security Properties in a Linda-like Process Algebra 253
A Trust Logic for Pre-Trust Computations 251
A Study About Trade-off Between Performance and Security in an Internet Audio Mechanism 250
A Probabilistic Formulation of Imperfect Cryptography 249
Design and Verification of Trusted Collective Adaptive Systems 249
Two Formal Approaches for Approximating Noninterference Properties 246
Expressing Processes with Different Action Durations through Probabilities 245
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions 245
A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods 243
A Process Algebraic Approach to Software Architecture Design 243
A Calculus for Trust and Reputation Systems 238
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference 238
Towards a Formal Treatment of Secrecy against Computational Adversaries 235
Predicting the Functional/Performance Impact of Dynamic Power Management 234
On Securing Real Time Speech Transmission over the Internet: An Experimental Study 233
Non-determinism in Probabilistic Timed Systems with General Distributions 232
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 232
Discrete Time Generative-Reactive Probabilistic Processes with Different Advancing Speeds 229
A Taxonomy of Computational Models for Trust Computing in Decision-Making Procedures 229
Security Analysis of a Probabilistic Non-repudiation Protocol 227
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems 226
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 226
Combining Trust and Aggregate Computing 226
Foundations of Security Analysis and Design V 225
On the Extension of Non-interference with Probabilities 224
Component-Oriented Specification of Performance Measures 223
Estimating the Maximum Information Leakage 220
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth 218
Detection of repackaged mobile applications through a collaborative approach 217
A Note on Knowing Machines 217
Foundations of Security Analysis and Design IV 216
Expected-Delay-Summing Weak Bisimilarity for Markov Automata 216
A Secure Protocol for Voice-Operated E-Commerce Systems over IP Networks 213
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance 212
Foundations of Security Analysis and Design VII 211
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation 208
Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures 206
Approximating Imperfect Cryptography in a Formal Model 203
Logics to Reason Formally About Trust Computation and Manipulation 203
An Asynchronous Calculus for Generative-Reactive Probabilistic Systems 202
Component-Oriented Verification of Noninterference 201
On Probabilistic Application Compliance 201
On Quantitative Analysis of Probabilistic Protocols 198
Probabilistic Information Flow in a Process Algebra 198
On the Usability of Process Algebra: An Architectural View 196
On the Tradeoff Among Trust, Privacy, and Cost in Incentive-Based Networks 195
Foundations of Security Analysis and Design III 193
A Trust Logic for the Varieties of Trust 193
Modeling and Verification of the Worth-One-Minute Security Protocols 192
Reasoning About Ignorance and Beliefs 188
Coordination Model and Noninterference 187
Design and validation of a trust-based opportunity-enabled risk management system 186
Lich: Enhancing IoT Supply Chain Security Through Automated Firmware Analysis 184
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking 184
On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret 182
Stochastic Process Algebras for the Analysis of Internet Protocols 178
Performability Measure Specification: Combining CSRL and MSL 178
Quantitative Aspects in Security Assurance, Special Issue of the International Journal of Secure Software Engineering (IJSSE) 169
Approximating Markovian Testing Equivalence 168
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages(QAPL 2007), Braga, Portugal 168
Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices 168
User-Centric Networking - Future Perspectives 167
Trust Evidence Logic 166
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 165
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 165
European Performance Engineering Workshop (EPEW 2010) 162
Formal Modeling and Verification of Opportunity-enabled Risk Management 161
Do the Self-Knowing Machines Dream of Knowing Their Factivity? 160
Procedimento di valutazione automatica della qualità di foto digitali 160
Proceedings of the 3rd International Workshop on Views on Designing Complex Architectures (VODCA2008) 154
Trading Performance and Cooperation Incentives in User-Centric Networks 154
Formal Methods for Quantitative Aspects of Programming Languages (SFM 2010) 151
A Framework Balancing Privacy and Cooperation Incentives in User-Centric Networks 151
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems 148
Model Checking of Trust-Based User-Centric Cooperative Networks 146
An Adaptive Mechanism for Real-time Secure Speech Transmission over the Internet 134
Modeling and Verification of Cooperation Incentive Mechanisms in User-Centric Wireless CommunicationsSecurity, Privacy, Trust, and Resource Management in Mobile and Wireless Communications 133
Noninterference Analysis of Reversible Probabilistic Systems 131
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages(QAPL 2008), Budapest, Hungary 131
Teoria degli automi per linguaggi formali 130
Analysis of Diagnostic Images of Artworks and Feature Extraction: Design of a Methodology 130
Totale 21.614
Salva come PNG Salva come JPEG
Categoria #
all - tutte 85.506
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 85.506
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202195 0 0 0 0 0 0 0 0 0 0 0 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/20265.755 398 669 696 960 462 377 852 192 362 401 298 88
Totale 24.868