Остановите войну!
for scientists:
default search action
Gilberto Filé
- > Home > Persons > Gilberto Filé
Publications
- 2004
- [c30]Livio Colussi, Gilberto Filé, A. Griggio:
Precise Analysis of π-Calculus in Cubic Time. IFIP TCS 2004: 317-331 - 2003
- [j18]Agostino Cortesi, Gilberto Filé:
Static Analysis. Sci. Comput. Program. 47(2-3): 89-90 (2003) - 1999
- [j17]Agostino Cortesi, Gilberto Filé:
Sharing is Optimal. J. Log. Program. 38(3): 371-386 (1999) - [j16]Gilberto Filé, Francesco Ranzato:
The Powerset Operator on Abstract Interpretations. Theor. Comput. Sci. 222(1-2): 77-111 (1999) - [e2]Agostino Cortesi, Gilberto Filé:
Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings. Lecture Notes in Computer Science 1694, Springer 1999, ISBN 3-540-66459-9 [contents] - 1998
- [j15]Agostino Cortesi, Gilberto Filé, William H. Winsborough:
The Quotient of an Abstract Interpretation. Theor. Comput. Sci. 202(1-2): 163-192 (1998) - 1997
- [j14]Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato:
Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997) - [c27]Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori:
Verification, Model Checking and Abstract Interpretation (Workshop Overview). ILPS 1997: 421-422 - 1996
- [j13]Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato:
A Unifying View of Abstract Domain Design. ACM Comput. Surv. 28(2): 333-336 (1996) - [j12]Agostino Cortesi, Gilberto Filé, William H. Winsborough:
Optimal Groundness Analysis Using Propositional Logic. J. Log. Program. 27(2): 137-167 (1996) - [j11]Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe:
On the Design of a Correct Freeness Analysis for Logic Programs. J. Log. Program. 28(3): 181-206 (1996) - [c26]Gilberto Filé, Francesco Ranzato:
Complementation of Abstract Domains made Easy. JICSLP 1996: 348-362 - 1995
- [c25]Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco:
Semmantic Properties of CHIP (FD). Constraint Processing, Selected Papers 1995: 225-245 - [c24]Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato:
Complementation in Abstract Interpretation. SAS 1995: 100-117 - 1994
- [c23]Gilberto Filé, Francesco Ranzato:
Improving Abstract Interpretations by Systematic Lifting to the Powerset. GULP-PRODE (1) 1994: 357-371 - [c22]Agostino Cortesi, Gilberto Filé, William H. Winsborough:
The Quotient of an Abstract Interpretation for Comparing Static Analyses. GULP-PRODE (1) 1994: 372-387 - [c21]Gilberto Filé, Francesco Ranzato:
Improving Abstract Interpretations by Systematic Lifting to the Powerset. ILPS 1994: 655-669 - 1993
- [j10]Agostino Cortesi, Gilberto Filé:
Graph Properties for Normal Logic Programs. Theor. Comput. Sci. 107(2): 277-303 (1993) - [c20]Agostino Cortesi, Gilberto Filé:
Comparison and design of abstract domains for sharing analysis. GULP 1993: 251-266 - [c19]Gilberto Filé, Sabina Rossi:
Static Analysis of Prolog with Cut. GULP 1993: 325-340 - [c18]Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco:
An Operational Semantics for CHIP. GULP 1993: 633-648 - [c17]Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe:
Freeness Analysis for Logic Programs - And Correctness? ICLP 1993: 116-131 - [c16]Gilberto Filé, Sabina Rossi:
Static Analysis of Prolog with Cut. LPAR 1993: 134-145 - [e1]Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy:
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Lecture Notes in Computer Science 724, Springer 1993, ISBN 3-540-57264-3 [contents] - 1992
- [c15]Agostino Cortesi, Gilberto Filé, William H. Winsborough:
Comparison of Abstract Interpretations. ICALP 1992: 521-532 - [c14]Philippe Codognet, Gilberto Filé:
Computations, abstractions and constraints in logic programs. ICCL 1992: 155-164 - 1991
- [c13]Agostino Cortesi, Gilberto Filé, William H. Winsborough:
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis. LICS 1991: 322-327 - [c12]Agostino Cortesi, Gilberto Filé:
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. PEPM 1991: 52-61 - [c10]Philippe Codognet, Gilberto Filé:
Computations, Abstractions and Constraints (abstract). JTASPEFT/WSA 1991: 70-71 - 1988
- [c9]Christian Codognet, Philippe Codognet, Gilberto Filé:
Yet Another Intelligent Backtracking Method. ICLP/SLP 1988: 447-465 - [c8]Christian Codognet, Philippe Codognet, Gilberto Filé:
Yet another intelligent Backtracking method. SPLT 1988: 317-336 - 1986
- [c5]Christian Codognet, Philippe Codognet, Gilberto Filé:
A Very Intelligent Backtracking Method for Logic Programs. ESOP 1986: 315-326 - [c4]Christian Codognet, Philippe Codognet, Gilberto Filé:
Backtracking intelligent en programmation logique. SPLT 1986: 25-50
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint