IRIS
SPEGNI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.219
EU - Europa 700
AS - Asia 231
AF - Africa 35
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 2.189
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.209
IT - Italia 376
SG - Singapore 96
IE - Irlanda 66
CN - Cina 65
UA - Ucraina 65
SE - Svezia 60
DE - Germania 57
TR - Turchia 30
DK - Danimarca 24
MA - Marocco 24
FR - Francia 16
KR - Corea 15
FI - Finlandia 10
GB - Regno Unito 10
IN - India 9
CA - Canada 7
LB - Libano 6
ZA - Sudafrica 5
AT - Austria 4
EG - Egitto 4
EU - Europa 3
IR - Iran 3
PA - Panama 3
AE - Emirati Arabi Uniti 2
BE - Belgio 2
CH - Svizzera 2
CI - Costa d'Avorio 2
ES - Italia 2
RO - Romania 2
SY - Repubblica araba siriana 2
AU - Australia 1
AZ - Azerbaigian 1
GR - Grecia 1
HK - Hong Kong 1
NL - Olanda 1
PL - Polonia 1
RU - Federazione Russa 1
TW - Taiwan 1
Totale 2.189
Salva come PNG Salva come JPEG
Città #
Chandler 281
Des Moines 100
Ashburn 85
Boardman 82
Jacksonville 81
Fairfield 67
Dublin 66
Singapore 55
Turin 50
Seattle 37
Wilmington 35
Centro 32
Houston 31
New York 31
Milan 29
Porto San Giorgio 26
Woodbridge 24
Lawrence 22
Princeton 22
Cambridge 21
Pavia 20
San Mateo 20
Ancona 17
Ann Arbor 17
San Diego 16
Tolentino 16
Washington 13
Fermo 10
Rome 7
Senigallia 7
Cagliari 6
Ottawa 6
Recanati 6
Shanghai 6
Ascoli Piceno 5
Beijing 5
Dallas 5
Johannesburg 5
Lido di Fermo 5
Pesaro 5
Potenza Picena 5
Redmond 5
Rostock 5
Alexandria 4
Aversa 4
Los Angeles 4
Pune 4
Wuhan 4
Agrate Brianza 3
Guangzhou 3
Jinhua 3
Mumbai 3
Offida 3
San Miguelito 3
Tétouan 3
Yiwu 3
Abidjan 2
Auburn 2
Bergamo 2
Bern 2
Brussels 2
Campbell 2
Campofilone 2
Chicago 2
Clearwater 2
Conover 2
Düren 2
Earls Court 2
Fano 2
Ingolstadt 2
Izmir 2
Leawood 2
Marche 2
Massa E Cozzile 2
Mondolfo 2
Naples 2
Norwalk 2
Perugia 2
Rimini 2
Seoul 2
Shenzhen 2
Stanford 2
Vienna 2
Wuxi 2
Acquaviva Picena 1
Amsterdam 1
Bari 1
Berlin 1
Bilgi 1
Buffalo 1
Casavatore 1
Central 1
Chennai 1
Chiaravalle 1
Chiswick 1
Civitanova Marche 1
Cologne 1
Dalian 1
Dresden 1
Frankfurt am Main 1
Totale 1.505
Salva come PNG Salva come JPEG
Nome #
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 132
Model Checking Grid Security 110
Automatic Repair of Timestamp Comparisons 110
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 102
A modular environment for software development and re-engineering 98
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 97
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 95
Parameterized model-checking of timed systems with conjunctive guards 95
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 90
Verifying temporal specifications of Java programs 90
Formal methods for practical reverse engineering and software verification 82
Towards model checking security of real time Java software 81
null 79
Combining Blockchain and BPMN Choreographies for Construction Management 76
High-Performance Computing for Formal Security Assessment 73
Process-based simulation models using BPMN for construction management at runtime 72
null 71
Verification-as-a-Service for Parameter Assessment 69
Modeling Time in Java Programs for Automatic Error Detection 65
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 64
Disjunctive timed networks 64
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 64
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations 58
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 48
XAL: A Web Oriented Programming Language Based On Timed-Automata 48
Enhancing BIM through Mixed Reality for Facility Management 45
Natural Language Processing For Construction Sites Management 37
Project Information Model resulting from the on-site survey 36
APPLICATION OF DIMINISHED REALITY FOR CONSTRUCTION SITE SAFETY MANAGEMENT 27
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 25
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 23
Blockchain based choreographies: The construction industry case study 22
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment 18
ChoEn: A Smart Contract Based Choreography Enforcer 18
A first evaluation of the seamless markerless augmented reality registration system supporting facility management 15
Parameterized model checking of networks of timed automata with Boolean guards 9
DEVELOPMENT OF NATURAL LANGUAGE APPLICATION FOR CONSTRUCTION SITE PROCESSES SAFETY SUPPORT 6
Interoperable mixed reality for facility management: a cyber-physical perspective 3
Totale 2.317
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.027
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 12.027
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020105 0 0 0 0 14 0 14 0 16 7 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/2024492 48 16 29 35 46 80 31 24 8 32 39 104
2024/2025209 81 84 42 2 0 0 0 0 0 0 0 0
Totale 2.317