Concepedia

Davide Ancona

DA

38

Publications

1.1K

Citations

19

H-Index

1998

Active since

Affiliations

University of Genoa(Current)

Imperial College London

University of Turin

Pontifícia Universidade Católica do Rio Grande do Sul

University of Geneva

Davide Ancona is an author at University of Genoa specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationSoftware AnalysisProgram AnalysisVerificationSoftware EngineeringSemantics

Publications per year

1998–2023

38

Publications

38

Rows per page

1–5 of 38