- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j11 |      | Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi: Pushdown module checking with imperfect information. Inf. Comput. 223: 1-17 (2013) |
| e2 | | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi (Eds.): Proceedings 1st International Workshop on Strategic Reasoning. EPTCS 112, 2013 |
| 2012 | ||
| j10 | | Benjamin Aminof, Orna Kupferman, Aniello Murano: Improved model checking of hierarchical systems. Inf. Comput. 210: 68-86 (2012) |
| j9 | | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Quantitatively fair scheduling. Theor. Comput. Sci. 413(1): 160-175 (2012) |
| j8 | | Alessandro Bianco, Fabio Mogavero, Aniello Murano: Graded computation tree logic. ACM Trans. Comput. Log. 13(3): 25 (2012) |
| c32 | | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic. CONCUR 2012: 193-208 |
| c31 | | Salvatore Cuomo, Vittorio Fuccella, Aniello Murano: Slide Test Maker An Educational Software Tool for Test Composition. ICWL 2012: 249-257 |
| c30 | | Salvatore Cuomo, Aniello Murano, Francesco Piccialli, E. Del Giudice: A social network framework for the Carolina software. PETRA 2012: 34 |
| e1 | | Marco Faella, Aniello Murano (Eds.): Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification. EPTCS 96, 2012 |
| i4 | | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: A Decidable Fragment of Strategy Logic. CoRR abs/1202.1309 (2012) |
| 2011 | ||
| j7 | | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Exploring the boundary of half-positionality. Ann. Math. Artif. Intell. 62(1-2): 55-77 (2011) |
| c29 |  | Salvatore Cuomo, Aniello Murano, Francesco Piccialli: The C@Rolin@ Software - A System for Monitoring Skills Development of Children with Down Syndrome. HEALTHINF 2011: 180-185 |
| c28 | | Gennaro Costagliola, Salvatore Cuomo, Vittorio Fuccella, Aniello Murano: A Sketch-Based System for Teaching Geometry. DMS 2011: 246-249 |
| c27 | | Benjamin Aminof, Fabio Mogavero, Aniello Murano: Synthesis of Hierarchical Systems. FACS 2011: 42-60 |
| i3 | | Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi: Reasoning About Strategies: On the Model-Checking Problem. CoRR abs/1112.6275 (2011) |
| 2010 | ||
| j6 | | Laura Bozzelli, Aniello Murano, Adriano Peron: Pushdown module checking. Formal Methods in System Design 36(1): 65-95 (2010) |
| c26 | | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Exploring the Boundary of Half Positionality. CLIMA 2010: 171-185 |
| c25 | | Alessandro Bianco, Fabio Mogavero, Aniello Murano: Graded Computation Tree Logic with Binary Coding. CSL 2010: 125-139 |
| c24 | | Salvatore Cuomo, Vittorio Fuccella, Aniello Murano: Full Formative Assessment based on Educational Video Games. DMS 2010: 228-231 |
| c23 | | |
| c22 | | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi: Relentful Strategic Reasoning in Alternating-Time Temporal Logic. LPAR (Dakar) 2010: 371-386 |
| c21 | | Benjamin Aminof, Orna Kupferman, Aniello Murano: Improved Model Checking of Hierarchical Systems. VMCAI 2010: 61-77 |
| c20 | | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Quantitative Fairness Games. QAPL 2010: 48-63 |
| 2009 | ||
| c19 | | Fabio Mogavero, Aniello Murano: Branching-Time Temporal Logics with Minimal Model Quantifiers. Developments in Language Theory 2009: 396-409 |
| c18 | | Biagio D'Aniello, Salvatore Cuomo, Aniello Murano: The "INNOVAMBIENTE" Project: An Interdisciplinary Approach Integrating Natural Science, Mathematics and Computer Science. ICALT 2009: 604-605 |
| c17 | | Alessandro Bianco, Fabio Mogavero, Aniello Murano: Graded Computation Tree Logic. LICS 2009: 342-351 |
| c16 | | Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano: Balanced Paths in Colored Graphs. MFCS 2009: 149-161 |
| c15 | | |
| 2008 | ||
| j5 | | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi. Logical Methods in Computer Science 4(3) (2008) |
| j4 | | Alessandro Ferrante, Aniello Murano, Mimmo Parente: Enriched µ-Calculi Module Checking. Logical Methods in Computer Science 4(3) (2008) |
| c14 | | Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre: µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS 2008: 333-348 |
| c13 | | Aniello Murano, Margherita Napoli, Mimmo Parente: Program Complexity in Hierarchical Module Checking. LPAR 2008: 318-332 |
| i2 | | Alessandro Ferrante, Aniello Murano, Mimmo Parente: Enriched MU-Calculi Module Checking. CoRR abs/0805.3462 (2008) |
| i1 | | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi. CoRR abs/0809.0360 (2008) |
| 2007 | ||
| c12 | | Benjamin Aminof, Aniello Murano, Moshe Y. Vardi: Pushdown Module Checking with Imperfect Information. CONCUR 2007: 460-475 |
| c11 | | Dario Carotenuto, Aniello Murano, Adriano Peron: 2-Visibly Pushdown Automata. Developments in Language Theory 2007: 132-144 |
| c10 | | |
| c9 | | Alessandro Ferrante, Aniello Murano, Mimmo Parente: Enriched µ-Calculus Pushdown Module Checking. LPAR 2007: 438-453 |
| 2006 | ||
| j3 | | Orna Kupferman, Gila Morgenstern, Aniello Murano: Typeness for omega-regular Automata. Int. J. Found. Comput. Sci. 17(4): 869-884 (2006) |
| c8 | | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched µ-Calculi. ICALP (2) 2006: 540-551 |
| 2005 | ||
| j2 | | Salvatore La Torre, Aniello Murano, Margherita Napoli: Weak Muller acceptance conditions for tree automata. Theor. Comput. Sci. 332(1-3): 233-250 (2005) |
| c7 | | |
| 2004 | ||
| j1 | | 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. 99: 229-243 (2004) |
| c6 | | Orna Kupferman, Gila Morgenstern, Aniello Murano: Typeness for omega-Regular Automata. ATVA 2004: 324-338 |
| c5 | | |
| 2002 | ||
| c4 | | Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano: Optimal-Reachability and Control for Acyclic Weighted Timed Automata. IFIP TCS 2002: 485-497 |
| c3 | | |
| c2 | | Marco Faella, Salvatore La Torre, Aniello Murano: Automata-Theoretic Decision of Timed Games. VMCAI 2002: 94-108 |
| c1 | | Salvatore La Torre, Aniello Murano, Margherita Napoli: Weak Muller Acceptance Conditions for Tree Automata. VMCAI 2002: 240-254 |
Colors in the list of coauthors
Last update Sat May 18 15:23:40 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page