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

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

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

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

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

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

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