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

Search the dblp DataBase

Title:
Author:
Elena Zucca: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Davide Ancona, Elena Zucca
    An Algebraic Approach to Mixins and Modularity. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:179-193 [Conf]
  2. Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca
    An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1987, pp:91-116 [Conf]
  3. Davide Ancona, Elena Zucca
    A Formal Framework for Modules with State. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:148-162 [Conf]
  4. Elena Zucca
    Implementation of Data Structures in an Imperative Framework. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:483-498 [Conf]
  5. Davide Ancona, Giovanni Lagorio, Elena Zucca
    Jam - A Smooth Extension of Java with Mixins. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2000, pp:154-178 [Conf]
  6. Davide Ancona, Giovanni Lagorio, Elena Zucca
    A Formal Framework for Java Separate Compilation. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2002, pp:609-636 [Conf]
  7. Davide Ancona, Elena Zucca
    True Modules for Java-like Languages. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2001, pp:354-380 [Conf]
  8. Davide Ancona, Maura Cerioli, Elena Zucca
    A Formal Framework with Late Binding. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:30-44 [Conf]
  9. Egidio Astesiano, Elena Zucca
    A Semantic Model for Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    FMLDO, 1992, pp:63-83 [Conf]
  10. Ruth Breu, Elena Zucca
    An Algebraic Compositional Semantics of an Object Oriented Notation with Concurrency. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1989, pp:131-142 [Conf]
  11. Egidio Astesiano, Elena Zucca
    Semantics of Distributed Processes Derived by Translation. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:78-87 [Conf]
  12. Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca
    Mixin Modules and Computational Effects. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:224-238 [Conf]
  13. 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]
  14. Davide Ancona, Sonia Fagorzi, Elena Zucca
    A Calculus for Dynamic Linking. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:284-301 [Conf]
  15. Davide Ancona, Sonia Fagorzi, Elena Zucca
    A Calculus with Lazy Module Operators. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:423-436 [Conf]
  16. Davide Ancona, Giovanni Lagorio, Elena Zucca
    Flexible Type-Safe Linking of Components for Java-Like Languages. [Citation Graph (0, 0)][DBLP]
    JMLC, 2006, pp:136-154 [Conf]
  17. Egidio Astesiano, Gianna Reggio, Elena Zucca
    Stores as Homomorphisms and their Transformations. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:242-251 [Conf]
  18. Egidio Astesiano, Elena Zucca
    Semantics of CSP via Translation into CCS. [Citation Graph (0, 0)][DBLP]
    MFCS, 1981, pp:172-182 [Conf]
  19. Elena Zucca
    From Static to Dynamic Abstract Data-Types. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:579-590 [Conf]
  20. Davide Ancona, Giovanni Lagorio, Elena Zucca
    A Core Calculus for Java Exceptions. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2001, pp:16-30 [Conf]
  21. Davide Ancona, Elena Zucca
    Overriding Operators in a Mixin-Based Framework. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:47-61 [Conf]
  22. Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
    Polymorphic bytecode: compositional compilation for Java-like languages. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:26-37 [Conf]
  23. Davide Ancona, Elena Zucca
    Principal typings for Java-like languages. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:306-317 [Conf]
  24. Davide Ancona, Giovanni Lagorio, Elena Zucca
    True separate compilation of Java classes. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:189-200 [Conf]
  25. Davide Ancona, Elena Zucca
    A Primitive Calculus for Module Systems. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:62-79 [Conf]
  26. Sonia Fagorzi, Elena Zucca, Davide Ancona
    Modeling multiple class loaders by a calculus for dynamic linking. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1281-1288 [Conf]
  27. Giovanni Lagorio, Elena Zucca
    Introducing safe unknown types in Java-like languages. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1429-1434 [Conf]
  28. Davide Ancona, Sonia Fagorzi, Elena Zucca
    Mixin Modules for Dynamic Rebinding. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:279-298 [Conf]
  29. Davide Ancona, Maura Cerioli, Elena Zucca
    Extending Casl by Late Binding. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:53-72 [Conf]
  30. Davide Ancona, Elena Zucca
    An algebra of mixin modules. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:92-106 [Conf]
  31. Maura Cerioli, Elena Zucca
    Implementation of derived programs (almost) for free. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:141-155 [Conf]
  32. 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]
  33. Davide Ancona, Sonia Fagorzi, Elena Zucca
    A Calculus for Dynamic Reconfiguration with Low Priority Linking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:2, pp:3-35 [Journal]
  34. Sonia Fagorzi, Elena Zucca
    A Calculus for Reconfiguration: (Extended abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:49-59 [Journal]
  35. Philippe Audebaud, Elena Zucca
    Deriving Proof Rules from Continuation Semantics. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:4, pp:426-447 [Journal]
  36. Ruth Breu, Elena Zucca
    An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:6, pp:706-715 [Journal]
  37. Egidio Astesiano, Elena Zucca
    A Free Construction of Dynamic Terms. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1996, v:52, n:1, pp:143-156 [Journal]
  38. Davide Ancona, Elena Zucca
    A calculus of module systems. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:2, pp:91-132 [Journal]
  39. Sonia Fagorzi, Elena Zucca
    A Case-Study in Encoding Configuration Languages: Multiple Class Loaders. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:11, pp:31-54 [Journal]
  40. Davide Ancona, Elena Zucca
    A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:6, pp:701-737 [Journal]
  41. Davide Ancona, Elena Zucca
    A Theory of Mixin Modules: Basic and Derived Operators. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1998, v:8, n:4, pp:401-446 [Journal]
  42. Egidio Astesiano, Elena Zucca
    D-oids: A Model for Dynamic Data-Types. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:257-282 [Journal]
  43. Egidio Astesiano, Gianna Reggio, Elena Zucca
    Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:34, n:3, pp:163-190 [Journal]
  44. Egidio Astesiano, Elena Zucca
    Parametric Channels via Label Expressions in CCS. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:33, n:, pp:45-63 [Journal]
  45. Elena Zucca
    From Static to Dynamic Abstract Data-Types: An Institution Transformation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:109-157 [Journal]
  46. Davide Ancona, Giovanni Lagorio, Elena Zucca
    Jam - designing a Java extension with mixins. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2003, v:25, n:5, pp:641-712 [Journal]
  47. Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca
    Formal Techniques for Java-Like Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2006, pp:53-58 [Conf]
  48. Sonia Fagorzi, Elena Zucca
    A Calculus of Components with Dynamic Type-Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:182, n:, pp:73-90 [Journal]
  49. Giovanni Lagorio, Elena Zucca
    Just: Safe Unknown Types in Java-like Languages. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2007, v:6, n:2, pp:- [Journal]
  50. 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]

  51. Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. [Citation Graph (, )][DBLP]


  52. A formal framework for compositional compilation. [Citation Graph (, )][DBLP]


  53. Type inference for polymorphic methods in Java-like languages. [Citation Graph (, )][DBLP]


  54. A Framework for Type Safe Exchange of Mobile Code. [Citation Graph (, )][DBLP]


  55. Type Inference by Coinductive Logic Programming. [Citation Graph (, )][DBLP]


  56. A Parametric Calculus for Mobile Open Code. [Citation Graph (, )][DBLP]


  57. A Lightweight Approach to Customizable Composition Operators for Java-like Classes. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.458secs
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