ResearcherID Thomson Reuters  

Murano, Aniello
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: I-3038-2012
URL: http://www.researcherid.com/rid/I-3038-2012
Subject: Computer Science
Keywords: game theory; model checking; module checking; strategy logic; multi-agent systems; temporal logics; synthesis; formal verification; infinite-state; pushdown systems
ORCID: http://orcid.org/0000-0003-4876-3448
My Institutions (more details)
Primary Institution:
Sub-org/Dept:
Role:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  6  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: On Promptness in Parity Games
 Author(s): Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
 Source: Fundamenta Informaticae Volume: 139 Issue: 3 Pages: 277-305 Published: 2015
 Times Cited: 1
 DOI: 10.3233/FI-2015-1235
added
11-Oct-15
2.  Title: Reasoning About Substructures and Games
 Author(s): Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
 Source: Acm Transactions on Computational Logic Volume: 16 Issue: 3 Published: JUL 2015
 Times Cited: 0
 DOI: 10.1145/2757286
added
11-Oct-15
3.  Title: Special issue on SR 2013 Preface
 Author(s): Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y.
 Source: Information and Computation Volume: 242 Pages: 1 Published: JUN 2015
 Times Cited: 0
 DOI: 10.1016/j.ic.2015.03.008
added
11-Oct-15
4.  Title: 1.3-mu m waveband 10-Gbaud quadrature-phase-shift-keying signal transmission over 4-km holey fiber using quantum dot laser
 Author(s): Kurata, Yasuaki; Murano, Akihiro; Tomishige, Kazunari; et al.
 Source: 2014 Optoelectronics and Communications Conference and Australian Conference on Optical Fibre Technology (Oecc/acoft 2014) Pages: 639-640 Published: 2014
 Times Cited: 0
added
11-Oct-15
5.  Title: Automata-theoretic decision of timed games
 Author(s): Faella, Marco; La Torre, Salvatore; Murano, Aniello
 Source: Theoretical Computer Science Volume: 515 Pages: 46-63 Published: JAN 2 2014
 Times Cited: 1
 DOI: 10.1016/j.tcs.2013.08.021
added
11-Oct-15
6.  Title: Checking Interval Properties of Computations
 Author(s): Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; et al.
 Source: 2014 21st International Symposium on Temporal Representation and Reasoning (Time 2014) Pages: 59-68 Published: 2014
 Times Cited: 1
 DOI: 10.1109/TIME.2014.24
added
11-Oct-15
7.  Title: Preface to the special issue on GandALF 2012
 Author(s): Faella, Marco; Murano, Aniello
 Source: Theoretical Computer Science Volume: 560 Pages: 217-218 Published: DEC 4 2014
 Times Cited: 0
 DOI: 10.1016/j.tcs.2014.11.021
added
11-Oct-15
8.  Title: Reasoning About Strategies: On the Model-Checking Problem
 Author(s): Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; et al.
 Source: Acm Transactions on Computational Logic Volume: 15 Issue: 4 Published: NOV 2014
 Times Cited: 4
 DOI: 10.1145/2631917
added
11-Oct-15
9.  Title: Synthesis of hierarchical systems
 Author(s): Aminof, Benjamin; Mogavero, Fabio; Murano, Aniello
 Source: Science of Computer Programming Volume: 83 Pages: 56-79 Published: APR 1 2014
 Times Cited: 7
 DOI: 10.1016/j/scico.2013.07.001
added
11-Oct-15
10.  Title: On the boundary of behavioral strategies
 Author(s): Mogavero, F.; Murano, A.; Sauro, L.
 Source: Proceedings - Symposium on Logic in Computer Science Pages: 263-272 Published: 2013
 DOI: 10.1109/LICS.2013.32 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84883375866&partnerID=MN8TOAR ...
added
12-Sep-13
publication(s)  
First Page Previous Page Page   of  6  Go Next Page Last Page
  Sort by:    Results per page: