Concepedia

Aniello Murano

AM

55

Publications

1.6K

Citations

24

H-Index

1991

Active since

Affiliations

University of Naples Federico II(Current)

Imperial College London

Rice University

Sapienza University of Rome

Aniello Murano is an author at University of Naples Federico II specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationVerificationGame TheoryBusinessMechanism DesignSystems Engineering

Publications per year

1991–2021

55

Publications

55

Reasoning About Strategies

Fabio Mogavero, Aniello Murano, Giuseppe Perelli et al. · ACM Transactions on Computational Logic · 2014 · 189 citations

Engineering, Behavioral Decision Making, Game Theory +25

Protective effect of Coenzyme Q10 on anthracyclines cardiotoxicity: Control study in children with acute lymphoblastic leukemia and non-Hodgkin lymphoma

D Iarussi, Umberto Auricchio, A Agretto et al. · Molecular Aspects of Medicine · 1994 · 112 citations

Hematological Malignancy, Oncology, Coenzyme Q10 +8

Reasoning About Strategies: On the Model-Checking Problem

Fabio Mogavero, Aniello Murano, Giuseppe Perelli et al. · arXiv (Cornell University) · 2011 · 60 citations · Full text

Engineering, Game Theory, Verification +20

Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications

Petr Čermák, Alessio Lomuscio, Aniello Murano · Proceedings of the AAAI Conference on Artificial Intelligence · 2015 · 52 citations · Full text

Engineering, Verification, Computer-aided Verification +23

ENRICHED µ–CALCULI MODULE CHECKING ∗

Alessandro Ferrante, Aniello Murano, Mimmo Parente · 2007 · 46 citations

Rows per page

1–5 of 55