---
_id: '330'
abstract:
- lang: eng
  text: 'A procedure for the continuous production of Cu 2ZnSnS 4 (CZTS) nanoparticles
    with controlled composition is presented. CZTS nanoparticles were prepared through
    the reaction of the metals'' amino complexes with elemental sulfur in a continuous-flow
    reactor at moderate temperatures (300-330 °C). High-resolution transmission electron
    microscopy and X-ray diffraction analysis showed the nanocrystals to have a crystallographic
    structure compatible with that of the kesterite. Chemical characterization of
    the materials showed the presence of the four elements in each individual nanocrystal.
    Composition control was achieved by adjusting the solution flow rate through the
    reactor and the proper choice of the nominal precursor concentration within the
    flowing solution. Single-particle analysis revealed a composition distribution
    within each sample, which was optimized at the highest synthesis temperatures
    used. '
article_processing_charge: No
article_type: original
author:
- first_name: Alexey
  full_name: Shavel, Alexey
  last_name: Shavel
- first_name: Doris
  full_name: Cadavid, Doris
  last_name: Cadavid
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Alex
  full_name: Carrete, Alex
  last_name: Carrete
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: Shavel A, Cadavid D, Ibáñez M, Carrete A, Cabot A. Continuous production of
    Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. <i>Journal of the
    American Chemical Society</i>. 2012;134(3):1438-1441. doi:<a href="https://doi.org/10.1021/ja209688a">10.1021/ja209688a</a>
  apa: Shavel, A., Cadavid, D., Ibáñez, M., Carrete, A., &#38; Cabot, A. (2012). Continuous
    production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. <i>Journal
    of the American Chemical Society</i>. ACS. <a href="https://doi.org/10.1021/ja209688a">https://doi.org/10.1021/ja209688a</a>
  chicago: Shavel, Alexey, Doris Cadavid, Maria Ibáñez, Alex Carrete, and Andreu Cabot.
    “Continuous Production of Cu Inf 2 Inf ZnSnS Inf 4 Inf Nanocrystals in a Flow
    Reactor.” <i>Journal of the American Chemical Society</i>. ACS, 2012. <a href="https://doi.org/10.1021/ja209688a">https://doi.org/10.1021/ja209688a</a>.
  ieee: A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, and A. Cabot, “Continuous production
    of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor,” <i>Journal of
    the American Chemical Society</i>, vol. 134, no. 3. ACS, pp. 1438–1441, 2012.
  ista: Shavel A, Cadavid D, Ibáñez M, Carrete A, Cabot A. 2012. Continuous production
    of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. Journal of the
    American Chemical Society. 134(3), 1438–1441.
  mla: Shavel, Alexey, et al. “Continuous Production of Cu Inf 2 Inf ZnSnS Inf 4 Inf
    Nanocrystals in a Flow Reactor.” <i>Journal of the American Chemical Society</i>,
    vol. 134, no. 3, ACS, 2012, pp. 1438–41, doi:<a href="https://doi.org/10.1021/ja209688a">10.1021/ja209688a</a>.
  short: A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, A. Cabot, Journal of the American
    Chemical Society 134 (2012) 1438–1441.
date_created: 2018-12-11T11:45:51Z
date_published: 2012-01-02T00:00:00Z
date_updated: 2021-01-12T07:42:29Z
day: '02'
doi: 10.1021/ja209688a
extern: '1'
intvolume: '       134'
issue: '3'
language:
- iso: eng
month: '01'
oa_version: None
page: 1438 - 1441
publication: Journal of the American Chemical Society
publication_status: published
publisher: ACS
publist_id: '7531'
quality_controlled: '1'
status: public
title: Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow
  reactor
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 134
year: '2012'
...
---
_id: '3310'
abstract:
- lang: eng
  text: The theory of persistent homology opens up the possibility to reason about
    topological features of a space or a function quantitatively and in combinatorial
    terms. We refer to this new angle at a classical subject within algebraic topology
    as a point calculus, which we present for the family of interlevel sets of a real-valued
    function. Our account of the subject is expository, devoid of proofs, and written
    for non-experts in algebraic topology.
acknowledgement: Research by the third author is partially supported by the National
  Science Foundation (NSF) under grant DBI-0820624.
author:
- first_name: Paul
  full_name: Bendich, Paul
  id: 43F6EC54-F248-11E8-B48F-1D18A9856A87
  last_name: Bendich
- first_name: Sergio
  full_name: Cabello, Sergio
  last_name: Cabello
- first_name: Herbert
  full_name: Edelsbrunner, Herbert
  id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
  last_name: Edelsbrunner
  orcid: 0000-0002-9823-6833
citation:
  ama: Bendich P, Cabello S, Edelsbrunner H. A point calculus for interlevel set homology.
    <i>Pattern Recognition Letters</i>. 2012;33(11):1436-1444. doi:<a href="https://doi.org/10.1016/j.patrec.2011.10.007">10.1016/j.patrec.2011.10.007</a>
  apa: Bendich, P., Cabello, S., &#38; Edelsbrunner, H. (2012). A point calculus for
    interlevel set homology. <i>Pattern Recognition Letters</i>. Elsevier. <a href="https://doi.org/10.1016/j.patrec.2011.10.007">https://doi.org/10.1016/j.patrec.2011.10.007</a>
  chicago: Bendich, Paul, Sergio Cabello, and Herbert Edelsbrunner. “A Point Calculus
    for Interlevel Set Homology.” <i>Pattern Recognition Letters</i>. Elsevier, 2012.
    <a href="https://doi.org/10.1016/j.patrec.2011.10.007">https://doi.org/10.1016/j.patrec.2011.10.007</a>.
  ieee: P. Bendich, S. Cabello, and H. Edelsbrunner, “A point calculus for interlevel
    set homology,” <i>Pattern Recognition Letters</i>, vol. 33, no. 11. Elsevier,
    pp. 1436–1444, 2012.
  ista: Bendich P, Cabello S, Edelsbrunner H. 2012. A point calculus for interlevel
    set homology. Pattern Recognition Letters. 33(11), 1436–1444.
  mla: Bendich, Paul, et al. “A Point Calculus for Interlevel Set Homology.” <i>Pattern
    Recognition Letters</i>, vol. 33, no. 11, Elsevier, 2012, pp. 1436–44, doi:<a
    href="https://doi.org/10.1016/j.patrec.2011.10.007">10.1016/j.patrec.2011.10.007</a>.
  short: P. Bendich, S. Cabello, H. Edelsbrunner, Pattern Recognition Letters 33 (2012)
    1436–1444.
date_created: 2018-12-11T12:02:36Z
date_published: 2012-08-01T00:00:00Z
date_updated: 2021-01-12T07:42:34Z
day: '01'
ddc:
- '000'
department:
- _id: HeEd
doi: 10.1016/j.patrec.2011.10.007
file:
- access_level: open_access
  checksum: d65f79775b51258a604ca5ec741297cc
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:15:00Z
  date_updated: 2020-07-14T12:46:06Z
  file_id: '5116'
  file_name: IST-2016-542-v1+1_2012-J-01-Poinculus.pdf
  file_size: 280280
  relation: main_file
file_date_updated: 2020-07-14T12:46:06Z
has_accepted_license: '1'
intvolume: '        33'
issue: '11'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
page: 1436 - 1444
publication: Pattern Recognition Letters
publication_status: published
publisher: Elsevier
publist_id: '3330'
pubrep_id: '542'
quality_controlled: '1'
scopus_import: 1
status: public
title: A point calculus for interlevel set homology
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2012'
...
---
_id: '3314'
abstract:
- lang: eng
  text: We introduce two-level discounted and mean-payoff games played by two players
    on a perfect-information stochastic game graph. The upper level game is a discounted
    or mean-payoff game and the lower level game is a (undiscounted) reachability
    game. Two-level games model hierarchical and sequential decision making under
    uncertainty across different time scales. For both discounted and mean-payoff
    two-level games, we show the existence of pure memoryless optimal strategies for
    both players and an ordered field property. We show that if there is only one
    player (Markov decision processes), then the values can be computed in polynomial
    time. It follows that whether the value of a player is equal to a given rational
    constant in two-level discounted or mean-payoff games can be decided in NP ∩ coNP.
    We also give an alternate strategy improvement algorithm to compute the value.
    © 2012 World Scientific Publishing Company.
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Ritankar
  full_name: Majumdar, Ritankar
  last_name: Majumdar
citation:
  ama: Chatterjee K, Majumdar R. Discounting and averaging in games across time scales.
    <i>International Journal of Foundations of Computer Science</i>. 2012;23(3):609-625.
    doi:<a href="https://doi.org/10.1142/S0129054112400308">10.1142/S0129054112400308</a>
  apa: Chatterjee, K., &#38; Majumdar, R. (2012). Discounting and averaging in games
    across time scales. <i>International Journal of Foundations of Computer Science</i>.
    World Scientific Publishing. <a href="https://doi.org/10.1142/S0129054112400308">https://doi.org/10.1142/S0129054112400308</a>
  chicago: Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting and Averaging
    in Games across Time Scales.” <i>International Journal of Foundations of Computer
    Science</i>. World Scientific Publishing, 2012. <a href="https://doi.org/10.1142/S0129054112400308">https://doi.org/10.1142/S0129054112400308</a>.
  ieee: K. Chatterjee and R. Majumdar, “Discounting and averaging in games across
    time scales,” <i>International Journal of Foundations of Computer Science</i>,
    vol. 23, no. 3. World Scientific Publishing, pp. 609–625, 2012.
  ista: Chatterjee K, Majumdar R. 2012. Discounting and averaging in games across
    time scales. International Journal of Foundations of Computer Science. 23(3),
    609–625.
  mla: Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting and Averaging in
    Games across Time Scales.” <i>International Journal of Foundations of Computer
    Science</i>, vol. 23, no. 3, World Scientific Publishing, 2012, pp. 609–25, doi:<a
    href="https://doi.org/10.1142/S0129054112400308">10.1142/S0129054112400308</a>.
  short: K. Chatterjee, R. Majumdar, International Journal of Foundations of Computer
    Science 23 (2012) 609–625.
date_created: 2018-12-11T12:02:37Z
date_published: 2012-04-01T00:00:00Z
date_updated: 2021-01-12T07:42:35Z
day: '01'
department:
- _id: KrCh
doi: 10.1142/S0129054112400308
intvolume: '        23'
issue: '3'
language:
- iso: eng
month: '04'
oa_version: None
page: 609 - 625
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 2587B514-B435-11E9-9278-68D0E5697425
  name: Microsoft Research Faculty Fellowship
publication: International Journal of Foundations of Computer Science
publication_status: published
publisher: World Scientific Publishing
publist_id: '3326'
quality_controlled: '1'
scopus_import: 1
status: public
title: Discounting and averaging in games across time scales
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 23
year: '2012'
...
---
_id: '3317'
abstract:
- lang: eng
  text: The physical distance between presynaptic Ca2+ channels and the Ca2+ sensors
    that trigger exocytosis of neurotransmitter-containing vesicles is a key determinant
    of the signalling properties of synapses in the nervous system. Recent functional
    analysis indicates that in some fast central synapses, transmitter release is
    triggered by a small number of Ca2+ channels that are coupled to Ca2+ sensors
    at the nanometre scale. Molecular analysis suggests that this tight coupling is
    generated by protein–protein interactions involving Ca2+ channels, Ca2+ sensors
    and various other synaptic proteins. Nanodomain coupling has several functional
    advantages, as it increases the efficacy, speed and energy efficiency of synaptic
    transmission.
acknowledgement: "Work of the authors was funded by grants of the Deutsche Forschungsgemeinschaft
  to P.J. (grants SFB 780/A5, TR 3/B10 and the Leibniz programme), a European Research
  Council Advanced grant to P.J. and a Swiss National Foundation fellowship to E.E.\r\nWe
  thank D. Tsien and E. Neher for their comments on this Review, J. Guzmán and A.
  Pernía-Andrade for reading earlier versions and E. Kramberger for perfect editorial
  support. We apologize that owing to space constraints, not all relevant papers could
  be cited.\r\n"
author:
- first_name: Emmanuel
  full_name: Eggermann, Emmanuel
  id: 34DACA34-E9AE-11E9-849C-D35BD8ADC20C
  last_name: Eggermann
- first_name: Iancu
  full_name: Bucurenciu, Iancu
  id: 4BD1D872-E9AE-11E9-9EE9-8BF4597A9E2A
  last_name: Bucurenciu
- first_name: Sarit
  full_name: Goswami, Sarit
  id: 3A578F32-F248-11E8-B48F-1D18A9856A87
  last_name: Goswami
- first_name: Peter M
  full_name: Jonas, Peter M
  id: 353C1B58-F248-11E8-B48F-1D18A9856A87
  last_name: Jonas
  orcid: 0000-0001-5001-4804
citation:
  ama: Eggermann E, Bucurenciu I, Goswami S, Jonas PM. Nanodomain coupling between
    Ca(2+) channels and sensors of exocytosis at fast mammalian synapses. <i>Nature
    Reviews Neuroscience</i>. 2012;13(1):7-21. doi:<a href="https://doi.org/10.1038/nrn3125">10.1038/nrn3125</a>
  apa: Eggermann, E., Bucurenciu, I., Goswami, S., &#38; Jonas, P. M. (2012). Nanodomain
    coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses.
    <i>Nature Reviews Neuroscience</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/nrn3125">https://doi.org/10.1038/nrn3125</a>
  chicago: Eggermann, Emmanuel, Iancu Bucurenciu, Sarit Goswami, and Peter M Jonas.
    “Nanodomain Coupling between Ca(2+) Channels and Sensors of Exocytosis at Fast
    Mammalian Synapses.” <i>Nature Reviews Neuroscience</i>. Nature Publishing Group,
    2012. <a href="https://doi.org/10.1038/nrn3125">https://doi.org/10.1038/nrn3125</a>.
  ieee: E. Eggermann, I. Bucurenciu, S. Goswami, and P. M. Jonas, “Nanodomain coupling
    between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses,”
    <i>Nature Reviews Neuroscience</i>, vol. 13, no. 1. Nature Publishing Group, pp.
    7–21, 2012.
  ista: Eggermann E, Bucurenciu I, Goswami S, Jonas PM. 2012. Nanodomain coupling
    between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses.
    Nature Reviews Neuroscience. 13(1), 7–21.
  mla: Eggermann, Emmanuel, et al. “Nanodomain Coupling between Ca(2+) Channels and
    Sensors of Exocytosis at Fast Mammalian Synapses.” <i>Nature Reviews Neuroscience</i>,
    vol. 13, no. 1, Nature Publishing Group, 2012, pp. 7–21, doi:<a href="https://doi.org/10.1038/nrn3125">10.1038/nrn3125</a>.
  short: E. Eggermann, I. Bucurenciu, S. Goswami, P.M. Jonas, Nature Reviews Neuroscience
    13 (2012) 7–21.
date_created: 2018-12-11T12:02:38Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2021-01-12T07:42:36Z
day: '01'
ddc:
- '570'
department:
- _id: PeJo
doi: 10.1038/nrn3125
file:
- access_level: open_access
  checksum: 4c1c86b2f6e4e1562f5bb800b457ea9f
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:12:13Z
  date_updated: 2020-07-14T12:46:07Z
  file_id: '4931'
  file_name: IST-2017-820-v1+1_17463_3_art_file_109404_ltmxbw.pdf
  file_size: 314246
  relation: main_file
- access_level: open_access
  checksum: bceb2efdd49d115f4dde8486bc1be3f2
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:12:14Z
  date_updated: 2020-07-14T12:46:07Z
  file_id: '4932'
  file_name: IST-2017-820-v1+2_17463_3_figure_109402_ltmwlp.pdf
  file_size: 1840216
  relation: main_file
file_date_updated: 2020-07-14T12:46:07Z
has_accepted_license: '1'
intvolume: '        13'
issue: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 7 - 21
project:
- _id: 25BC64A8-B435-11E9-9278-68D0E5697425
  grant_number: JO_780/A5
  name: Synaptic Mechanisms of Neuronal Network Function
- _id: 25BDE9A4-B435-11E9-9278-68D0E5697425
  grant_number: SFB-TR3-TP10B
  name: Glutamaterge synaptische Übertragung und Plastizität in hippocampalen Mikroschaltkreisen
publication: Nature Reviews Neuroscience
publication_status: published
publisher: Nature Publishing Group
publist_id: '3322'
pubrep_id: '820'
quality_controlled: '1'
scopus_import: 1
status: public
title: Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast
  mammalian synapses
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 13
year: '2012'
...
---
_id: '3331'
abstract:
- lang: eng
  text: Computing the topology of an algebraic plane curve C means computing a combinatorial
    graph that is isotopic to C and thus represents its topology in R2. We prove that,
    for a polynomial of degree n with integer coefficients bounded by 2ρ, the topology
    of the induced curve can be computed with  bit operations ( indicates that we
    omit logarithmic factors). Our analysis improves the previous best known complexity
    bounds by a factor of n2. The improvement is based on new techniques to compute
    and refine isolating intervals for the real roots of polynomials, and on the consequent
    amortized analysis of the critical fibers of the algebraic curve.
author:
- first_name: Michael
  full_name: Kerber, Michael
  id: 36E4574A-F248-11E8-B48F-1D18A9856A87
  last_name: Kerber
  orcid: 0000-0002-8030-9299
- first_name: Michael
  full_name: Sagraloff, Michael
  last_name: Sagraloff
citation:
  ama: Kerber M, Sagraloff M. A worst case bound for topology computation of algebraic
    curves. <i> Journal of Symbolic Computation</i>. 2012;47(3):239-258. doi:<a href="https://doi.org/10.1016/j.jsc.2011.11.001">10.1016/j.jsc.2011.11.001</a>
  apa: Kerber, M., &#38; Sagraloff, M. (2012). A worst case bound for topology computation
    of algebraic curves. <i> Journal of Symbolic Computation</i>. Elsevier. <a href="https://doi.org/10.1016/j.jsc.2011.11.001">https://doi.org/10.1016/j.jsc.2011.11.001</a>
  chicago: Kerber, Michael, and Michael Sagraloff. “A Worst Case Bound for Topology
    Computation of Algebraic Curves.” <i> Journal of Symbolic Computation</i>. Elsevier,
    2012. <a href="https://doi.org/10.1016/j.jsc.2011.11.001">https://doi.org/10.1016/j.jsc.2011.11.001</a>.
  ieee: M. Kerber and M. Sagraloff, “A worst case bound for topology computation of
    algebraic curves,” <i> Journal of Symbolic Computation</i>, vol. 47, no. 3. Elsevier,
    pp. 239–258, 2012.
  ista: Kerber M, Sagraloff M. 2012. A worst case bound for topology computation of
    algebraic curves.  Journal of Symbolic Computation. 47(3), 239–258.
  mla: Kerber, Michael, and Michael Sagraloff. “A Worst Case Bound for Topology Computation
    of Algebraic Curves.” <i> Journal of Symbolic Computation</i>, vol. 47, no. 3,
    Elsevier, 2012, pp. 239–58, doi:<a href="https://doi.org/10.1016/j.jsc.2011.11.001">10.1016/j.jsc.2011.11.001</a>.
  short: M. Kerber, M. Sagraloff,  Journal of Symbolic Computation 47 (2012) 239–258.
date_created: 2018-12-11T12:02:43Z
date_published: 2012-03-01T00:00:00Z
date_updated: 2021-01-12T07:42:43Z
day: '01'
department:
- _id: HeEd
doi: 10.1016/j.jsc.2011.11.001
intvolume: '        47'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1104.1510
month: '03'
oa: 1
oa_version: Preprint
page: 239 - 258
publication: ' Journal of Symbolic Computation'
publication_status: published
publisher: Elsevier
publist_id: '3303'
quality_controlled: '1'
scopus_import: 1
status: public
title: A worst case bound for topology computation of algebraic curves
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 47
year: '2012'
...
---
_id: '3341'
abstract:
- lang: eng
  text: 'We consider two-player stochastic games played on a finite state space for
    an infinite number of rounds. The games are concurrent: in each round, the two
    players (player 1 and player 2) choose their moves independently and simultaneously;
    the current state and the two moves determine a probability distribution over
    the successor states. We also consider the important special case of turn-based
    stochastic games where players make moves in turns, rather than concurrently.
    We study concurrent games with \omega-regular winning conditions specified as
    parity objectives. The value for player 1 for a parity objective is the maximal
    probability with which the player can guarantee the satisfaction of the objective
    against all strategies of the opponent. We study the problem of continuity and
    robustness of the value function in concurrent and turn-based stochastic parity
    gameswith respect to imprecision in the transition probabilities. We present quantitative
    bounds on the difference of the value function (in terms of the imprecision of
    the transition probabilities) and show the value continuity for structurally equivalent
    concurrent games (two games are structurally equivalent if the support of the
    transition function is same and the probabilities differ). We also show robustness
    of optimal strategies for structurally equivalent turn-based stochastic parity
    games. Finally we show that the value continuity property breaks without the structurally
    equivalent assumption (even for Markov chains) and show that our quantitative
    bound is asymptotically optimal. Hence our results are tight (the assumption is
    both necessary and sufficient) and optimal (our quantitative bound is asymptotically
    optimal).'
alternative_title:
- LNCS
arxiv: 1
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
citation:
  ama: 'Chatterjee K. Robustness of structurally equivalent concurrent parity games.
    In: Vol 7213. Springer; 2012:270-285. doi:<a href="https://doi.org/10.1007/978-3-642-28729-9_18">10.1007/978-3-642-28729-9_18</a>'
  apa: 'Chatterjee, K. (2012). Robustness of structurally equivalent concurrent parity
    games (Vol. 7213, pp. 270–285). Presented at the FoSSaCS: Foundations of Software
    Science and Computation Structures, Tallinn, Estonia: Springer. <a href="https://doi.org/10.1007/978-3-642-28729-9_18">https://doi.org/10.1007/978-3-642-28729-9_18</a>'
  chicago: Chatterjee, Krishnendu. “Robustness of Structurally Equivalent Concurrent
    Parity Games,” 7213:270–85. Springer, 2012. <a href="https://doi.org/10.1007/978-3-642-28729-9_18">https://doi.org/10.1007/978-3-642-28729-9_18</a>.
  ieee: 'K. Chatterjee, “Robustness of structurally equivalent concurrent parity games,”
    presented at the FoSSaCS: Foundations of Software Science and Computation Structures,
    Tallinn, Estonia, 2012, vol. 7213, pp. 270–285.'
  ista: 'Chatterjee K. 2012. Robustness of structurally equivalent concurrent parity
    games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS,
    vol. 7213, 270–285.'
  mla: Chatterjee, Krishnendu. <i>Robustness of Structurally Equivalent Concurrent
    Parity Games</i>. Vol. 7213, Springer, 2012, pp. 270–85, doi:<a href="https://doi.org/10.1007/978-3-642-28729-9_18">10.1007/978-3-642-28729-9_18</a>.
  short: K. Chatterjee, in:, Springer, 2012, pp. 270–285.
conference:
  end_date: 2012-04-01
  location: Tallinn, Estonia
  name: 'FoSSaCS: Foundations of Software Science and Computation Structures'
  start_date: 2012-03-24
