IRIS
SPEGNI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.142
EU - Europa 621
AS - Asia 82
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 1.857
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.132
IT - Italia 323
IE - Irlanda 65
UA - Ucraina 65
SE - Svezia 60
DE - Germania 49
TR - Turchia 30
DK - Danimarca 24
SG - Singapore 18
KR - Corea 13
FI - Finlandia 10
GB - Regno Unito 8
CA - Canada 7
LB - Libano 6
MA - Marocco 6
FR - Francia 5
IN - India 5
CN - Cina 4
AT - Austria 3
EU - Europa 3
PA - Panama 3
BE - Belgio 2
CH - Svizzera 2
IR - Iran 2
RO - Romania 2
SY - Repubblica araba siriana 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
GR - Grecia 1
HK - Hong Kong 1
PL - Polonia 1
RU - Federazione Russa 1
Totale 1.857
Salva come PNG Salva come JPEG
Città #
Chandler 281
Des Moines 100
Ashburn 82
Jacksonville 81
Fairfield 67
Dublin 65
Turin 50
Seattle 37
Wilmington 35
Centro 32
Houston 31
New York 31
Milan 29
Porto San Giorgio 26
Woodbridge 24
Boardman 23
Lawrence 22
Princeton 22
San Mateo 20
Cambridge 19
Ann Arbor 17
San Diego 16
Ancona 13
Washington 13
Tolentino 12
Fermo 10
Rome 7
Senigallia 7
Cagliari 6
Ottawa 6
Ascoli Piceno 5
Lido di Fermo 5
Pesaro 5
Potenza Picena 5
Redmond 5
Pune 4
Agrate Brianza 3
Los Angeles 3
Offida 3
San Miguelito 3
Tétouan 3
Bergamo 2
Bern 2
Brussels 2
Campbell 2
Campofilone 2
Clearwater 2
Conover 2
Earls Court 2
Fano 2
Ingolstadt 2
Izmir 2
Jinhua 2
Johannesburg 2
Leawood 2
Marche 2
Massa E Cozzile 2
Naples 2
Norwalk 2
Perugia 2
Rimini 2
Stanford 2
Acquaviva Picena 1
Berlin 1
Bilgi 1
Central 1
Chiaravalle 1
Chicago 1
Chiswick 1
Civitanova Marche 1
Cologne 1
Dresden 1
Frankfurt am Main 1
Göttingen 1
Helsinki 1
Hunedoara 1
Karlsruhe 1
Kemerovo 1
Klagenfurt 1
Kraków 1
Las Vegas 1
Laurel 1
London 1
Loreto 1
Monte Urano 1
Montelabbate 1
Munich 1
New Bedfont 1
New Delhi 1
Nuremberg 1
Oberderdingen 1
Pollenza 1
Redwood City 1
Secaucus 1
Serra de' Conti 1
Sydney 1
Torino 1
Toronto 1
Trecastelli 1
Vienna 1
Totale 1.308
Salva come PNG Salva come JPEG
Nome #
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 122
Model Checking Grid Security 102
Automatic Repair of Timestamp Comparisons 99
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 95
A modular environment for software development and re-engineering 91
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 90
Parameterized model-checking of timed systems with conjunctive guards 89
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 88
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 83
Verifying temporal specifications of Java programs 79
Parameterized model checking of networks of timed automata with Boolean guards 78
Towards model checking security of real time Java software 75
Formal methods for practical reverse engineering and software verification 72
null 69
High-Performance Computing for Formal Security Assessment 68
Combining Blockchain and BPMN Choreographies for Construction Management 68
Verification-as-a-Service for Parameter Assessment 66
Process-based simulation models using BPMN for construction management at runtime 59
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 58
Modeling Time in Java Programs for Automatic Error Detection 58
Disjunctive timed networks 56
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 46
XAL: A Web Oriented Programming Language Based On Timed-Automata 45
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations 42
Enhancing BIM through Mixed Reality for Facility Management 37
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 34
Project Information Model resulting from the on-site survey 25
Natural Language Processing For Construction Sites Management 20
APPLICATION OF DIMINISHED REALITY FOR CONSTRUCTION SITE SAFETY MANAGEMENT 16
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 16
Blockchain based choreographies: The construction industry case study 10
ChoEn: A Smart Contract Based Choreography Enforcer 8
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 1
Totale 1.965
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.681
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 9.681
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201912 0 0 0 0 0 0 0 0 0 0 4 8
2019/2020117 0 0 12 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/2024349 48 16 29 35 46 80 31 24 8 32 0 0
Totale 1.965