---
_id: '762'
abstract:
- lang: eng
  text: Decades of research in distributed computing have led to a variety of perspectives
    on what it means for a concurrent algorithm to be efficient, depending on model
    assumptions, progress guarantees, and complexity metrics. It is therefore natural
    to ask whether one could compose algorithms that perform efficiently under different
    conditions, so that the composition preserves the performance of the original
    components when their conditions are met. In this paper, we evaluate the cost
    of composing shared-memory algorithms. First, we formally define the notion of
    safely composable algorithms and we show that every sequential type has a safely
    composable implementation, as long as enough state is transferred between modules.
    Since such generic implementations are inherently expensive, we present a more
    general light-weight specification that allows the designer to transfer very little
    state between modules, by taking advantage of the semantics of the implemented
    object. Using this framework, we implement a composed longlived test-and-set object,
    with the property that each of its modules is asymptotically optimal with respect
    to the progress condition it ensures, while the entire implementation only uses
    objects with consensus number at most two. Thus, we show that the overhead of
    composition can be negligible in the case of some important shared-memory abstractions.
article_processing_charge: No
author:
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Rachid
  full_name: Guerraoui, Rachid
  last_name: Guerraoui
- first_name: Petr
  full_name: Kuznetsov, Petr
  last_name: Kuznetsov
- first_name: Giuliano
  full_name: Losa, Giuliano
  last_name: Losa
citation:
  ama: 'Alistarh D-A, Guerraoui R, Kuznetsov P, Losa G. On the cost of composing shared-memory
    algorithms. In: ACM; 2012:298-307. doi:<a href="https://doi.org/10.1145/2312005.2312057">10.1145/2312005.2312057</a>'
  apa: 'Alistarh, D.-A., Guerraoui, R., Kuznetsov, P., &#38; Losa, G. (2012). On the
    cost of composing shared-memory algorithms (pp. 298–307). Presented at the SPAA:
    Symposium on Parallelism in Algorithms and Architectures, ACM. <a href="https://doi.org/10.1145/2312005.2312057">https://doi.org/10.1145/2312005.2312057</a>'
  chicago: Alistarh, Dan-Adrian, Rachid Guerraoui, Petr Kuznetsov, and Giuliano Losa.
    “On the Cost of Composing Shared-Memory Algorithms,” 298–307. ACM, 2012. <a href="https://doi.org/10.1145/2312005.2312057">https://doi.org/10.1145/2312005.2312057</a>.
  ieee: 'D.-A. Alistarh, R. Guerraoui, P. Kuznetsov, and G. Losa, “On the cost of
    composing shared-memory algorithms,” presented at the SPAA: Symposium on Parallelism
    in Algorithms and Architectures, 2012, pp. 298–307.'
  ista: 'Alistarh D-A, Guerraoui R, Kuznetsov P, Losa G. 2012. On the cost of composing
    shared-memory algorithms. SPAA: Symposium on Parallelism in Algorithms and Architectures,
    298–307.'
  mla: Alistarh, Dan-Adrian, et al. <i>On the Cost of Composing Shared-Memory Algorithms</i>.
    ACM, 2012, pp. 298–307, doi:<a href="https://doi.org/10.1145/2312005.2312057">10.1145/2312005.2312057</a>.
  short: D.-A. Alistarh, R. Guerraoui, P. Kuznetsov, G. Losa, in:, ACM, 2012, pp.
    298–307.
conference:
  name: 'SPAA: Symposium on Parallelism in Algorithms and Architectures'
date_created: 2018-12-11T11:48:22Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2023-02-23T13:12:27Z
day: '01'
doi: 10.1145/2312005.2312057
extern: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 298 - 307
publication_status: published
publisher: ACM
publist_id: '6892'
status: public
title: On the cost of composing shared-memory algorithms
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2012'
...
---
_id: '763'
abstract:
- lang: eng
  text: Renaming is a fundamental problem in distributed computing, in which a set
    of n processes need to pick unique names from a namespace of limited size. In
    this paper, we present the first early-deciding upper bounds for synchronous renaming,
    in which the running time adapts to the actual number of failures f in the execution.
    We show that, surprisingly, renaming can be solved in constant time if the number
    of failures f is limited to O(√n), while for general f ≤ n - 1 renaming can always
    be solved in O(log f) communication rounds. In the wait-free case, i.e. for f
    = n - 1, our upper bounds match the Ω(log n) lower bound of Chaudhuri et al. [13].
acknowledgement: "Hagit Attiya - Supported in party by Israel Science Foundation (grant
  number 1227/10).\r\nCorentin Travers - Additional supports from the ANR projects
  ALADDIN and DISPLEXITY\r\n"
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Hagit
  full_name: Attiya, Hagit
  last_name: Attiya
- first_name: Rachid
  full_name: Guerraoui, Rachid
  last_name: Guerraoui
- first_name: Corentin
  full_name: Travers, Corentin
  last_name: Travers
