SPEGNI, FRANCESCO
 Distribuzione geografica
Continente #
NA - Nord America 506
EU - Europa 305
AS - Asia 52
Continente sconosciuto - Info sul continente non disponibili 44
SA - Sud America 4
AF - Africa 2
Totale 913
Nazione #
US - Stati Uniti d'America 480
IT - Italia 291
BD - Bangladesh 39
CA - Canada 14
GB - Regno Unito 9
HK - Hong Kong 5
MX - Messico 4
SG - Singapore 4
CN - Cina 3
JM - Giamaica 3
BR - Brasile 2
SC - Seychelles 2
AR - Argentina 1
CR - Costa Rica 1
DE - Germania 1
EE - Estonia 1
GT - Guatemala 1
HN - Honduras 1
IE - Irlanda 1
KR - Corea 1
LC - Santa Lucia 1
NI - Nicaragua 1
NL - Olanda 1
PE - Perù 1
RU - Federazione Russa 1
Totale 869
Città #
Council Bluffs 107
Ashburn 88
San Jose 85
Milan 52
Rome 35
Boardman 26
Rimini 23
Phoenix 19
Naples 16
Santa Clara 15
Figino 12
Turin 10
Miano 9
Los Angeles 8
Toronto 8
Genoa 7
New York 7
Buffalo 6
Bologna 5
Hong Kong 4
Ancona 3
Beijing 3
Kingston 3
Mexico City 3
Modena 3
Osimo 3
Venice 3
Bari 2
Brescia 2
Brooklyn 2
Chicago 2
Cingoli 2
Dallas 2
Florence 2
King of Prussia 2
Lexington 2
Misano Adriatico 2
Padua 2
Palermo 2
Tampa 2
Verona 2
Albany 1
Aprilia 1
Arvada 1
Atlanta 1
Avellaneda 1
Avellino 1
Bartow 1
Blairsville 1
Borgomanero 1
Boscoreale 1
Bradford 1
Brasília 1
Bridgeport 1
Buena Park 1
Buggiano 1
Busto Arsizio 1
Buzzards Bay 1
Cagliari 1
Campobasso 1
Castelgomberto 1
Castelli Calepio 1
Castries 1
Charleston 1
Cincinnati 1
Cinisello Balsamo 1
Corridonia 1
Crete 1
Dalmine 1
Danville 1
Detroit 1
Dublin 1
Elgin 1
Etters 1
Farmingdale 1
Gouverneur 1
Grafenau 1
Gualdo Tadino 1
Guatemala City 1
Gulf Breeze 1
Hartsville 1
Honolulu 1
Houston 1
Iesi 1
Inveruno 1
Islington 1
Jacksonville 1
Jonquière 1
Kaplan 1
Lancaster 1
Langley 1
Lecce 1
Lehigh Acres 1
Lima 1
Linton 1
Lissone 1
Lucca 1
Lusciano 1
Maddaloni 1
Madison 1
Totale 650
Nome #
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes 100
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy 40
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations 35
Model Checking Grid Security 31
Process-based simulation models using BPMN for construction management at runtime 31
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment 29
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 29
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 27
Automatic Repair of Timestamp Comparisons 27
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions 25
A first evaluation of the seamless markerless augmented reality registration system supporting facility management 23
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 23
A modular environment for software development and re-engineering 23
XAL: A Web Oriented Programming Language Based on Timed-Automata 23
An Automatic Registration System Based on Augmented Reality to Enhance Civil Infrastructure Inspections 23
Verifying temporal specifications of Java programs 21
ChoEn: A Smart Contract Based Choreography Enforcer 20
Enhancing BIM through Mixed Reality for Facility Management 20
High-Performance Computing for Formal Security Assessment 19
Combining Blockchain and BPMN Choreographies for Construction Management 19
Application of Diminished Reality for Construction Site Safety Management 19
Disjunctive timed networks 18
Parameterized model-checking of timed systems with conjunctive guards 18
Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments 18
PARAMETERIZED MODEL-CHECKING OF DISCRETE-TIMED NETWORKS AND SYMMETRIC-BROADCAST SYSTEMS 17
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) 17
Parameterized model checking of rendezvous systems 16
Liveness of parameterized timed networks 16
Modeling Time in Java Programs for Automatic Error Detection 16
Verification-as-a-Service for Parameter Assessment 16
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing 16
Development of Natural Language Application for Construction Site Processes Safety Support 15
Towards model checking security of real time Java software 15
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 14
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 13
Interoperable mixed reality for facility management: a cyber-physical perspective 13
Blockchain based choreographies: The construction industry case study 12
Natural Language Processing For Construction Sites Management 12
Parameterized model checking of networks of timed automata with Boolean guards 12
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case 12
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 11
Parameterized Model Checking of Rendezvous Systems 9
Totale 913
Categoria #
all - tutte 3.898
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 3.898


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/2027692 147 133 211 201 0 0 0 0 0 0 0 0
Totale 913