Concepedia

Pasquale Rullo

PR

14

Publications

748

Citations

13

H-Index

1992

Active since

Affiliations

University of Calabria(Current)

University of Reggio Calabria

University of Milan

University of Vienna

Pasquale Rullo is an author at University of Calabria specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationSemanticsLogic ProgrammingData ScienceLanguageLinguistics

Publications per year

1992–2017

14

Publications

14

Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation

Nicola Leone, Pasquale Rullo, Francesco Scarcello · Information and Computation · 1997 · 195 citations

Engineering, Automated Reasoning, Answer Set Programming +5

Enhancing Disjunctive Datalog by constraints

Francesco Buccafurri, Nicola Leone, Pasquale Rullo · IEEE Transactions on Knowledge and Data Engineering · 2000 · 194 citations

Engineering, Semantics, Semantic Web +16

Fault detection and explanation through big data analysis on sensor streams

Giuseppe Manco, Ettore Ritacco, Pasquale Rullo et al. · Expert Systems with Applications · 2017 · 75 citations

Big Data Acquisition, Engineering, Fault Detection +10

A logical framework for reasoning on data access control policies

Elisa Bertino, Francesco Buccafurri, Elena Ferrari et al. · 2003 · 57 citations

Engineering, Information Security, Verification +23

COMPLEX: an object-oriented logic programming system

Sergio Greco, Nicola Leone, Pasquale Rullo · IEEE Transactions on Knowledge and Data Engineering · 1992 · 43 citations

Engineering, Object-oriented Modeling, Formal Verification +20

Rows per page

1–5 of 14