Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Aniello Murano
2010 – today
- 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)- [c34]Fabio Mogavero, Aniello Murano, Luigi Sauro: On the Boundary of Behavioral Strategies. LICS 2013: 263-272
- [c33]Massimo Benerecetti, Fabio Mogavero, Aniello Murano: Substructure Temporal Logic. LICS 2013: 368-377
- [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
2000 – 2009
- 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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:03 CEST by the dblp team