date_created: 2018-12-11T12:02:46Z
date_published: 2012-03-22T00:00:00Z
date_updated: 2023-02-23T12:23:46Z
day: '22'
department:
- _id: KrCh
doi: 10.1007/978-3-642-28729-9_18
ec_funded: 1
external_id:
  arxiv:
  - '1107.2009'
intvolume: '      7213'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://arxiv.org/abs/1107.2009
month: '03'
oa: 1
oa_version: Preprint
page: 270 - 285
project:
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 2587B514-B435-11E9-9278-68D0E5697425
  name: Microsoft Research Faculty Fellowship
publication_status: published
publisher: Springer
publist_id: '3284'
quality_controlled: '1'
related_material:
  record:
  - id: '5382'
    relation: earlier_version
    status: public
scopus_import: 1
status: public
title: Robustness of structurally equivalent concurrent parity games
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7213
year: '2012'
...
---
_id: '338'
abstract:
- lang: eng
  text: The ample chemical and structural freedom of quaternary compounds permits
    engineering materials that fulfill the requirements of a wide variety of applications.
    In this work, the mechanisms to achieve unprecedented size, shape, and composition
    control in quaternary nanocrystals are detailed. The described procedure allows
    obtaining tetrahedral and penta-tetrahedral quaternary nanocrystals with tuned
    size distributions and controlled compositions from a plethora of I 2-II-IV-VI
    4 semiconductors.
acknowledgement: "This work was supported by the Spanish MICINN Projects MAT2008-05779,
  MAT2008-03400-E/MAT, MAT2010-15138, ENE2008-03277-E/CON, CSD2009-00050, and CSD2009-00013.
  M.I. thanks the Spanish MICINN for her Ph.D. grant. J.A. and R.Z. also acknowledge
  Generalitat de Catalunya 2009-SGR-770 and XaRMAE. A.C. is grateful for financial
  support through the Ramon y Cajal program of the Spanish MICINN.\r\n\r\n"
article_processing_charge: No
article_type: original
author:
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Reza
  full_name: Zamani, Reza
  last_name: Zamani
- first_name: Wenhua
  full_name: Li, Wenhua
  last_name: Li
- first_name: Alexey
  full_name: Shavel, Alexey
  last_name: Shavel
- first_name: Jordi
  full_name: Arbiol, Jordi
  last_name: Arbiol
- first_name: Joan
  full_name: Morante, Joan
  last_name: Morante
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: Ibáñez M, Zamani R, Li W, et al. Extending the nanocrystal synthesis control
    to quaternary compositions. <i>Crystal Growth and Design </i>. 2012;12(3):1085-1090.
    doi:<a href="https://doi.org/10.1021/cg201709c">10.1021/cg201709c</a>
  apa: Ibáñez, M., Zamani, R., Li, W., Shavel, A., Arbiol, J., Morante, J., &#38;
    Cabot, A. (2012). Extending the nanocrystal synthesis control to quaternary compositions.
    <i>Crystal Growth and Design </i>. American Chemical Society (ACS). <a href="https://doi.org/10.1021/cg201709c">https://doi.org/10.1021/cg201709c</a>
  chicago: Ibáñez, Maria, Reza Zamani, Wenhua Li, Alexey Shavel, Jordi Arbiol, Joan
    Morante, and Andreu Cabot. “Extending the Nanocrystal Synthesis Control to Quaternary
    Compositions.” <i>Crystal Growth and Design </i>. American Chemical Society (ACS),
    2012. <a href="https://doi.org/10.1021/cg201709c">https://doi.org/10.1021/cg201709c</a>.
  ieee: M. Ibáñez <i>et al.</i>, “Extending the nanocrystal synthesis control to quaternary
    compositions,” <i>Crystal Growth and Design </i>, vol. 12, no. 3. American Chemical
    Society (ACS), pp. 1085–1090, 2012.
  ista: Ibáñez M, Zamani R, Li W, Shavel A, Arbiol J, Morante J, Cabot A. 2012. Extending
    the nanocrystal synthesis control to quaternary compositions. Crystal Growth and
    Design . 12(3), 1085–1090.
  mla: Ibáñez, Maria, et al. “Extending the Nanocrystal Synthesis Control to Quaternary
    Compositions.” <i>Crystal Growth and Design </i>, vol. 12, no. 3, American Chemical
    Society (ACS), 2012, pp. 1085–90, doi:<a href="https://doi.org/10.1021/cg201709c">10.1021/cg201709c</a>.
  short: M. Ibáñez, R. Zamani, W. Li, A. Shavel, J. Arbiol, J. Morante, A. Cabot,
    Crystal Growth and Design  12 (2012) 1085–1090.
date_created: 2018-12-11T11:45:54Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2021-01-12T07:43:05Z
day: '01'
doi: 10.1021/cg201709c
extern: '1'
intvolume: '        12'
issue: '3'
language:
- iso: eng
month: '01'
oa_version: None
page: 1085 - 1090
publication: 'Crystal Growth and Design '
publication_status: published
publisher: American Chemical Society (ACS)
publist_id: '7488'
quality_controlled: '1'
status: public
title: Extending the nanocrystal synthesis control to quaternary compositions
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 12
year: '2012'
...
---
_id: '339'
abstract:
- lang: eng
  text: A high-yield and upscalable colloidal synthesis route for the production of
    quaternary I 2-II-IV-VI 4 nanocrystals, particularly stannite Cu 2+xCd 1-xSnSe
    4, with narrow size distribution and precisely controlled composition is presented.
    It is also shown here how the diversity of valences in the constituent elements
    allows an effective control of their electrical conductivity through the adjustment
    of the cation ratios. At the same time, while the crystallographic complexity
    of quaternary chalcogenides is associated with intrinsically low thermal conductivities,
    the reduction of the lattice dimensions to the nanoscale further reduces the materials
    thermal conductivity. In the specific case of the stannite crystal structure,
    a convenient slab distribution of the valence band maximum states permits a partial
    decoupling of the p-type electrical conductivity from both the Seebeck coefficient
    and the thermal conductivity. Combining these features, we demonstrate how an
    initial optimization of the nanocrystals Cd/Cu ratio allowed us to obtain low-temperature
    solution-processed materials with ZT values up to 0.71 at 685 K.
acknowledgement: This work was supported by the Spanish MICINN Projects MAT2008-05779,
  MAT2008-03400-E/MAT, MAT2010-15138, ENE2008-03277-E/CON, CSD2009-00050. and CSD2009-00013.
  M.I. and N.G.-C. thank the Spanish MICINN for the PhD grant. J.A. and R.Z. also
  acknowledge Generalitat de Catalunya 2009-SGR-770 and XaRMAE. A.C. is thankful for
  financial support through the Ramon y Cajal program of the Spanish MICINN. N.G.-C.
  and J.D.P. are thankful for the computer resources, technical expertise and assistance
  provided by the Barcelona Supercomputing Center - Centro Nacional de Supercomputación.
article_processing_charge: No
article_type: original
author:
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Doris
  full_name: Cadavid, Doris
  last_name: Cadavid
- first_name: Reza
  full_name: Zamani, Reza
  last_name: Zamani
- first_name: Nuria
  full_name: García Castelló, Nuria
  last_name: García Castelló
- first_name: Victora
  full_name: Izquierdo Roca, Victora
  last_name: Izquierdo Roca
- first_name: Wenhua
  full_name: Li, Wenhua
  last_name: Li
- first_name: Andrew
  full_name: Fairbrother, Andrew
  last_name: Fairbrother
- first_name: Joan
  full_name: Prades, Joan
  last_name: Prades
- first_name: Alexey
  full_name: Shavel, Alexey
  last_name: Shavel
- first_name: Jordi
  full_name: Arbiol, Jordi
  last_name: Arbiol
- first_name: Alejandro
  full_name: Pérez Rodríguez, Alejandro
  last_name: Pérez Rodríguez
- first_name: Joan
  full_name: Morante, Joan
  last_name: Morante
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: 'Ibáñez M, Cadavid D, Zamani R, et al. Composition control and thermoelectric
    properties of quaternary chalcogenide nanocrystals: The case of stannite Cu2CdSnSe4.
    <i>Chemistry of Materials</i>. 2012;24(3):562-570. doi:<a href="https://doi.org/10.1021/cm2031812">10.1021/cm2031812</a>'
  apa: 'Ibáñez, M., Cadavid, D., Zamani, R., García Castelló, N., Izquierdo Roca,
    V., Li, W., … Cabot, A. (2012). Composition control and thermoelectric properties
    of quaternary chalcogenide nanocrystals: The case of stannite Cu2CdSnSe4. <i>Chemistry
    of Materials</i>. American Chemical Society. <a href="https://doi.org/10.1021/cm2031812">https://doi.org/10.1021/cm2031812</a>'
  chicago: 'Ibáñez, Maria, Doris Cadavid, Reza Zamani, Nuria García Castelló, Victora
    Izquierdo Roca, Wenhua Li, Andrew Fairbrother, et al. “Composition Control and
    Thermoelectric Properties of Quaternary Chalcogenide Nanocrystals: The Case of
    Stannite Cu2CdSnSe4.” <i>Chemistry of Materials</i>. American Chemical Society,
    2012. <a href="https://doi.org/10.1021/cm2031812">https://doi.org/10.1021/cm2031812</a>.'
  ieee: 'M. Ibáñez <i>et al.</i>, “Composition control and thermoelectric properties
    of quaternary chalcogenide nanocrystals: The case of stannite Cu2CdSnSe4,” <i>Chemistry
    of Materials</i>, vol. 24, no. 3. American Chemical Society, pp. 562–570, 2012.'
  ista: 'Ibáñez M, Cadavid D, Zamani R, García Castelló N, Izquierdo Roca V, Li W,
    Fairbrother A, Prades J, Shavel A, Arbiol J, Pérez Rodríguez A, Morante J, Cabot
    A. 2012. Composition control and thermoelectric properties of quaternary chalcogenide
    nanocrystals: The case of stannite Cu2CdSnSe4. Chemistry of Materials. 24(3),
    562–570.'
  mla: 'Ibáñez, Maria, et al. “Composition Control and Thermoelectric Properties of
    Quaternary Chalcogenide Nanocrystals: The Case of Stannite Cu2CdSnSe4.” <i>Chemistry
    of Materials</i>, vol. 24, no. 3, American Chemical Society, 2012, pp. 562–70,
    doi:<a href="https://doi.org/10.1021/cm2031812">10.1021/cm2031812</a>.'
  short: M. Ibáñez, D. Cadavid, R. Zamani, N. García Castelló, V. Izquierdo Roca,
    W. Li, A. Fairbrother, J. Prades, A. Shavel, J. Arbiol, A. Pérez Rodríguez, J.
    Morante, A. Cabot, Chemistry of Materials 24 (2012) 562–570.
date_created: 2018-12-11T11:45:54Z
date_published: 2012-01-31T00:00:00Z
date_updated: 2021-01-12T07:43:09Z
day: '31'
doi: 10.1021/cm2031812
extern: '1'
intvolume: '        24'
issue: '3'
language:
- iso: eng
month: '01'
oa_version: None
page: 562 - 570
publication: Chemistry of Materials
publication_status: published
publisher: American Chemical Society
publist_id: '7489'
quality_controlled: '1'
status: public
title: 'Composition control and thermoelectric properties of quaternary chalcogenide
  nanocrystals: The case of stannite Cu2CdSnSe4'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 24
year: '2012'
...
---
_id: '340'
abstract:
- lang: eng
  text: 'A procedure for the continuous production of Cu 2ZnSnS 4 (CZTS) nanoparticles
    with controlled composition is presented. CZTS nanoparticles were prepared through
    the reaction of the metals'' amino complexes with elemental sulfur in a continuous-flow
    reactor at moderate temperatures (300-330 °C). High-resolution transmission electron
    microscopy and X-ray diffraction analysis showed the nanocrystals to have a crystallographic
    structure compatible with that of the kesterite. Chemical characterization of
    the materials showed the presence of the four elements in each individual nanocrystal.
    Composition control was achieved by adjusting the solution flow rate through the
    reactor and the proper choice of the nominal precursor concentration within the
    flowing solution. Single-particle analysis revealed a composition distribution
    within each sample, which was optimized at the highest synthesis temperatures
    used. '
