MURANO, ANIELLO
MURANO, ANIELLO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Timed games with branching-time winning conditions
2003 Murano, Aniello
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014
2014 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Checking interval properties of computations
2014 Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; Peron, Adriano
Rete oncologica pediatrica in Campania
2008 Murano, Aniello
On Promptness in Parity Games
2013 Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Reasoning About Strategies: On the Model-Checking Problem
2014 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi
MCMAS-SLK: A model checker for the verification of strategy logic specifications.
2014 Petr, Cermak; Alessio, Lomuscio; Murano, Aniello
Proceedings of Third International Symposium onGames, Automata, Logics and Formal Verification (GandALF 2012)
2012 Faella, Marco; Murano, Aniello
A Sketch-Based System for Teaching Geometry
2011 Gennaro, Costagliola; Cuomo, Salvatore; Murano, Aniello; Fuccella, Vittorio
An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science
2009 Murano, Aniello; Cuomo, Salvatore; D'Aniello, Biagio
Branching-Time Temporal Logics with Minimal Model Quantifiers
2009 Mogavero, F.; Murano, Aniello
Synthesis of Hierarchical Systems
2012 Benjamin, Aminof; Mogavero, Fabio; Murano, Aniello
Automata-theoretic Decision of Timed Games
2002 Faella, Marco; LA TORRE, Salvatore; Murano, Aniello
Balanced Paths in Colored Graph
2009 A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio
Pushdown module checking with imperfect information
2013 Benjamin, Aminof; Axel, Legay; Murano, Aniello; Olivier, Serre; Moshe Y., Vardi
Weak Muller Tree Automata
2004 Murano, Aniello
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Prefazione)
2013 Murano, Aniello
The Pushdown Module Checking Saga
2008 Murano, Aniello
Full Formative Assessment based on Educational Video Games
2010 Cuomo, Salvatore; V., Fuccella; Murano, Aniello
Substructure Temporal Logic
2013 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Timed games with branching-time winning conditions | 4.1 Articoli in Atti di convegno | 2003 | 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 | |
| Checking interval properties of computations | 4.1 Articoli in Atti di convegno | 2014 | Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; Peron, Adriano | |
| Rete oncologica pediatrica in Campania | 8.03 Conv. e contr. di ricerca di Enti Pubblici/Privati | 2008 | Murano, Aniello | |
| On Promptness in Parity Games | 4.1 Articoli in Atti di convegno | 2013 | Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana | |
| Reasoning About Strategies: On the Model-Checking Problem | 1.1 Articolo in rivista | 2014 | Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi | |
| MCMAS-SLK: A model checker for the verification of strategy logic specifications. | 5.13 Software | 2014 | Petr, Cermak; Alessio, Lomuscio; 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 | |
| A Sketch-Based System for Teaching Geometry | 4.1 Articoli in Atti di convegno | 2011 | Gennaro, Costagliola; Cuomo, Salvatore; Murano, Aniello; Fuccella, Vittorio | |
| An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science | 1.1 Articolo in rivista | 2009 | Murano, Aniello; Cuomo, Salvatore; D'Aniello, Biagio | |
| Branching-Time Temporal Logics with Minimal Model Quantifiers | 4.1 Articoli in Atti di convegno | 2009 | Mogavero, F.; Murano, Aniello | |
| Synthesis of Hierarchical Systems | 4.1 Articoli in Atti di convegno | 2012 | Benjamin, Aminof; Mogavero, Fabio; Murano, Aniello | |
| Automata-theoretic Decision of Timed Games | 4.1 Articoli in Atti di convegno | 2002 | Faella, Marco; LA TORRE, Salvatore; Murano, Aniello | |
| Balanced Paths in Colored Graph | 4.1 Articoli in Atti di convegno | 2009 | A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio | |
| Pushdown module checking with imperfect information | 1.1 Articolo in rivista | 2013 | Benjamin, Aminof; Axel, Legay; Murano, Aniello; Olivier, Serre; Moshe Y., Vardi | |
| Weak Muller Tree Automata | 4.1 Articoli in Atti di convegno | 2004 | Murano, Aniello | |
| Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Prefazione) | 2.2 Prefazione/Postfazione | 2013 | Murano, Aniello | |
| The Pushdown Module Checking Saga | 4.1 Articoli in Atti di convegno | 2008 | Murano, Aniello | |
| Full Formative Assessment based on Educational Video Games | 4.1 Articoli in Atti di convegno | 2010 | Cuomo, Salvatore; V., Fuccella; Murano, Aniello | |
| Substructure Temporal Logic | 4.1 Articoli in Atti di convegno | 2013 | Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello |