IRIS
SPEGNI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.237
EU - Europa 736
AS - Asia 303
AF - Africa 39
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 2
Totale 2.320
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.227
IT - Italia 396
SG - Singapore 147
CN - Cina 69
IE - Irlanda 66
UA - Ucraina 65
DE - Germania 61
SE - Svezia 60
TR - Turchia 33
MA - Marocco 28
DK - Danimarca 24
FR - Francia 17
FI - Finlandia 15
KR - Corea 15
GB - Regno Unito 11
IN - India 9
CA - Canada 7
LB - Libano 6
ZA - Sudafrica 5
AT - Austria 4
EG - Egitto 4
HK - Hong Kong 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
MY - Malesia 2
NL - Olanda 2
PH - Filippine 2
PK - Pakistan 2
PL - Polonia 2
RO - Romania 2
RU - Federazione Russa 2
SY - Repubblica araba siriana 2
AU - Australia 1
AZ - Azerbaigian 1
BG - Bulgaria 1
GE - Georgia 1
GR - Grecia 1
HU - Ungheria 1
IL - Israele 1
JP - Giappone 1
KG - Kirghizistan 1
NZ - Nuova Zelanda 1
TH - Thailandia 1
TW - Taiwan 1
Totale 2.320
Salva come PNG Salva come JPEG
Città #
Chandler 281
Des Moines 100
Singapore 100
Ashburn 85
Boardman 82
Jacksonville 81
Fairfield 67
Dublin 66
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 21
San Mateo 20
Ancona 18
Ann Arbor 17
San Diego 16
Tolentino 16
Washington 14
Aversa 10
Fermo 10
Rome 7
Senigallia 7
Cagliari 6
Helsinki 6
Ottawa 6
Recanati 6
Shanghai 6
Ascoli Piceno 5
Beijing 5
Dallas 5
Johannesburg 5
Lido di Fermo 5
Los Angeles 5
Montesilvano Marina 5
Pesaro 5
Potenza Picena 5
Redmond 5
Rostock 5
Alexandria 4
Casablanca 4
Munich 4
Pune 4
Rimini 4
Wuhan 4
Agrate Brianza 3
Fano 3
Guangzhou 3
Hong Kong 3
Istanbul 3
Jinhua 3
Mumbai 3
Newark 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
Cebu City 2
Chicago 2
Cingoli 2
Clearwater 2
Cologne 2
Conover 2
Düren 2
Earls Court 2
Highland Park 2
Ingolstadt 2
Izmir 2
Lahore 2
Leawood 2
London 2
Marche 2
Massa E Cozzile 2
Mondolfo 2
Naples 2
Norwalk 2
Perugia 2
Seoul 2
Shenzhen 2
Stanford 2
Vienna 2
Wuxi 2
Acquaviva Picena 1
Ambrolauri 1
Amsterdam 1
Totale 1.590
Salva come PNG Salva come JPEG
Nome #
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 132
Model Checking Grid Security 115
Automatic Repair of Timestamp Comparisons 112
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 102
A modular environment for software development and re-engineering 100
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 99
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 97
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 96
Parameterized model-checking of timed systems with conjunctive guards 95
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 91
Verifying temporal specifications of Java programs 90
Formal methods for practical reverse engineering and software verification 87
Towards model checking security of real time Java software 82
null 79
Combining Blockchain and BPMN Choreographies for Construction Management 78
High-Performance Computing for Formal Security Assessment 76
Process-based simulation models using BPMN for construction management at runtime 75
null 71
Verification-as-a-Service for Parameter Assessment 69
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations 66
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 66
Disjunctive timed networks 65
Modeling Time in Java Programs for Automatic Error Detection 65
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 52
XAL: A Web Oriented Programming Language Based On Timed-Automata 48
Enhancing BIM through Mixed Reality for Facility Management 47
Natural Language Processing For Construction Sites Management 40
Project Information Model resulting from the on-site survey 36
APPLICATION OF DIMINISHED REALITY FOR CONSTRUCTION SITE SAFETY MANAGEMENT 32
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 28
Blockchain based choreographies: The construction industry case study 25
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 25
Interoperable mixed reality for facility management: a cyber-physical perspective 25
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment 22
ChoEn: A Smart Contract Based Choreography Enforcer 22
A first evaluation of the seamless markerless augmented reality registration system supporting facility management 20
DEVELOPMENT OF NATURAL LANGUAGE APPLICATION FOR CONSTRUCTION SITE PROCESSES SAFETY SUPPORT 11
Parameterized model checking of networks of timed automata with Boolean guards 9
Parameterized model checking of rendezvous systems 2
Parameterized Model Checking of Rendezvous Systems 1
Liveness of parameterized timed networks 1
Totale 2.454
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.076
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 13.076
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202091 0 0 0 0 0 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/2025346 81 84 42 61 57 21 0 0 0 0 0 0
Totale 2.454