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

Robust discrete synthesis against unspecified disturbances - Rupak Majumdar; Elaine Render; Paulo Tabuada (Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011, 2011)

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

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)

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

Polycyclic and Bicyclic Valence Automata - Elaine Render; Mark Kambites (Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers, 2008)