IRIS
SPEGNI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.689
EU - Europa 1.377
AS - Asia 1.351
SA - Sud America 209
Continente sconosciuto - Info sul continente non disponibili 181
AF - Africa 94
OC - Oceania 14
Totale 5.915
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.610
IT - Italia 601
SG - Singapore 494
VN - Vietnam 237
CN - Cina 226
RU - Federazione Russa 190
BR - Brasile 164
HK - Hong Kong 128
DE - Germania 105
IE - Irlanda 75
UA - Ucraina 72
SE - Svezia 67
FR - Francia 61
GB - Regno Unito 60
TR - Turchia 48
CA - Canada 34
IN - India 32
MA - Marocco 31
MX - Messico 27
DK - Danimarca 26
CI - Costa d'Avorio 25
FI - Finlandia 24
KR - Corea 24
JP - Giappone 23
PK - Pakistan 19
MY - Malesia 18
AT - Austria 17
BD - Bangladesh 16
ID - Indonesia 16
NL - Olanda 15
ZA - Sudafrica 15
PL - Polonia 14
ES - Italia 11
AR - Argentina 10
CO - Colombia 10
PT - Portogallo 10
IQ - Iraq 8
LB - Libano 8
PH - Filippine 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
GP - Guadalupe 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
HN - Honduras 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
Totale 5.735
Salva come PNG Salva come JPEG
Città #
Ashburn 500
Singapore 324
Chandler 281
San Jose 166
Dallas 133
Hong Kong 119
Council Bluffs 102
Des Moines 101
Jacksonville 81
Boardman 79
Dublin 75
Ho Chi Minh City 68
Fairfield 67
The Dalles 61
New York 59
Turin 59
Hanoi 55
Milan 55
Beijing 51
Los Angeles 48
Seattle 43
Ancona 42
Wilmington 40
Chicago 38
Houston 35
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
Santa Clara 20
São Paulo 19
Ann Arbor 17
San Diego 17
Aversa 16
Washington 16
Mexico City 15
Rome 15
Salt Lake City 13
Tokyo 13
Montreal 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
Phoenix 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
Columbus 6
Delavan 6
Istanbul 6
Pune 6
Recanati 6
Rostock 6
Yogyakarta 6
Ascoli Piceno 5
Brooklyn 5
Casablanca 5
Lahore 5
Lido di Fermo 5
Osimo 5
Totale 3.572
Salva come PNG Salva come JPEG
Nome #
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 256
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 236
Interoperable mixed reality for facility management: a cyber-physical perspective 215
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations 192
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 188
Model Checking Grid Security 185
Automatic Repair of Timestamp Comparisons 185
A first evaluation of the seamless markerless augmented reality registration system supporting facility management 180
Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments 171
Blockchain based choreographies: The construction industry case study 171
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 165
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 164
A modular environment for software development and re-engineering 160
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 159
Formal methods for practical reverse engineering and software verification 153
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 151
Process-based simulation models using BPMN for construction management at runtime 151
Combining Blockchain and BPMN Choreographies for Construction Management 143
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment 142
High-Performance Computing for Formal Security Assessment 137
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 136
Parameterized model checking of networks of timed automata with Boolean guards 136
Parameterized model-checking of timed systems with conjunctive guards 136
Verifying temporal specifications of Java programs 135
Application of Diminished Reality for Construction Site Safety Management 131
Towards model checking security of real time Java software 131
An Automatic Registration System Based on Augmented Reality to Enhance Civil Infrastructure Inspections 128
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 123
Disjunctive timed networks 118
Modeling Time in Java Programs for Automatic Error Detection 117
Natural Language Processing For Construction Sites Management 115
Verification-as-a-Service for Parameter Assessment 114
Project Information Model resulting from the on-site survey 106
XAL: A Web Oriented Programming Language Based On Timed-Automata 97
Development of Natural Language Application for Construction Site Processes Safety Support 96
Enhancing BIM through Mixed Reality for Facility Management 94
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 87
ChoEn: A Smart Contract Based Choreography Enforcer 83
Liveness of parameterized timed networks 78
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy 65
Parameterized model checking of rendezvous systems 50
Parameterized Model Checking of Rendezvous Systems 42
PARAMETERIZED MODEL-CHECKING OF DISCRETE-TIMED NETWORKS AND SYMMETRIC-BROADCAST SYSTEMS 40
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) 36
On-Site Safety Inspections Through Marker-Less Augmented Reality and Blockchain Notarization of BIM-Based Processes 17
Totale 5.915
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.019
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 24.019
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022302 0 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.559 215 130 146 269 317 166 403 263 209 268 77 96
2026/2027159 89 70 0 0 0 0 0 0 0 0 0 0
Totale 5.915