34
Publications
947
Citations
18
H-Index
2002
Active since
Francesco Calimeri is an author at University of Calabria specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceAutomated ReasoningFormal MethodsAnswer Set ProgrammingLogic ProgrammingProgram AnalysisMedicineImage AnalysisSoftware Analysis
Publications per year
2002–2023
34
34
Declarative and Computational Properties of Logic Programs with Aggregates.
Francesco Calimeri, Wolfgang Faber, Nicola Leone et al. · 2005 · 40 citations · Full text
Rows per page
1–5 of 34