Rekha Redamalla

Publication Activity (10 Years)

Years Active: 2003-2012
Publications (10 Years): 0

Top Topics

Simulation Game

Monte Carlo Tree Search

Relational Algebra

Top Venues

RAIRO Theor. Informatics Appl.

Publications

Furio Honsell, Marina Lenisa, Rekha Redamalla
Equivalences and Congruences on Infinite Conway Games. RAIRO Theor. Informatics Appl. 46 (2) (2012)
Furio Honsell, Marina Lenisa, Rekha Redamalla
Categories of Coalgebraic Games. MFCS (2012)
Furio Honsell, Marina Lenisa, Rekha Redamalla
Coalgebraic description of generalised binary methods. Math. Struct. Comput. Sci. 17 (4) (2007)
Luigi Liquori, Furio Honsell, Rekha Redamalla
A Language for Verification and Manipulation of Web Documents: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Furio Honsell, Marina Lenisa, Rekha Redamalla
Coalgebraic Description of Generalized Binary Methods. Electron. Notes Theor. Comput. Sci. 135 (3) (2006)
Luigi Liquori, Furio Honsell, Rekha Redamalla
A Language for Verification and Manipulation of Web Documents. WWV (2005)
Furio Honsell, Marina Lenisa, Rekha Redamalla
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language. Electron. Notes Theor. Comput. Sci. 104 (2004)
Furio Honsell, Marina Lenisa, Rekha Redamalla
Strict Geometry of Interaction Graph Models. LPAR (2003)