FILE', GILBERTO

FILE', GILBERTO  

Mostra records
Risultati 1 - 20 di 30 (tempo di esecuzione: 0.04 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Whac-A-Mole: Smart Node Positioning in Clone Attack in Wireless Sensor Networks 2018 Mauro ContiGilberto Filè + COMPUTER COMMUNICATIONS - -
Expressive Power of Definite Clauses for Verifying Authenticity 2009 FILE', GILBERTO + - - 22nd IEEE Computer Security Foundations Symposium
Precise Analysis of pi-Calculus in Cubic Time 2004 COLUSSI, LIVIOFILE', GILBERTO + - - Exploring New Frontiers of Theoretical Informatics
Sharing is Optimal 1999 FILE', GILBERTO + JOURNAL OF LOGIC PROGRAMMING - -
The Quotient of an Abstract Interpretation 1998 FILE', GILBERTO + THEORETICAL COMPUTER SCIENCE - -
Abstract interpretation for improving WAM code 1997 FILE', GILBERTO + - - Proc. of 4th SAS
A unifying view of abstract domain design 1996 FILE', GILBERTORANZATO, FRANCESCO + ACM COMPUTING SURVEYS - -
Complementation of abstract domains made easy 1996 FILE', GILBERTORANZATO, FRANCESCO - - Logic Programing, Proceedings of the 1996 Joint International Conference and Syposium on Logic Programming, Bonn, Germany
On the Design of a Correct Freeness Analysis for Logic Programs 1996 FILE', GILBERTO + JOURNAL OF LOGIC PROGRAMMING - -
Optimal Groundness Analysis Using Propositional Logic 1996 FILE', GILBERTO + JOURNAL OF LOGIC PROGRAMMING - -
Complementation in abstract interpretation 1995 FILE', GILBERTORANZATO, FRANCESCO + - LECTURE NOTES IN COMPUTER SCIENCE Static Analysis, Second International Symposium, SAS'95, Glasgow, UK
Semantic Properties of CHIP (FD) 1995 FILE', GILBERTO + - - Constraint processing, selected papers
Improving abstract interpretations by systematic lifting to the powerset 1994 FILE', GILBERTORANZATO, FRANCESCO - - Logic Programming, Proceedings of the 1994 International Symposium
Freeness Analysis for Logic Programs - And Correctness? 1993 FILE', GILBERTO + - - ICLP
Graph Properties for Normal Logic Programs 1993 FILE', GILBERTO + THEORETICAL COMPUTER SCIENCE - -
Comparison of Abstract Interpretations 1992 FILE', GILBERTO + - - ICALP 92
Computations, abstractions and constraints in logic programs 1992 FILE', GILBERTO + - - ICCL 92
Abstract Interpretation for Type Checking 1991 FILE', GILBERTO + - - Proceedings of PLILP
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis 1991 FILE', GILBERTO + - - PEPM
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis 1991 FILE', GILBERTO + - - Proc. of 6th LICS