IRIS

MURANO, ANIELLO

MURANO, ANIELLO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 222 (tempo di esecuzione: 0.05 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
The Pushdown Module Checking Saga 4.1 Articoli in Atti di convegno 2008 Murano, Aniello
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
Reasoning About Strategies: On the Model-Checking Problem 1.1 Articolo in rivista 2014 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi
Automata-theoretic decision of timed games 1.1 Articolo in rivista 2014 Faella, Marco; Salvatore La, Torre; Murano, Aniello
Strategic Reasoning in Formal Verification (invited talk) 8.02 Comunicazioni a Convegni o Seminari 2013 Murano, Aniello
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
Rete oncologica pediatrica in Campania 8.03 Conv. e contr. di ricerca di Enti Pubblici/Privati 2008 Murano, Aniello
Tecision Problems on Tree Automata and Synthesis of Open Timed Systems 8.10 Tesi di Dottorato 2003 Murano, Aniello
An Interdisciplinary Science Learning Envirnoment. 4.1 Articoli in Atti di convegno 2009 Cuomo, Salvatore; D'Aniello, Biagio; Murano, Aniello; Saulino, E.
Proceedings of Third International Symposium onGames, Automata, Logics and Formal Verification (GandALF 2012) 7.1 Curatore o Editor di Libri Scientifici 2012 Faella, Marco; Murano, Aniello
Model-checking the Secure Release of a Time-locked Secret over a Network 1.1 Articolo in rivista 2004 LA TORRE, Salvatore; Murano, Aniello; Parente, M.
Substructure Temporal Logic 4.1 Articoli in Atti di convegno 2013 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
Full Formative Assessment based on Educational Video Games 4.1 Articoli in Atti di convegno 2010 Cuomo, Salvatore; V., Fuccella; 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
Quantitative Fairness Games 1.1 Articolo in rivista 2010 A., Bianco; Faella, Marco; Mogavero, Fabio; 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
Balanced Paths in Colored Graph 4.1 Articoli in Atti di convegno 2009 A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio
Graded Computation Tree Logic with Binary Coding 4.1 Articoli in Atti di convegno 2010 Bianco, Alessandro; Mogavero, Fabio; Murano, Aniello
Guest editor 8.06 Partecip. Editorial Board di riviste scientifiche 2012 Murano, Aniello