SPEGNI, FRANCESCO
 Distribuzione geografica
Continente #
NA - Nord America 330
EU - Europa 149
AS - Asia 51
Continente sconosciuto - Info sul continente non disponibili 44
SA - Sud America 2
Totale 576
Nazione #
US - Stati Uniti d'America 319
IT - Italia 147
BD - Bangladesh 39
CA - Canada 7
HK - Hong Kong 4
SG - Singapore 4
CN - Cina 3
BR - Brasile 1
GT - Guatemala 1
JM - Giamaica 1
KR - Corea 1
LC - Santa Lucia 1
MX - Messico 1
NL - Olanda 1
PE - Perù 1
RU - Federazione Russa 1
Totale 532
Città #
San Jose 84
Council Bluffs 76
Ashburn 46
Milan 38
Boardman 26
Rimini 23
Rome 16
Phoenix 12
Figino 11
Santa Clara 11
Miano 9
Naples 6
Toronto 6
Buffalo 5
Los Angeles 5
New York 5
Hong Kong 4
Beijing 3
Genoa 3
Dallas 2
Modena 2
Tampa 2
Albany 1
Arvada 1
Bari 1
Blairsville 1
Bologna 1
Brooklyn 1
Buena Park 1
Buzzards Bay 1
Cagliari 1
Castries 1
Chicago 1
Cinisello Balsamo 1
Corridonia 1
Dalmine 1
Detroit 1
Farmingdale 1
Gouverneur 1
Guatemala City 1
Gulf Breeze 1
Honolulu 1
Jacksonville 1
Kaplan 1
Kingston 1
Lancaster 1
Lehigh Acres 1
Lexington 1
Lima 1
Madison 1
Manocalzati 1
Massanzago 1
Mauá 1
Mexico City 1
Moscow 1
New London 1
Newark 1
North Lauderdale 1
Osimo 1
Palermo 1
Partinico 1
Quincy 1
Randallstown 1
Rochester 1
Ronciglione 1
Roswell 1
Saint-Hugues 1
Salem 1
San Francisco 1
San Marcellino 1
Searcy 1
Secaucus 1
Seoul 1
Singapore 1
Sparta 1
Stone Mountain 1
The Dalles 1
Urbino 1
Venice 1
Washington 1
Totale 453
Nome #
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 87
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations 23
Model Checking Grid Security 21
Process-based simulation models using BPMN for construction management at runtime 21
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 18
XAL: A Web Oriented Programming Language Based on Timed-Automata 17
A first evaluation of the seamless markerless augmented reality registration system supporting facility management 16
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 16
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy 16
Verifying temporal specifications of Java programs 16
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 15
Parameterized model-checking of timed systems with conjunctive guards 15
Automatic Repair of Timestamp Comparisons 15
Enhancing BIM through Mixed Reality for Facility Management 13
Disjunctive timed networks 12
A modular environment for software development and re-engineering 12
Preface to the International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (AI4CC-IPS-RCRA-SPIRIT 2024) 12
Combining Blockchain and BPMN Choreographies for Construction Management 12
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment 11
Development of Natural Language Application for Construction Site Processes Safety Support 11
Liveness of parameterized timed networks 11
Verification-as-a-Service for Parameter Assessment 11
Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments 11
ChoEn: A Smart Contract Based Choreography Enforcer 10
PARAMETERIZED MODEL-CHECKING OF DISCRETE-TIMED NETWORKS AND SYMMETRIC-BROADCAST SYSTEMS 10
High-Performance Computing for Formal Security Assessment 10
Natural Language Processing For Construction Sites Management 10
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 10
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 10
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 9
Towards model checking security of real time Java software 9
An Automatic Registration System Based on Augmented Reality to Enhance Civil Infrastructure Inspections 9
Application of Diminished Reality for Construction Site Safety Management 9
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 9
Blockchain based choreographies: The construction industry case study 8
Modeling Time in Java Programs for Automatic Error Detection 8
Parameterized model checking of networks of timed automata with Boolean guards 8
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 8
Parameterized model checking of rendezvous systems 7
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 7
Parameterized Model Checking of Rendezvous Systems 7
Interoperable mixed reality for facility management: a cyber-physical perspective 6
Totale 576
Categoria #
all - tutte 2.767
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 2.767


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/2026221 0 0 0 0 0 0 0 0 0 0 126 95
2026/2027355 147 133 75 0 0 0 0 0 0 0 0 0
Totale 576