Aniello Murano

According to our database1, Aniello Murano
  • authored at least 112 papers between 2002 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Logic-based clustering approach for management and improvement of VANETs.
J. High Speed Networks, 2017

Preface to the Special Issue on SR 2014.
Inf. Comput., 2017

On the Complexity of ATL and ATL* Module Checking.
Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Reasoning about Strategies: on the Satisfiability Problem.
Logical Methods in Computer Science, 2017

Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking.
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Hierarchical Cost-Parity Games.
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Strategy logic with imperfect information.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Nash Equilibria in Concurrent Games with Lexicographic Preferences.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm.
Proceedings of the International Conference on Computational Science, 2017

EENET: Energy Efficient Detection of NETwork Changes Using a Wireless Sensor Network.
Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2017

Hiding Actions in Multi-Player Games.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Reasoning about Natural Strategic Ability.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Decidability Results for ATL* with Imperfect Information and Perfect Recall.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Verification of Multi-agent Systems with Imperfect Information and Public Actions.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016
Ordered multi-stack visibly pushdown automata.
Theor. Comput. Sci., 2016

Relentful strategic reasoning in alternating-time temporal logic.
J. Log. Comput., 2016

Checking Interval Properties of Computations.
CoRR, 2016

Cycle Detection in Computation Tree Logic.
Proceedings of the Seventh International Symposium on Games, 2016

Quantified CTL with imperfect information.
CoRR, 2016

Extended Graded Modalities in Strategy Logic.
Proceedings of the 4th International Workshop on Strategic Reasoning, 2016

Checking interval properties of computations.
Acta Inf., 2016

Solving Parity Games Using an Automata-Based Algorithm.
Proceedings of the Implementation and Application of Automata, 2016

A novel Split Bregman algorithm for MRI denoising task in an e-Health system.
Proceedings of the 9th ACM International Conference on PErvasive Technologies Related to Assistive Environments, 2016

Prompt Alternating-Time Epistemic Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Prompt Interval Temporal Logic.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Imperfect-Information Games and Generalized Planning.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Additional Winning Strategies in Two-Player Games.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

V2V-EN - Vehicle-2-Vehicle Elastic Network.
Proceedings of the 7th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2016)/The 6th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2016)/Affiliated Workshops, 2016

Hiding Actions in Concurrent Games.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

NWin: A Tool for Counting Winning Strategies (Demonstration).
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Concurrent Multi-Player Parity Games.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

M-DGPS: An Algorithm for the Post-Processing of Geodetic Tracks Based on Multiple DGPS.
Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

WiFACT - Wireless Fingerprinting Automated Continuous Training.
Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

A Logic-based Clustering Approach for Cooperative Traffic Control Systems.
Proceedings of the Advances on P2P, 2016

2015
Reasoning About Substructures and Games.
ACM Trans. Comput. Log., 2015

Special issue on SR 2013.
Inf. Comput., 2015

On Promptness in Parity Games.
Fundam. Inform., 2015

A Game-based Model for Human-robots Interaction.
Proceedings of the 16th Workshop "From Objects to Agents", 2015

On the Counting of Strategies.
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Verification of Asynchronous Mobile-Robots in Partially-Known Environments.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Multi-agent Path Planning in Known Dynamic Environments.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Module Checking for Uncertain Agents.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

On CTL* with Graded Path Modalities.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Pushdown Multi-Agent System Verification.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Games with additional winning strategies.
Proceedings of the 30th Italian Conference on Computational Logic, 2015

Module Checking of Strategic Ability.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Reasoning About Strategies: On the Model-Checking Problem.
ACM Trans. Comput. Log., 2014

Automata-theoretic decision of timed games.
Theor. Comput. Sci., 2014

Preface to the special issue on GandALF 2012.
Theor. Comput. Sci., 2014

Synthesis of hierarchical systems.
Sci. Comput. Program., 2014

MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications.
CoRR, 2014

Satisfiability and Model Checking of CTL* with Graded Path Modalities.
CoRR, 2014

Checking Interval Properties of Computations.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Solving Parity Games in Scala.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

A Behavioral Hierarchy of Strategy Logic.
Proceedings of the Computational Logic in Multi-Agent Systems, 2014

MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Strategy games: a renewed framework.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

