Strict Geometry of Interaction Graph Models. - Furio Honsell; Marina Lenisa; Rekha Redamalla (LPAR, 2003)

Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language. - Furio Honsell; Marina Lenisa; Rekha Redamalla (COMETA, 2003)

A Language for Verification and Manipulation of Web Documents. - Luigi Liquori; Furio Honsell; Rekha Redamalla (WWV, 2005)

Coalgebraic Description of Generalized Binary Methods. - Furio Honsell; Marina Lenisa; Rekha Redamalla (DCM@ICALP, 2005)

A Language for Verification and Manipulation of Web Documents: (Extended Abstract). - Luigi Liquori; Furio Honsell; Rekha Redamalla (WWV, 2005)

Coalgebraic description of generalised binary methods. - Furio Honsell; Marina Lenisa; Rekha Redamalla (Math. Struct. Comput. Sci., 2007)

Categories of Coalgebraic Games. - Furio Honsell; Marina Lenisa; Rekha Redamalla (MFCS, 2012)

Equivalences and Congruences on Infinite Conway Games. - Furio Honsell; Marina Lenisa; Rekha Redamalla (RAIRO Theor. Informatics Appl., 2012)