default search action

combined dblp search
author search
venue search
publication search

ask others

Elaine Render

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2013
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/MajumdarRT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/MajumdarRT13
Rupak Majumdar, Elaine Render, Paulo Tabuada:
A theory of robust omega-regular software synthesis. ACM Trans. Embed. Comput. Syst. 13(3): 48:1-48:27 (2013)
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/MajumdarRT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/MajumdarRT11
Rupak Majumdar, Elaine Render, Paulo Tabuada:
Robust discrete synthesis against unspecified disturbances. HSCC 2011: 211-220
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1108-3540
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-3540
Rupak Majumdar, Elaine Render, Paulo Tabuada:
A theory of robust software synthesis. CoRR abs/1108.3540 (2011)
2010
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ita/BrihayeBR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/BrihayeBR10
Thomas Brihaye, Véronique Bruyère, Elaine Render:
Formal language properties of hybrid systems with strong resets. RAIRO Theor. Informatics Appl. 44(1): 79-111 (2010)
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/RenderK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/RenderK10
Elaine Render, Mark Kambites:
Semigroup automata with rational initial and terminal sets. Theor. Comput. Sci. 411(7-9): 1004-1012 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/RenderK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/RenderK09
Elaine Render, Mark Kambites:
Rational subsets of polycyclic monoids and valence automata. Inf. Comput. 207(11): 1329-1339 (2009)
2008
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/RenderK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/RenderK08
Elaine Render, Mark Kambites:
Polycyclic and Bicyclic Valence Automata. LATA 2008: 464-475

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.