Formal Properties of One-Visit and Multi-Pass Attribute Grammars. - Joost Engelfriet; Gilberto Filé (ICALP, 1980)

Passes, Sweeps and Visits. - Joost Engelfriet; Gilberto Filé (ICALP, 1981)

The Formal Power of One-Visit Attribute Grammars. - Joost Engelfriet; Gilberto Filé (Acta Informatica, 1981)

Passes and Paths of Attributive Grammars - Joost Engelfriet; Gilberto Filé (Inf. Control., 1981)

Simple Multi-Visit Attribute Grammars. - Joost Engelfriet; Gilberto Filé (J. Comput. Syst. Sci., 1982)

Interpretation and Reduction of Attribute Grammars. - Gilberto Filé (Acta Informatica, 1983)

Tree Automata and Logic Programs. - Gilberto Filé (STACS, 1985)

Classical and Incremental Evaluators for Attribute Grammars. - Gilberto Filé (CAAP, 1986)

A Very Intelligent Backtracking Method for Logic Programs. - Christian Codognet; Philippe Codognet; Gilberto Filé (ESOP, 1986)

Backtracking intelligent en programmation logique. - Christian Codognet; Philippe Codognet; Gilberto Filé (SPLT, 1986)

Machines for Attribute Grammars - Gilberto Filé (Inf. Control., 1986)

Classical and Incremental Attribute Evaluation by Means of Recursive Procedures. - Gilberto Filé (Theor. Comput. Sci., 1987)

Yet Another Intelligent Backtracking Method. - Christian Codognet; Philippe Codognet; Gilberto Filé (ICLP/SLP, 1988)

The Relation of Two Patterns with Comparable Languages. - Gilberto Filé (STACS, 1988)

A completeness result for SLDNF resoultion. - Stefano Baratella; Gilberto Filé (Bull. EATCS, 1988)

The Relation of Two Patterns With Comparable Languages Patterns. - Gilberto Filé (RAIRO Theor. Informatics Appl., 1989)

Passes, sweeps, and visits in attribute grammars. - Joost Engelfriet; Gilberto Filé (J. ACM, 1989)

Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis - Agostino Cortesi; Gilberto Filé; William H. Winsborough (LICS, 1991)

Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. - Agostino Cortesi; Gilberto Filé (PEPM, 1991)

Abstract Interpretation for Type Checking. - Gilberto Filé; P. Sottero (PLILP, 1991)

Computations, Abstractions and Constraints (abstract). - Philippe Codognet; Gilberto Filé (JTASPEFT/WSA, 1991)

Comparison of Abstract Interpretations. - Agostino Cortesi; Gilberto Filé; William H. Winsborough (ICALP, 1992)

Computations, abstractions and constraints in logic programs. - Philippe Codognet; Gilberto Filé (ICCL, 1992)

Comparison and design of abstract domains for sharing analysis. - Agostino Cortesi; Gilberto Filé (GULP, 1993)

An Operational Semantics for CHIP. - Gilberto Filé; Giuseppe Nardiello; Adriano Tirabosco (GULP, 1993)

Static Analysis of Prolog with Cut. - Gilberto Filé; Sabina Rossi (GULP, 1993)

Freeness Analysis for Logic Programs - And Correctness? - Michael Codish; Dennis Dams; Gilberto Filé; Maurice Bruynooghe (ICLP, 1993)

Graph Properties for Normal Logic Programs. - Agostino Cortesi; Gilberto Filé (Theor. Comput. Sci., 1993)

The Quotient of an Abstract Interpretation for Comparing Static Analyses. - Agostino Cortesi; Gilberto Filé; William H. Winsborough (GULP-PRODE (1), 1994)

Improving Abstract Interpretations by Systematic Lifting to the Powerset. - Gilberto Filé; Francesco Ranzato (GULP-PRODE (1), 1994)

Semmantic Properties of CHIP (FD). - Gilberto Filé; Giuseppe Nardiello; Adriano Tirabosco (Constraint Processing, Selected Papers, 1995)

Complementation of Abstract Domains made Easy. - Gilberto Filé; Francesco Ranzato (JICSLP, 1996)

A Unifying View of Abstract Domain Design. - Gilberto Filé; Roberto Giacobazzi; Francesco Ranzato (ACM Comput. Surv., 1996)

On the Design of a Correct Freeness Analysis for Logic Programs. - Michael Codish; Dennis Dams; Gilberto Filé; Maurice Bruynooghe (J. Log. Program., 1996)

Optimal Groundness Analysis Using Propositional Logic. - Agostino Cortesi; Gilberto Filé; William H. Winsborough (J. Log. Program., 1996)

Abstract Interpretation from Improving WAM Code. - Dante Baldan; Gilberto Filé (SAS, 1997)

Verification, Model Checking and Abstract Interpretation (Workshop Overview). - Annalisa Bossi; Dennis Dams; Gilberto Filé; Elena Marchiori (ILPS, 1997)

Complementation in Abstract Interpretation. - Agostino Cortesi; Gilberto Filé; Roberto Giacobazzi; Catuscia Palamidessi; Francesco Ranzato (ACM Trans. Program. Lang. Syst., 1997)

The Quotient of an Abstract Interpretation. - Agostino Cortesi; Gilberto Filé; William H. Winsborough (Theor. Comput. Sci., 1998)

A Simple and General Method for Integrating Abstract Interpretation in SICStus. - Dante Baldan; Nicola Civran; Gilberto Filé; Francesco Pulvirenti (PPDP, 1999)

Sharing is Optimal. - Agostino Cortesi; Gilberto Filé (J. Log. Program., 1999)

The Powerset Operator on Abstract Interpretations. - Gilberto Filé; Francesco Ranzato (Theor. Comput. Sci., 1999)

Static Analysis. - Agostino Cortesi; Gilberto Filé (Sci. Comput. Program., 2003)

Precise Analysis of π-Calculus in Cubic Time. - Livio Colussi; Gilberto Filé; A. Griggio (IFIP TCS, 2004)

Expressive Power of Definite Clauses for Verifying Authenticity. - Gilberto Filé; Roberto Vigo (CSF, 2009)

Whac-A-Mole: Smart node positioning in clone attack in wireless sensor networks. - Wafa Ben Jaballah; Mauro Conti; Gilberto Filé; Mohamed Mosbah 001; Akka Zemmari (Comput. Commun., 2018)