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

Search the dblp DataBase

Title:
Author:
Paola Giannini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca
    Type Inference: Some Results, Some Problems. [Citation Graph (1, 0)][DBLP]
    Fundam. Inform., 1993, v:19, n:1/2, pp:87-125 [Journal]
  2. Mario Coppo, Paola Giannini
    A Complete Type Inference Algorithm for Simple Intersection Types. [Citation Graph (0, 0)][DBLP]
    CAAP, 1992, pp:102-123 [Conf]
  3. Christopher Anderson, Paola Giannini, Sophia Drossopoulou
    Towards Type Inference for JavaScript. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2005, pp:428-452 [Conf]
  4. Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
    Fickle : Dynamic Object Re-classification. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2001, pp:130-149 [Conf]
  5. Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola
    On state classes and their dynamic semantics. [Citation Graph (0, 0)][DBLP]
    ICSOFT (1), 2006, pp:5-12 [Conf]
  6. Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
    An Effective Translation of Fickle into Java. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:215-234 [Conf]
  7. Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini
    Refined Effects for Unanticipated Object Re-classification: Fickle3. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:97-110 [Conf]
  8. Paola Giannini, Simona Ronchi Della Rocca
    Characterization of typings in polymorphic type discipline [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:61-70 [Conf]
  9. Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
    Re-classification and multi-threading: FickleMT. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1297-1304 [Conf]
  10. Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini
    Type-Based Useless-Code Elimination for Functional Programs. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:172-189 [Conf]
  11. Mario Coppo, Ferruccio Damiani, Paola Giannini
    Refinement Types for Program Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:143-158 [Conf]
  12. Mario Coppo, Ferruccio Damiani, Paola Giannini
    On Strictness and Totality. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:138-164 [Conf]
  13. Ferruccio Damiani, Paola Giannini
    A Decidable Intersection Type System based on Relevance. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:707-725 [Conf]
  14. Paola Giannini, Simona Ronchi Della Rocca
    Type Inference in Polymorphic Type Discipline. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:18-37 [Conf]
  15. Ferruccio Damiani, Paola Giannini
    An Inference Algorithm for Strictness. [Citation Graph (0, 0)][DBLP]
    TLCA, 1997, pp:129-146 [Conf]
  16. Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
    A type preserving translation of Fickle into Java. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  17. Christopher Anderson, Paola Giannini
    Type Checking for JavaScript. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:2, pp:37-58 [Journal]
  18. Viviana Bono, Ferruccio Damiani, Paola Giannini
    A Calculus for "Environment-Aware" Computation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:3, pp:- [Journal]
  19. Ferruccio Damiani, Paola Giannini
    Alias types for "environment-aware" computations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
  20. Mario Coppo, Paola Giannini
    Principal Types and Unification for a Simple Intersection Type System [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:122, n:1, pp:70-96 [Journal]
  21. Paola Giannini, Giuseppe Longo
    Effectively Given Domains and Lambda-Calculus Models [Citation Graph (0, 0)][DBLP]
    Information and Control, 1984, v:62, n:1, pp:36-63 [Journal]
  22. Paola Giannini, Simona Ronchi Della Rocca
    A Type Inference Algorithm for a Stratified Polymorphic Type Discipline [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:109, n:1/2, pp:115-173 [Journal]
  23. Ferruccio Damiani, Paola Giannini
    Automatic useless-code elimination for HOT functional programs. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2000, v:10, n:6, pp:509-559 [Journal]
  24. Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
    On Re-classification and Multi-threading. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:11, pp:5-30 [Journal]
  25. Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
    A filter model for mobile processes. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:1, pp:63-101 [Journal]
  26. Paola Giannini, Davide Sangiorgi, Andrea Valente
    Safe Ambients: Abstract machine and distributed implementation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:59, n:3, pp:209-249 [Journal]
  27. Mario Coppo, Ferruccio Damiani, Paola Giannini
    Strictness, totality, and non-standard-type inference. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:272, n:1-2, pp:69-112 [Journal]
  28. Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
    More dynamic object reclassification: Fickle|| [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2002, v:24, n:2, pp:153-191 [Journal]
  29. Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
    A provenly correct translation of Fickle into Java. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:2, pp:- [Journal]

  30. Intersection, Universally Quantified, and Reference Types. [Citation Graph (, )][DBLP]


  31. FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. [Citation Graph (, )][DBLP]


  32. A type safe state abstraction for coordination in Java -like languages. [Citation Graph (, )][DBLP]


  33. A Type System for Required/Excluded Elements in CLS [Citation Graph (, )][DBLP]


  34. A Type System for a Stochastic CLS [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.304secs
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