IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 81 a 100 di 147
Titolo Data di pubblicazione Autore(i) File
Static Analysis of XML Document Adaptations 1-gen-2012 Solimando, Alessandro; Delzanno, Giorgio; Guerrini, Giovanna
A lightweight regular model checking approach for parameterized systems 1-gen-2012 Delzanno, Giorgio; A., Rezine
Reachability problems in BioAmbients 1-gen-2012 Delzanno, Giorgio; G., Zavattaro
Preface 1-gen-2013 Delzanno, G.; Potapov, I.
Parameterized Verification of Broadcast Networks of Register Automata 1-gen-2013 Delzanno, Giorgio; A., Sangnier; R., Traverso
Decidability and complexity results for verification of asynchronous broadcast networks 1-gen-2013 Delzanno, Giorgio; R., Traverso
Push-Down Automata with Gap-Order Constraints 1-gen-2013 Parosh Aziz, Abdulla; Mohamed Faouzi, Atig; Delzanno, Giorgio; Andreas, Podelski
Specification and Validation of Link Reversal Routing via Graph Transformations 1-gen-2013 Delzanno, Giorgio; Traverso, Riccardo
On the coverability and reachability languages of monotonic extensions of Petri nets 1-gen-2013 Delzanno, Giorgio; Fernando Rosa, Velardo
On the design of an intelligent sensor network for flash flood monitoring, diagnosis and management in urban areas position paper 1-gen-2014 Ancona, Massimo; Corradi, Nicola; Dellacasa, A.; Delzanno, Giorgio; Dugelay, J. L.; Federici, Bianca; Gourbesville, P.; Guerrini, Giovanna; LA CAMERA, Andrea; Rosso, P.; Stephens, J.; Tacchella, Armando; Zolezzi, G.
Parameterized verification of graph transformation systems withwhole neighbourhood operations 1-gen-2014 Delzanno, Giorgio; Stückrath, Jan
Validating XML document adaptations via Hedge Automata transformations 1-gen-2014 Solimando, Alessandro; Delzanno, Giorgio; Guerrini, Giovanna
Parameterized verification and model checking for distributed broadcast protocols 1-gen-2014 Delzanno, Giorgio
Verification of relational multiagent systems with data types 1-gen-2015 Calvanese, Diego; Montali, Marco; Delzanno, Giorgio
L'Ora del Codice è arrivata a Genova! 1-gen-2015 Ancona, Davide; Barla, Annalisa; Catania, Barbara; Delzanno, Giorgio; Guerrini, Giovanna; Mascardi, Viviana; Odone, Francesca; Ribaudo, Marina
An "Internet of Thing” vision of the Flood Monitoring Problem 1-gen-2015 Ancona, Massimo; Dellacasa, A; Delzanno, Giorgio; La Camera, A; Rellini, Ivano
Computational thinking for beginners: {A} successful experience using Prolog 1-gen-2015 Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando
Computational thinking for beginners: A successful experience using Prolog 1-gen-2015 Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando
Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface 1-gen-2016 Cantone, Domenico; Delzanno, Giorgio
Data tracking in parameterized systems 1-gen-2016 Delzanno, Giorgio
Mostrati risultati da 81 a 100 di 147
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile