| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Quantitatively fair scheduling.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aminof, Orna Kupferman, Aniello Murano |
Improved model checking of hierarchical systems. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi |
A Decidable Fragment of Strategy Logic |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi |
Reasoning About Strategies: On the Model-Checking Problem |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Exploring the boundary of half-positionality. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore Cuomo, Aniello Murano, Francesco Piccialli |
The C@Rolin@ Software - A System for Monitoring Skills Development of Children with Down Syndrome. |
HEALTHINF |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Quantitative Fairness Games |
QAPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Aniello Murano, Adriano Peron |
Pushdown module checking. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Exploring the Boundary of Half Positionality. |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi |
Relentful Strategic Reasoning in Alternating-Time Temporal Logic. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aminof, Orna Kupferman, Aniello Murano |
Improved Model Checking of Hierarchical Systems. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Bianco, Fabio Mogavero, Aniello Murano |
Graded Computation Tree Logic with Binary Coding. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi |
Reasoning About Strategies. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore Cuomo, Vittorio Fuccella, Aniello Murano |
Full Formative Assessment based on Educational Video Games. |
DMS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano |
Balanced Paths in Colored Graphs. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Mogavero, Aniello Murano |
Branching-Time Temporal Logics with Minimal Model Quantifiers. |
Developments in Language Theory |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aniello Murano |
A technological infrastructure design for a pediatric oncology network. |
PETRA |
2009 |
DBLP DOI BibTeX RDF |
hub and spoke, modern hospital, pediatric oncology, information system, e-health, medical, technological innovation |
| 1 | Biagio D'Aniello, Salvatore Cuomo, Aniello Murano |
The "INNOVAMBIENTE" Project: An Interdisciplinary Approach Integrating Natural Science, Mathematics and Computer Science. |
ICALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Bianco, Fabio Mogavero, Aniello Murano |
Graded Computation Tree Logic. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ferrante, Aniello Murano, Mimmo Parente |
Enriched µ-Calculi Module Checking. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
The Complexity of Enriched Mu-Calculi. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
The Complexity of Enriched Mu-Calculi |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Ferrante, Aniello Murano, Mimmo Parente |
Enriched MU-Calculi Module Checking |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Aniello Murano, Margherita Napoli, Mimmo Parente |
Program Complexity in Hierarchical Module Checking. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre |
µ-calculus Pushdown Module Checking with Imperfect State Information. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aminof, Aniello Murano, Moshe Y. Vardi |
Pushdown Module Checking with Imperfect Information. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ferrante, Aniello Murano, Mimmo Parente |
Enriched µ-Calculus Pushdown Module Checking. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Carotenuto, Aniello Murano, Adriano Peron |
2-Visibly Pushdown Automata. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ferrante, Aniello Murano |
Enriched µ-Calculi Module Checking. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Gila Morgenstern, Aniello Murano |
Typeness for omega-regular Automata. |
Int. J. Found. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
The Complexity of Enriched µ-Calculi. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore La Torre, Aniello Murano, Margherita Napoli |
Weak Muller acceptance conditions for tree automata. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bozzelli, Aniello Murano, Adriano Peron |
Pushdown Module Checking. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore La Torre, Aniello Murano, Mimmo Parente |
Model-checking the Secure Release of a Time-locked Secret over a Network. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore La Torre, Aniello Murano |
Reasoning About Co-Büchi Tree Automata. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Gila Morgenstern, Aniello Murano |
Typeness for omega-Regular Automata. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano |
Optimal-Reachability and Control for Acyclic Weighted Timed Automata. |
IFIP TCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Marco Faella, Salvatore La Torre, Aniello Murano |
Dense Real-Time Games. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvatore La Torre, Aniello Murano, Margherita Napoli |
Weak Muller Acceptance Conditions for Tree Automata. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Faella, Salvatore La Torre, Aniello Murano |
Automata-Theoretic Decision of Timed Games. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")