IRIS
SPEGNI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.656
EU - Europa 998
AS - Asia 597
SA - Sud America 93
AF - Africa 48
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 3
Totale 3.404
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.622
IT - Italia 468
SG - Singapore 229
CN - Cina 115
HK - Hong Kong 109
RU - Federazione Russa 99
BR - Brasile 90
DE - Germania 89
IE - Irlanda 69
UA - Ucraina 67
SE - Svezia 61
TR - Turchia 39
MA - Marocco 29
DK - Danimarca 26
GB - Regno Unito 25
FR - Francia 23
FI - Finlandia 20
KR - Corea 20
CA - Canada 19
IN - India 17
AT - Austria 13
MX - Messico 12
VN - Vietnam 10
PK - Pakistan 9
JP - Giappone 8
NL - Olanda 7
LB - Libano 6
BE - Belgio 5
CH - Svizzera 5
NZ - Nuova Zelanda 5
AE - Emirati Arabi Uniti 4
EG - Egitto 4
ES - Italia 4
ID - Indonesia 4
IQ - Iraq 4
PL - Polonia 4
ZA - Sudafrica 4
BD - Bangladesh 3
CI - Costa d'Avorio 3
EU - Europa 3
IR - Iran 3
NG - Nigeria 3
PA - Panama 3
AU - Australia 2
AZ - Azerbaigian 2
GR - Grecia 2
LT - Lituania 2
MY - Malesia 2
PH - Filippine 2
PT - Portogallo 2
RO - Romania 2
RS - Serbia 2
SY - Repubblica araba siriana 2
TH - Thailandia 2
TN - Tunisia 2
UZ - Uzbekistan 2
VE - Venezuela 2
ZW - Zimbabwe 2
BG - Bulgaria 1
CZ - Repubblica Ceca 1
GE - Georgia 1
IL - Israele 1
KE - Kenya 1
KG - Kirghizistan 1
NO - Norvegia 1
PE - Perù 1
SA - Arabia Saudita 1
TO - Tonga 1
TV - Tuvalu 1
TW - Taiwan 1
Totale 3.404
Salva come PNG Salva come JPEG
Città #
Chandler 281
Ashburn 204
Singapore 155
Hong Kong 104
Des Moines 101
Jacksonville 81
Boardman 79
Dallas 73
Dublin 69
Fairfield 67
Turin 53
Seattle 42
Wilmington 40
New York 37
The Dalles 37
Ancona 32
Centro 32
Houston 31
Milan 31
Porto San Giorgio 26
Woodbridge 24
Moscow 23
Munich 23
Chicago 22
Lawrence 22
Princeton 22
Beijing 21
Cambridge 21
Hefei 21
Pavia 20
San Mateo 20
Ann Arbor 17
San Diego 17
Aversa 16
Washington 15
Los Angeles 14
Fermo 10
Cesena 9
Mexico City 9
Rome 9
Ottawa 8
Helsinki 7
Salt Lake City 7
Senigallia 7
São Paulo 7
Tolentino 7
Arcevia 6
Bolzano 6
Buffalo 6
Cagliari 6
London 6
Nuremberg 6
Recanati 6
Shanghai 6
Ascoli Piceno 5
Atlanta 5
Auckland 5
Chennai 5
Columbus 5
Elk Grove Village 5
Lido di Fermo 5
Montesilvano Marina 5
Montreal 5
Pesaro 5
Potenza Picena 5
Pune 5
Redmond 5
Rostock 5
Tokyo 5
Alexandria 4
Borgosatollo 4
Casablanca 4
Jinhua 4
Lahore 4
Naples 4
Rimini 4
Rio de Janeiro 4
San Giovanni Teatino 4
Sterling 4
Turku 4
Abidjan 3
Agrate Brianza 3
Belo Horizonte 3
Brienza 3
Fano 3
Guangzhou 3
Gujranwala 3
Hanoi 3
Istanbul 3
Jinan 3
Lagos 3
Mumbai 3
Newark 3
Offida 3
Paris 3
Phoenix 3
San Francisco 3
San Miguelito 3
Tampa 3
Toronto 3
Totale 2.200
Salva come PNG Salva come JPEG
Nome #
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 179
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 172
Automatic Repair of Timestamp Comparisons 143
Model Checking Grid Security 138
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 128
A modular environment for software development and re-engineering 123
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations 118
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 115
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 115
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 113
Formal methods for practical reverse engineering and software verification 110
Interoperable mixed reality for facility management: a cyber-physical perspective 107
Parameterized model-checking of timed systems with conjunctive guards 105
A first evaluation of the seamless markerless augmented reality registration system supporting facility management 102
Verifying temporal specifications of Java programs 102
Process-based simulation models using BPMN for construction management at runtime 101
Towards model checking security of real time Java software 94
Parameterized model checking of networks of timed automata with Boolean guards 94
Combining Blockchain and BPMN Choreographies for Construction Management 94
High-Performance Computing for Formal Security Assessment 92
Blockchain based choreographies: The construction industry case study 90
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 89
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 85
Verification-as-a-Service for Parameter Assessment 83
Disjunctive timed networks 81
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment 78
Modeling Time in Java Programs for Automatic Error Detection 77
Natural Language Processing For Construction Sites Management 65
Enhancing BIM through Mixed Reality for Facility Management 64
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 63
XAL: A Web Oriented Programming Language Based On Timed-Automata 59
APPLICATION OF DIMINISHED REALITY FOR CONSTRUCTION SITE SAFETY MANAGEMENT 57
Project Information Model resulting from the on-site survey 57
Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments 52
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 48
ChoEn: A Smart Contract Based Choreography Enforcer 42
DEVELOPMENT OF NATURAL LANGUAGE APPLICATION FOR CONSTRUCTION SITE PROCESSES SAFETY SUPPORT 34
An Automatic Registration System Based on Augmented Reality to Enhance Civil Infrastructure Inspections 26
Liveness of parameterized timed networks 23
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy 16
Parameterized Model Checking of Rendezvous Systems 14
Parameterized model checking of rendezvous systems 12
Totale 3.560
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.057
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 17.057
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021240 0 0 49 7 32 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/2026363 215 130 18 0 0 0 0 0 0 0 0 0
Totale 3.560