On module checking and strategies.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013
Pushdown module checking with imperfect information.
Inf. Comput., 2013

On Promptness in Parity Games.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

On the Boundary of Behavioral Strategies.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Substructure Temporal Logic.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012
Graded computation tree logic.
ACM Trans. Comput. Log., 2012

Quantitatively fair scheduling.
Theor. Comput. Sci., 2012

Improved model checking of hierarchical systems.
Inf. Comput., 2012

A Decidable Fragment of Strategy Logic
CoRR, 2012

A social network framework for the Carolina software.
Proceedings of the 5th International Conference on PErvasive Technologies Related to Assistive Environments, 2012

Slide Test Maker An Educational Software Tool for Test Composition.
Proceedings of the Advances in Web-Based Learning - ICWL 2012, 2012

What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Reasoning About Strategies: On the Model-Checking Problem
CoRR, 2011

Exploring the boundary of half-positionality.
Ann. Math. Artif. Intell., 2011

Synthesis of Hierarchical Systems.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

A Sketch-Based System for Teaching Geometry.
Proceedings of the 17th International Conference on Distributed Multimedia Systems, 2011

The C@Rolin@ Software - A System for Monitoring Skills Development of Children with Down Syndrome.
Proceedings of the HEALTHINF 2011, 2011

2010
Pushdown module checking.
Formal Methods in System Design, 2010

Quantitative Fairness Games
Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

Improved Model Checking of Hierarchical Systems.
Proceedings of the Verification, 2010

Relentful Strategic Reasoning in Alternating-Time Temporal Logic.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Reasoning About Strategies.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Full Formative Assessment based on Educational Video Games.
Proceedings of the 16th International Conference on Distributed Multimedia Systems, 2010

Graded Computation Tree Logic with Binary Coding.
Proceedings of the Computer Science Logic, 24th International Workshop, 2010

Exploring the Boundary of Half Positionality.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2009
A technological infrastructure design for a pediatric oncology network.
Proceedings of the 2nd International Conference on Pervasive Technologies Related to Assistive Environments, 2009

Balanced Paths in Colored Graphs.
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

Graded Computation Tree Logic.
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

The "INNOVAMBIENTE" Project: An Interdisciplinary Approach Integrating Natural Science, Mathematics and Computer Science.
Proceedings of the 9th IEEE International Conference on Advanced Learning Technologies, 2009

Branching-Time Temporal Logics with Minimal Model Quantifiers.
Proceedings of the Developments in Language Theory, 13th International Conference, 2009

2008
Enriched µ-Calculi Module Checking.
Logical Methods in Computer Science, 2008

The Complexity of Enriched Mu-Calculi.
Logical Methods in Computer Science, 2008

The Complexity of Enriched Mu-Calculi
CoRR, 2008

Enriched MU-Calculi Module Checking
CoRR, 2008

Program Complexity in Hierarchical Module Checking.
Proceedings of the Logic for Programming, 2008

µ-calculus Pushdown Module Checking with Imperfect State Information.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007
Enriched µ-Calculus Pushdown Module Checking.
Proceedings of the Logic for Programming, 2007

Enriched µ-Calculi Module Checking.
Proceedings of the Foundations of Software Science and Computational Structures, 2007

2-Visibly Pushdown Automata.
Proceedings of the Developments in Language Theory, 11th International Conference, 2007

Pushdown Module Checking with Imperfect Information.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006
Typeness for omega-regular Automata.
Int. J. Found. Comput. Sci., 2006

The Complexity of Enriched µ-Calculi.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005
Weak Muller acceptance conditions for tree automata.
Theor. Comput. Sci., 2005

Pushdown Module Checking.
Proceedings of the Logic for Programming, 2005

2004
Model-checking the Secure Release of a Time-locked Secret over a Network.
Electr. Notes Theor. Comput. Sci., 2004

Reasoning About Co-Büchi Tree Automata.
Proceedings of the Theoretical Aspects of Computing, 2004

Typeness for omega-Regular Automata.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2002
Weak Muller Acceptance Conditions for Tree Automata.
Proceedings of the Verification, 2002

Automata-Theoretic Decision of Timed Games.
Proceedings of the Verification, 2002

Dense Real-Time Games.
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Optimal-Reachability and Control for Acyclic Weighted Timed Automata.
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002


  Loading...