Aniello Murano
Publications by Year
Research Areas
Formal Methods in Verification, Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Multi-Agent Systems and Negotiation, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Reasoning About Strategies(2014)189 cited
- → Protective effect of Coenzyme Q10 on anthracyclines cardiotoxicity: Control study in children with acute lymphoblastic leukemia and non-Hodgkin lymphoma(1994)112 cited
- → MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications(2014)74 cited
- → What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic(2012)69 cited
- → Reasoning About Strategies: On the Model-Checking Problem(2011)60 cited
- → Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications(2015)52 cited
- ENRICHED µ–CALCULI MODULE CHECKING ∗(2007)
- → Optimal-Reachability and Control for Acyclic Weighted Timed Automata(2002)43 cited
- THE COMPLEXITY OF ENRICHED µ-CALCULI(2006)
- → Dense real-time games(2003)42 cited