acknowledgement: This work was supported by the Spanish MICINN Projects MAT2008-05779,
  MAT2008-03400-E/MAT, CDS2009-00050, CSD2009-00013, and ENE2008-03277-E/CON. M.I.
  thanks the Spanish MICINN for her Ph.D. grant. A.C. is thankful for financial support
  through the Ramón y Cajal Program.
article_processing_charge: No
article_type: original
author:
- first_name: Alexey
  full_name: Shavel, Alexey
  last_name: Shavel
- first_name: Doris
  full_name: Cadavid, Doris
  last_name: Cadavid
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Alex
  full_name: Carrete, Alex
  last_name: Carrete
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: Shavel A, Cadavid D, Ibáñez M, Carrete A, Cabot A. Continuous production of
    Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. <i>Journal of the
    American Chemical Society</i>. 2012;134(3):1438-1441. doi:<a href="https://doi.org/10.1021/ja209688a">10.1021/ja209688a</a>
  apa: Shavel, A., Cadavid, D., Ibáñez, M., Carrete, A., &#38; Cabot, A. (2012). Continuous
    production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. <i>Journal
    of the American Chemical Society</i>. ACS. <a href="https://doi.org/10.1021/ja209688a">https://doi.org/10.1021/ja209688a</a>
  chicago: Shavel, Alexey, Doris Cadavid, Maria Ibáñez, Alex Carrete, and Andreu Cabot.
    “Continuous Production of Cu Inf 2 Inf ZnSnS Inf 4 Inf Nanocrystals in a Flow
    Reactor.” <i>Journal of the American Chemical Society</i>. ACS, 2012. <a href="https://doi.org/10.1021/ja209688a">https://doi.org/10.1021/ja209688a</a>.
  ieee: A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, and A. Cabot, “Continuous production
    of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor,” <i>Journal of
    the American Chemical Society</i>, vol. 134, no. 3. ACS, pp. 1438–1441, 2012.
  ista: Shavel A, Cadavid D, Ibáñez M, Carrete A, Cabot A. 2012. Continuous production
    of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. Journal of the
    American Chemical Society. 134(3), 1438–1441.
  mla: Shavel, Alexey, et al. “Continuous Production of Cu Inf 2 Inf ZnSnS Inf 4 Inf
    Nanocrystals in a Flow Reactor.” <i>Journal of the American Chemical Society</i>,
    vol. 134, no. 3, ACS, 2012, pp. 1438–41, doi:<a href="https://doi.org/10.1021/ja209688a">10.1021/ja209688a</a>.
  short: A. Shavel, D. Cadavid, M. Ibáñez, A. Carrete, A. Cabot, Journal of the American
    Chemical Society 134 (2012) 1438–1441.
date_created: 2018-12-11T11:45:54Z
date_published: 2012-01-02T00:00:00Z
date_updated: 2021-01-12T07:43:13Z
day: '02'
doi: 10.1021/ja209688a
extern: '1'
intvolume: '       134'
issue: '3'
language:
- iso: eng
month: '01'
oa_version: None
page: 1438 - 1441
publication: Journal of the American Chemical Society
publication_status: published
publisher: ACS
publist_id: '7490'
quality_controlled: '1'
status: public
title: Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow
  reactor
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 134
year: '2012'
...
---
_id: '345'
abstract:
- lang: eng
  text: 'Nanocomposites are highly promising materials to enhance the efficiency of
    current thermoelectric devices. A straightforward and at the same time highly
    versatile and controllable approach to produce nanocomposites is the assembly
    of solution-processed nanocrystal building blocks. The convenience of this bottom-up
    approach to produce nanocomposites with homogeneous phase distributions and adjustable
    composition is demonstrated here by blending Ag2Te and PbTe colloidal nanocrystals
    to form Ag2Te–PbTe bulk nanocomposites. The thermoelectric properties of these
    nanocomposites are analyzed in the temperature range from 300 to 700 K. The evolution
    of their electrical conductivity and Seebeck coefficient is discussed in terms
    of the blend composition and the characteristics of the constituent materials. '
acknowledgement: Acknowledgments The research was supported by the European Regional
  Development Funds and the Spanish MICINN Projects MAT2008-05779, MAT2008-03400-E/MAT,
  MAT2010-15138, MAT2010-21510, CSD2009-00050, and ENE2008-03277-E/CON. M.I. is grateful
  to the Spanish MIC-INN for her PhD grant. A. Cirera acknowledges support from ICREA
  Academia program. A. Cabot is grateful to the Spanish MICINN for financial support
  through the Ramón y Cajal program.
article_processing_charge: No
article_type: original
author:
- first_name: Doris
  full_name: Cadavid, Doris
  last_name: Cadavid
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Stéphane
  full_name: Gorsse, Stéphane
  last_name: Gorsse
- first_name: Antonio
  full_name: López, Antonio
  last_name: López
- first_name: Albert
  full_name: Cirera, Albert
  last_name: Cirera
- first_name: Joan
  full_name: Morante, Joan
  last_name: Morante
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: 'Cadavid D, Ibáñez M, Gorsse S, et al. Bottom-up processing of thermoelectric
    nanocomposites from colloidal nanocrystal building blocks: The case of Ag2Te–PbTe.
    <i>Journal of Nanoparticle Research</i>. 2012;14(12). doi:<a href="https://doi.org/10.1007/s11051-012-1328-0">10.1007/s11051-012-1328-0</a>'
  apa: 'Cadavid, D., Ibáñez, M., Gorsse, S., López, A., Cirera, A., Morante, J., &#38;
    Cabot, A. (2012). Bottom-up processing of thermoelectric nanocomposites from colloidal
    nanocrystal building blocks: The case of Ag2Te–PbTe. <i>Journal of Nanoparticle
    Research</i>. Kluwer. <a href="https://doi.org/10.1007/s11051-012-1328-0">https://doi.org/10.1007/s11051-012-1328-0</a>'
  chicago: 'Cadavid, Doris, Maria Ibáñez, Stéphane Gorsse, Antonio López, Albert Cirera,
    Joan Morante, and Andreu Cabot. “Bottom-up Processing of Thermoelectric Nanocomposites
    from Colloidal Nanocrystal Building Blocks: The Case of Ag2Te–PbTe.” <i>Journal
    of Nanoparticle Research</i>. Kluwer, 2012. <a href="https://doi.org/10.1007/s11051-012-1328-0">https://doi.org/10.1007/s11051-012-1328-0</a>.'
  ieee: 'D. Cadavid <i>et al.</i>, “Bottom-up processing of thermoelectric nanocomposites
    from colloidal nanocrystal building blocks: The case of Ag2Te–PbTe,” <i>Journal
    of Nanoparticle Research</i>, vol. 14, no. 12. Kluwer, 2012.'
  ista: 'Cadavid D, Ibáñez M, Gorsse S, López A, Cirera A, Morante J, Cabot A. 2012.
    Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal
    building blocks: The case of Ag2Te–PbTe. Journal of Nanoparticle Research. 14(12).'
  mla: 'Cadavid, Doris, et al. “Bottom-up Processing of Thermoelectric Nanocomposites
    from Colloidal Nanocrystal Building Blocks: The Case of Ag2Te–PbTe.” <i>Journal
    of Nanoparticle Research</i>, vol. 14, no. 12, Kluwer, 2012, doi:<a href="https://doi.org/10.1007/s11051-012-1328-0">10.1007/s11051-012-1328-0</a>.'
  short: D. Cadavid, M. Ibáñez, S. Gorsse, A. López, A. Cirera, J. Morante, A. Cabot,
    Journal of Nanoparticle Research 14 (2012).
date_created: 2018-12-11T11:45:56Z
date_published: 2012-12-01T00:00:00Z
date_updated: 2021-01-12T07:43:32Z
day: '01'
doi: 10.1007/s11051-012-1328-0
extern: '1'
intvolume: '        14'
issue: '12'
language:
- iso: eng
month: '12'
oa_version: None
publication: Journal of Nanoparticle Research
publication_status: published
publisher: Kluwer
publist_id: '7485'
quality_controlled: '1'
status: public
title: 'Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal
  building blocks: The case of Ag2Te–PbTe'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2012'
...
---
_id: '346'
abstract:
- lang: eng
  text: Arrays of vertically aligned ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 core–shell
    nanowires (NWs) were prepared by means of the combination of two solution-growth
    processes. First, single-crystal ZnO NWs with controlled n-type doping were grown
    on conducting substrates by a low-cost, high-yield and seed-free electrochemical
    route. These NWs were covered by a titanium oxide shell of tunable thickness mediating
    successive adsorption-hydrolysis-condensation steps. Using this atomic-layer growth
    procedure, titania shells with controlled thickness and the anatase TiO2 phase
    were obtained after sintering at 450 °C. Higher sintering temperatures resulted
    in the formation of ZnO : Cl/ZnxTiOy/TiO2 core–shell NWs by the interdiffusion
    of Zn and Ti ions at the ZnO–TiO2 interface. The performance of ZnO : Cl/TiO2
    and ZnO : Cl/ZnxTiOy/TiO2 core–shell NWs towards photoelectrochemical (PEC) water
    splitting was investigated as a function of the titania shell thickness. Furthermore,
    the performance of such core–shell NWs as photoelectrodes in dye-sensitized solar
    cells was also characterized. The TiO2 presence at the ZnO : Cl surface promoted
    a two-fold increase on the produced photocurrent densities, probing their potential
    for PEC and optoelectronic applications. Electrochemical impedance spectroscopy
    was used to corroborate the lower resistance for charge transfer between the NWs
    and the electrolyte in the presence of the TiO2 shell.
acknowledgement: The research was supported by the European Regional Development Funds
  and the Spanish MICINN projects MAT2010-15138, MAT2010-21510 and CSD2009-00050.
  JF and AS thank the FI-DGR and BP grants from the Agència de Gestió d'Ajuts Universitaris
  i de Recerca (AGAUR) from the Catalan Government. MI and AC thank the Spanish MICINN
  for the PhD grant and the financial support through the Ramóny Cajal program.
article_processing_charge: No
article_type: original
author:
- first_name: Jiandong
  full_name: Fan, Jiandong
  last_name: Fan
- first_name: Reza
  full_name: Zamani, Reza
  last_name: Zamani
- first_name: Cristina
  full_name: Fábrega, Cristina
  last_name: Fábrega
- first_name: Alexey
  full_name: Shavel, Alexey
  last_name: Shavel
- first_name: Cristina
  full_name: Flox, Cristina
  last_name: Flox
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Teresa
  full_name: Andreu, Teresa
  last_name: Andreu
- first_name: Amtonio
  full_name: López, Amtonio
  last_name: López
- first_name: Jordi
  full_name: Arbiol, Jordi
  last_name: Arbiol
