A theory of robust omega-regular software synthesis. - Majumdar, Rupak; Render, Elaine; Tabuada, Paulo (ACM Trans. Embed. Comput. Syst., 2013)

Robust discrete synthesis against unspecified disturbances. - Majumdar, Rupak; Render, Elaine; Tabuada, Paulo (2011)

A theory of robust software synthesis - Majumdar, Rupak; Render, Elaine; Tabuada, Paulo (CoRR, 2011)

Formal language properties of hybrid systems with strong resets. - Brihaye, Thomas; Bruyère, Véronique; Render, Elaine (RAIRO Theor. Informatics Appl., 2010)

Semigroup automata with rational initial and terminal sets. - Render, Elaine; Kambites, Mark (Theor. Comput. Sci., 2010)

Rational subsets of polycyclic monoids and valence automata. - Render, Elaine; Kambites, Mark (Inf. Comput., 2009)

Polycyclic and Bicyclic Valence Automata. - Render, Elaine; Kambites, Mark (2008)