IRIS
SPEGNI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.341
EU - Europa 936
AS - Asia 467
SA - Sud America 42
AF - Africa 41
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 2.833
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.320
IT - Italia 462
SG - Singapore 194
HK - Hong Kong 96
RU - Federazione Russa 96
CN - Cina 75
DE - Germania 71
IE - Irlanda 69
UA - Ucraina 66
SE - Svezia 60
BR - Brasile 40
TR - Turchia 37
MA - Marocco 27
DK - Danimarca 26
FR - Francia 21
FI - Finlandia 17
KR - Corea 17
GB - Regno Unito 16
AT - Austria 11
CA - Canada 11
IN - India 10
MX - Messico 7
LB - Libano 6
PK - Pakistan 5
BE - Belgio 4
EG - Egitto 4
ID - Indonesia 4
NL - Olanda 4
AE - Emirati Arabi Uniti 3
EU - Europa 3
IR - Iran 3
NG - Nigeria 3
PA - Panama 3
AU - Australia 2
CH - Svizzera 2
CI - Costa d'Avorio 2
ES - Italia 2
GR - Grecia 2
JP - Giappone 2
MY - Malesia 2
PH - Filippine 2
PL - Polonia 2
RO - Romania 2
RS - Serbia 2
SY - Repubblica araba siriana 2
TH - Thailandia 2
ZA - Sudafrica 2
ZW - Zimbabwe 2
AZ - Azerbaigian 1
BG - Bulgaria 1
GE - Georgia 1
IL - Israele 1
IQ - Iraq 1
KG - Kirghizistan 1
NZ - Nuova Zelanda 1
PE - Perù 1
SA - Arabia Saudita 1
TN - Tunisia 1
TW - Taiwan 1
VE - Venezuela 1
Totale 2.833
Salva come PNG Salva come JPEG
Città #
Chandler 281
Singapore 123
Des Moines 101
Hong Kong 91
Ashburn 86
Jacksonville 81
Boardman 79
Dublin 69
Fairfield 67
Turin 53
Seattle 42
Wilmington 38
The Dalles 37
Ancona 32
Centro 32
Houston 31
Milan 31
New York 31
Porto San Giorgio 26
Woodbridge 24
Lawrence 22
Moscow 22
Princeton 22
Cambridge 21
Pavia 20
San Mateo 20
Ann Arbor 17
Aversa 16
San Diego 16
Washington 14
Chicago 10
Fermo 10
Cesena 9
Munich 8
Ottawa 8
Rome 8
Helsinki 7
Los Angeles 7
Senigallia 7
Tolentino 7
Arcevia 6
Bolzano 6
Cagliari 6
Mexico City 6
Recanati 6
Shanghai 6
Ascoli Piceno 5
Beijing 5
Lido di Fermo 5
Montesilvano Marina 5
Pesaro 5
Potenza Picena 5
Redmond 5
Rostock 5
Salt Lake City 5
Alexandria 4
Borgosatollo 4
Casablanca 4
Nuremberg 4
Pune 4
Rimini 4
San Giovanni Teatino 4
Agrate Brianza 3
Brienza 3
Buffalo 3
Dallas 3
Fano 3
Guangzhou 3
Gujranwala 3
Istanbul 3
Jinan 3
Jinhua 3
Lagos 3
London 3
Mumbai 3
Newark 3
Offida 3
San Miguelito 3
Toronto 3
Tétouan 3
Vicksburg 3
Vienna 3
Wuhan 3
Yiwu 3
Zhengzhou 3
Abidjan 2
Auburn 2
Bangkok 2
Bangor 2
Belgrade 2
Bellevue 2
Belo Horizonte 2
Bergamo 2
Bern 2
Bologna 2
Brussels 2
Campbell 2
Campofilone 2
Cebu City 2
Chennai 2
Totale 1.834
Salva come PNG Salva come JPEG
Nome #
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 164
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 148
Automatic Repair of Timestamp Comparisons 130
Model Checking Grid Security 124
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 112
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 111
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 110
A modular environment for software development and re-engineering 106
Parameterized model-checking of timed systems with conjunctive guards 100
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 99
Verifying temporal specifications of Java programs 96
Formal methods for practical reverse engineering and software verification 95
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations 93
Towards model checking security of real time Java software 90
Process-based simulation models using BPMN for construction management at runtime 89
Parameterized model checking of networks of timed automata with Boolean guards 86
High-Performance Computing for Formal Security Assessment 86
Combining Blockchain and BPMN Choreographies for Construction Management 86
Interoperable mixed reality for facility management: a cyber-physical perspective 83
Verification-as-a-Service for Parameter Assessment 78
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 76
Blockchain based choreographies: The construction industry case study 76
Modeling Time in Java Programs for Automatic Error Detection 73
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 72
Disjunctive timed networks 70
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment 58
XAL: A Web Oriented Programming Language Based On Timed-Automata 53
Enhancing BIM through Mixed Reality for Facility Management 52
Natural Language Processing For Construction Sites Management 49
A first evaluation of the seamless markerless augmented reality registration system supporting facility management 45
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 43
Project Information Model resulting from the on-site survey 43
APPLICATION OF DIMINISHED REALITY FOR CONSTRUCTION SITE SAFETY MANAGEMENT 40
Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments 36
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 31
ChoEn: A Smart Contract Based Choreography Enforcer 28
DEVELOPMENT OF NATURAL LANGUAGE APPLICATION FOR CONSTRUCTION SITE PROCESSES SAFETY SUPPORT 22
Liveness of parameterized timed networks 14
Parameterized Model Checking of Rendezvous Systems 10
Parameterized model checking of rendezvous systems 6
Totale 2.983
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.041
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 15.041
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202054 0 0 0 0 0 0 0 0 0 0 26 28
2020/2021294 28 26 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/2025890 74 78 39 59 57 85 149 55 164 95 35 0
Totale 2.983