- first_name: Joan
  full_name: Morante, Joan
  last_name: Morante
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: 'Fan J, Zamani R, Fábrega C, et al. Solution-growth and optoelectronic performance
    of ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 core–shell nanowires with tunable shell
    thickness. <i>Journal of Physics D: Applied Physics</i>. 2012;45(41). doi:<a href="https://doi.org/10.1088/0022-3727/45/41/415301">10.1088/0022-3727/45/41/415301</a>'
  apa: 'Fan, J., Zamani, R., Fábrega, C., Shavel, A., Flox, C., Ibáñez, M., … Cabot,
    A. (2012). Solution-growth and optoelectronic performance of ZnO : Cl/TiO2 and
    ZnO : Cl/ZnxTiOy/TiO2 core–shell nanowires with tunable shell thickness. <i>Journal
    of Physics D: Applied Physics</i>. IOP Publishing Ltd. <a href="https://doi.org/10.1088/0022-3727/45/41/415301">https://doi.org/10.1088/0022-3727/45/41/415301</a>'
  chicago: 'Fan, Jiandong, Reza Zamani, Cristina Fábrega, Alexey Shavel, Cristina
    Flox, Maria Ibáñez, Teresa Andreu, et al. “Solution-Growth and Optoelectronic
    Performance of ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 Core–Shell Nanowires with
    Tunable Shell Thickness.” <i>Journal of Physics D: Applied Physics</i>. IOP Publishing
    Ltd., 2012. <a href="https://doi.org/10.1088/0022-3727/45/41/415301">https://doi.org/10.1088/0022-3727/45/41/415301</a>.'
  ieee: 'J. Fan <i>et al.</i>, “Solution-growth and optoelectronic performance of
    ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 core–shell nanowires with tunable shell
    thickness,” <i>Journal of Physics D: Applied Physics</i>, vol. 45, no. 41. IOP
    Publishing Ltd., 2012.'
  ista: 'Fan J, Zamani R, Fábrega C, Shavel A, Flox C, Ibáñez M, Andreu T, López A,
    Arbiol J, Morante J, Cabot A. 2012. Solution-growth and optoelectronic performance
    of ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2 core–shell nanowires with tunable shell
    thickness. Journal of Physics D: Applied Physics. 45(41).'
  mla: 'Fan, Jiandong, et al. “Solution-Growth and Optoelectronic Performance of ZnO : Cl/TiO2
    and ZnO : Cl/ZnxTiOy/TiO2 Core–Shell Nanowires with Tunable Shell Thickness.”
    <i>Journal of Physics D: Applied Physics</i>, vol. 45, no. 41, IOP Publishing
    Ltd., 2012, doi:<a href="https://doi.org/10.1088/0022-3727/45/41/415301">10.1088/0022-3727/45/41/415301</a>.'
  short: 'J. Fan, R. Zamani, C. Fábrega, A. Shavel, C. Flox, M. Ibáñez, T. Andreu,
    A. López, J. Arbiol, J. Morante, A. Cabot, Journal of Physics D: Applied Physics
    45 (2012).'
date_created: 2018-12-11T11:45:56Z
date_published: 2012-10-17T00:00:00Z
date_updated: 2021-01-12T07:43:36Z
day: '17'
doi: 10.1088/0022-3727/45/41/415301
extern: '1'
intvolume: '        45'
issue: '41'
language:
- iso: eng
month: '10'
oa_version: None
publication: 'Journal of Physics D: Applied Physics'
publication_status: published
publisher: IOP Publishing Ltd.
publist_id: '7486'
quality_controlled: '1'
status: public
title: Solution-growth and optoelectronic performance of ZnO : Cl/TiO2 and ZnO : Cl/ZnxTiOy/TiO2
  core–shell nanowires with tunable shell thickness
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 45
year: '2012'
...
---
_id: '347'
abstract:
- lang: eng
  text: 'A synthetic route for producing Cu 2ZnGeSe 4 nanocrystals with narrow size
    distributions and controlled composition is presented. These nanocrystals were
    used to produce densely packed nanomaterials by hot-pressing. From the characterization
    of the thermoelectric properties of these nanomaterials, Cu 2ZnGeSe 4 is demonstrated
    to show excellent thermoelectric properties. A very preliminary adjustment of
    the nanocrystal composition has already resulted in a figure of merit of up to
    0.55 at 450°C. '
acknowledgement: This work was supported by the Spanish MICINN Projects MAT2008-05779,
  MAT2008-03400-E/MAT, MAT2010-15138, ENE2008-03277-E/CON, CSD2009-00050, and CSD2009-00013.
  M.I. thanks the Spanish MICINN for her Ph.D. Grant. J.A. and R.Z. also acknowledge
  Generalitat de Catalunya 2009-SGR-770 and XaRMAE. A.C. is thankful for financial
  support through the Ramon y Cajal Program of the Spanish MICINN.
article_processing_charge: No
article_type: original
author:
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Reza
  full_name: Zamani, Reza
  last_name: Zamani
- first_name: Aaron
  full_name: Lalonde, Aaron
  last_name: Lalonde
- first_name: Doris
  full_name: Cadavid, Doris
  last_name: Cadavid
- first_name: Wenhua
  full_name: Li, Wenhua
  last_name: Li
- first_name: Alexey
  full_name: Shavel, Alexey
  last_name: Shavel
- first_name: Jordi
  full_name: Arbiol, Jordi
  last_name: Arbiol
- first_name: Joan
  full_name: Morante, Joan
  last_name: Morante
- first_name: Stéphane
  full_name: Gorsse, Stéphane
  last_name: Gorsse
- first_name: G Jeffrey
  full_name: Snyder, G Jeffrey
  last_name: Snyder
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: 'Ibáñez M, Zamani R, Lalonde A, et al. Cu 2ZnGeSe 4 nanocrystals: Synthesis
    and thermoelectric properties. <i>Journal of the American Chemical Society</i>.
    2012;134(9):4060-4063. doi:<a href="https://doi.org/10.1021/ja211952z">10.1021/ja211952z</a>'
  apa: 'Ibáñez, M., Zamani, R., Lalonde, A., Cadavid, D., Li, W., Shavel, A., … Cabot,
    A. (2012). Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties.
    <i>Journal of the American Chemical Society</i>. ACS. <a href="https://doi.org/10.1021/ja211952z">https://doi.org/10.1021/ja211952z</a>'
  chicago: 'Ibáñez, Maria, Reza Zamani, Aaron Lalonde, Doris Cadavid, Wenhua Li, Alexey
    Shavel, Jordi Arbiol, et al. “Cu 2ZnGeSe 4 Nanocrystals: Synthesis and Thermoelectric
    Properties.” <i>Journal of the American Chemical Society</i>. ACS, 2012. <a href="https://doi.org/10.1021/ja211952z">https://doi.org/10.1021/ja211952z</a>.'
  ieee: 'M. Ibáñez <i>et al.</i>, “Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric
    properties,” <i>Journal of the American Chemical Society</i>, vol. 134, no. 9.
    ACS, pp. 4060–4063, 2012.'
  ista: 'Ibáñez M, Zamani R, Lalonde A, Cadavid D, Li W, Shavel A, Arbiol J, Morante
    J, Gorsse S, Snyder GJ, Cabot A. 2012. Cu 2ZnGeSe 4 nanocrystals: Synthesis and
    thermoelectric properties. Journal of the American Chemical Society. 134(9), 4060–4063.'
  mla: 'Ibáñez, Maria, et al. “Cu 2ZnGeSe 4 Nanocrystals: Synthesis and Thermoelectric
    Properties.” <i>Journal of the American Chemical Society</i>, vol. 134, no. 9,
    ACS, 2012, pp. 4060–63, doi:<a href="https://doi.org/10.1021/ja211952z">10.1021/ja211952z</a>.'
  short: M. Ibáñez, R. Zamani, A. Lalonde, D. Cadavid, W. Li, A. Shavel, J. Arbiol,
    J. Morante, S. Gorsse, G.J. Snyder, A. Cabot, Journal of the American Chemical
    Society 134 (2012) 4060–4063.
date_created: 2018-12-11T11:45:57Z
date_published: 2012-03-07T00:00:00Z
date_updated: 2021-01-12T07:43:40Z
day: '07'
doi: 10.1021/ja211952z
extern: '1'
intvolume: '       134'
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://authors.library.caltech.edu/30261/
month: '03'
oa: 1
oa_version: None
page: 4060 - 4063
publication: Journal of the American Chemical Society
publication_status: published
publisher: ACS
publist_id: '7487'
quality_controlled: '1'
status: public
title: 'Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 134
year: '2012'
...
---
_id: '377'
abstract:
- lang: eng
  text: The potential to control the composition and crystal phase at the nanometer
    scale enable the production of nanocrystalline materials with enhanced functionalities
    and new applications. In the present work, we detail a novel colloidal synthesis
    route to prepare nanoparticles of the ternary semiconductor Cu2GeSe3 (CGSe) with
    nanometer-scale control over their crystal phases. We also demonstrate the structural
    effect on the thermoelectric properties of bottom-up-prepared CGSe nanomaterials.
    By careful adjustment of the nucleation and growth temperatures, pure orthorhombic
    CGSe nanoparticles with cationic order or polytypic CGSe nanoparticles with disordered
    cation positions can be produced. In this second type of nanoparticle, a high
    density of twins can be created to periodically change the atomic plane stacking,
    forming a hexagonal wurtzite CGSe phase. The high yield of the synthetic routes
    reported here allows the production of single-phase and multiphase CGSe nanoparticles
    in the gram scale, which permits characterization of the thermoelectric properties
    of these materials. Reduced thermal conductivities and a related 2.5-fold increase
    of the thermoelectric figure of merit for multiphase nanomaterials compared to
    pure-phase CGSe are systematically obtained. These results are discussed in terms
    of the density and efficiency of phonon scattering centers in both types of materials.
article_processing_charge: No
author:
- first_name: Maria
  full_name: Ibáñez, Maria
  id: 43C61214-F248-11E8-B48F-1D18A9856A87
  last_name: Ibáñez
  orcid: 0000-0001-5013-2843
- first_name: Reza
  full_name: Zamani, Reza
  last_name: Zamani
- first_name: Wenhua
  full_name: Li, Wenhua
  last_name: Li
- first_name: Doris
  full_name: Cadavid, Doris
  last_name: Cadavid
- first_name: Stéphane
  full_name: Gorse, Stéphane
  last_name: Gorse
- first_name: Nebll
  full_name: Katchoi, Nebll
  last_name: Katchoi
- first_name: Alexey
  full_name: Shavel, Alexey
  last_name: Shavel
- first_name: Antonioo
  full_name: López, Antonioo
  last_name: López
- first_name: Joan
  full_name: Morante, Joan
  last_name: Morante
- first_name: Jordi
  full_name: Arbiol, Jordi
  last_name: Arbiol
- first_name: Andreu
  full_name: Cabot, Andreu
  last_name: Cabot
citation:
  ama: 'Ibáñez M, Zamani R, Li W, et al. Crystallographic control at the nanoscale
    to enhance functionality: Polytypic Cu2GeSe3 nanoparticles as thermoelectric materials.
    <i>Chemistry of Materials</i>. 2012;24(23):4615-4622. doi:<a href="https://doi.org/10.1021/cm303252q">10.1021/cm303252q</a>'
  apa: 'Ibáñez, M., Zamani, R., Li, W., Cadavid, D., Gorse, S., Katchoi, N., … Cabot,
    A. (2012). Crystallographic control at the nanoscale to enhance functionality:
    Polytypic Cu2GeSe3 nanoparticles as thermoelectric materials. <i>Chemistry of
    Materials</i>. American Chemical Society. <a href="https://doi.org/10.1021/cm303252q">https://doi.org/10.1021/cm303252q</a>'
  chicago: 'Ibáñez, Maria, Reza Zamani, Wenhua Li, Doris Cadavid, Stéphane Gorse,
    Nebll Katchoi, Alexey Shavel, et al. “Crystallographic Control at the Nanoscale
    to Enhance Functionality: Polytypic Cu2GeSe3 Nanoparticles as Thermoelectric Materials.”
    <i>Chemistry of Materials</i>. American Chemical Society, 2012. <a href="https://doi.org/10.1021/cm303252q">https://doi.org/10.1021/cm303252q</a>.'
  ieee: 'M. Ibáñez <i>et al.</i>, “Crystallographic control at the nanoscale to enhance
    functionality: Polytypic Cu2GeSe3 nanoparticles as thermoelectric materials,”
    <i>Chemistry of Materials</i>, vol. 24, no. 23. American Chemical Society, pp.
    4615–4622, 2012.'
  ista: 'Ibáñez M, Zamani R, Li W, Cadavid D, Gorse S, Katchoi N, Shavel A, López
    A, Morante J, Arbiol J, Cabot A. 2012. Crystallographic control at the nanoscale
    to enhance functionality: Polytypic Cu2GeSe3 nanoparticles as thermoelectric materials.
    Chemistry of Materials. 24(23), 4615–4622.'
  mla: 'Ibáñez, Maria, et al. “Crystallographic Control at the Nanoscale to Enhance
    Functionality: Polytypic Cu2GeSe3 Nanoparticles as Thermoelectric Materials.”
    <i>Chemistry of Materials</i>, vol. 24, no. 23, American Chemical Society, 2012,
    pp. 4615–22, doi:<a href="https://doi.org/10.1021/cm303252q">10.1021/cm303252q</a>.'
  short: M. Ibáñez, R. Zamani, W. Li, D. Cadavid, S. Gorse, N. Katchoi, A. Shavel,
    A. López, J. Morante, J. Arbiol, A. Cabot, Chemistry of Materials 24 (2012) 4615–4622.