citation:
  ama: 'Alistarh D-A, Attiya H, Guerraoui R, Travers C. Early deciding synchronous
    renaming in O(log f) rounds or less. In: Vol 7355 LNCS. Springer; 2012:195-206.
    doi:<a href="https://doi.org/10.1007/978-3-642-31104-8_17">10.1007/978-3-642-31104-8_17</a>'
  apa: 'Alistarh, D.-A., Attiya, H., Guerraoui, R., &#38; Travers, C. (2012). Early
    deciding synchronous renaming in O(log f) rounds or less (Vol. 7355 LNCS, pp.
    195–206). Presented at the SIROCCO: Structural Information and Communication Complexity,
    Springer. <a href="https://doi.org/10.1007/978-3-642-31104-8_17">https://doi.org/10.1007/978-3-642-31104-8_17</a>'
  chicago: Alistarh, Dan-Adrian, Hagit Attiya, Rachid Guerraoui, and Corentin Travers.
    “Early Deciding Synchronous Renaming in O(Log f) Rounds or Less,” 7355 LNCS:195–206.
    Springer, 2012. <a href="https://doi.org/10.1007/978-3-642-31104-8_17">https://doi.org/10.1007/978-3-642-31104-8_17</a>.
  ieee: 'D.-A. Alistarh, H. Attiya, R. Guerraoui, and C. Travers, “Early deciding
    synchronous renaming in O(log f) rounds or less,” presented at the SIROCCO: Structural
    Information and Communication Complexity, 2012, vol. 7355 LNCS, pp. 195–206.'
  ista: 'Alistarh D-A, Attiya H, Guerraoui R, Travers C. 2012. Early deciding synchronous
    renaming in O(log f) rounds or less. SIROCCO: Structural Information and Communication
    Complexity, LNCS, vol. 7355 LNCS, 195–206.'
  mla: Alistarh, Dan-Adrian, et al. <i>Early Deciding Synchronous Renaming in O(Log
    f) Rounds or Less</i>. Vol. 7355 LNCS, Springer, 2012, pp. 195–206, doi:<a href="https://doi.org/10.1007/978-3-642-31104-8_17">10.1007/978-3-642-31104-8_17</a>.
  short: D.-A. Alistarh, H. Attiya, R. Guerraoui, C. Travers, in:, Springer, 2012,
    pp. 195–206.
conference:
  name: 'SIROCCO: Structural Information and Communication Complexity'
date_created: 2018-12-11T11:48:22Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2023-02-23T13:12:41Z
day: '01'
doi: 10.1007/978-3-642-31104-8_17
extern: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 195 - 206
publication_status: published
publisher: Springer
publist_id: '6893'
status: public
title: Early deciding synchronous renaming in O(log f) rounds or less
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 7355 LNCS
year: '2012'
...
---
_id: '764'
abstract:
- lang: eng
  text: Set agreement is a fundamental problem in distributed computing in which processes
    collectively choose a small subset of values from a larger set of proposals. The
    impossibility of fault-tolerant set agreement in asynchronous networks is one
    of the seminal results in distributed computing. In synchronous networks, too,
    the complexity of set agreement has been a significant research challenge that
    has now been resolved. Real systems, however, are neither purely synchronous nor
    purely asynchronous. Rather, they tend to alternate between periods of synchrony
    and periods of asynchrony. Nothing specific is known about the complexity of set
    agreement in such a &quot;partially synchronous&quot; setting. In this paper,
    we address this challenge, presenting the first (asymptotically) tight bound on
    the complexity of set agreement in such systems. We introduce a novel technique
    for simulating, in a fault-prone asynchronous shared memory, executions of an
    asynchronous and failure-prone message-passing system in which some fragments
    appear synchronous to some processes. We use this simulation technique to derive
    a lower bound on the round complexity of set agreement in a partially synchronous
    system by a reduction from asynchronous wait-free set agreement. Specifically,
    we show that every set agreement protocol requires at least $\lfloor\frac t k
    \rfloor + 2$ synchronous rounds to decide. We present an (asymptotically) matching
    algorithm that relies on a distributed asynchrony detection mechanism to decide
    as soon as possible during periods of synchrony. From these two results, we derive
    the size of the minimal window of synchrony needed to solve set agreement. By
    relating synchronous, asynchronous and partially synchronous environments, our
    simulation technique is of independent interest. In particular, it allows us to
    obtain a new lower bound on the complexity of early deciding k-set agreement complementary
    to that of Gafni et al. (in SIAM J. Comput. 40(1):63-78, 2011), and to re-derive
    the combinatorial topology lower bound of Guerraoui et al. (in Theor. Comput.
    Sci. 410(6-7):570-580, 2009) in an algorithmic way.
acknowledgement: "We would like  to thank  Hagit  Attiya, Keren Censor-Hillel,  and
  the  anonymous\r\nreviewers for their feedback on drafts of this paper.\r\nPart
  of the work was performed  as C. Travers was a Post-Doctoral Fellow at the Technion,
  Haifa,\r\nsupported by the “Sam & Cecilia Neaman” Fellowship. Part of the work was
  performed as S. Gilbert was\r\na Post-Doctoral Fellow at the Swiss Federal Institute
  of Technology, Lausanne, Switzerland."
article_processing_charge: No
author:
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Seth
  full_name: Gilbert, Seth
  last_name: Gilbert
- first_name: Rachid
  full_name: Guerraoui, Rachid
  last_name: Guerraoui
- first_name: Corentin
  full_name: Travers, Corentin
  last_name: Travers
