Concepedia

Alessandro Provetti

AP

Statistics

Publications

18

Citations

1.3K

H-Index

15

Active since

1994

Affiliations

University of Messina(Current)

University of Milan

University of Oxford

University of L'Aquila

Indiana University Bloomington

Alessandro Provetti is an author at University of Messina specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationSemanticsNetwork ScienceNetwork AnalysisProgram AnalysisLogic Programming

Publications per year

1994–2022

18

Publications

18

Generalized Louvain method for community detection in large networks

Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara et al. · 2011 · 434 citations · Full text

Crawling Facebook for social network analysis purposes

Salvatore Catanese, Pasquale De Meo, Emilio Ferrara et al. · 2011 · 213 citations · Full text

Social Data Analysis, Engineering, Network Analysis +18

Mixing local and global information for community detection in large networks

Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara et al. · Journal of Computer and System Sciences · 2013 · 144 citations · Full text

Representing actions: Laws, observations and hypotheses

Chitta Baral, Michael Gelfond, Alessandro Provetti · The Journal of Logic Programming · 1997 · 119 citations

Cognitive Science, Action Pattern, Automated Reasoning +3

Enhancing community detection using a network weighting strategy

Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara et al. · Information Sciences · 2012 · 113 citations · Full text

Community Structure, Computational Social Science, Enhancing Community Detection +11

1–5 of 18