SPEGNI, FRANCESCO
Nessun dato disponibile
Nessun dato disponibile
Nessun dato disponibile
Nome #
Blockchain based choreographies: The construction industry case study 1
ChoEn: A Smart Contract Based Choreography Enforcer 1
Enhancing BIM through Mixed Reality for Facility Management 1
PARAMETERIZED MODEL-CHECKING OF DISCRETE-TIMED NETWORKS AND SYMMETRIC-BROADCAST SYSTEMS 1
A first evaluation of the seamless markerless augmented reality registration system supporting facility management 1
Automatic Repair of Timestamp Comparisons 1
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment 1
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 1
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy 1
Natural Language Processing For Construction Sites Management 1
Parameterized model checking of rendezvous systems 1
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) 1
Model Checking Grid Security 1
Development of Natural Language Application for Construction Site Processes Safety Support 1
Combining Blockchain and BPMN Choreographies for Construction Management 1
An Automatic Registration System Based on Augmented Reality to Enhance Civil Infrastructure Inspections 1
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 1
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations 1
Liveness of parameterized timed networks 1
Parameterized model checking of networks of timed automata with Boolean guards 1
Application of Diminished Reality for Construction Site Safety Management 1
Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments 1
Process-based simulation models using BPMN for construction management at runtime 1
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 1
Verifying temporal specifications of Java programs 1
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 1
Parameterized Model Checking of Rendezvous Systems 1
Interoperable mixed reality for facility management: a cyber-physical perspective 1
Totale 28
Categoria #
all - tutte 100
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 100


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2025/202628 0 0 0 0 0 0 0 0 0 0 28 0
Totale 28