The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Agostino Cortesi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
    Automated Behavioural Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:189-200 [Conf]
  2. Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca
    Operational and Abstract Semantics of a Query Language for Semi-Structured Information. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:175-188 [Conf]
  3. Agostino Cortesi, Gilberto Filé
    Comparison and design of abstract domains for sharing analysis. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:251-266 [Conf]
  4. Agostino Cortesi, Gilberto Filé, William H. Winsborough
    The Quotient of an Abstract Interpretation for Comparing Static Analyses. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:372-387 [Conf]
  5. Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
    Automated Verification of Behavioural Properties of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1997, pp:225-238 [Conf]
  6. Agostino Cortesi, Francesco Logozzo
    Abstract Interpretation-Based Verification of Non-functional Requirements. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:49-62 [Conf]
  7. Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca
    Operational and Abstract Semantics of a Query Language for Semi-Structured Information. [Citation Graph (0, 0)][DBLP]
    DDLP, 1998, pp:127-140 [Conf]
  8. Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi
    Distinctness and Sharing Domains for Static Analysis of Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2001, pp:77-98 [Conf]
  9. Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
    Reexecution-Based Analysis of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:395-405 [Conf]
  10. Chiara Braghin, Agostino Cortesi, Riccardo Focardi
    Control Flow Analysis of Mobile Ambients with Security Boundaries. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:197-212 [Conf]
  11. Agostino Cortesi, Gilberto Filé, William H. Winsborough
    Comparison of Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:521-532 [Conf]
  12. Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel
    Boundary Inference for Enforcing Security Policies in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2002, pp:383-395 [Conf]
  13. Agostino Cortesi, Gilberto Filé, William H. Winsborough
    Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:322-327 [Conf]
  14. Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
    Specification-Based Automatic Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:38-57 [Conf]
  15. Agostino Cortesi, Gilberto Filé
    Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. [Citation Graph (0, 0)][DBLP]
    PEPM, 1991, pp:52-61 [Conf]
  16. Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
    Type Analysis of Prolog Using Type Graphs. [Citation Graph (0, 0)][DBLP]
    PLDI, 1994, pp:337-348 [Conf]
  17. Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
    Combinations of Abstract Domains for Logic Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:227-239 [Conf]
  18. Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
    Complementation in Abstract Interpretation [Citation Graph (0, 0)][DBLP]
    SAS, 1995, pp:100-117 [Conf]
  19. Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
    BANANA - A Tool for Boundary Ambients Nesting ANAlysis. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:437-441 [Conf]
  20. Francesco Logozzo, Agostino Cortesi
    Semantic Hierarchy Refactoring by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:313-331 [Conf]
  21. Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
    Complexity of Nesting Analysis in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:86-101 [Conf]
  22. Giuseppe Callegarin, Agostino Cortesi
    An Italian National Curriculum on ICT for Schools. [Citation Graph (0, 0)][DBLP]
    WCCE, 2001, pp:767-776 [Conf]
  23. Agostino Cortesi, Riccardo Focardi
    Computer languages and security. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2002, v:28, n:1, pp:1-2 [Journal]
  24. Chiara Braghin, Agostino Cortesi, Riccardo Focardi
    Security boundaries in mobile ambients. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2002, v:28, n:1, pp:101-127 [Journal]
  25. Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
    Nesting analysis of mobile ambients. [Citation Graph (0, 0)][DBLP]
    Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:207-230 [Journal]
  26. Chiara Braghin, Agostino Cortesi
    Flow-sensitive Leakage Analysis in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:5, pp:17-25 [Journal]
  27. Chiara Braghin, Agostino Cortesi, Riccardo Focardi
    Information Leakage Detection in Boundary Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:78, n:, pp:- [Journal]
  28. Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
    Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:319-337 [Journal]
  29. Agostino Cortesi, Riccardo Focardi
    Information Flow Security in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  30. Agostino Cortesi, Francesco Logozzo
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:1-2 [Journal]
  31. Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier
    Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
  32. Francesco Logozzo, Agostino Cortesi
    Abstract Interpretation and Object-oriented Programming: Quo Vadis? [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:75-84 [Journal]
  33. Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi
    Automated Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:39, n:1-3, pp:3-42 [Journal]
  34. Agostino Cortesi, Gilberto Filé
    Sharing is Optimal. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:38, n:3, pp:371-386 [Journal]
  35. Agostino Cortesi, Gilberto Filé, William H. Winsborough
    Optimal Groundness Analysis Using Propositional Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:27, n:2, pp:137-167 [Journal]
  36. Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
    Type Analysis of Prolog Using Type Graphs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:22, n:3, pp:179-209 [Journal]
  37. Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
    Evaluation of the Domain Prop. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:23, n:3, pp:237-278 [Journal]
  38. Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi
    Abstract Domains for Reordering CLP(RLin) Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:42, n:3, pp:217-256 [Journal]
  39. Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
    Combinations of abstract domains for logic programming: open product and generic pattern construction. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:38, n:1-3, pp:27-71 [Journal]
  40. Agostino Cortesi, Gilberto Filé
    Static Analysis. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:47, n:2-3, pp:89-90 [Journal]
  41. Lenore D. Zuck, Paul C. Attie, Agostino Cortesi
    Preface by the section editors. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:1, pp:1-3 [Journal]
  42. Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca
    Operational and abstract semantics of the query language G-Log. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:275, n:1-2, pp:521-560 [Journal]
  43. Agostino Cortesi, Gilberto Filé
    Graph Properties for Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:107, n:2, pp:277-303 [Journal]
  44. Agostino Cortesi, Gilberto Filé, William H. Winsborough
    The Quotient of an Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:202, n:1-2, pp:163-192 [Journal]
  45. Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
    Complementation in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:1, pp:7-47 [Journal]

  46. A calculus of challenges and responses. [Citation Graph (, )][DBLP]


  47. Causality-based Abstraction of Multiplicity in Security Protocols. [Citation Graph (, )][DBLP]


  48. Three-layered QoS for eGovernment web services. [Citation Graph (, )][DBLP]


  49. A Generic Distortion Free Watermarking Technique for Relational Databases. [Citation Graph (, )][DBLP]


  50. A Distortion Free Watermark Framework for Relational Databases. [Citation Graph (, )][DBLP]


  51. Non-repudiation Analysis with LySa. [Citation Graph (, )][DBLP]


  52. Widening Operators for Abstract Interpretation. [Citation Graph (, )][DBLP]


  53. An Ontology-based Inquiry Framework. [Citation Graph (, )][DBLP]


  54. Non-repudiation analysis using LySa with annotations. [Citation Graph (, )][DBLP]


Search in 0.031secs, Finished in 0.034secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002