citation:
  ama: 'Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Of choices, failures and
    asynchrony: the many faces of set agreement. <i>Algorithmica (New York)</i>. 2012;62(1-2):595-629.
    doi:<a href="https://doi.org/10.1007/s00453-011-9581-7">10.1007/s00453-011-9581-7</a>'
  apa: 'Alistarh, D.-A., Gilbert, S., Guerraoui, R., &#38; Travers, C. (2012). Of
    choices, failures and asynchrony: the many faces of set agreement. <i>Algorithmica
    (New York)</i>. Springer. <a href="https://doi.org/10.1007/s00453-011-9581-7">https://doi.org/10.1007/s00453-011-9581-7</a>'
  chicago: 'Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers.
    “Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement.” <i>Algorithmica
    (New York)</i>. Springer, 2012. <a href="https://doi.org/10.1007/s00453-011-9581-7">https://doi.org/10.1007/s00453-011-9581-7</a>.'
  ieee: 'D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Of choices, failures
    and asynchrony: the many faces of set agreement,” <i>Algorithmica (New York)</i>,
    vol. 62, no. 1–2. Springer, pp. 595–629, 2012.'
  ista: 'Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2012. Of choices, failures
    and asynchrony: the many faces of set agreement. Algorithmica (New York). 62(1–2),
    595–629.'
  mla: 'Alistarh, Dan-Adrian, et al. “Of Choices, Failures and Asynchrony: The Many
    Faces of Set Agreement.” <i>Algorithmica (New York)</i>, vol. 62, no. 1–2, Springer,
    2012, pp. 595–629, doi:<a href="https://doi.org/10.1007/s00453-011-9581-7">10.1007/s00453-011-9581-7</a>.'
  short: D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, Algorithmica (New York)
    62 (2012) 595–629.
date_created: 2018-12-11T11:48:23Z
date_published: 2012-02-01T00:00:00Z
date_updated: 2023-02-23T13:13:02Z
day: '01'
doi: 10.1007/s00453-011-9581-7
extern: '1'
intvolume: '        62'
issue: 1-2
language:
- iso: eng
month: '02'
oa_version: None
page: 595 - 629
publication: Algorithmica (New York)
publication_status: published
publisher: Springer
publist_id: '6894'
status: public
title: 'Of choices, failures and asynchrony: the many faces of set agreement'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 62
year: '2012'
...
---
_id: '766'
abstract:
- lang: eng
  text: 'Asynchronous task allocation is a fundamental problem in distributed computing
    in which p asynchronous processes must execute a set of m tasks. Also known as
    write-all or do-all, this problem been studied extensively, both independently
    and as a key building block for various distributed algorithms. In this paper,
    we break new ground on this classic problem: we introduce the To-Do Tree concurrent
    data structure, which improves on the best known randomized and deterministic
    upper bounds. In the presence of an adaptive adversary, the randomized To-Do Tree
    algorithm has O(m + p log p log2 m) work complexity. We then show that there exists
    a deterministic variant of the To-Do Tree algorithm with work complexity O(m +
    p log5 m log2 max(m, p)). For all values of m and p, our algorithms are within
    log factors of the Ω(m + p log p) lower bound for this problem. The key technical
    ingredient in our results is a new approach for analyzing concurrent executions
    against a strong adaptive scheduler. This technique allows us to handle the complex
    dependencies between the processes'' coin flips and their scheduling, and to tightly
    bound the work needed to perform subsets of the tasks.'
article_processing_charge: No
author:
- first_name: Dan-Adrian
  full_name: Alistarh, Dan-Adrian
  id: 4A899BFC-F248-11E8-B48F-1D18A9856A87
  last_name: Alistarh
  orcid: 0000-0003-3650-940X
- first_name: Michael
  full_name: Bender, Michael
  last_name: Bender
- first_name: Seth
  full_name: Gilbert, Seth
  last_name: Gilbert
- first_name: Rachid
  full_name: Guerraoui, Rachid
  last_name: Guerraoui
citation:
  ama: 'Alistarh D-A, Bender M, Gilbert S, Guerraoui R. How to allocate tasks asynchronously.
    In: IEEE; 2012:331-340. doi:<a href="https://doi.org/10.1109/FOCS.2012.41">10.1109/FOCS.2012.41</a>'
  apa: 'Alistarh, D.-A., Bender, M., Gilbert, S., &#38; Guerraoui, R. (2012). How
    to allocate tasks asynchronously (pp. 331–340). Presented at the FOCS: Foundations
    of Computer Science, IEEE. <a href="https://doi.org/10.1109/FOCS.2012.41">https://doi.org/10.1109/FOCS.2012.41</a>'
  chicago: Alistarh, Dan-Adrian, Michael Bender, Seth Gilbert, and Rachid Guerraoui.
    “How to Allocate Tasks Asynchronously,” 331–40. IEEE, 2012. <a href="https://doi.org/10.1109/FOCS.2012.41">https://doi.org/10.1109/FOCS.2012.41</a>.
  ieee: 'D.-A. Alistarh, M. Bender, S. Gilbert, and R. Guerraoui, “How to allocate
    tasks asynchronously,” presented at the FOCS: Foundations of Computer Science,
    2012, pp. 331–340.'
  ista: 'Alistarh D-A, Bender M, Gilbert S, Guerraoui R. 2012. How to allocate tasks
    asynchronously. FOCS: Foundations of Computer Science, 331–340.'
  mla: Alistarh, Dan-Adrian, et al. <i>How to Allocate Tasks Asynchronously</i>. IEEE,
    2012, pp. 331–40, doi:<a href="https://doi.org/10.1109/FOCS.2012.41">10.1109/FOCS.2012.41</a>.
  short: D.-A. Alistarh, M. Bender, S. Gilbert, R. Guerraoui, in:, IEEE, 2012, pp.
    331–340.
conference:
  name: 'FOCS: Foundations of Computer Science'
date_created: 2018-12-11T11:48:23Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2023-02-23T13:13:27Z
day: '01'
doi: 10.1109/FOCS.2012.41
extern: '1'
language:
- iso: eng
month: '01'
oa_version: None
page: 331 - 340
publication_status: published
publisher: IEEE
publist_id: '6890'
status: public
title: How to allocate tasks asynchronously
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
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.
article_processing_charge: No
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: 2025-09-30T07:33:11Z
day: '01'
department:
- _id: ToHe
doi: 10.1016/j.scico.2010.06.004
external_id:
  isi:
  - '000298464800003'