date_created: 2018-12-11T11:46:07Z
date_published: 2012-11-14T00:00:00Z
date_updated: 2021-01-12T07:52:04Z
day: '14'
doi: 10.1021/cm303252q
extern: '1'
intvolume: '        24'
issue: '23'
language:
- iso: eng
month: '11'
oa_version: None
page: 4615 - 4622
publication: Chemistry of Materials
publication_status: published
publisher: American Chemical Society
publist_id: '7452'
status: public
title: 'Crystallographic control at the nanoscale to enhance functionality: Polytypic
  Cu2GeSe3 nanoparticles as thermoelectric materials'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 24
year: '2012'
...
---
_id: '3836'
abstract:
- lang: eng
  text: Hierarchical Timing Language (HTL) is a coordination language for distributed,
    hard real-time applications. HTL is a hierarchical extension of Giotto and, like
    its predecessor, based on the logical execution time (LET) paradigm of real-time
    programming. Giotto is compiled into code for a virtual machine, called the EmbeddedMachine
    (or E machine). If HTL is targeted to the E machine, then the hierarchicalprogram
    structure needs to be flattened; the flattening makes separatecompilation difficult,
    and may result in E machinecode of exponential size. In this paper, we propose
    a generalization of the E machine, which supports a hierarchicalprogram structure
    at runtime through real-time trigger mechanisms that are arranged in a tree. We
    present the generalized E machine, and a modular compiler for HTL that generates
    code of linear size. The compiler may generate code for any part of a given HTL
    program separately in any order.
author:
- first_name: Arkadeb
  full_name: Ghosal, Arkadeb
  last_name: Ghosal
- first_name: Daniel
  full_name: Iercan, Daniel
  last_name: Iercan
- first_name: Christoph
  full_name: Kirsch, Christoph
  last_name: Kirsch
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Alberto
  full_name: Sangiovanni Vincentelli, Alberto
  last_name: Sangiovanni Vincentelli
citation:
  ama: Ghosal A, Iercan D, Kirsch C, Henzinger TA, Sangiovanni Vincentelli A. Separate
    compilation of hierarchical real-time programs into linear-bounded embedded machine
    code. <i>Science of Computer Programming</i>. 2012;77(2):96-112. doi:<a href="https://doi.org/10.1016/j.scico.2010.06.004">10.1016/j.scico.2010.06.004</a>
  apa: Ghosal, A., Iercan, D., Kirsch, C., Henzinger, T. A., &#38; Sangiovanni Vincentelli,
    A. (2012). Separate compilation of hierarchical real-time programs into linear-bounded
    embedded machine code. <i>Science of Computer Programming</i>. Elsevier. <a href="https://doi.org/10.1016/j.scico.2010.06.004">https://doi.org/10.1016/j.scico.2010.06.004</a>
  chicago: Ghosal, Arkadeb, Daniel Iercan, Christoph Kirsch, Thomas A Henzinger, and
    Alberto Sangiovanni Vincentelli. “Separate Compilation of Hierarchical Real-Time
    Programs into Linear-Bounded Embedded Machine Code.” <i>Science of Computer Programming</i>.
    Elsevier, 2012. <a href="https://doi.org/10.1016/j.scico.2010.06.004">https://doi.org/10.1016/j.scico.2010.06.004</a>.
  ieee: A. Ghosal, D. Iercan, C. Kirsch, T. A. Henzinger, and A. Sangiovanni Vincentelli,
    “Separate compilation of hierarchical real-time programs into linear-bounded embedded
    machine code,” <i>Science of Computer Programming</i>, vol. 77, no. 2. Elsevier,
    pp. 96–112, 2012.
  ista: Ghosal A, Iercan D, Kirsch C, Henzinger TA, Sangiovanni Vincentelli A. 2012.
    Separate compilation of hierarchical real-time programs into linear-bounded embedded
    machine code. Science of Computer Programming. 77(2), 96–112.
  mla: Ghosal, Arkadeb, et al. “Separate Compilation of Hierarchical Real-Time Programs
    into Linear-Bounded Embedded Machine Code.” <i>Science of Computer Programming</i>,
    vol. 77, no. 2, Elsevier, 2012, pp. 96–112, doi:<a href="https://doi.org/10.1016/j.scico.2010.06.004">10.1016/j.scico.2010.06.004</a>.
  short: A. Ghosal, D. Iercan, C. Kirsch, T.A. Henzinger, A. Sangiovanni Vincentelli,
    Science of Computer Programming 77 (2012) 96–112.
date_created: 2018-12-11T12:05:26Z
date_published: 2012-02-01T00:00:00Z
date_updated: 2021-01-12T07:52:32Z
day: '01'
department:
- _id: ToHe
doi: 10.1016/j.scico.2010.06.004
intvolume: '        77'
issue: '2'
language:
- iso: eng
month: '02'
oa_version: None
page: 96 - 112
publication: Science of Computer Programming
publication_status: published
publisher: Elsevier
publist_id: '2370'
quality_controlled: '1'
scopus_import: 1
status: public
title: Separate compilation of hierarchical real-time programs into linear-bounded
  embedded machine code
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 77
year: '2012'
...
---
_id: '3846'
abstract:
- lang: eng
  text: We summarize classical and recent results about two-player games played on
    graphs with ω-regular objectives. These games have applications in the verification
    and synthesis of reactive systems. Important distinctions are whether a graph
    game is turn-based or concurrent; deterministic or stochastic; zero-sum or not.
    We cluster known results and open problems according to these classifications.
acknowledgement: This research was supported in part by the ONR grant N00014-02-1-0671,
  by the AFOSR MURI grant F49620-00-1-0327, and by the NSF grants CCR-9988172, CCR-0085949,
  and CCR-0225610.
article_processing_charge: No
article_type: original
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
citation:
  ama: Chatterjee K, Henzinger TA. A survey of stochastic ω regular games. <i>Journal
    of Computer and System Sciences</i>. 2012;78(2):394-413. doi:<a href="https://doi.org/10.1016/j.jcss.2011.05.002">10.1016/j.jcss.2011.05.002</a>
  apa: Chatterjee, K., &#38; Henzinger, T. A. (2012). A survey of stochastic ω regular
    games. <i>Journal of Computer and System Sciences</i>. Elsevier. <a href="https://doi.org/10.1016/j.jcss.2011.05.002">https://doi.org/10.1016/j.jcss.2011.05.002</a>
  chicago: Chatterjee, Krishnendu, and Thomas A Henzinger. “A Survey of Stochastic
    ω Regular Games.” <i>Journal of Computer and System Sciences</i>. Elsevier, 2012.
    <a href="https://doi.org/10.1016/j.jcss.2011.05.002">https://doi.org/10.1016/j.jcss.2011.05.002</a>.
  ieee: K. Chatterjee and T. A. Henzinger, “A survey of stochastic ω regular games,”
    <i>Journal of Computer and System Sciences</i>, vol. 78, no. 2. Elsevier, pp.
    394–413, 2012.
  ista: Chatterjee K, Henzinger TA. 2012. A survey of stochastic ω regular games.
    Journal of Computer and System Sciences. 78(2), 394–413.
  mla: Chatterjee, Krishnendu, and Thomas A. Henzinger. “A Survey of Stochastic ω
    Regular Games.” <i>Journal of Computer and System Sciences</i>, vol. 78, no. 2,
    Elsevier, 2012, pp. 394–413, doi:<a href="https://doi.org/10.1016/j.jcss.2011.05.002">10.1016/j.jcss.2011.05.002</a>.
  short: K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78
    (2012) 394–413.
date_created: 2018-12-11T12:05:29Z
date_published: 2012-03-02T00:00:00Z
date_updated: 2022-05-24T08:00:54Z
day: '02'
ddc:
- '000'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1016/j.jcss.2011.05.002
file:
- access_level: open_access
  checksum: 241b939deb4517cdd4426d49c67e3fa2
  content_type: application/pdf
  creator: kschuh
  date_created: 2019-01-29T10:54:28Z
  date_updated: 2020-07-14T12:46:17Z
  file_id: '5897'
  file_name: a_survey_of_stochastic_omega-regular_games.pdf
  file_size: 336450
  relation: main_file
file_date_updated: 2020-07-14T12:46:17Z
has_accepted_license: '1'
intvolume: '        78'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1016/j.jcss.2011.05.002
month: '03'
oa: 1
oa_version: Submitted Version
page: 394 - 413
publication: Journal of Computer and System Sciences
publication_status: published
publisher: Elsevier
publist_id: '2341'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A survey of stochastic ω regular games
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 78
year: '2012'
...
---
_id: '387'
abstract:
- lang: eng
  text: In this Letter we present detailed study of the density of states near defects
    in Bi 2Se 3. In particular, we present data on the commonly found triangular defects
    in this system. While we do not find any measurable quasiparticle scattering interference
    effects, we do find localized resonances, which can be well fitted by theory once
    the potential is taken to be extended to properly account for the observed defects.
    The data together with the fits confirm that while the local density of states
    around the Dirac point of the electronic spectrum at the surface is significantly
    disrupted near the impurity by the creation of low-energy resonance state, the
    Dirac point is not locally destroyed. We discuss our results in terms of the expected
    protected surface state of topological insulators. © 2012 American Physical Society.
author:
- first_name: Zhanybek
  full_name: Alpichshev, Zhanybek
  id: 45E67A2A-F248-11E8-B48F-1D18A9856A87
  last_name: Alpichshev
  orcid: 0000-0002-7183-5203
- first_name: Rudro
  full_name: Biswas, Rudro
  last_name: Biswas
- first_name: Alexander
  full_name: Balatsky, Alexander
  last_name: Balatsky
- first_name: James
  full_name: Analytis, James
  last_name: Analytis
- first_name: Jiunhaw
  full_name: Chu, Jiunhaw
  last_name: Chu
- first_name: Ian
  full_name: Fisher, Ian
  last_name: Fisher
- first_name: Aharon
  full_name: Kapitulnik, Aharon
  last_name: Kapitulnik
