| 2006 |
|---|
| 5 | EE | Furio Honsell,
Marina Lenisa,
Rekha Redamalla:
Coalgebraic Description of Generalized Binary Methods.
Electr. Notes Theor. Comput. Sci. 135(3): 73-84 (2006) |
| 4 | EE | Luigi Liquori,
Furio Honsell,
Rekha Redamalla:
A Language for Verification and Manipulation of Web Documents: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 157(2): 67-78 (2006) |
| 2005 |
|---|
| 3 | | Luigi Liquori,
Furio Honsell,
Rekha Redamalla:
A Language for Verification and Manipulation of Web Documents.
WWV 2005: 127-137 |
| 2004 |
|---|
| 2 | EE | Furio Honsell,
Marina Lenisa,
Rekha Redamalla:
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language.
Electr. Notes Theor. Comput. Sci. 104: 163-180 (2004) |
| 2003 |
|---|
| 1 | EE | Furio Honsell,
Marina Lenisa,
Rekha Redamalla:
Strict Geometry of Interaction Graph Models.
LPAR 2003: 407-421 |
