Elaine Render

According to our database, Elaine Render authored at least 7 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

A theory of robust omega-regular software synthesis.

Rupak Majumdar, Elaine Render, Paulo Tabuada

ACM Trans. Embed. Comput. Syst., 2013

2011

A theory of robust software synthesis

Rupak Majumdar, Elaine Render, Paulo Tabuada

CoRR, 2011

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, 2011

2010

Semigroup automata with rational initial and terminal sets.

Elaine Render, Mark Kambites

Theor. Comput. Sci., 2010

Formal language properties of hybrid systems with strong resets.

Thomas Brihaye, Véronique Bruyère, Elaine Render

RAIRO Theor. Informatics Appl., 2010

2009

Rational subsets of polycyclic monoids and valence automata.

Elaine Render, Mark Kambites

Inf. Comput., 2009

2008

Polycyclic and Bicyclic Valence Automata.

Elaine Render, Mark Kambites

Proceedings of the Language and Automata Theory and Applications, 2008