IRIS
SPEGNI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.022
EU - Europa 1.446
AS - Asia 1.361
SA - Sud America 210
Continente sconosciuto - Info sul continente non disponibili 183
AF - Africa 95
OC - Oceania 15
Totale 6.332
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.899
IT - Italia 658
SG - Singapore 497
VN - Vietnam 237
CN - Cina 229
RU - Federazione Russa 190
BR - Brasile 165
HK - Hong Kong 128
DE - Germania 105
IE - Irlanda 76
UA - Ucraina 75
SE - Svezia 67
FR - Francia 61
GB - Regno Unito 60
CA - Canada 53
TR - Turchia 49
IN - India 32
MA - Marocco 31
MX - Messico 27
DK - Danimarca 26
CI - Costa d'Avorio 25
FI - Finlandia 24
JP - Giappone 24
KR - Corea 24
PK - Pakistan 19
MY - Malesia 18
AT - Austria 17
BD - Bangladesh 16
ES - Italia 16
ID - Indonesia 16
NL - Olanda 15
ZA - Sudafrica 15
PL - Polonia 14
AR - Argentina 10
CO - Colombia 10
PT - Portogallo 10
IQ - Iraq 8
LB - Libano 8
LT - Lituania 8
PH - Filippine 8
HN - Honduras 7
NZ - Nuova Zelanda 7
AU - Australia 6
EC - Ecuador 6
EG - Egitto 6
PE - Perù 6
TH - Thailandia 6
BE - Belgio 5
CH - Svizzera 5
CL - Cile 5
CR - Costa Rica 5
GP - Guadalupe 5
GT - Guatemala 5
NP - Nepal 5
PA - Panama 5
SV - El Salvador 5
UZ - Uzbekistan 5
AE - Emirati Arabi Uniti 4
KE - Kenya 4
NG - Nigeria 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
TT - Trinidad e Tobago 3
TW - Taiwan 3
AZ - Azerbaigian 2
CW - ???statistics.table.value.countryCode.CW??? 2
GR - Grecia 2
IL - Israele 2
JM - Giamaica 2
KG - Kirghizistan 2
KZ - Kazakistan 2
NI - Nicaragua 2
PR - Porto Rico 2
RO - Romania 2
SY - Repubblica araba siriana 2
ZW - Zimbabwe 2
BB - Barbados 1
BG - Bulgaria 1
BH - Bahrain 1
BY - Bielorussia 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
KW - Kuwait 1
MN - Mongolia 1
NO - Norvegia 1
OM - Oman 1
PS - Palestinian Territory 1
SN - Senegal 1
Totale 6.150
Salva come PNG Salva come JPEG
Città #
Ashburn 571
Singapore 324
Chandler 281
San Jose 176
Dallas 134
Hong Kong 119
Council Bluffs 118
Des Moines 101
Jacksonville 82
Boardman 79
Dublin 76
Ho Chi Minh City 68
Fairfield 67
New York 63
The Dalles 61
Turin 60
Milan 56
Hanoi 55
Beijing 52
Los Angeles 50
Seattle 44
Ancona 42
Wilmington 40
Chicago 39
Houston 36
Centro 32
Moscow 31
Lauterbourg 30
Buffalo 28
Princeton 28
Rome 28
Santa Clara 27
Munich 26
Porto San Giorgio 26
Abidjan 25
Woodbridge 24
Lawrence 22
Cambridge 21
Da Nang 21
Hefei 21
Pavia 20
San Mateo 20
São Paulo 20
Phoenix 18
Washington 18
Ann Arbor 17
Montreal 17
San Diego 17
Aversa 16
Mexico City 15
Salt Lake City 14
Tokyo 14
Montesilvano Marina 11
Naples 11
Newark 11
Fermo 10
Helsinki 10
Warsaw 10
Cesena 9
Haiphong 9
Manchester 9
Orem 9
Ottawa 9
Atlanta 8
Chennai 8
Denver 8
Elk Grove Village 8
Johannesburg 8
London 8
Nonantola 8
Ogden 8
Rio de Janeiro 8
Shanghai 8
Amsterdam 7
Auckland 7
Bến Tre 7
Istanbul 7
Kuala Lumpur 7
Lynnwood 7
Mumbai 7
Nuremberg 7
Senigallia 7
Stockholm 7
Tampa 7
Tolentino 7
Toronto 7
Valencia 7
Arcevia 6
Biên Hòa 6
Bolzano 6
Brooklyn 6
Cagliari 6
Civitanova Marche 6
Columbus 6
Delavan 6
Pune 6
Recanati 6
Rostock 6
San Francisco 6
Yogyakarta 6
Totale 3.754
Salva come PNG Salva come JPEG
Nome #
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 266
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 245
Interoperable mixed reality for facility management: a cyber-physical perspective 227
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations 203
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 200
A first evaluation of the seamless markerless augmented reality registration system supporting facility management 193
Automatic Repair of Timestamp Comparisons 193
Model Checking Grid Security 188
Blockchain based choreographies: The construction industry case study 181
Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments 175
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 173
A modular environment for software development and re-engineering 170
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment 168
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 168
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 166
Formal methods for practical reverse engineering and software verification 165
Process-based simulation models using BPMN for construction management at runtime 160
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 158
High-Performance Computing for Formal Security Assessment 154
Parameterized model checking of networks of timed automata with Boolean guards 150
Combining Blockchain and BPMN Choreographies for Construction Management 149
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 147
An Automatic Registration System Based on Augmented Reality to Enhance Civil Infrastructure Inspections 145
Verifying temporal specifications of Java programs 144
Parameterized model-checking of timed systems with conjunctive guards 143
Application of Diminished Reality for Construction Site Safety Management 139
Towards model checking security of real time Java software 136
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 130
Disjunctive timed networks 126
Natural Language Processing For Construction Sites Management 122
Verification-as-a-Service for Parameter Assessment 122
Modeling Time in Java Programs for Automatic Error Detection 121
Project Information Model resulting from the on-site survey 113
Development of Natural Language Application for Construction Site Processes Safety Support 108
Enhancing BIM through Mixed Reality for Facility Management 102
XAL: A Web Oriented Programming Language Based On Timed-Automata 101
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 96
ChoEn: A Smart Contract Based Choreography Enforcer 93
Liveness of parameterized timed networks 84
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy 75
Parameterized model checking of rendezvous systems 57
Parameterized Model Checking of Rendezvous Systems 52
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) 51
PARAMETERIZED MODEL-CHECKING OF DISCRETE-TIMED NETWORKS AND SYMMETRIC-BROADCAST SYSTEMS 45
On-Site Safety Inspections Through Marker-Less Augmented Reality and Blockchain Notarization of BIM-Based Processes 28
Totale 6.332
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.675
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 25.675
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022259 0 0 0 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/2027576 89 100 127 260 0 0 0 0 0 0 0 0
Totale 6.332