IRIS
SPEGNI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.467
AS - Asia 1.321
EU - Europa 1.317
SA - Sud America 206
AF - Africa 93
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 3
Totale 5.421
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.398
IT - Italia 555
SG - Singapore 485
VN - Vietnam 237
CN - Cina 220
RU - Federazione Russa 190
BR - Brasile 161
HK - Hong Kong 126
DE - Germania 103
IE - Irlanda 75
UA - Ucraina 71
SE - Svezia 67
FR - Francia 59
GB - Regno Unito 56
TR - Turchia 47
IN - India 32
CA - Canada 31
MA - Marocco 31
DK - Danimarca 26
CI - Costa d'Avorio 25
MX - Messico 25
FI - Finlandia 24
KR - Corea 23
JP - Giappone 18
PK - Pakistan 18
AT - Austria 17
MY - Malesia 17
ID - Indonesia 15
NL - Olanda 14
PL - Polonia 14
ZA - Sudafrica 14
BD - Bangladesh 13
AR - Argentina 10
CO - Colombia 10
ES - Italia 10
IQ - Iraq 8
LB - Libano 8
PH - Filippine 8
NZ - Nuova Zelanda 7
PT - Portogallo 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
PS - Palestinian Territory 1
SN - Senegal 1
TO - Tonga 1
TV - Tuvalu 1
UY - Uruguay 1
ZM - Zambia 1
Totale 5.421
Salva come PNG Salva come JPEG
Città #
Ashburn 476
Singapore 320
Chandler 281
San Jose 140
Dallas 132
Hong Kong 117
Des Moines 101
Jacksonville 81
Boardman 79
Dublin 75
Ho Chi Minh City 68
Fairfield 67
The Dalles 59
Hanoi 55
New York 54
Turin 54
Beijing 48
Los Angeles 47
Milan 46
Seattle 43
Ancona 41
Wilmington 40
Chicago 37
Houston 33
Centro 32
Moscow 31
Lauterbourg 30
Buffalo 26
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
San Diego 17
Aversa 16
Council Bluffs 15
Washington 15
Rome 14
Mexico City 13
Salt Lake City 13
Tokyo 13
Montesilvano Marina 11
Montreal 11
Fermo 10
Helsinki 10
Warsaw 10
Cesena 9
Haiphong 9
Orem 9
Chennai 8
Elk Grove Village 8
London 8
Manchester 8
Nonantola 8
Ogden 8
Ottawa 8
Rio de Janeiro 8
Santa Clara 8
Shanghai 8
Amsterdam 7
Atlanta 7
Auckland 7
Bến Tre 7
Denver 7
Johannesburg 7
Mumbai 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
Kuala Lumpur 6
Naples 6
Phoenix 6
Pune 6
Recanati 6
Rostock 6
Yogyakarta 6
Ascoli Piceno 5
Casablanca 5
Columbus 5
Istanbul 5
Lahore 5
Lido di Fermo 5
Osimo 5
Pesaro 5
Totale 3.374
Salva come PNG Salva come JPEG
Nome #
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 250
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 228
Interoperable mixed reality for facility management: a cyber-physical perspective 200
Model Checking Grid Security 181
Automatic Repair of Timestamp Comparisons 180
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 179
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations 173
A first evaluation of the seamless markerless augmented reality registration system supporting facility management 170
Blockchain based choreographies: The construction industry case study 166
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 160
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 160
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 155
A modular environment for software development and re-engineering 155
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 145
Process-based simulation models using BPMN for construction management at runtime 144
Formal methods for practical reverse engineering and software verification 143
Combining Blockchain and BPMN Choreographies for Construction Management 140
Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments 137
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment 135
High-Performance Computing for Formal Security Assessment 133
Parameterized model checking of networks of timed automata with Boolean guards 132
Parameterized model-checking of timed systems with conjunctive guards 131
Application of Diminished Reality for Construction Site Safety Management 129
Verifying temporal specifications of Java programs 129
Towards model checking security of real time Java software 128
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 121
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 119
Modeling Time in Java Programs for Automatic Error Detection 115
Disjunctive timed networks 113
Natural Language Processing For Construction Sites Management 112
Verification-as-a-Service for Parameter Assessment 109
An Automatic Registration System Based on Augmented Reality to Enhance Civil Infrastructure Inspections 108
Project Information Model resulting from the on-site survey 103
XAL: A Web Oriented Programming Language Based On Timed-Automata 94
Enhancing BIM through Mixed Reality for Facility Management 91
Development of Natural Language Application for Construction Site Processes Safety Support 89
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 82
ChoEn: A Smart Contract Based Choreography Enforcer 77
Liveness of parameterized timed networks 74
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy 58
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 32
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) 30
Totale 5.595
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.529
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 21.529
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202144 0 0 0 0 0 0 0 0 0 0 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/20262.398 215 130 146 269 317 166 403 263 209 268 12 0
Totale 5.595