intvolume: '        77'
isi: 1
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
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.
corr_author: '1'
date_created: 2018-12-11T12:05:29Z
date_published: 2012-03-02T00:00:00Z
date_updated: 2025-09-30T07:32:39Z
day: '02'
ddc:
- '000'
department:
- _id: KrCh
- _id: ToHe
doi: 10.1016/j.jcss.2011.05.002
external_id:
  isi:
  - '000299719100002'
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'
isi: 1
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
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: '3246'
abstract:
- lang: eng
  text: Visualizing and analyzing shape changes at various scales, ranging from single
    molecules to whole organisms, are essential for understanding complex morphogenetic
    processes, such as early embryonic development. Embryo morphogenesis relies on
    the interplay between different tissues, the properties of which are again determined
    by the interaction between their constituent cells. Cell interactions, on the
    other hand, are controlled by various molecules, such as signaling and adhesion
    molecules, which in order to exert their functions need to be spatiotemporally
    organized within and between the interacting cells. In this review, we will focus
    on the role of cell adhesion functioning at different scales to organize cell,
    tissue and embryo morphogenesis. We will specifically ask how the subcellular
    distribution of adhesion molecules controls the formation of cell-cell contacts,
    how cell-cell contacts determine tissue shape, and how tissue interactions regulate
    embryo morphogenesis.
acknowledgement: This review comes from a themed issue on Cell structure and dynamics
  Edited by Jason Swedlow and Gaudenz Danuser
article_processing_charge: No
author:
- first_name: Vanessa
  full_name: Barone, Vanessa
  id: 419EECCC-F248-11E8-B48F-1D18A9856A87
  last_name: Barone
  orcid: 0000-0003-2676-3367
- first_name: Carl-Philipp J
  full_name: Heisenberg, Carl-Philipp J
  id: 39427864-F248-11E8-B48F-1D18A9856A87
  last_name: Heisenberg
  orcid: 0000-0002-0912-4566
citation:
  ama: Barone V, Heisenberg C-PJ. Cell adhesion in embryo morphogenesis. <i>Current
    Opinion in Cell Biology</i>. 2012;24(1):148-153. doi:<a href="https://doi.org/10.1016/j.ceb.2011.11.006">10.1016/j.ceb.2011.11.006</a>
  apa: Barone, V., &#38; Heisenberg, C.-P. J. (2012). Cell adhesion in embryo morphogenesis.
    <i>Current Opinion in Cell Biology</i>. Elsevier. <a href="https://doi.org/10.1016/j.ceb.2011.11.006">https://doi.org/10.1016/j.ceb.2011.11.006</a>
  chicago: Barone, Vanessa, and Carl-Philipp J Heisenberg. “Cell Adhesion in Embryo
    Morphogenesis.” <i>Current Opinion in Cell Biology</i>. Elsevier, 2012. <a href="https://doi.org/10.1016/j.ceb.2011.11.006">https://doi.org/10.1016/j.ceb.2011.11.006</a>.
  ieee: V. Barone and C.-P. J. Heisenberg, “Cell adhesion in embryo morphogenesis,”
    <i>Current Opinion in Cell Biology</i>, vol. 24, no. 1. Elsevier, pp. 148–153,
    2012.
  ista: Barone V, Heisenberg C-PJ. 2012. Cell adhesion in embryo morphogenesis. Current
    Opinion in Cell Biology. 24(1), 148–153.
  mla: Barone, Vanessa, and Carl-Philipp J. Heisenberg. “Cell Adhesion in Embryo Morphogenesis.”
    <i>Current Opinion in Cell Biology</i>, vol. 24, no. 1, Elsevier, 2012, pp. 148–53,
    doi:<a href="https://doi.org/10.1016/j.ceb.2011.11.006">10.1016/j.ceb.2011.11.006</a>.
  short: V. Barone, C.-P.J. Heisenberg, Current Opinion in Cell Biology 24 (2012)
    148–153.
corr_author: '1'
date_created: 2018-12-11T12:02:14Z
date_published: 2012-02-01T00:00:00Z
date_updated: 2026-04-08T14:22:39Z
day: '01'
department:
- _id: CaHe
doi: 10.1016/j.ceb.2011.11.006
external_id:
  isi:
  - '000302206900020'
intvolume: '        24'
isi: 1
issue: '1'
language:
- iso: eng
month: '02'
oa_version: None
page: 148 - 153
publication: Current Opinion in Cell Biology
publication_status: published
publisher: Elsevier
publist_id: '3423'
quality_controlled: '1'
related_material:
  record:
  - id: '961'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Cell adhesion in embryo morphogenesis
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 24
year: '2012'
...
---
_id: '3157'
abstract:
- lang: eng
  text: Colorectal tumours that are wild type for KRAS are often sensitive to EGFR
    blockade, but almost always develop resistance within several months of initiating
    therapy. The mechanisms underlying this acquired resistance to anti-EGFR antibodies
    are largely unknown. This situation is in marked contrast to that of small-molecule
    targeted agents, such as inhibitors of ABL, EGFR, BRAF and MEK, in which mutations
    in the genes encoding the protein targets render the tumours resistant to the
    effects of the drugs. The simplest hypothesis to account for the development of
    resistance to EGFR blockade is that rare cells with KRAS mutations pre-exist at
    low levels in tumours with ostensibly wild-type KRAS genes. Although this hypothesis
    would seem readily testable, there is no evidence in pre-clinical models to support
    it, nor is there data from patients. To test this hypothesis, we determined whether
    mutant KRAS DNA could be detected in the circulation of 28 patients receiving
    monotherapy with panitumumab, a therapeutic anti-EGFR antibody. We found that
    9 out of 24 (38%) patients whose tumours were initially KRAS wild type developed
    detectable mutations in KRAS in their sera, three of which developed multiple
    different KRAS mutations. The appearance of these mutations was very consistent,
    generally occurring between 5 and 6months following treatment. Mathematical modelling
    indicated that the mutations were present in expanded subclones before the initiation
    of panitumumab treatment. These results suggest that the emergence of KRAS mutations
    is a mediator of acquired resistance to EGFR blockade and that these mutations
    can be detected in a non-invasive manner. They explain why solid tumours develop
    resistance to targeted therapies in a highly reproducible fashion.
