Concepedia

Davide Ancona

DA

Statistics

Publications

38

Citations

1.1K

H-Index

19

Active since

1998

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