IRIS
SPEGNI, FRANCESCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 104
EU - Europa 70
AS - Asia 3
Totale 177
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 104
IT - Italia 69
HK - Hong Kong 2
CN - Cina 1
NL - Olanda 1
Totale 177
Salva come PNG Salva come JPEG
Città #
Ashburn 43
Boardman 26
Rimini 23
Council Bluffs 21
Milan 19
Miano 9
Buffalo 4
Santa Clara 3
Hong Kong 2
Naples 2
Beijing 1
Detroit 1
Lexington 1
Newark 1
Secaucus 1
Tampa 1
Urbino 1
Totale 159
Salva come PNG Salva come JPEG
Nome #
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy 13
A first evaluation of the seamless markerless augmented reality registration system supporting facility management 11
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) 9
Liveness of parameterized timed networks 9
Development of Natural Language Application for Construction Site Processes Safety Support 8
Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments 8
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 8
Enhancing BIM through Mixed Reality for Facility Management 7
Natural Language Processing For Construction Sites Management 7
Model Checking Grid Security 7
Process-based simulation models using BPMN for construction management at runtime 7
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment 6
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 6
Combining Blockchain and BPMN Choreographies for Construction Management 6
An Automatic Registration System Based on Augmented Reality to Enhance Civil Infrastructure Inspections 6
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 6
PARAMETERIZED MODEL-CHECKING OF DISCRETE-TIMED NETWORKS AND SYMMETRIC-BROADCAST SYSTEMS 5
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 5
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations 5
Parameterized Model Checking of Rendezvous Systems 5
Interoperable mixed reality for facility management: a cyber-physical perspective 5
Blockchain based choreographies: The construction industry case study 4
ChoEn: A Smart Contract Based Choreography Enforcer 4
Automatic Repair of Timestamp Comparisons 4
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 4
Parameterized model checking of rendezvous systems 4
Parameterized model checking of networks of timed automata with Boolean guards 4
Application of Diminished Reality for Construction Site Safety Management 4
Verifying temporal specifications of Java programs 4
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 4
Disjunctive timed networks 3
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 3
Parameterized model-checking of timed systems with conjunctive guards 3
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 3
High-Performance Computing for Formal Security Assessment 3
A modular environment for software development and re-engineering 3
XAL: A Web Oriented Programming Language Based on Timed-Automata 3
Towards model checking security of real time Java software 3
Modeling Time in Java Programs for Automatic Error Detection 3
Verification-as-a-Service for Parameter Assessment 3
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 3
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 3
Totale 221
Salva come PNG Salva come JPEG
Categoria #
all - tutte 1.423
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 1.423
Salva come PNG Salva come JPEG


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
Totale 221