Concepedia
Statistics
Publications
14
Citations
413
H-Index
13
Active since
1981
Affiliations
University of Padua(Current)
University of Twente
Gilberto Filé is an author at University of Padua specializing in computer science, computing, and abstract semantics.
Publications per year
1981–2018
Complementation in abstract interpretation
Agostino Cortesi, Gilberto Filé, Francesco Ranzato et al. · ACM Transactions on Programming Languages and Systems · 1997 · 61 citations · Full text
Computing, Computer Science, Formal Methods +14
Optimal groundness analysis using propositional logic
Agostino Cortesi, Gilberto Filé, William H. Winsborough · The Journal of Logic Programming · 1996 · 52 citations
Computing, Computer Science, Formal Methods +12
Simple multi-visit attribute grammars
Joost Engelfriet, Gilberto Filé · Journal of Computer and System Sciences · 1982 · 50 citations · Full text
Language Studies, Computer Science, Syntax +8
The powerset operator on abstract interpretations
Gilberto Filé, Francesco Ranzato · Theoretical Computer Science · 1999 · 36 citations
Natural Sciences, Computer Science, Mathematics +11
Improving Abstract Interpretations by Systematic Lifting to the Powerset.
Gilberto Filé, Francesco Ranzato · Research Padua Archive (University of Padua) · 1994 · 33 citations · Full text
Computing, Computer Science, Formal Methods +11
1–5 of 14