Elaine Render

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
A theory of robust omega-regular software synthesis.
ACM Trans. Embed. Comput. Syst., 2013

2011
A theory of robust software synthesis
CoRR, 2011

Robust discrete synthesis against unspecified disturbances.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010
Semigroup automata with rational initial and terminal sets.
Theor. Comput. Sci., 2010

Formal language properties of hybrid systems with strong resets.
RAIRO Theor. Informatics Appl., 2010

2009
Rational subsets of polycyclic monoids and valence automata.
Inf. Comput., 2009

2008
Polycyclic and Bicyclic Valence Automata.
Proceedings of the Language and Automata Theory and Applications, 2008


  Loading...