article_processing_charge: No
author:
- first_name: Luis
  full_name: Diaz Jr, Luis
  last_name: Diaz Jr
- first_name: Richard
  full_name: Williams, Richard
  last_name: Williams
- first_name: Jian
  full_name: Wu, Jian
  last_name: Wu
- first_name: Isaac
  full_name: Kinde, Isaac
  last_name: Kinde
- first_name: Joel
  full_name: Hecht, Joel
  last_name: Hecht
- first_name: Jordan
  full_name: Berlin, Jordan
  last_name: Berlin
- first_name: Benjamin
  full_name: Allen, Benjamin
  last_name: Allen
- first_name: Ivana
  full_name: Božić, Ivana
  last_name: Božić
- first_name: Johannes
  full_name: Reiter, Johannes
  id: 4A918E98-F248-11E8-B48F-1D18A9856A87
  last_name: Reiter
  orcid: 0000-0002-0170-7353
- first_name: Martin
  full_name: Nowak, Martin
  last_name: Nowak
- first_name: Kenneth
  full_name: Kinzler, Kenneth
  last_name: Kinzler
- first_name: Kelly
  full_name: Oliner, Kelly
  last_name: Oliner
- first_name: Bert
  full_name: Vogelstein, Bert
  last_name: Vogelstein
citation:
  ama: Diaz Jr L, Williams R, Wu J, et al. The molecular evolution of acquired resistance
    to targeted EGFR blockade in colorectal cancers. <i>Nature</i>. 2012;486(7404):537-540.
    doi:<a href="https://doi.org/10.1038/nature11219">10.1038/nature11219</a>
  apa: Diaz Jr, L., Williams, R., Wu, J., Kinde, I., Hecht, J., Berlin, J., … Vogelstein,
    B. (2012). The molecular evolution of acquired resistance to targeted EGFR blockade
    in colorectal cancers. <i>Nature</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/nature11219">https://doi.org/10.1038/nature11219</a>
  chicago: Diaz Jr, Luis, Richard Williams, Jian Wu, Isaac Kinde, Joel Hecht, Jordan
    Berlin, Benjamin Allen, et al. “The Molecular Evolution of Acquired Resistance
    to Targeted EGFR Blockade in Colorectal Cancers.” <i>Nature</i>. Nature Publishing
    Group, 2012. <a href="https://doi.org/10.1038/nature11219">https://doi.org/10.1038/nature11219</a>.
  ieee: L. Diaz Jr <i>et al.</i>, “The molecular evolution of acquired resistance
    to targeted EGFR blockade in colorectal cancers,” <i>Nature</i>, vol. 486, no.
    7404. Nature Publishing Group, pp. 537–540, 2012.
  ista: Diaz Jr L, Williams R, Wu J, Kinde I, Hecht J, Berlin J, Allen B, Božić I,
    Reiter J, Nowak M, Kinzler K, Oliner K, Vogelstein B. 2012. The molecular evolution
    of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature.
    486(7404), 537–540.
  mla: Diaz Jr, Luis, et al. “The Molecular Evolution of Acquired Resistance to Targeted
    EGFR Blockade in Colorectal Cancers.” <i>Nature</i>, vol. 486, no. 7404, Nature
    Publishing Group, 2012, pp. 537–40, doi:<a href="https://doi.org/10.1038/nature11219">10.1038/nature11219</a>.
  short: L. Diaz Jr, R. Williams, J. Wu, I. Kinde, J. Hecht, J. Berlin, B. Allen,
    I. Božić, J. Reiter, M. Nowak, K. Kinzler, K. Oliner, B. Vogelstein, Nature 486
    (2012) 537–540.
date_created: 2018-12-11T12:01:43Z
date_published: 2012-06-28T00:00:00Z
date_updated: 2026-04-09T14:26:24Z
day: '28'
department:
- _id: KrCh
doi: 10.1038/nature11219
ec_funded: 1
external_id:
  isi:
  - '000305760600044'
  pmid:
  - '22722843'
intvolume: '       486'
isi: 1
issue: '7404'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3436069/
month: '06'
oa: 1
oa_version: Submitted Version
page: 537 - 540
pmid: 1
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication: Nature
publication_status: published
publisher: Nature Publishing Group
publist_id: '3537'
quality_controlled: '1'
related_material:
  record:
  - id: '1400'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: The molecular evolution of acquired resistance to targeted EGFR blockade in
  colorectal cancers
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 486
year: '2012'
...
---
_id: '3260'
abstract:
- lang: eng
  text: "Many scenarios in the living world, where individual organisms compete for
    winning positions (or resources), have properties of auctions. Here we study the
    evolution of bids in biological auctions. For each auction, n individuals are
    drawn at random from a population of size N. Each individual makes a bid which
    entails a cost. The winner obtains a benefit of a certain value. Costs and benefits
    are translated into reproductive success (fitness). Therefore, successful bidding
    strategies spread in the population. We compare two types of auctions. In “biological
    all-pay auctions”, the costs are the bid for every participating individual. In
    “biological second price all-pay auctions”, the cost for everyone other than the
    winner is the bid, but the cost for the winner is the second highest bid. Second
    price all-pay auctions are generalizations of the “war of attrition” introduced
    by Maynard Smith. We study evolutionary dynamics in both types of auctions. We
    calculate pairwise invasion plots and evolutionarily stable distributions over
    the continuous strategy space. We find that the average bid in second price all-pay
    auctions is higher than in all-pay auctions, but the average cost for the winner
    is similar in both auctions. In both cases, the average bid is a declining function
    of the number of participants, n. The more individuals participate in an auction
    the smaller is the chance of winning, and thus expensive bids must be avoided.\r\n"
article_processing_charge: No
author:
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Johannes
  full_name: Reiter, Johannes
  id: 4A918E98-F248-11E8-B48F-1D18A9856A87
  last_name: Reiter
  orcid: 0000-0002-0170-7353
- first_name: Martin
  full_name: Nowak, Martin
  last_name: Nowak
citation:
  ama: Chatterjee K, Reiter J, Nowak M. Evolutionary dynamics of biological auctions.
    <i>Theoretical Population Biology</i>. 2012;81(1):69-80. doi:<a href="https://doi.org/10.1016/j.tpb.2011.11.003">10.1016/j.tpb.2011.11.003</a>
  apa: Chatterjee, K., Reiter, J., &#38; Nowak, M. (2012). Evolutionary dynamics of
    biological auctions. <i>Theoretical Population Biology</i>. Academic Press. <a
    href="https://doi.org/10.1016/j.tpb.2011.11.003">https://doi.org/10.1016/j.tpb.2011.11.003</a>
  chicago: Chatterjee, Krishnendu, Johannes Reiter, and Martin Nowak. “Evolutionary
    Dynamics of Biological Auctions.” <i>Theoretical Population Biology</i>. Academic
    Press, 2012. <a href="https://doi.org/10.1016/j.tpb.2011.11.003">https://doi.org/10.1016/j.tpb.2011.11.003</a>.
  ieee: K. Chatterjee, J. Reiter, and M. Nowak, “Evolutionary dynamics of biological
    auctions,” <i>Theoretical Population Biology</i>, vol. 81, no. 1. Academic Press,
    pp. 69–80, 2012.
  ista: Chatterjee K, Reiter J, Nowak M. 2012. Evolutionary dynamics of biological
    auctions. Theoretical Population Biology. 81(1), 69–80.
  mla: Chatterjee, Krishnendu, et al. “Evolutionary Dynamics of Biological Auctions.”
    <i>Theoretical Population Biology</i>, vol. 81, no. 1, Academic Press, 2012, pp.
    69–80, doi:<a href="https://doi.org/10.1016/j.tpb.2011.11.003">10.1016/j.tpb.2011.11.003</a>.
  short: K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012)
    69–80.
corr_author: '1'
date_created: 2018-12-11T12:02:19Z
date_published: 2012-02-01T00:00:00Z
date_updated: 2026-04-09T14:26:23Z
day: '01'
department:
- _id: KrCh
doi: 10.1016/j.tpb.2011.11.003
ec_funded: 1
external_id:
  isi:
  - '000298938200006'
  pmid:
  - '22120126'
intvolume: '        81'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: 'http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3279759/ '
month: '02'
oa: 1
oa_version: Submitted Version
page: 69 - 80
pmid: 1
project:
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 2584A770-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P 23499-N23
  name: Modern Graph Algorithmic Techniques in Formal Verification
- _id: 2587B514-B435-11E9-9278-68D0E5697425
  name: Microsoft Research Faculty Fellowship
publication: Theoretical Population Biology
publication_status: published
publisher: Academic Press
publist_id: '3388'
quality_controlled: '1'
related_material:
  record:
  - id: '1400'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Evolutionary dynamics of biological auctions
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 81
year: '2012'
...
---
_id: '3251'
abstract:
- lang: eng
  text: Many infinite state systems can be seen as well-structured transition systems
    (WSTS), i.e., systems equipped with a well-quasi-ordering on states that is also
    a simulation relation. WSTS are an attractive target for formal analysis because
    there exist generic algorithms that decide interesting verification problems for
    this class. Among the most popular algorithms are acceleration-based forward analyses
    for computing the covering set. Termination of these algorithms can only be guaranteed
    for flattable WSTS. Yet, many WSTS of practical interest are not flattable and
    the question whether any given WSTS is flattable is itself undecidable. We therefore
    propose an analysis that computes the covering set and captures the essence of
    acceleration-based algorithms, but sacrifices precision for guaranteed termination.
    Our analysis is an abstract interpretation whose abstract domain builds on the
    ideal completion of the well-quasi-ordered state space, and a widening operator
    that mimics acceleration and controls the loss of precision of the analysis. We
    present instances of our framework for various classes of WSTS. Our experience
    with a prototype implementation indicates that, despite the inherent precision
    loss, our analysis often computes the precise covering set of the analyzed system.
acknowledgement: This research was supported in part by the European Research Council
  (ERC) Advanced Investigator Grant QUAREM and by the Austrian Science Fund (FWF)
  project S11402-N23.
alternative_title:
- LNCS
author:
- first_name: Damien
  full_name: Zufferey, Damien
  id: 4397AC76-F248-11E8-B48F-1D18A9856A87
  last_name: Zufferey
  orcid: 0000-0002-3197-8736
- first_name: Thomas
  full_name: Wies, Thomas
  id: 447BFB88-F248-11E8-B48F-1D18A9856A87
  last_name: Wies