citation:
  ama: Alpichshev Z, Biswas R, Balatsky A, et al. STM imaging of impurity resonances
    on Bi 2Se 3. <i>Physical Review Letters</i>. 2012;108(20). doi:<a href="https://doi.org/10.1103/PhysRevLett.108.206402">10.1103/PhysRevLett.108.206402</a>
  apa: Alpichshev, Z., Biswas, R., Balatsky, A., Analytis, J., Chu, J., Fisher, I.,
    &#38; Kapitulnik, A. (2012). STM imaging of impurity resonances on Bi 2Se 3. <i>Physical
    Review Letters</i>. American Physical Society. <a href="https://doi.org/10.1103/PhysRevLett.108.206402">https://doi.org/10.1103/PhysRevLett.108.206402</a>
  chicago: Alpichshev, Zhanybek, Rudro Biswas, Alexander Balatsky, James Analytis,
    Jiunhaw Chu, Ian Fisher, and Aharon Kapitulnik. “STM Imaging of Impurity Resonances
    on Bi 2Se 3.” <i>Physical Review Letters</i>. American Physical Society, 2012.
    <a href="https://doi.org/10.1103/PhysRevLett.108.206402">https://doi.org/10.1103/PhysRevLett.108.206402</a>.
  ieee: Z. Alpichshev <i>et al.</i>, “STM imaging of impurity resonances on Bi 2Se
    3,” <i>Physical Review Letters</i>, vol. 108, no. 20. American Physical Society,
    2012.
  ista: Alpichshev Z, Biswas R, Balatsky A, Analytis J, Chu J, Fisher I, Kapitulnik
    A. 2012. STM imaging of impurity resonances on Bi 2Se 3. Physical Review Letters.
    108(20).
  mla: Alpichshev, Zhanybek, et al. “STM Imaging of Impurity Resonances on Bi 2Se
    3.” <i>Physical Review Letters</i>, vol. 108, no. 20, American Physical Society,
    2012, doi:<a href="https://doi.org/10.1103/PhysRevLett.108.206402">10.1103/PhysRevLett.108.206402</a>.
  short: Z. Alpichshev, R. Biswas, A. Balatsky, J. Analytis, J. Chu, I. Fisher, A.
    Kapitulnik, Physical Review Letters 108 (2012).
date_created: 2018-12-11T11:46:11Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2021-01-12T07:52:49Z
day: '01'
doi: 10.1103/PhysRevLett.108.206402
extern: '1'
intvolume: '       108'
issue: '20'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1108.0022
month: '01'
oa: 1
oa_version: None
publication: Physical Review Letters
publication_status: published
publisher: American Physical Society
publist_id: '7442'
status: public
title: STM imaging of impurity resonances on Bi 2Se 3
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 108
year: '2012'
...
---
_id: '492'
abstract:
- lang: eng
  text: 'Background: Characterizing root system architecture (RSA) is essential to
    understanding the development and function of vascular plants. Identifying RSA-associated
    genes also represents an underexplored opportunity for crop improvement. Software
    tools are needed to accelerate the pace at which quantitative traits of RSA are
    estimated from images of root networks.Results: We have developed GiA Roots (General
    Image Analysis of Roots), a semi-automated software tool designed specifically
    for the high-throughput analysis of root system images. GiA Roots includes user-assisted
    algorithms to distinguish root from background and a fully automated pipeline
    that extracts dozens of root system phenotypes. Quantitative information on each
    phenotype, along with intermediate steps for full reproducibility, is returned
    to the end-user for downstream analysis. GiA Roots has a GUI front end and a command-line
    interface for interweaving the software into large-scale workflows. GiA Roots
    can also be extended to estimate novel phenotypes specified by the end-user.Conclusions:
    We demonstrate the use of GiA Roots on a set of 2393 images of rice roots representing
    12 genotypes from the species Oryza sativa. We validate trait measurements against
    prior analyses of this image set that demonstrated that RSA traits are likely
    heritable and associated with genotypic differences. Moreover, we demonstrate
    that GiA Roots is extensible and an end-user can add functionality so that GiA
    Roots can estimate novel RSA traits. In summary, we show that the software can
    function as an efficient tool as part of a workflow to move from large numbers
    of root images to downstream analysis.'
article_number: '116'
article_processing_charge: No
author:
- first_name: Taras
  full_name: Galkovskyi, Taras
  last_name: Galkovskyi
- first_name: Yuriy
  full_name: Mileyko, Yuriy
  last_name: Mileyko
- first_name: Alexander
  full_name: Bucksch, Alexander
  last_name: Bucksch
- first_name: Brad
  full_name: Moore, Brad
  last_name: Moore
- first_name: Olga
  full_name: Symonova, Olga
  id: 3C0C7BC6-F248-11E8-B48F-1D18A9856A87
  last_name: Symonova
- first_name: Charles
  full_name: Price, Charles
  last_name: Price
- first_name: Chrostopher
  full_name: Topp, Chrostopher
  last_name: Topp
- first_name: Anjali
  full_name: Iyer Pascuzzi, Anjali
  last_name: Iyer Pascuzzi
- first_name: Paul
  full_name: Zurek, Paul
  last_name: Zurek
- first_name: Suqin
  full_name: Fang, Suqin
  last_name: Fang
- first_name: John
  full_name: Harer, John
  last_name: Harer
- first_name: Philip
  full_name: Benfey, Philip
  last_name: Benfey
- first_name: Joshua
  full_name: Weitz, Joshua
  last_name: Weitz
citation:
  ama: 'Galkovskyi T, Mileyko Y, Bucksch A, et al. GiA Roots: Software for the high
    throughput analysis of plant root system architecture. <i>BMC Plant Biology</i>.
    2012;12. doi:<a href="https://doi.org/10.1186/1471-2229-12-116">10.1186/1471-2229-12-116</a>'
  apa: 'Galkovskyi, T., Mileyko, Y., Bucksch, A., Moore, B., Symonova, O., Price,
    C., … Weitz, J. (2012). GiA Roots: Software for the high throughput analysis of
    plant root system architecture. <i>BMC Plant Biology</i>. BioMed Central. <a href="https://doi.org/10.1186/1471-2229-12-116">https://doi.org/10.1186/1471-2229-12-116</a>'
  chicago: 'Galkovskyi, Taras, Yuriy Mileyko, Alexander Bucksch, Brad Moore, Olga
    Symonova, Charles Price, Chrostopher Topp, et al. “GiA Roots: Software for the
    High Throughput Analysis of Plant Root System Architecture.” <i>BMC Plant Biology</i>.
    BioMed Central, 2012. <a href="https://doi.org/10.1186/1471-2229-12-116">https://doi.org/10.1186/1471-2229-12-116</a>.'
  ieee: 'T. Galkovskyi <i>et al.</i>, “GiA Roots: Software for the high throughput
    analysis of plant root system architecture,” <i>BMC Plant Biology</i>, vol. 12.
    BioMed Central, 2012.'
  ista: 'Galkovskyi T, Mileyko Y, Bucksch A, Moore B, Symonova O, Price C, Topp C,
    Iyer Pascuzzi A, Zurek P, Fang S, Harer J, Benfey P, Weitz J. 2012. GiA Roots:
    Software for the high throughput analysis of plant root system architecture. BMC
    Plant Biology. 12, 116.'
  mla: 'Galkovskyi, Taras, et al. “GiA Roots: Software for the High Throughput Analysis
    of Plant Root System Architecture.” <i>BMC Plant Biology</i>, vol. 12, 116, BioMed
    Central, 2012, doi:<a href="https://doi.org/10.1186/1471-2229-12-116">10.1186/1471-2229-12-116</a>.'
  short: T. Galkovskyi, Y. Mileyko, A. Bucksch, B. Moore, O. Symonova, C. Price, C.
    Topp, A. Iyer Pascuzzi, P. Zurek, S. Fang, J. Harer, P. Benfey, J. Weitz, BMC
    Plant Biology 12 (2012).
date_created: 2018-12-11T11:46:46Z
date_published: 2012-07-26T00:00:00Z
date_updated: 2022-08-25T14:59:17Z
day: '26'
ddc:
- '005'
- '514'
- '516'
doi: 10.1186/1471-2229-12-116
extern: '1'
file:
- access_level: open_access
  checksum: 0c629e36acd5f2878ff7dd088d67d494
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:12:35Z
  date_updated: 2020-07-14T12:46:35Z
  file_id: '4953'
  file_name: IST-2018-946-v1+1_2012_Symonova_GiA_Roots.pdf
  file_size: 1691436
  relation: main_file
file_date_updated: 2020-07-14T12:46:35Z
has_accepted_license: '1'
intvolume: '        12'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '07'
oa: 1
oa_version: Published Version
publication: BMC Plant Biology
publication_status: published
publisher: BioMed Central
publist_id: '7328'
pubrep_id: '946'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'GiA Roots: Software for the high throughput analysis of plant root system
  architecture'
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 12
year: '2012'
...
---
_id: '493'
abstract:
- lang: eng
  text: 'The BCI competition IV stands in the tradition of prior BCI competitions
    that aim to provide high quality neuroscientific data for open access to the scientific
    community. As experienced already in prior competitions not only scientists from
    the narrow field of BCI compete, but scholars with a broad variety of backgrounds
    and nationalities. They include high specialists as well as students.The goals
    of all BCI competitions have always been to challenge with respect to novel paradigms
    and complex data. We report on the following challenges: (1) asynchronous data,
    (2) synthetic, (3) multi-class continuous data, (4) sessionto-session transfer,
    (5) directionally modulated MEG, (6) finger movements recorded by ECoG. As after
    past competitions, our hope is that winning entries may enhance the analysis methods
    of future BCIs.'
