IRIS
SPEGNI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.541
EU - Europa 1.359
AS - Asia 1.338
SA - Sud America 208
AF - Africa 94
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 3
Totale 5.557
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.469
IT - Italia 588
SG - Singapore 490
VN - Vietnam 237
CN - Cina 224
RU - Federazione Russa 190
BR - Brasile 163
HK - Hong Kong 126
DE - Germania 103
IE - Irlanda 75
UA - Ucraina 72
SE - Svezia 67
FR - Francia 60
GB - Regno Unito 60
TR - Turchia 48
CA - Canada 32
IN - India 32
MA - Marocco 31
DK - Danimarca 26
CI - Costa d'Avorio 25
MX - Messico 25
FI - Finlandia 24
KR - Corea 23
JP - Giappone 21
MY - Malesia 18
PK - Pakistan 18
AT - Austria 17
BD - Bangladesh 16
ID - Indonesia 15
NL - Olanda 15
ZA - Sudafrica 15
PL - Polonia 14
ES - Italia 11
AR - Argentina 10
CO - Colombia 10
IQ - Iraq 8
LB - Libano 8
PH - Filippine 8
PT - Portogallo 8
NZ - Nuova Zelanda 7
EC - Ecuador 6
PE - Perù 6
TH - Thailandia 6
AU - Australia 5
BE - Belgio 5
CH - Svizzera 5
CL - Cile 5
EG - Egitto 5
LT - Lituania 5
PA - Panama 5
UZ - Uzbekistan 5
AE - Emirati Arabi Uniti 4
KE - Kenya 4
NG - Nigeria 4
NP - Nepal 4
SA - Arabia Saudita 4
VE - Venezuela 4
CZ - Repubblica Ceca 3
EU - Europa 3
IR - Iran 3
PY - Paraguay 3
RS - Serbia 3
TN - Tunisia 3
TW - Taiwan 3
AZ - Azerbaigian 2
GR - Grecia 2
GT - Guatemala 2
IL - Israele 2
KZ - Kazakistan 2
RO - Romania 2
SV - El Salvador 2
SY - Repubblica araba siriana 2
ZW - Zimbabwe 2
BB - Barbados 1
BG - Bulgaria 1
BH - Bahrain 1
BY - Bielorussia 1
CR - Costa Rica 1
CY - Cipro 1
DZ - Algeria 1
ET - Etiopia 1
GA - Gabon 1
GD - Grenada 1
GE - Georgia 1
HU - Ungheria 1
JO - Giordania 1
KG - Kirghizistan 1
KW - Kuwait 1
MN - Mongolia 1
NI - Nicaragua 1
NO - Norvegia 1
OM - Oman 1
PR - Porto Rico 1
PS - Palestinian Territory 1
SN - Senegal 1
TO - Tonga 1
TT - Trinidad e Tobago 1
TV - Tuvalu 1
UY - Uruguay 1
ZM - Zambia 1
Totale 5.557
Salva come PNG Salva come JPEG
Città #
Ashburn 496
Singapore 321
Chandler 281
San Jose 155
Dallas 133
Hong Kong 117
Des Moines 101
Jacksonville 81
Boardman 79
Dublin 75
Ho Chi Minh City 68
Fairfield 67
The Dalles 60
New York 59
Hanoi 55
Milan 55
Turin 54
Beijing 49
Los Angeles 48
Seattle 43
Ancona 42
Wilmington 40
Chicago 37
Houston 34
Centro 32
Moscow 31
Lauterbourg 30
Buffalo 27
Munich 26
Porto San Giorgio 26
Abidjan 25
Woodbridge 24
Lawrence 22
Princeton 22
Cambridge 21
Da Nang 21
Hefei 21
Pavia 20
San Mateo 20
São Paulo 19
Ann Arbor 17
Council Bluffs 17
San Diego 17
Aversa 16
Washington 16
Rome 15
Mexico City 13
Salt Lake City 13
Tokyo 13
Montreal 12
Santa Clara 12
Montesilvano Marina 11
Fermo 10
Helsinki 10
Warsaw 10
Cesena 9
Haiphong 9
Orem 9
Chennai 8
Elk Grove Village 8
Johannesburg 8
London 8
Manchester 8
Nonantola 8
Ogden 8
Ottawa 8
Rio de Janeiro 8
Shanghai 8
Amsterdam 7
Atlanta 7
Auckland 7
Bến Tre 7
Denver 7
Kuala Lumpur 7
Mumbai 7
Naples 7
Nuremberg 7
Senigallia 7
Stockholm 7
Tampa 7
Tolentino 7
Arcevia 6
Biên Hòa 6
Bolzano 6
Cagliari 6
Civitanova Marche 6
Delavan 6
Istanbul 6
Phoenix 6
Pune 6
Recanati 6
Rostock 6
Yogyakarta 6
Ascoli Piceno 5
Casablanca 5
Columbus 5
Lahore 5
Lido di Fermo 5
Osimo 5
Pesaro 5
Totale 3.444
Salva come PNG Salva come JPEG
Nome #
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 252
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 231
Interoperable mixed reality for facility management: a cyber-physical perspective 212
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 184
Model Checking Grid Security 183
Automatic Repair of Timestamp Comparisons 181
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations 179
A first evaluation of the seamless markerless augmented reality registration system supporting facility management 174
Blockchain based choreographies: The construction industry case study 169
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 162
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 162
A modular environment for software development and re-engineering 158
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 157
Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments 155
Process-based simulation models using BPMN for construction management at runtime 147
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 146
Formal methods for practical reverse engineering and software verification 145
Combining Blockchain and BPMN Choreographies for Construction Management 142
High-Performance Computing for Formal Security Assessment 136
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment 135
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 135
Parameterized model checking of networks of timed automata with Boolean guards 135
Parameterized model-checking of timed systems with conjunctive guards 134
Verifying temporal specifications of Java programs 132
Towards model checking security of real time Java software 130
Application of Diminished Reality for Construction Site Safety Management 129
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 121
An Automatic Registration System Based on Augmented Reality to Enhance Civil Infrastructure Inspections 117
Disjunctive timed networks 116
Modeling Time in Java Programs for Automatic Error Detection 115
Natural Language Processing For Construction Sites Management 112
Verification-as-a-Service for Parameter Assessment 112
Project Information Model resulting from the on-site survey 103
XAL: A Web Oriented Programming Language Based On Timed-Automata 96
Enhancing BIM through Mixed Reality for Facility Management 92
Development of Natural Language Application for Construction Site Processes Safety Support 91
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 83
ChoEn: A Smart Contract Based Choreography Enforcer 79
Liveness of parameterized timed networks 76
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy 59
Parameterized model checking of rendezvous systems 46
Parameterized Model Checking of Rendezvous Systems 39
PARAMETERIZED MODEL-CHECKING OF DISCRETE-TIMED NETWORKS AND SYMMETRIC-BROADCAST SYSTEMS 33
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) 32
On-Site Safety Inspections Through Marker-Less Augmented Reality and Blockchain Notarization of BIM-Based Processes 8
Totale 5.735
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.866
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 22.866
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202111 0 0 0 0 0 0 0 0 0 0 0 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/20262.538 215 130 146 269 317 166 403 263 209 268 77 75
Totale 5.735