| 2007 |
|---|
| 12 | EE | Sonia Fagorzi,
Elena Zucca:
A Calculus of Components with Dynamic Type-Checking.
Electr. Notes Theor. Comput. Sci. 182: 73-90 (2007) |
| 11 | EE | Sonia Fagorzi,
Elena Zucca:
A calculus of open modules: call-by-need strategy and confluence.
Mathematical Structures in Computer Science 17(4): 675-751 (2007) |
| 2006 |
|---|
| 10 | EE | Sonia Fagorzi,
Elena Zucca:
A Framework for Type Safe Exchange of Mobile Code.
TGC 2006: 319-338 |
| 9 | EE | Sonia Fagorzi,
Elena Zucca:
A Calculus for Reconfiguration: (Extended abstract).
Electr. Notes Theor. Comput. Sci. 135(3): 49-59 (2006) |
| 2005 |
|---|
| 8 | EE | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
Mixin Modules for Dynamic Rebinding.
TGC 2005: 279-298 |
| 7 | EE | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
A Calculus for Dynamic Reconfiguration with Low Priority Linking.
Electr. Notes Theor. Comput. Sci. 138(2): 3-35 (2005) |
| 2004 |
|---|
| 6 | | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
A Calculus with Lazy Module Operators.
IFIP TCS 2004: 423-436 |
| 5 | EE | Sonia Fagorzi,
Elena Zucca,
Davide Ancona:
Modeling multiple class loaders by a calculus for dynamic linking.
SAC 2004: 1281-1288 |
| 4 | EE | Sonia Fagorzi,
Elena Zucca:
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders.
Journal of Object Technology 3(11): 31-54 (2004) |
| 2003 |
|---|
| 3 | EE | Eugenio Moggi,
Sonia Fagorzi:
A Monadic Multi-stage Metalanguage.
FoSSaCS 2003: 358-374 |
| 2 | EE | Davide Ancona,
Sonia Fagorzi,
Eugenio Moggi,
Elena Zucca:
Mixin Modules and Computational Effects.
ICALP 2003: 224-238 |
| 1 | EE | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
A Calculus for Dynamic Linking.
ICTCS 2003: 284-301 |
