MURANO, ANIELLO

MURANO, ANIELLO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 211 (tempo di esecuzione: 0.037 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Weak Muller Tree Automata 4.1 Articoli in Atti di convegno 2004 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
Automata-theoretic Decision of Timed Games 4.1 Articoli in Atti di convegno 2002 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
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
Graded Computation Tree Logic with Binary Coding 4.1 Articoli in Atti di convegno 2010 Bianco, Alessandro; Mogavero, Fabio; Murano, Aniello
Timed games with branching-time winning conditions 4.1 Articoli in Atti di convegno 2003 Murano, Aniello
Pushdown Module checking for Branching-time Temporal Logics 4.1 Articoli in Atti di convegno 2006 Murano, Aniello
The Pushdown Module Checking Saga 4.1 Articoli in Atti di convegno 2008 Murano, Aniello
\mu-calculus Pushdown Module Checking with Imperfect State Information 4.1 Articoli in Atti di convegno 2008 B., Aminof; A., Legay; Murano, Aniello; O., Serre
Branching-Time Temporal Logics with Minimal Model Quantifiers 4.1 Articoli in Atti di convegno 2009 Mogavero, F.; Murano, Aniello
MCMAS-SLK: A model checker for the verification of strategy logic specifications. 5.13 Software 2014 Petr, Cermak; Alessio, Lomuscio; Murano, Aniello
An Interdisciplinary Science Learning Envirnoment. 4.1 Articoli in Atti di convegno 2009 Cuomo, Salvatore; D'Aniello, Biagio; Murano, Aniello; Saulino, E.
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.
Quantitatively Fair Scheduling 1.1 Articolo in rivista 2012 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Prefazione) 2.2 Prefazione/Postfazione 2013 Murano, Aniello
Checking interval properties of computations 4.1 Articoli in Atti di convegno 2014 Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; Peron, Adriano
Balanced Paths in Colored Graph 4.1 Articoli in Atti di convegno 2009 A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio
On Promptness in Parity Games 4.1 Articoli in Atti di convegno 2013 Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Strategy Games: A Renewed Framework 4.1 Articoli in Atti di convegno 2014 Mogavero, Fabio; Murano, Aniello; Sauro, Luigi
Exploring the Boundary of Half Positionality 4.1 Articoli in Atti di convegno 2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello