Concepedia

Marco Faella

MF

Statistics

Publications

18

Citations

848

H-Index

14

Active since

2003

Affiliations

University of Naples Federico II(Current)

University of California, Santa Cruz

University of Twente

University of California, Los Angeles

Marco Faella is an author at University of Naples Federico II specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationSystems EngineeringArtsAutomationVerificationComputer Engineering

Publications per year

2003–2023

18

Publications

18

Assigning trust to Wikipedia content

B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro et al. · 2008 · 206 citations

Engineering, Trust Management Architecture, Communication +17

Model checking discounted temporal properties

Luca de Alfaro, Marco Faella, Thomas A. Henzinger et al. · Theoretical Computer Science · 2005 · 105 citations

Engineering, Automated Reasoning, Verification +7

Linear and Branching System Metrics

Luca de Alfaro, Marco Faella, Mariëlle Stoelinga · IEEE Transactions on Software Engineering · 2008 · 104 citations · Full text

Mathematical Programming, Trace Inclusion, Engineering +17

A new semantics for overriding in description logics

Piero A. Bonatti, Marco Faella, Iliana M. Petrova et al. · Artificial Intelligence · 2015 · 92 citations

Formal Semantics, Engineering, New Semantics +8

Defeasible Inclusions in Low-Complexity DLs

Piero A. Bonatti, Marco Faella, Luigi Sauro · arXiv (Cornell University) · 2014 · 66 citations · Full text

1–5 of 18