IRIS
SPEGNI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.993
EU - Europa 1.099
AS - Asia 857
SA - Sud America 138
AF - Africa 73
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 3
Totale 4.173
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.945
IT - Italia 524
SG - Singapore 381
CN - Cina 163
BR - Brasile 126
HK - Hong Kong 109
RU - Federazione Russa 101
DE - Germania 90
IE - Irlanda 73
UA - Ucraina 67
SE - Svezia 64
VN - Vietnam 42
TR - Turchia 41
GB - Regno Unito 40
MA - Marocco 29
DK - Danimarca 26
CA - Canada 25
CI - Costa d'Avorio 25
FR - Francia 24
FI - Finlandia 22
KR - Corea 20
IN - India 19
MX - Messico 19
AT - Austria 16
JP - Giappone 13
NL - Olanda 12
MY - Malesia 11
PK - Pakistan 9
PL - Polonia 9
ID - Indonesia 7
ZA - Sudafrica 7
BD - Bangladesh 6
LB - Libano 6
AE - Emirati Arabi Uniti 5
BE - Belgio 5
CH - Svizzera 5
ES - Italia 5
IQ - Iraq 5
NZ - Nuova Zelanda 5
AR - Argentina 4
EG - Egitto 4
LT - Lituania 4
AU - Australia 3
EU - Europa 3
IR - Iran 3
NG - Nigeria 3
PA - Panama 3
RS - Serbia 3
AZ - Azerbaigian 2
EC - Ecuador 2
GR - Grecia 2
PE - Perù 2
PH - Filippine 2
PT - Portogallo 2
RO - Romania 2
SY - Repubblica araba siriana 2
TH - Thailandia 2
TN - Tunisia 2
TW - Taiwan 2
UZ - Uzbekistan 2
VE - Venezuela 2
ZW - Zimbabwe 2
BG - Bulgaria 1
CO - Colombia 1
CZ - Repubblica Ceca 1
GD - Grenada 1
GE - Georgia 1
IL - Israele 1
KE - Kenya 1
KG - Kirghizistan 1
NO - Norvegia 1
NP - Nepal 1
PY - Paraguay 1
SA - Arabia Saudita 1
TO - Tonga 1
TV - Tuvalu 1
Totale 4.173
Salva come PNG Salva come JPEG
Città #
Chandler 281
Ashburn 271
Singapore 257
Dallas 130
Hong Kong 104
Des Moines 101
Jacksonville 81
Boardman 79
Dublin 73
Fairfield 67
Turin 53
Milan 48
New York 48
Los Angeles 43
Seattle 42
The Dalles 42
Beijing 41
Wilmington 40
Ancona 39
Chicago 37
Houston 33
Centro 32
Porto San Giorgio 26
Abidjan 25
Buffalo 25
Woodbridge 24
Moscow 23
Munich 23
Lawrence 22
Princeton 22
Cambridge 21
Hefei 21
Pavia 20
San Mateo 20
Ho Chi Minh City 19
Ann Arbor 17
San Diego 17
Aversa 16
São Paulo 16
Washington 15
Salt Lake City 13
Mexico City 12
Rome 12
Montesilvano Marina 11
Fermo 10
Montreal 10
Tokyo 10
Cesena 9
Hanoi 9
Elk Grove Village 8
Helsinki 8
London 8
Ottawa 8
Nuremberg 7
Rio de Janeiro 7
Senigallia 7
Tolentino 7
Warsaw 7
Amsterdam 6
Arcevia 6
Atlanta 6
Bolzano 6
Cagliari 6
Chennai 6
Denver 6
Recanati 6
Shanghai 6
Tampa 6
Ascoli Piceno 5
Auckland 5
Columbus 5
Johannesburg 5
Kuala Lumpur 5
Lido di Fermo 5
Osimo 5
Pesaro 5
Phoenix 5
Poplar 5
Potenza Picena 5
Pune 5
Redmond 5
Rostock 5
Turku 5
Vienna 5
Alexandria 4
Borgosatollo 4
Brooklyn 4
Casablanca 4
Civitanova Marche 4
Jinhua 4
Lahore 4
Manchester 4
Miami 4
Mumbai 4
Naples 4
Querétaro 4
Rimini 4
San Giovanni Teatino 4
Santa Clara 4
Sterling 4
Totale 2.681
Salva come PNG Salva come JPEG
Nome #
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 219
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 197
Model Checking Grid Security 154
Automatic Repair of Timestamp Comparisons 152
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 146
Interoperable mixed reality for facility management: a cyber-physical perspective 146
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations 141
A modular environment for software development and re-engineering 133
Blockchain based choreographies: The construction industry case study 131
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 129
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 128
A first evaluation of the seamless markerless augmented reality registration system supporting facility management 127
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 127
Formal methods for practical reverse engineering and software verification 115
Parameterized model-checking of timed systems with conjunctive guards 115
Process-based simulation models using BPMN for construction management at runtime 114
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 113
Combining Blockchain and BPMN Choreographies for Construction Management 113
Verifying temporal specifications of Java programs 108
Towards model checking security of real time Java software 105
High-Performance Computing for Formal Security Assessment 105
Parameterized model checking of networks of timed automata with Boolean guards 102
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment 96
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 95
Application of Diminished Reality for Construction Site Safety Management 92
Natural Language Processing For Construction Sites Management 91
Verification-as-a-Service for Parameter Assessment 91
Disjunctive timed networks 89
Modeling Time in Java Programs for Automatic Error Detection 88
null 79
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 78
Enhancing BIM through Mixed Reality for Facility Management 74
Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments 71
An Automatic Registration System Based on Augmented Reality to Enhance Civil Infrastructure Inspections 68
null 68
XAL: A Web Oriented Programming Language Based On Timed-Automata 63
null 58
Development of Natural Language Application for Construction Site Processes Safety Support 57
Liveness of parameterized timed networks 46
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy 40
Parameterized Model Checking of Rendezvous Systems 24
Parameterized model checking of rendezvous systems 20
PARAMETERIZED MODEL-CHECKING OF DISCRETE-TIMED NETWORKS AND SYMMETRIC-BROADCAST SYSTEMS 14
Preface to the International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (AI4CC-IPS-RCRA-SPIRIT 2024) 9
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 6
ChoEn: A Smart Contract Based Choreography Enforcer 4
Project Information Model resulting from the on-site survey 3
null 1
Totale 4.345
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.177
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 19.177
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021152 0 0 0 0 0 14 23 18 33 20 33 11
2021/2022318 16 34 9 3 1 10 5 8 16 35 94 87
2022/2023680 53 67 43 63 28 156 4 31 108 8 104 15
2023/2024477 48 16 29 35 46 80 31 24 8 22 37 101
2024/20251.104 74 78 39 59 57 85 149 55 164 95 132 117
2025/20261.148 215 130 146 271 333 53 0 0 0 0 0 0
Totale 4.345