The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Viviana Bono: [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. Viviana Bono, Luigi Liquori
    A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. [Citation Graph (0, 0)][DBLP]
    CSL, 1994, pp:16-30 [Conf]
  4. Viviana Bono, Kathleen Fisher
    An Imperative, First-Order Calculus with Object Extension. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1998, pp:462-497 [Conf]
  5. Viviana Bono, Amit Patel, Vitaly Shmatikov
    A Core Calculus of Classes and Mixins. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1999, pp:43-66 [Conf]
  6. Viviana Bono, Michele Bugliesi
    Interpretations of Extensible Objects and Types. [Citation Graph (0, 0)][DBLP]
    FCT, 1999, pp:112-123 [Conf]
  7. 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]
  8. Viviana Bono
    Extensible Objects: A Tutorial. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:57-87 [Conf]
  9. Lorenzo Bettini, Viviana Bono, Silvia Likavec
    Safe Object Composition in the Presence of Subtyping. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2005, pp:128-142 [Conf]
  10. 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]
  11. Viviana Bono, Michele Bugliesi, Luigi Liquori
    A Lambda Calculus of Incomplete Objects. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:218-229 [Conf]
  12. Lorenzo Bettini, Viviana Bono, Silvia Likavec
    A core calculus of mixins and incomplete objects. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2004, pp:208-209 [Conf]
  13. Lorenzo Bettini, Viviana Bono, Silvia Likavec
    A core calculus of higher-order mixins and classes. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1508-1509 [Conf]
  14. Lorenzo Bettini, Viviana Bono, Silvia Likavec
    Safe and flexible objects. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:1258-1263 [Conf]
  15. Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
    Subtyping Constraints for Incomplete Objects (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:465-477 [Conf]
  16. Viviana Bono, Michele Bugliesi
    Matching Constraints for the Lambda Calculus of Objects. [Citation Graph (0, 0)][DBLP]
    TLCA, 1997, pp:46-62 [Conf]
  17. Lorenzo Bettini, Viviana Bono, Silvia Likavec
    A Core Calculus of Higher-Order Mixins and Classes. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:83-98 [Conf]
  18. Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn
    Type Inference for Nested Self Types. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:99-114 [Conf]
  19. 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]
  20. 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]
  21. Viviana Bono, Michele Bugliesi
    First Workshop on Object Oriented Developments. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
  22. Viviana Bono, Michele Bugliesi, Sophia Drossopoulou
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:2, pp:1-2 [Journal]
  23. 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]
  24. Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov
    A Core Calculus of Classes and Objects. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  25. Viviana Bono, Ivano Salvo
    A CuCh Interpretation of an Object-Oriented Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
  26. Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
    A Subtyping for Extensible, Incomplete Objects. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:38, n:4, pp:325-364 [Journal]
  27. Viviana Bono, Jerzy Tiuryn
    Products and Polymorphic Subtypes. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:51, n:1-2, pp:13-41 [Journal]
  28. Lorenzo Bettini, Viviana Bono, Silvia Likavec
    Safe and Flexible Objects with Subtyping. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:10, pp:5-29 [Journal]
  29. Viviana Bono, Michele Bugliesi
    Matching for the lambda Calculus of Objects. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:212, n:1-2, pp:101-140 [Journal]
  30. Viviana Bono, Michele Bugliesi, Silvia Crafa
    Typed interpretations of extensible objects. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2002, v:3, n:4, pp:562-603 [Journal]
  31. Viviana Bono, Jaroslaw D. M. Kusmierek
    FJMIP: A Calculus for a Modular Object Initialization. [Citation Graph (0, 0)][DBLP]
    FCT, 2007, pp:100-112 [Conf]

  32. On Traits and Types in a Java-like Setting. [Citation Graph (, )][DBLP]


  33. I-Java: An Extension of Java with Incomplete Objects and Object Composition. [Citation Graph (, )][DBLP]


  34. Delta-Oriented Programming of Software Product Lines. [Citation Graph (, )][DBLP]


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


  36. Type safe dynamic object delegation in class-based languages. [Citation Graph (, )][DBLP]


  37. A trait based re-engineering technique for Java hierarchies. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
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