acknowledgement: "The studies were in part or completely supported by the Bundesministerium
  für Bildung und Forschung (BMBF), Fkz 01IB001A, 01GQ0850, by the German Science
  Foundation (DFG, contract MU 987/3-2), by the European ICT Programme Projects FP7-224631
  and 216886, the World Class University Program through the National Research Foundation
  of Korea funded by the Ministry of Education, Science, and Technology (Grant R31-10008),
  the US Army Research Office [W911NF-08-1-0216 (Gerwin Schalk) and W911NF-07-1-0415
  (Gerwin Schalk)] and the NIH [EB006356 (Gerwin Schalk) and EB000856 (Gerwin Schalk),
  the WIN-Kolleg of the Heidelberg Academy of Sciences and Humanities, German Federal
  Ministry of Education and Research grants 01GQ0420, 01GQ0761, 01GQ0762, and 01GQ0830,
  German Research Foundation grants 550/B5 and C6, and by a scholarship from the German
  National Academic Foundation. This paper only reflects the authors’ views and funding
  agencies are not liable for any use that may be made of the information contained
  herein.\r\n"
article_number: '55'
author:
- first_name: Michael
  full_name: Tangermann, Michael
  last_name: Tangermann
- first_name: Klaus
  full_name: Müller, Klaus
  last_name: Müller
- first_name: Ad
  full_name: Aertsen, Ad
  last_name: Aertsen
- first_name: Niels
  full_name: Birbaumer, Niels
  last_name: Birbaumer
- first_name: Christoph
  full_name: Braun, Christoph
  last_name: Braun
- first_name: Clemens
  full_name: Brunner, Clemens
  last_name: Brunner
- first_name: Robert
  full_name: Leeb, Robert
  last_name: Leeb
- first_name: Carsten
  full_name: Mehring, Carsten
  last_name: Mehring
- first_name: Kai
  full_name: Miller, Kai
  last_name: Miller
- first_name: Gernot
  full_name: Müller Putz, Gernot
  last_name: Müller Putz
- first_name: Guido
  full_name: Nolte, Guido
  last_name: Nolte
- first_name: Gert
  full_name: Pfurtscheller, Gert
  last_name: Pfurtscheller
- first_name: Hubert
  full_name: Preissl, Hubert
  last_name: Preissl
- first_name: Gerwin
  full_name: Schalk, Gerwin
  last_name: Schalk
- first_name: Alois
  full_name: Schlögl, Alois
  id: 45BF87EE-F248-11E8-B48F-1D18A9856A87
  last_name: Schlögl
  orcid: 0000-0002-5621-8100
- first_name: Carmen
  full_name: Vidaurre, Carmen
  last_name: Vidaurre
- first_name: Stephan
  full_name: Waldert, Stephan
  last_name: Waldert
- first_name: Benjamin
  full_name: Blankertz, Benjamin
  last_name: Blankertz
citation:
  ama: Tangermann M, Müller K, Aertsen A, et al. Review of the BCI competition IV.
    <i>Frontiers in Neuroscience</i>. 2012;6. doi:<a href="https://doi.org/10.3389/fnins.2012.00055">10.3389/fnins.2012.00055</a>
  apa: Tangermann, M., Müller, K., Aertsen, A., Birbaumer, N., Braun, C., Brunner,
    C., … Blankertz, B. (2012). Review of the BCI competition IV. <i>Frontiers in
    Neuroscience</i>. Frontiers Research Foundation. <a href="https://doi.org/10.3389/fnins.2012.00055">https://doi.org/10.3389/fnins.2012.00055</a>
  chicago: Tangermann, Michael, Klaus Müller, Ad Aertsen, Niels Birbaumer, Christoph
    Braun, Clemens Brunner, Robert Leeb, et al. “Review of the BCI Competition IV.”
    <i>Frontiers in Neuroscience</i>. Frontiers Research Foundation, 2012. <a href="https://doi.org/10.3389/fnins.2012.00055">https://doi.org/10.3389/fnins.2012.00055</a>.
  ieee: M. Tangermann <i>et al.</i>, “Review of the BCI competition IV,” <i>Frontiers
    in Neuroscience</i>, vol. 6. Frontiers Research Foundation, 2012.
  ista: Tangermann M, Müller K, Aertsen A, Birbaumer N, Braun C, Brunner C, Leeb R,
    Mehring C, Miller K, Müller Putz G, Nolte G, Pfurtscheller G, Preissl H, Schalk
    G, Schlögl A, Vidaurre C, Waldert S, Blankertz B. 2012. Review of the BCI competition
    IV. Frontiers in Neuroscience. 6, 55.
  mla: Tangermann, Michael, et al. “Review of the BCI Competition IV.” <i>Frontiers
    in Neuroscience</i>, vol. 6, 55, Frontiers Research Foundation, 2012, doi:<a href="https://doi.org/10.3389/fnins.2012.00055">10.3389/fnins.2012.00055</a>.
  short: M. Tangermann, K. Müller, A. Aertsen, N. Birbaumer, C. Braun, C. Brunner,
    R. Leeb, C. Mehring, K. Miller, G. Müller Putz, G. Nolte, G. Pfurtscheller, H.
    Preissl, G. Schalk, A. Schlögl, C. Vidaurre, S. Waldert, B. Blankertz, Frontiers
    in Neuroscience 6 (2012).
date_created: 2018-12-11T11:46:46Z
date_published: 2012-07-13T00:00:00Z
date_updated: 2021-01-12T08:01:03Z
day: '13'
ddc:
- '004'
department:
- _id: ScienComp
- _id: PeJo
doi: 10.3389/fnins.2012.00055
file:
- access_level: open_access
  checksum: 195238221c4b0b0f4035f6f6c16ea17c
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:18:34Z
  date_updated: 2020-07-14T12:46:35Z
  file_id: '5356'
  file_name: IST-2018-945-v1+1_2012_Schloegl_Review_of.pdf
  file_size: 2693701
  relation: main_file
file_date_updated: 2020-07-14T12:46:35Z
has_accepted_license: '1'
intvolume: '         6'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
publication: Frontiers in Neuroscience
publication_status: published
publisher: Frontiers Research Foundation
publist_id: '7327'
pubrep_id: '945'
quality_controlled: '1'
scopus_import: 1
status: public
title: Review of the BCI competition IV
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 6
year: '2012'
...
---
_id: '494'
abstract:
- lang: eng
  text: We solve the longstanding open problems of the blow-up involved in the translations,
    when possible, of a nondeterministic Büchi word automaton (NBW) to a nondeterministic
    co-Büchi word automaton (NCW) and to a deterministic co-Büchi word automaton (DCW).
    For the NBW to NCW translation, the currently known upper bound is 2o(nlog n)
    and the lower bound is 1.5n. We improve the upper bound to n2n and describe a
    matching lower bound of 2ω(n). For the NBW to DCW translation, the currently known
    upper bound is 2o(nlog n). We improve it to 2 o(n), which is asymptotically tight.
    Both of our upper-bound constructions are based on a simple subset construction,
    do not involve intermediate automata with richer acceptance conditions, and can
    be implemented symbolically. We continue and solve the open problems of translating
    nondeterministic Streett, Rabin, Muller, and parity word automata to NCW and to
    DCW. Going via an intermediate NBW is not optimal and we describe direct, simple,
    and asymptotically tight constructions, involving a 2o(n) blow-up. The constructions
    are variants of the subset construction, providing a unified approach for translating
    all common classes of automata to NCW and DCW. Beyond the theoretical importance
    of the results, we point to numerous applications of the new constructions. In
    particular, they imply a simple subset-construction based translation, when possible,
    of LTL to deterministic Büchi word automata.
article_number: '29'
author:
- first_name: Udi
  full_name: Boker, Udi
  id: 31E297B6-F248-11E8-B48F-1D18A9856A87
  last_name: Boker
- first_name: Orna
  full_name: Kupferman, Orna
  last_name: Kupferman
citation:
  ama: Boker U, Kupferman O. Translating to Co-Büchi made tight, unified, and useful.
    <i>ACM Transactions on Computational Logic (TOCL)</i>. 2012;13(4). doi:<a href="https://doi.org/10.1145/2362355.2362357">10.1145/2362355.2362357</a>
  apa: Boker, U., &#38; Kupferman, O. (2012). Translating to Co-Büchi made tight,
    unified, and useful. <i>ACM Transactions on Computational Logic (TOCL)</i>. ACM.
    <a href="https://doi.org/10.1145/2362355.2362357">https://doi.org/10.1145/2362355.2362357</a>
  chicago: Boker, Udi, and Orna Kupferman. “Translating to Co-Büchi Made Tight, Unified,
    and Useful.” <i>ACM Transactions on Computational Logic (TOCL)</i>. ACM, 2012.
    <a href="https://doi.org/10.1145/2362355.2362357">https://doi.org/10.1145/2362355.2362357</a>.
  ieee: U. Boker and O. Kupferman, “Translating to Co-Büchi made tight, unified, and
    useful,” <i>ACM Transactions on Computational Logic (TOCL)</i>, vol. 13, no. 4.
    ACM, 2012.
  ista: Boker U, Kupferman O. 2012. Translating to Co-Büchi made tight, unified, and
    useful. ACM Transactions on Computational Logic (TOCL). 13(4), 29.
  mla: Boker, Udi, and Orna Kupferman. “Translating to Co-Büchi Made Tight, Unified,
    and Useful.” <i>ACM Transactions on Computational Logic (TOCL)</i>, vol. 13, no.
    4, 29, ACM, 2012, doi:<a href="https://doi.org/10.1145/2362355.2362357">10.1145/2362355.2362357</a>.
  short: U. Boker, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 13
    (2012).
date_created: 2018-12-11T11:46:47Z
date_published: 2012-10-01T00:00:00Z
date_updated: 2021-01-12T08:01:03Z
day: '01'
department:
- _id: ToHe
doi: 10.1145/2362355.2362357
intvolume: '        13'
issue: '4'
language:
- iso: eng
month: '10'
oa_version: None
publication: ACM Transactions on Computational Logic (TOCL)
publication_status: published
publisher: ACM
publist_id: '7326'
quality_controlled: '1'
scopus_import: 1
status: public
title: Translating to Co-Büchi made tight, unified, and useful
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 13
year: '2012'
...
---
_id: '495'
abstract:
- lang: eng
  text: An automaton with advice is a finite state automaton which has access to an
    additional fixed infinite string called an advice tape. We refine the Myhill-Nerode
    theorem to characterize the languages of finite strings that are accepted by automata
    with advice. We do the same for tree automata with advice.
alternative_title:
- EPTCS
author:
- first_name: Alex
  full_name: Kruckman, Alex
  last_name: Kruckman
- first_name: Sasha
  full_name: Rubin, Sasha
  id: 2EC51194-F248-11E8-B48F-1D18A9856A87
  last_name: Rubin
- first_name: John
  full_name: Sheridan, John
  last_name: Sheridan
- first_name: Ben
  full_name: Zax, Ben
  last_name: Zax
citation:
  ama: 'Kruckman A, Rubin S, Sheridan J, Zax B. A Myhill Nerode theorem for automata
    with advice. In: <i>Proceedings GandALF 2012</i>. Vol 96. Open Publishing Association;
    2012:238-246. doi:<a href="https://doi.org/10.4204/EPTCS.96.18">10.4204/EPTCS.96.18</a>'
  apa: 'Kruckman, A., Rubin, S., Sheridan, J., &#38; Zax, B. (2012). A Myhill Nerode
    theorem for automata with advice. In <i>Proceedings GandALF 2012</i> (Vol. 96,
    pp. 238–246). Napoli, Italy: Open Publishing Association. <a href="https://doi.org/10.4204/EPTCS.96.18">https://doi.org/10.4204/EPTCS.96.18</a>'
  chicago: Kruckman, Alex, Sasha Rubin, John Sheridan, and Ben Zax. “A Myhill Nerode
    Theorem for Automata with Advice.” In <i>Proceedings GandALF 2012</i>, 96:238–46.
    Open Publishing Association, 2012. <a href="https://doi.org/10.4204/EPTCS.96.18">https://doi.org/10.4204/EPTCS.96.18</a>.
  ieee: A. Kruckman, S. Rubin, J. Sheridan, and B. Zax, “A Myhill Nerode theorem for
    automata with advice,” in <i>Proceedings GandALF 2012</i>, Napoli, Italy, 2012,
    vol. 96, pp. 238–246.
  ista: 'Kruckman A, Rubin S, Sheridan J, Zax B. 2012. A Myhill Nerode theorem for
    automata with advice. Proceedings GandALF 2012. GandALF: Games, Automata, Logics
    and Formal Verification, EPTCS, vol. 96, 238–246.'
  mla: Kruckman, Alex, et al. “A Myhill Nerode Theorem for Automata with Advice.”
    <i>Proceedings GandALF 2012</i>, vol. 96, Open Publishing Association, 2012, pp.
    238–46, doi:<a href="https://doi.org/10.4204/EPTCS.96.18">10.4204/EPTCS.96.18</a>.
  short: A. Kruckman, S. Rubin, J. Sheridan, B. Zax, in:, Proceedings GandALF 2012,
    Open Publishing Association, 2012, pp. 238–246.
conference:
  end_date: 2012-09-08
  location: Napoli, Italy
  name: 'GandALF: Games, Automata, Logics and Formal Verification'
  start_date: 2012-09-06
date_created: 2018-12-11T11:46:47Z
date_published: 2012-10-07T00:00:00Z
date_updated: 2021-01-12T08:01:04Z
day: '07'
ddc:
- '004'
department:
- _id: KrCh
doi: 10.4204/EPTCS.96.18
ec_funded: 1
file:
- access_level: open_access
  checksum: 56277f95edc9d531fa3bdc5f9579fda8
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:15:31Z
  date_updated: 2020-07-14T12:46:35Z
  file_id: '5152'
  file_name: IST-2018-944-v1+1_2012_Rubin_A_Myhill.pdf
  file_size: 97736
  relation: main_file
file_date_updated: 2020-07-14T12:46:35Z
has_accepted_license: '1'
intvolume: '        96'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 238 - 246
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
publication: Proceedings GandALF 2012
publication_status: published
publisher: Open Publishing Association
publist_id: '7325'
pubrep_id: '944'
quality_controlled: '1'
scopus_import: 1
status: public
title: A Myhill Nerode theorem for automata with advice
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 96
year: '2012'
...
