DELZANNO, GIORGIO
 Distribuzione geografica
Continente #
EU - Europa 1.426
Totale 1.426
Nazione #
IT - Italia 1.426
Totale 1.426
Città #
Genova 528
Bordighera 486
Genoa 246
Rapallo 166
Totale 1.426
Nome #
The NARVALO project: Real time collision avoidance system in a GIS environment based on precise GNSS positioning, file e268c4c8-512f-a6b7-e053-3a05fe0adea1 646
Logic-based verification of the distributed dining philosophers protocol, file e268c4ca-bacf-a6b7-e053-3a05fe0adea1 145
Parameterized verification, file e268c4ca-fe40-a6b7-e053-3a05fe0adea1 140
A unified view of parameterized verification of abstract models of broadcast communication, file e268c4c8-71b4-a6b7-e053-3a05fe0adea1 134
Adding Data Registers to Parameterized Networks with Broadcast, file e268c4ca-fe3c-a6b7-e053-3a05fe0adea1 122
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things, file e268c4ca-fb69-a6b7-e053-3a05fe0adea1 89
An IoT-enabled Framework for Context-aware Role-based Access Control, file e268c4ca-e3eb-a6b7-e053-3a05fe0adea1 31
A lightweight regular model checking approach for parameterized systems, file e268c4c6-104f-a6b7-e053-3a05fe0adea1 17
Smart rogaining for computer science orientation, file fb885597-5a12-4410-a4df-2b0efa208fd7 16
Parameterized verification of publish/subcribe protocols via Infinite-State Model Checking, file e268c4ca-ce24-a6b7-e053-3a05fe0adea1 13
An Acceptance Testing Approach for Internet of Things Systems, file e268c4ca-303a-a6b7-e053-3a05fe0adea1 9
A Flexible IoT Stream Processing Architecture Based on Microservices, file e268c4cd-bae9-a6b7-e053-3a05fe0adea1 9
Towards an Acceptance Testing Approach for Internet of Things Systems, file e268c4cb-01f5-a6b7-e053-3a05fe0adea1 7
Una Macchina Nozionale per Architetture dei Calcolatori come possibile collegamento tra gli insegnamenti del primo anno della laurea in Informatica, file cd5c3a3d-1bb5-44b2-ae2b-b7b969c813bf 6
Automatic Passenger Counting on the Edge via Unsupervised Clustering, file 162191f2-2bad-4645-90e9-b7026d0f0cf3 5
An abstract machine for asynchronous programs with closures and priority queues, file e268c4ca-2c55-a6b7-e053-3a05fe0adea1 5
On Reachability and Spatial Reachability in Fragments of BioAmbients, file e268c4c5-f9b6-a6b7-e053-3a05fe0adea1 4
Reachability problems in BioAmbients, file e268c4c6-1050-a6b7-e053-3a05fe0adea1 4
Physical Web for Smart Campus Management, file e268c4cb-2a07-a6b7-e053-3a05fe0adea1 4
Declarative parameterized verification of topology-sensitive distributed protocols, file e268c4ca-f80e-a6b7-e053-3a05fe0adea1 3
Games, automata, logics and formal verification (GandALF 2016), file e268c4ca-fc76-a6b7-e053-3a05fe0adea1 3
Orchestrated crowdsourced testing of a mobile web application: A case study, file e268c4cb-11e4-a6b7-e053-3a05fe0adea1 3
A classification of the expressive power of well-structured transition systems., file e268c4c5-f856-a6b7-e053-3a05fe0adea1 2
PyWeCode: Towards a Collaborative Coding Framework based on the arcade Python Library, file e268c4cd-21e9-a6b7-e053-3a05fe0adea1 2
Work-in-Progress â iCoding: Immersive Coding in Unity, file 6cfbfa2f-92ce-442b-8dbb-67c9afc74bd7 1
Some applications of Computational Logic to the development of intelligent systems and verification methods, file e268c4c5-e70b-a6b7-e053-3a05fe0adea1 1
Parameterized verification of time-sensitive models of ad hoc network protocols, file e268c4c8-6c04-a6b7-e053-3a05fe0adea1 1
Programmiamo? Sì, logicamente! L’irresistibile eleganza di Prolog., file e268c4c8-7332-a6b7-e053-3a05fe0adea1 1
Validating XML document adaptations via Hedge Automata transformations, file e268c4ca-ec8d-a6b7-e053-3a05fe0adea1 1
Logic-based verification of the distributed dining philosophers protocol, file e268c4ca-fc7a-a6b7-e053-3a05fe0adea1 1
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education, file e268c4cc-f51f-a6b7-e053-3a05fe0adea1 1
Totale 1.426
Categoria #
all - tutte 2.726
article - articoli 2.330
book - libri 0
conference - conferenze 313
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 83
Totale 5.452


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202070 10 0 0 12 0 0 1 2 0 19 18 8
2020/2021176 19 11 20 12 9 9 20 5 15 20 17 19
2021/2022282 25 7 29 69 44 13 6 8 10 14 41 16
2022/2023194 3 17 29 22 19 37 11 13 5 12 20 6
2023/2024698 4 7 14 7 6 4 52 586 9 7 2 0
Totale 1.426