- 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: 'Zufferey D, Wies T, Henzinger TA. Ideal abstractions for well structured transition
    systems. In: Vol 7148. Springer; 2012:445-460. doi:<a href="https://doi.org/10.1007/978-3-642-27940-9_29">10.1007/978-3-642-27940-9_29</a>'
  apa: 'Zufferey, D., Wies, T., &#38; Henzinger, T. A. (2012). Ideal abstractions
    for well structured transition systems (Vol. 7148, pp. 445–460). Presented at
    the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia,
    PA, USA: Springer. <a href="https://doi.org/10.1007/978-3-642-27940-9_29">https://doi.org/10.1007/978-3-642-27940-9_29</a>'
  chicago: Zufferey, Damien, Thomas Wies, and Thomas A Henzinger. “Ideal Abstractions
    for Well Structured Transition Systems,” 7148:445–60. Springer, 2012. <a href="https://doi.org/10.1007/978-3-642-27940-9_29">https://doi.org/10.1007/978-3-642-27940-9_29</a>.
  ieee: 'D. Zufferey, T. Wies, and T. A. Henzinger, “Ideal abstractions for well structured
    transition systems,” presented at the VMCAI: Verification, Model Checking and
    Abstract Interpretation, Philadelphia, PA, USA, 2012, vol. 7148, pp. 445–460.'
  ista: 'Zufferey D, Wies T, Henzinger TA. 2012. Ideal abstractions for well structured
    transition systems. VMCAI: Verification, Model Checking and Abstract Interpretation,
    LNCS, vol. 7148, 445–460.'
  mla: Zufferey, Damien, et al. <i>Ideal Abstractions for Well Structured Transition
    Systems</i>. Vol. 7148, Springer, 2012, pp. 445–60, doi:<a href="https://doi.org/10.1007/978-3-642-27940-9_29">10.1007/978-3-642-27940-9_29</a>.
  short: D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
conference:
  end_date: 2012-01-24
  location: Philadelphia, PA, USA
  name: 'VMCAI: Verification, Model Checking and Abstract Interpretation'
  start_date: 2012-01-22
date_created: 2018-12-11T12:02:16Z
date_published: 2012-01-01T00:00:00Z
date_updated: 2026-04-09T14:35:23Z
day: '01'
ddc:
- '000'
- '005'
department:
- _id: ToHe
doi: 10.1007/978-3-642-27940-9_29
ec_funded: 1
file:
- access_level: open_access
  checksum: f2f0d55efa32309ad1fe65a5fcaad90c
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:09:35Z
  date_updated: 2020-07-14T12:46:05Z
  file_id: '4759'
  file_name: IST-2012-100-v1+1_Ideal_abstractions_for_well-structured_transition_systems.pdf
  file_size: 217104
  relation: main_file
file_date_updated: 2020-07-14T12:46:05Z
has_accepted_license: '1'
intvolume: '      7148'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Submitted Version
page: 445 - 460
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication_status: published
publisher: Springer
publist_id: '3406'
pubrep_id: '100'
quality_controlled: '1'
related_material:
  record:
  - id: '1405'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Ideal abstractions for well structured transition systems
type: conference
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 7148
year: '2012'
...
---
_id: '3258'
abstract:
- lang: eng
  text: CA3 pyramidal neurons are important for memory formation and pattern completion
    in the hippocampal network. It is generally thought that proximal synapses from
    the mossy fibers activate these neurons most efficiently, whereas distal inputs
    from the perforant path have a weaker modulatory influence. We used confocally
    targeted patch-clamp recording from dendrites and axons to map the activation
    of rat CA3 pyramidal neurons at the subcellular level. Our results reveal two
    distinct dendritic domains. In the proximal domain, action potentials initiated
    in the axon backpropagate actively with large amplitude and fast time course.
    In the distal domain, Na+ channel–mediated dendritic spikes are efficiently initiated
    by waveforms mimicking synaptic events. CA3 pyramidal neuron dendrites showed
    a high Na+-to-K+ conductance density ratio, providing ideal conditions for active
    backpropagation and dendritic spike initiation. Dendritic spikes may enhance the
    computational power of CA3 pyramidal neurons in the hippocampal network.
acknowledgement: This work was supported by the Deutsche Forschungsgemeinschaft (TR
  3/B10) and the European Union (European Research Council Advanced grant to P.J.).
article_processing_charge: No
article_type: original
author:
- first_name: Sooyun
  full_name: Kim, Sooyun
  id: 394AB1C8-F248-11E8-B48F-1D18A9856A87
  last_name: Kim
- first_name: José
  full_name: Guzmán, José
  id: 30CC5506-F248-11E8-B48F-1D18A9856A87
  last_name: Guzmán
  orcid: 0000-0003-2209-5242
- first_name: Hua
  full_name: Hu, Hua
  id: 4AC0145C-F248-11E8-B48F-1D18A9856A87
  last_name: Hu
