IRIS

MURANO, ANIELLO

MURANO, ANIELLO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 218 (tempo di esecuzione: 0.035 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems 8.10 Tesi di Dottorato 2003 Murano, Aniello
Pushdown module checking with imperfect information 1.1 Articolo in rivista 2013 Benjamin, Aminof; Axel, Legay; Murano, Aniello; Olivier, Serre; Moshe Y., Vardi
Reasoning About Strategies: On the Model-Checking Problem 1.1 Articolo in rivista 2014 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi
Full Formative Assessment based on Educational Video Games 4.1 Articoli in Atti di convegno 2010 Cuomo, Salvatore; V., Fuccella; Murano, Aniello
Strategy Games: A Renewed Framework 4.1 Articoli in Atti di convegno 2014 Mogavero, Fabio; Murano, Aniello; Sauro, Luigi
Hierarchical games and their applications in reasoning about reactive systems 5.08 Concorsi di Progettazione 2010 Murano, Aniello; O., Kupferman
Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012 8.04 Convegni organizzati dalla struttura 2012 Murano, Aniello
Guest editor 8.06 Partecip. Editorial Board di riviste scientifiche 2012 Murano, Aniello
Polo delle Scienze e delle Tecnologie dell'Università di Napoli Federico II 8.05 Partecip. Consigli Scientifici/Direttivi 2008 Murano, Aniello
Weak Muller Tree Automata 4.1 Articoli in Atti di convegno 2004 Murano, Aniello
An Interdisciplinary Science Learning Envirnoment. 4.1 Articoli in Atti di convegno 2009 Cuomo, Salvatore; D'Aniello, Biagio; Murano, Aniello; Saulino, E.
MCMAS-SL[1G]: A model checker for the verification of one-goal strategy logic specifications 5.13 Software 2015 Petr, Cermak; Alessio, Lomuscio; Murano, Aniello
Pushdown Module checking for Branching-time Temporal Logics 4.1 Articoli in Atti di convegno 2006 Murano, Aniello
Timed games with branching-time winning conditions 4.1 Articoli in Atti di convegno 2003 Murano, Aniello
The Pushdown Module Checking Saga 4.1 Articoli in Atti di convegno 2008 Murano, Aniello
Rete oncologica pediatrica in Campania 8.03 Conv. e contr. di ricerca di Enti Pubblici/Privati 2008 Murano, Aniello
INNOVAMBIENTE, un'esperienza interdisciplinare di integrazione tra le Scienze Naturali, Matematiche ed Informatiche 1.1 Articolo in rivista 2010 Masucci, Melania; Murano, Aniello; Cuomo, Salvatore; D'Aniello, Biagio
Proceedings of the 1st International Workshop on Strategic Reasoning, SR 2013 7.1 Curatore o Editor di Libri Scientifici 2013 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014 7.1 Curatore o Editor di Libri Scientifici 2014 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Prefazione) 2.2 Prefazione/Postfazione 2013 Murano, Aniello