The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Betti Venneri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lorenzo Bettini, Viviana Bono, Betti Venneri
    Coordinating Mobile Object-Oriented Code. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:56-71 [Conf]
  2. Lorenzo Bettini, Viviana Bono, Betti Venneri
    O'Klaim: A Coordination Language with Mobile Mixins. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:20-38 [Conf]
  3. Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
    The Klaim Project: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:88-150 [Conf]
  4. Lorenzo Bettini, Viviana Bono, Betti Venneri
    Subtyping-Inheritance Conflicts: The Mobile Mixin Case. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:451-464 [Conf]
  5. Lorenzo Bettini, Betti Venneri, Viviana Bono
    MOMI: a calculus for mobile mixins. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2005, v:42, n:2-3, pp:143-190 [Journal]
  6. Lorenzo Bettini, Viviana Bono, Betti Venneri
    Towards Object-Oriented Klaim. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  7. Lorenzo Bettini, Sara Capecchi, Betti Venneri
    Extending Java to dynamic object behaviors. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
  8. Lorenzo Bettini, Sara Capecchi, Betti Venneri
    Translating Double Dispatch into Single Dispatch. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:2, pp:59-78 [Journal]
  9. Beatrice Capitani, Michele Loreti, Betti Venneri
    Hyperformulae, Parallel Deductions and Intersection Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
  10. Betti Venneri
    Intersection Types as Logical Formulae. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:2, pp:109-124 [Journal]
  11. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri
    The ``Relevance'' of Intersection and Union Types. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1997, v:38, n:2, pp:246-269 [Journal]
  12. Mariangiola Dezani-Ciancaglini, Betti Venneri
    Partial Types and Intervals. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1990, v:19, n:4, pp:644-568 [Journal]
  13. Lorenzo Bettini, Sara Capecchi, Betti Venneri
    Double dispatch in C++. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2006, v:36, n:6, pp:581-613 [Journal]
  14. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri
    Types for access control. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:240, n:1, pp:215-254 [Journal]
  15. Simona Ronchi Della Rocca, Betti Venneri
    Principal Type Schemes for an Extended Type Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:151-169 [Journal]
  16. Lorenzo Bettini, Sara Capecchi, Betti Venneri
    Featherweight Java with multi-methods. [Citation Graph (0, 0)][DBLP]
    PPPJ, 2007, pp:83-92 [Conf]

  17. Session and Union Types for Object Oriented Programming. [Citation Graph (, )][DBLP]


  18. Object Incompleteness and Dynamic Composition in Java-Like Languages. [Citation Graph (, )][DBLP]


  19. A Safe Implementation of Dynamic Overloading in Java-Like Languages. [Citation Graph (, )][DBLP]


Search in 0.080secs, Finished in 0.081secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002