- 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: Kim S, Guzmán J, Hu H, Jonas PM. Active dendrites support efficient initiation
    of dendritic spikes in hippocampal CA3 pyramidal neurons. <i>Nature Neuroscience</i>.
    2012;15(4):600-606. doi:<a href="https://doi.org/10.1038/nn.3060">10.1038/nn.3060</a>
  apa: Kim, S., Guzmán, J., Hu, H., &#38; Jonas, P. M. (2012). Active dendrites support
    efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons.
    <i>Nature Neuroscience</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/nn.3060">https://doi.org/10.1038/nn.3060</a>
  chicago: Kim, Sooyun, José Guzmán, Hua Hu, and Peter M Jonas. “Active Dendrites
    Support Efficient Initiation of Dendritic Spikes in Hippocampal CA3 Pyramidal
    Neurons.” <i>Nature Neuroscience</i>. Nature Publishing Group, 2012. <a href="https://doi.org/10.1038/nn.3060">https://doi.org/10.1038/nn.3060</a>.
  ieee: S. Kim, J. Guzmán, H. Hu, and P. M. Jonas, “Active dendrites support efficient
    initiation of dendritic spikes in hippocampal CA3 pyramidal neurons,” <i>Nature
    Neuroscience</i>, vol. 15, no. 4. Nature Publishing Group, pp. 600–606, 2012.
  ista: Kim S, Guzmán J, Hu H, Jonas PM. 2012. Active dendrites support efficient
    initiation of dendritic spikes in hippocampal CA3 pyramidal neurons. Nature Neuroscience.
    15(4), 600–606.
  mla: Kim, Sooyun, et al. “Active Dendrites Support Efficient Initiation of Dendritic
    Spikes in Hippocampal CA3 Pyramidal Neurons.” <i>Nature Neuroscience</i>, vol.
    15, no. 4, Nature Publishing Group, 2012, pp. 600–06, doi:<a href="https://doi.org/10.1038/nn.3060">10.1038/nn.3060</a>.
  short: S. Kim, J. Guzmán, H. Hu, P.M. Jonas, Nature Neuroscience 15 (2012) 600–606.
corr_author: '1'
date_created: 2018-12-11T12:02:18Z
date_published: 2012-04-01T00:00:00Z
date_updated: 2026-04-09T14:36:04Z
day: '01'
department:
- _id: PeJo
doi: 10.1038/nn.3060
external_id:
  isi:
  - '000302114500020'
  pmid:
  - '22388958'
intvolume: '        15'
isi: 1
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3617474/
month: '04'
oa: 1
oa_version: Published Version
page: 600 - 606
pmid: 1
project:
- _id: 25BDE9A4-B435-11E9-9278-68D0E5697425
  grant_number: SFB-TR3-TP10B
  name: "Glutamaterge synaptische Ã\x9Cbertragung und PlastizitÃ¤t in hippocampalen
    Mikroschaltkreisen"
publication: Nature Neuroscience
publication_identifier:
  issn:
  - 1546-1726
publication_status: published
publisher: Nature Publishing Group
publist_id: '3390'
quality_controlled: '1'
related_material:
  record:
  - id: '2964'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Active dendrites support efficient initiation of dendritic spikes in hippocampal
  CA3 pyramidal neurons
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 15
year: '2012'
...
---
OA_place: publisher
_id: '2964'
abstract:
- lang: eng
  text: 'CA3 pyramidal neurons are important for memory formation and pattern completion
    in the hippocampal network. These neurons receive multiple excitatory inputs from
    numerous sources. Therefore, the rules of spatiotemporal integration of multiple
    synaptic inputs and propagation of action potentials are important to understand
    how CA3 neurons contribute to higher brain functions at cellular level. By using
    confocally targeted patch-clamp recording techniques, we investigated the biophysical
    properties of rat CA3 pyramidal neuron dendrites. We found two distinct dendritic
    domains critical for action potential initiation and propagation: In the proximal
    domain, action potentials initiated in the axon backpropagate actively with large
    amplitude and fast time course. In the distal domain, Na+-channel mediated dendritic
    spikes are efficiently evoked by local dendritic depolarization or waveforms mimicking
    synaptic events. These findings can be explained by a high Na+-to-K+ conductance
    density ratio of CA3 pyramidal neuron dendrites. The results challenge the prevailing
    view that proximal mossy fiber inputs activate CA3 pyramidal neurons more efficiently
    than distal perforant inputs by showing that the distal synapses trigger a different
    form of activity represented by dendritic spikes. The high probability of dendritic
    spike initiation in the distal area may enhance the computational power of CA3
    pyramidal neurons in the hippocampal network.  '
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Sooyun
  full_name: Kim, Sooyun
  id: 394AB1C8-F248-11E8-B48F-1D18A9856A87
  last_name: Kim
citation:
  ama: Kim S. Active properties of hippocampal CA3 pyramidal neuron dendrites. 2012.
  apa: Kim, S. (2012). <i>Active properties of hippocampal CA3 pyramidal neuron dendrites</i>.
    Institute of Science and Technology Austria.
  chicago: Kim, Sooyun. “Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites.”
    Institute of Science and Technology Austria, 2012.
  ieee: S. Kim, “Active properties of hippocampal CA3 pyramidal neuron dendrites,”
    Institute of Science and Technology Austria, 2012.
  ista: Kim S. 2012. Active properties of hippocampal CA3 pyramidal neuron dendrites.
    Institute of Science and Technology Austria.
  mla: Kim, Sooyun. <i>Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites</i>.
    Institute of Science and Technology Austria, 2012.
  short: S. Kim, Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites,
    Institute of Science and Technology Austria, 2012.
corr_author: '1'
date_created: 2018-12-11T12:00:35Z
date_published: 2012-06-01T00:00:00Z
date_updated: 2026-04-09T14:36:04Z
day: '01'
degree_awarded: PhD
department:
- _id: PeJo
- _id: GradSch
language:
- iso: eng
month: '06'
oa_version: None
page: '65'
publication_identifier:
  issn:
  - 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
publist_id: '3755'
related_material:
  record:
  - id: '3258'
    relation: part_of_dissertation
    status: public
status: public
supervisor:
- first_name: Peter M
  full_name: Jonas, Peter M
  id: 353C1B58-F248-11E8-B48F-1D18A9856A87
  last_name: Jonas
  orcid: 0000-0001-5001-4804
title: Active properties of hippocampal CA3 pyramidal neuron dendrites
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2012'
...
