---
_id: '15'
abstract:
- lang: eng
  text: Although much is known about the physiological framework of T cell motility,
    and numerous rate-limiting molecules have been identified through loss-of-function
    approaches, an integrated functional concept of T cell motility is lacking. Here,
    we used in vivo precision morphometry together with analysis of cytoskeletal dynamics
    in vitro to deconstruct the basic mechanisms of T cell migration within lymphatic
    organs. We show that the contributions of the integrin LFA-1 and the chemokine
    receptor CCR7 are complementary rather than positioned in a linear pathway, as
    they are during leukocyte extravasation from the blood vasculature. Our data demonstrate
    that CCR7 controls cortical actin flows, whereas integrins mediate substrate friction
    that is sufficient to drive locomotion in the absence of considerable surface
    adhesions and plasma membrane flux.
acknowledged_ssus:
- _id: SSU
acknowledgement: This work was funded by grants from the European Research Council
  (ERC StG 281556 and CoG 724373) and the Austrian Science Foundation (FWF) to M.S.
  and by Swiss National Foundation (SNF) project grants 31003A_135649, 31003A_153457
  and CR23I3_156234 to J.V.S. F.G. received funding from the European Union’s Horizon
  2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement
  no. 747687, and J.R. was funded by an EMBO long-term fellowship (ALTF 1396-2014).
article_processing_charge: No
author:
- first_name: Miroslav
  full_name: Hons, Miroslav
  id: 4167FE56-F248-11E8-B48F-1D18A9856A87
  last_name: Hons
  orcid: 0000-0002-6625-3348
- first_name: Aglaja
  full_name: Kopf, Aglaja
  id: 31DAC7B6-F248-11E8-B48F-1D18A9856A87
  last_name: Kopf
  orcid: 0000-0002-2187-6656
- first_name: Robert
  full_name: Hauschild, Robert
  id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87
  last_name: Hauschild
  orcid: 0000-0001-9843-3522
- first_name: Alexander F
  full_name: Leithner, Alexander F
  id: 3B1B77E4-F248-11E8-B48F-1D18A9856A87
  last_name: Leithner
  orcid: 0000-0002-1073-744X
- first_name: Florian R
  full_name: Gärtner, Florian R
  id: 397A88EE-F248-11E8-B48F-1D18A9856A87
  last_name: Gärtner
  orcid: 0000-0001-6120-3723
- first_name: Jun
  full_name: Abe, Jun
  last_name: Abe
- first_name: Jörg
  full_name: Renkawitz, Jörg
  id: 3F0587C8-F248-11E8-B48F-1D18A9856A87
  last_name: Renkawitz
  orcid: 0000-0003-2856-3369
- first_name: Jens
  full_name: Stein, Jens
  last_name: Stein
- first_name: Michael K
  full_name: Sixt, Michael K
  id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
  last_name: Sixt
  orcid: 0000-0002-6620-9179
citation:
  ama: Hons M, Kopf A, Hauschild R, et al. Chemokines and integrins independently
    tune actin flow and substrate friction during intranodal migration of T cells.
    <i>Nature Immunology</i>. 2018;19(6):606-616. doi:<a href="https://doi.org/10.1038/s41590-018-0109-z">10.1038/s41590-018-0109-z</a>
  apa: Hons, M., Kopf, A., Hauschild, R., Leithner, A. F., Gärtner, F. R., Abe, J.,
    … Sixt, M. K. (2018). Chemokines and integrins independently tune actin flow and
    substrate friction during intranodal migration of T cells. <i>Nature Immunology</i>.
    Nature Publishing Group. <a href="https://doi.org/10.1038/s41590-018-0109-z">https://doi.org/10.1038/s41590-018-0109-z</a>
  chicago: Hons, Miroslav, Aglaja Kopf, Robert Hauschild, Alexander F Leithner, Florian
    R Gärtner, Jun Abe, Jörg Renkawitz, Jens Stein, and Michael K Sixt. “Chemokines
    and Integrins Independently Tune Actin Flow and Substrate Friction during Intranodal
    Migration of T Cells.” <i>Nature Immunology</i>. Nature Publishing Group, 2018.
    <a href="https://doi.org/10.1038/s41590-018-0109-z">https://doi.org/10.1038/s41590-018-0109-z</a>.
  ieee: M. Hons <i>et al.</i>, “Chemokines and integrins independently tune actin
    flow and substrate friction during intranodal migration of T cells,” <i>Nature
    Immunology</i>, vol. 19, no. 6. Nature Publishing Group, pp. 606–616, 2018.
  ista: Hons M, Kopf A, Hauschild R, Leithner AF, Gärtner FR, Abe J, Renkawitz J,
    Stein J, Sixt MK. 2018. Chemokines and integrins independently tune actin flow
    and substrate friction during intranodal migration of T cells. Nature Immunology.
    19(6), 606–616.
  mla: Hons, Miroslav, et al. “Chemokines and Integrins Independently Tune Actin Flow
    and Substrate Friction during Intranodal Migration of T Cells.” <i>Nature Immunology</i>,
    vol. 19, no. 6, Nature Publishing Group, 2018, pp. 606–16, doi:<a href="https://doi.org/10.1038/s41590-018-0109-z">10.1038/s41590-018-0109-z</a>.
  short: M. Hons, A. Kopf, R. Hauschild, A.F. Leithner, F.R. Gärtner, J. Abe, J. Renkawitz,
    J. Stein, M.K. Sixt, Nature Immunology 19 (2018) 606–616.
date_created: 2018-12-11T11:44:10Z
date_published: 2018-05-18T00:00:00Z
date_updated: 2024-03-25T23:30:22Z
day: '18'
department:
- _id: MiSi
- _id: Bio
doi: 10.1038/s41590-018-0109-z
ec_funded: 1
external_id:
  isi:
  - '000433041500026'
  pmid:
  - '29777221'
intvolume: '        19'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pubmed/29777221
month: '05'
oa: 1
oa_version: Published Version
page: 606 - 616
pmid: 1
project:
- _id: 25FE9508-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '724373'
  name: Cellular navigation along spatial gradients
- _id: 260AA4E2-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '747687'
  name: Mechanical Adaptation of Lamellipodial Actin Networks in Migrating Cells
- _id: 25A48D24-B435-11E9-9278-68D0E5697425
  grant_number: ALTF 1396-2014
  name: Molecular and system level view of immune cell migration
- _id: 25A603A2-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '281556'
  name: Cytoskeletal force generation and force transduction of migrating leukocytes
    (EU)
publication: Nature Immunology
publication_status: published
publisher: Nature Publishing Group
publist_id: '8040'
quality_controlled: '1'
related_material:
  record:
  - id: '6891'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Chemokines and integrins independently tune actin flow and substrate friction
  during intranodal migration of T cells
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 19
year: '2018'
...
---
_id: '150'
abstract:
- lang: eng
  text: A short, 14-amino-acid segment called SP1, located in the Gag structural protein1,
    has a critical role during the formation of the HIV-1 virus particle. During virus
    assembly, the SP1 peptide and seven preceding residues fold into a six-helix bundle,
    which holds together the Gag hexamer and facilitates the formation of a curved
    immature hexagonal lattice underneath the viral membrane2,3. Upon completion of
    assembly and budding, proteolytic cleavage of Gag leads to virus maturation, in
    which the immature lattice is broken down; the liberated CA domain of Gag then
    re-assembles into the mature conical capsid that encloses the viral genome and
    associated enzymes. Folding and proteolysis of the six-helix bundle are crucial
    rate-limiting steps of both Gag assembly and disassembly, and the six-helix bundle
    is an established target of HIV-1 inhibitors4,5. Here, using a combination of
    structural and functional analyses, we show that inositol hexakisphosphate (InsP6,
    also known as IP6) facilitates the formation of the six-helix bundle and assembly
    of the immature HIV-1 Gag lattice. IP6 makes ionic contacts with two rings of
    lysine residues at the centre of the Gag hexamer. Proteolytic cleavage then unmasks
    an alternative binding site, where IP6 interaction promotes the assembly of the
    mature capsid lattice. These studies identify IP6 as a naturally occurring small
    molecule that promotes both assembly and maturation of HIV-1.
article_processing_charge: No
article_type: original
author:
- first_name: Robert
  full_name: Dick, Robert
  last_name: Dick
- first_name: Kaneil K
  full_name: Zadrozny, Kaneil K
  last_name: Zadrozny
- first_name: Chaoyi
  full_name: Xu, Chaoyi
  last_name: Xu
- first_name: Florian
  full_name: Schur, Florian
  id: 48AD8942-F248-11E8-B48F-1D18A9856A87
  last_name: Schur
  orcid: 0000-0003-4790-8078
- first_name: Terri D
  full_name: Lyddon, Terri D
  last_name: Lyddon
- first_name: Clifton L
  full_name: Ricana, Clifton L
  last_name: Ricana
- first_name: Jonathan M
  full_name: Wagner, Jonathan M
  last_name: Wagner
- first_name: Juan R
  full_name: Perilla, Juan R
  last_name: Perilla
- first_name: Pornillos Barbie K
  full_name: Ganser, Pornillos Barbie K
  last_name: Ganser
- first_name: Marc C
  full_name: Johnson, Marc C
  last_name: Johnson
- first_name: Owen
  full_name: Pornillos, Owen
  last_name: Pornillos
- first_name: Volker
  full_name: Vogt, Volker
  last_name: Vogt
citation:
  ama: Dick R, Zadrozny KK, Xu C, et al. Inositol phosphates are assembly co-factors
    for HIV-1. <i>Nature</i>. 2018;560(7719):509–512. doi:<a href="https://doi.org/10.1038/s41586-018-0396-4">10.1038/s41586-018-0396-4</a>
  apa: Dick, R., Zadrozny, K. K., Xu, C., Schur, F. K., Lyddon, T. D., Ricana, C.
    L., … Vogt, V. (2018). Inositol phosphates are assembly co-factors for HIV-1.
    <i>Nature</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/s41586-018-0396-4">https://doi.org/10.1038/s41586-018-0396-4</a>
  chicago: Dick, Robert, Kaneil K Zadrozny, Chaoyi Xu, Florian KM Schur, Terri D Lyddon,
    Clifton L Ricana, Jonathan M Wagner, et al. “Inositol Phosphates Are Assembly
    Co-Factors for HIV-1.” <i>Nature</i>. Nature Publishing Group, 2018. <a href="https://doi.org/10.1038/s41586-018-0396-4">https://doi.org/10.1038/s41586-018-0396-4</a>.
  ieee: R. Dick <i>et al.</i>, “Inositol phosphates are assembly co-factors for HIV-1,”
    <i>Nature</i>, vol. 560, no. 7719. Nature Publishing Group, pp. 509–512, 2018.
  ista: Dick R, Zadrozny KK, Xu C, Schur FK, Lyddon TD, Ricana CL, Wagner JM, Perilla
    JR, Ganser PBK, Johnson MC, Pornillos O, Vogt V. 2018. Inositol phosphates are
    assembly co-factors for HIV-1. Nature. 560(7719), 509–512.
  mla: Dick, Robert, et al. “Inositol Phosphates Are Assembly Co-Factors for HIV-1.”
    <i>Nature</i>, vol. 560, no. 7719, Nature Publishing Group, 2018, pp. 509–512,
    doi:<a href="https://doi.org/10.1038/s41586-018-0396-4">10.1038/s41586-018-0396-4</a>.
  short: R. Dick, K.K. Zadrozny, C. Xu, F.K. Schur, T.D. Lyddon, C.L. Ricana, J.M.
    Wagner, J.R. Perilla, P.B.K. Ganser, M.C. Johnson, O. Pornillos, V. Vogt, Nature
    560 (2018) 509–512.
date_created: 2018-12-11T11:44:53Z
date_published: 2018-08-29T00:00:00Z
date_updated: 2023-09-12T07:44:37Z
day: '29'
department:
- _id: FlSc
doi: 10.1038/s41586-018-0396-4
external_id:
  isi:
  - '000442483400046'
  pmid:
  - '30158708'
intvolume: '       560'
isi: 1
issue: '7719'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6242333/
month: '08'
oa: 1
oa_version: Submitted Version
page: 509–512
pmid: 1
publication: Nature
publication_identifier:
  eissn:
  - 1476-4687
publication_status: published
publisher: Nature Publishing Group
quality_controlled: '1'
related_material:
  link:
  - relation: erratum
    url: https://doi.org/10.1038/s41586-018-0505-4
scopus_import: '1'
status: public
title: Inositol phosphates are assembly co-factors for HIV-1
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 560
year: '2018'
...
---
_id: '152'
abstract:
- lang: eng
  text: Complex I has an essential role in ATP production by coupling electron transfer
    from NADH to quinone with translocation of protons across the inner mitochondrial
    membrane. Isolated complex I deficiency is a frequent cause of mitochondrial inherited
    diseases. Complex I has also been implicated in cancer, ageing, and neurodegenerative
    conditions. Until recently, the understanding of complex I deficiency on the molecular
    level was limited due to the lack of high-resolution structures of the enzyme.
    However, due to developments in single particle cryo-electron microscopy (cryo-EM),
    recent studies have reported nearly atomic resolution maps and models of mitochondrial
    complex I. These structures significantly add to our understanding of complex
    I mechanism and assembly. The disease-causing mutations are discussed here in
    their structural context.
article_processing_charge: No
article_type: original
author:
- first_name: Karol
  full_name: Fiedorczuk, Karol
  id: 5BFF67CE-02D1-11E9-B11A-A5A4D7DFFFD0
  last_name: Fiedorczuk
- first_name: Leonid A
  full_name: Sazanov, Leonid A
  id: 338D39FE-F248-11E8-B48F-1D18A9856A87
  last_name: Sazanov
  orcid: 0000-0002-0977-7989
citation:
  ama: Fiedorczuk K, Sazanov LA. Mammalian mitochondrial complex I structure and disease
    causing mutations. <i>Trends in Cell Biology</i>. 2018;28(10):835-867. doi:<a
    href="https://doi.org/10.1016/j.tcb.2018.06.006">10.1016/j.tcb.2018.06.006</a>
  apa: Fiedorczuk, K., &#38; Sazanov, L. A. (2018). Mammalian mitochondrial complex
    I structure and disease causing mutations. <i>Trends in Cell Biology</i>. Elsevier.
    <a href="https://doi.org/10.1016/j.tcb.2018.06.006">https://doi.org/10.1016/j.tcb.2018.06.006</a>
  chicago: Fiedorczuk, Karol, and Leonid A Sazanov. “Mammalian Mitochondrial Complex
    I Structure and Disease Causing Mutations.” <i>Trends in Cell Biology</i>. Elsevier,
    2018. <a href="https://doi.org/10.1016/j.tcb.2018.06.006">https://doi.org/10.1016/j.tcb.2018.06.006</a>.
  ieee: K. Fiedorczuk and L. A. Sazanov, “Mammalian mitochondrial complex I structure
    and disease causing mutations,” <i>Trends in Cell Biology</i>, vol. 28, no. 10.
    Elsevier, pp. 835–867, 2018.
  ista: Fiedorczuk K, Sazanov LA. 2018. Mammalian mitochondrial complex I structure
    and disease causing mutations. Trends in Cell Biology. 28(10), 835–867.
  mla: Fiedorczuk, Karol, and Leonid A. Sazanov. “Mammalian Mitochondrial Complex
    I Structure and Disease Causing Mutations.” <i>Trends in Cell Biology</i>, vol.
    28, no. 10, Elsevier, 2018, pp. 835–67, doi:<a href="https://doi.org/10.1016/j.tcb.2018.06.006">10.1016/j.tcb.2018.06.006</a>.
  short: K. Fiedorczuk, L.A. Sazanov, Trends in Cell Biology 28 (2018) 835–867.
date_created: 2018-12-11T11:44:54Z
date_published: 2018-07-26T00:00:00Z
date_updated: 2023-09-13T08:51:56Z
day: '26'
ddc:
- '572'
department:
- _id: LeSa
doi: 10.1016/j.tcb.2018.06.006
external_id:
  isi:
  - '000445118200007'
file:
- access_level: open_access
  checksum: ef6d2b4e1fd63948539639242610bfa6
  content_type: application/pdf
  creator: lsazanov
  date_created: 2019-11-07T12:55:20Z
  date_updated: 2020-07-14T12:45:00Z
  file_id: '6994'
  file_name: SasanovFinalMS+EdComments_LS_allacc_withFigs.pdf
  file_size: 2185385
  relation: main_file
file_date_updated: 2020-07-14T12:45:00Z
has_accepted_license: '1'
intvolume: '        28'
isi: 1
issue: '10'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '07'
oa: 1
oa_version: Submitted Version
page: 835 - 867
publication: Trends in Cell Biology
publication_status: published
publisher: Elsevier
publist_id: '7769'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mammalian mitochondrial complex I structure and disease causing mutations
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 28
year: '2018'
...
---
_id: '153'
abstract:
- lang: eng
  text: Cells migrating in multicellular organisms steadily traverse complex three-dimensional
    (3D) environments. To decipher the underlying cell biology, current experimental
    setups either use simplified 2D, tissue-mimetic 3D (e.g., collagen matrices) or
    in vivo environments. While only in vivo experiments are truly physiological,
    they do not allow for precise manipulation of environmental parameters. 2D in
    vitro experiments do allow mechanical and chemical manipulations, but increasing
    evidence demonstrates substantial differences of migratory mechanisms in 2D and
    3D. Here, we describe simple, robust, and versatile “pillar forests” to investigate
    cell migration in complex but fully controllable 3D environments. Pillar forests
    are polydimethylsiloxane-based setups, in which two closely adjacent surfaces
    are interconnected by arrays of micrometer-sized pillars. Changing the pillar
    shape, size, height and the inter-pillar distance precisely manipulates microenvironmental
    parameters (e.g., pore sizes, micro-geometry, micro-topology), while being easily
    combined with chemotactic cues, surface coatings, diverse cell types and advanced
    imaging techniques. Thus, pillar forests combine the advantages of 2D cell migration
    assays with the precise definition of 3D environmental parameters.
article_processing_charge: No
author:
- first_name: Jörg
  full_name: Renkawitz, Jörg
  id: 3F0587C8-F248-11E8-B48F-1D18A9856A87
  last_name: Renkawitz
  orcid: 0000-0003-2856-3369
- first_name: Anne
  full_name: Reversat, Anne
  id: 35B76592-F248-11E8-B48F-1D18A9856A87
  last_name: Reversat
  orcid: 0000-0003-0666-8928
- first_name: Alexander F
  full_name: Leithner, Alexander F
  id: 3B1B77E4-F248-11E8-B48F-1D18A9856A87
  last_name: Leithner
  orcid: 0000-0002-1073-744X
- first_name: Jack
  full_name: Merrin, Jack
  id: 4515C308-F248-11E8-B48F-1D18A9856A87
  last_name: Merrin
  orcid: 0000-0001-5145-4609
- first_name: Michael K
  full_name: Sixt, Michael K
  id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
  last_name: Sixt
  orcid: 0000-0002-6620-9179
citation:
  ama: 'Renkawitz J, Reversat A, Leithner AF, Merrin J, Sixt MK. Micro-engineered
    “pillar forests” to study cell migration in complex but controlled 3D environments.
    In: <i>Methods in Cell Biology</i>. Vol 147. Academic Press; 2018:79-91. doi:<a
    href="https://doi.org/10.1016/bs.mcb.2018.07.004">10.1016/bs.mcb.2018.07.004</a>'
  apa: Renkawitz, J., Reversat, A., Leithner, A. F., Merrin, J., &#38; Sixt, M. K.
    (2018). Micro-engineered “pillar forests” to study cell migration in complex but
    controlled 3D environments. In <i>Methods in Cell Biology</i> (Vol. 147, pp. 79–91).
    Academic Press. <a href="https://doi.org/10.1016/bs.mcb.2018.07.004">https://doi.org/10.1016/bs.mcb.2018.07.004</a>
  chicago: Renkawitz, Jörg, Anne Reversat, Alexander F Leithner, Jack Merrin, and
    Michael K Sixt. “Micro-Engineered ‘Pillar Forests’ to Study Cell Migration in
    Complex but Controlled 3D Environments.” In <i>Methods in Cell Biology</i>, 147:79–91.
    Academic Press, 2018. <a href="https://doi.org/10.1016/bs.mcb.2018.07.004">https://doi.org/10.1016/bs.mcb.2018.07.004</a>.
  ieee: J. Renkawitz, A. Reversat, A. F. Leithner, J. Merrin, and M. K. Sixt, “Micro-engineered
    ‘pillar forests’ to study cell migration in complex but controlled 3D environments,”
    in <i>Methods in Cell Biology</i>, vol. 147, Academic Press, 2018, pp. 79–91.
  ista: 'Renkawitz J, Reversat A, Leithner AF, Merrin J, Sixt MK. 2018.Micro-engineered
    “pillar forests” to study cell migration in complex but controlled 3D environments.
    In: Methods in Cell Biology. vol. 147, 79–91.'
  mla: Renkawitz, Jörg, et al. “Micro-Engineered ‘Pillar Forests’ to Study Cell Migration
    in Complex but Controlled 3D Environments.” <i>Methods in Cell Biology</i>, vol.
    147, Academic Press, 2018, pp. 79–91, doi:<a href="https://doi.org/10.1016/bs.mcb.2018.07.004">10.1016/bs.mcb.2018.07.004</a>.
  short: J. Renkawitz, A. Reversat, A.F. Leithner, J. Merrin, M.K. Sixt, in:, Methods
    in Cell Biology, Academic Press, 2018, pp. 79–91.
date_created: 2018-12-11T11:44:54Z
date_published: 2018-07-27T00:00:00Z
date_updated: 2023-09-13T08:56:35Z
day: '27'
department:
- _id: MiSi
- _id: NanoFab
doi: 10.1016/bs.mcb.2018.07.004
external_id:
  isi:
  - '000452412300006'
  pmid:
  - '30165964'
intvolume: '       147'
isi: 1
language:
- iso: eng
month: '07'
oa_version: None
page: 79 - 91
pmid: 1
publication: Methods in Cell Biology
publication_identifier:
  issn:
  - 0091679X
publication_status: published
publisher: Academic Press
publist_id: '7768'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Micro-engineered “pillar forests” to study cell migration in complex but controlled
  3D environments
type: book_chapter
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 147
year: '2018'
...
---
_id: '154'
abstract:
- lang: eng
  text: We give a lower bound on the ground state energy of a system of two fermions
    of one species interacting with two fermions of another species via point interactions.
    We show that there is a critical mass ratio m2 ≈ 0.58 such that the system is
    stable, i.e., the energy is bounded from below, for m∈[m2,m2−1]. So far it was
    not known whether this 2 + 2 system exhibits a stable region at all or whether
    the formation of four-body bound states causes an unbounded spectrum for all mass
    ratios, similar to the Thomas effect. Our result gives further evidence for the
    stability of the more general N + M system.
acknowledgement: Open access funding provided by Austrian Science Fund (FWF).
article_number: '19'
article_processing_charge: No
article_type: original
author:
- first_name: Thomas
  full_name: Moser, Thomas
  id: 2B5FC9A4-F248-11E8-B48F-1D18A9856A87
  last_name: Moser
- first_name: Robert
  full_name: Seiringer, Robert
  id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
  last_name: Seiringer
  orcid: 0000-0002-6781-0521
citation:
  ama: Moser T, Seiringer R. Stability of the 2+2 fermionic system with point interactions.
    <i>Mathematical Physics Analysis and Geometry</i>. 2018;21(3). doi:<a href="https://doi.org/10.1007/s11040-018-9275-3">10.1007/s11040-018-9275-3</a>
  apa: Moser, T., &#38; Seiringer, R. (2018). Stability of the 2+2 fermionic system
    with point interactions. <i>Mathematical Physics Analysis and Geometry</i>. Springer.
    <a href="https://doi.org/10.1007/s11040-018-9275-3">https://doi.org/10.1007/s11040-018-9275-3</a>
  chicago: Moser, Thomas, and Robert Seiringer. “Stability of the 2+2 Fermionic System
    with Point Interactions.” <i>Mathematical Physics Analysis and Geometry</i>. Springer,
    2018. <a href="https://doi.org/10.1007/s11040-018-9275-3">https://doi.org/10.1007/s11040-018-9275-3</a>.
  ieee: T. Moser and R. Seiringer, “Stability of the 2+2 fermionic system with point
    interactions,” <i>Mathematical Physics Analysis and Geometry</i>, vol. 21, no.
    3. Springer, 2018.
  ista: Moser T, Seiringer R. 2018. Stability of the 2+2 fermionic system with point
    interactions. Mathematical Physics Analysis and Geometry. 21(3), 19.
  mla: Moser, Thomas, and Robert Seiringer. “Stability of the 2+2 Fermionic System
    with Point Interactions.” <i>Mathematical Physics Analysis and Geometry</i>, vol.
    21, no. 3, 19, Springer, 2018, doi:<a href="https://doi.org/10.1007/s11040-018-9275-3">10.1007/s11040-018-9275-3</a>.
  short: T. Moser, R. Seiringer, Mathematical Physics Analysis and Geometry 21 (2018).
date_created: 2018-12-11T11:44:55Z
date_published: 2018-09-01T00:00:00Z
date_updated: 2023-09-19T09:31:15Z
day: '01'
ddc:
- '530'
department:
- _id: RoSe
doi: 10.1007/s11040-018-9275-3
ec_funded: 1
external_id:
  isi:
  - '000439639700001'
file:
- access_level: open_access
  checksum: 411c4db5700d7297c9cd8ebc5dd29091
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T16:49:02Z
  date_updated: 2020-07-14T12:45:01Z
  file_id: '5729'
  file_name: 2018_MathPhysics_Moser.pdf
  file_size: 496973
  relation: main_file
file_date_updated: 2020-07-14T12:45:01Z
has_accepted_license: '1'
intvolume: '        21'
isi: 1
issue: '3'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '694227'
  name: Analysis of quantum many-body systems
- _id: 25C878CE-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P27533_N27
  name: Structure of the Excitation Spectrum for Many-Body Quantum Systems
- _id: 3AC91DDA-15DF-11EA-824D-93A3E7B544D1
  call_identifier: FWF
  name: FWF Open Access Fund
publication: Mathematical Physics Analysis and Geometry
publication_identifier:
  eissn:
  - '15729656'
  issn:
  - '13850172'
publication_status: published
publisher: Springer
publist_id: '7767'
quality_controlled: '1'
related_material:
  record:
  - id: '52'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Stability of the 2+2 fermionic system with point interactions
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 21
year: '2018'
...
---
_id: '155'
abstract:
- lang: eng
  text: There is currently significant interest in operating devices in the quantum
    regime, where their behaviour cannot be explained through classical mechanics.
    Quantum states, including entangled states, are fragile and easily disturbed by
    excessive thermal noise. Here we address the question of whether it is possible
    to create non-reciprocal devices that encourage the flow of thermal noise towards
    or away from a particular quantum device in a network. Our work makes use of the
    cascaded systems formalism to answer this question in the affirmative, showing
    how a three-port device can be used as an effective thermal transistor, and illustrates
    how this formalism maps onto an experimentally-realisable optomechanical system.
    Our results pave the way to more resilient quantum devices and to the use of thermal
    noise as a resource.
alternative_title:
- Proceedings of SPIE
article_number: 106721N
article_processing_charge: No
arxiv: 1
author:
- first_name: André
  full_name: Xuereb, André
  last_name: Xuereb
- first_name: Matteo
  full_name: Aquilina, Matteo
  last_name: Aquilina
- first_name: Shabir
  full_name: Barzanjeh, Shabir
  id: 2D25E1F6-F248-11E8-B48F-1D18A9856A87
  last_name: Barzanjeh
  orcid: 0000-0003-0415-1423
citation:
  ama: 'Xuereb A, Aquilina M, Barzanjeh S. Routing thermal noise through quantum networks.
    In: Andrews DL, Ostendorf A, Bain AJ, Nunzi JM, eds. Vol 10672. SPIE; 2018. doi:<a
    href="https://doi.org/10.1117/12.2309928">10.1117/12.2309928</a>'
  apa: 'Xuereb, A., Aquilina, M., &#38; Barzanjeh, S. (2018). Routing thermal noise
    through quantum networks. In D. L. Andrews, A. Ostendorf, A. J. Bain, &#38; J.
    M. Nunzi (Eds.) (Vol. 10672). Presented at the SPIE: The international society
    for optical engineering, Strasbourg, France: SPIE. <a href="https://doi.org/10.1117/12.2309928">https://doi.org/10.1117/12.2309928</a>'
  chicago: Xuereb, André, Matteo Aquilina, and Shabir Barzanjeh. “Routing Thermal
    Noise through Quantum Networks.” edited by D L Andrews, A Ostendorf, A J Bain,
    and J M Nunzi, Vol. 10672. SPIE, 2018. <a href="https://doi.org/10.1117/12.2309928">https://doi.org/10.1117/12.2309928</a>.
  ieee: 'A. Xuereb, M. Aquilina, and S. Barzanjeh, “Routing thermal noise through
    quantum networks,” presented at the SPIE: The international society for optical
    engineering, Strasbourg, France, 2018, vol. 10672.'
  ista: 'Xuereb A, Aquilina M, Barzanjeh S. 2018. Routing thermal noise through quantum
    networks. SPIE: The international society for optical engineering, Proceedings
    of SPIE, vol. 10672, 106721N.'
  mla: Xuereb, André, et al. <i>Routing Thermal Noise through Quantum Networks</i>.
    Edited by D L Andrews et al., vol. 10672, 106721N, SPIE, 2018, doi:<a href="https://doi.org/10.1117/12.2309928">10.1117/12.2309928</a>.
  short: A. Xuereb, M. Aquilina, S. Barzanjeh, in:, D.L. Andrews, A. Ostendorf, A.J.
    Bain, J.M. Nunzi (Eds.), SPIE, 2018.
conference:
  end_date: 2018-04-26
  location: Strasbourg, France
  name: 'SPIE: The international society for optical engineering'
  start_date: 2018-04-22
date_created: 2018-12-11T11:44:55Z
date_published: 2018-05-04T00:00:00Z
date_updated: 2023-09-18T08:12:24Z
day: '04'
department:
- _id: JoFi
doi: 10.1117/12.2309928
editor:
- first_name: D L
  full_name: Andrews, D L
  last_name: Andrews
- first_name: A
  full_name: Ostendorf, A
  last_name: Ostendorf
- first_name: A J
  full_name: Bain, A J
  last_name: Bain
- first_name: J M
  full_name: Nunzi, J M
  last_name: Nunzi
external_id:
  arxiv:
  - '1806.01000'
  isi:
  - '000453298500019'
intvolume: '     10672'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1806.01000
month: '05'
oa: 1
oa_version: Preprint
publication_status: published
publisher: SPIE
publist_id: '7766'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Routing thermal noise through quantum networks
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10672
year: '2018'
...
---
_id: '156'
abstract:
- lang: eng
  text: 'Imprecision in timing can sometimes be beneficial: Metric interval temporal
    logic (MITL), disabling the expression of punctuality constraints, was shown to
    translate to timed automata, yielding an elementary decision procedure. We show
    how this principle extends to other forms of dense-time specification using regular
    expressions. By providing a clean, automaton-based formal framework for non-punctual
    languages, we are able to recover and extend several results in timed systems.
    Metric interval regular expressions (MIRE) are introduced, providing regular expressions
    with non-singular duration constraints. We obtain that MIRE are expressively complete
    relative to a class of one-clock timed automata, which can be determinized using
    additional clocks. Metric interval dynamic logic (MIDL) is then defined using
    MIRE as temporal modalities. We show that MIDL generalizes known extensions of
    MITL, while translating to timed automata at comparable cost.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Thomas
  full_name: Ferrere, Thomas
  id: 40960E6E-F248-11E8-B48F-1D18A9856A87
  last_name: Ferrere
  orcid: 0000-0001-5199-3143
citation:
  ama: 'Ferrere T. The compound interest in relaxing punctuality. In: Vol 10951. Springer;
    2018:147-164. doi:<a href="https://doi.org/10.1007/978-3-319-95582-7_9">10.1007/978-3-319-95582-7_9</a>'
  apa: 'Ferrere, T. (2018). The compound interest in relaxing punctuality (Vol. 10951,
    pp. 147–164). Presented at the FM: International Symposium on Formal Methods,
    Oxford, UK: Springer. <a href="https://doi.org/10.1007/978-3-319-95582-7_9">https://doi.org/10.1007/978-3-319-95582-7_9</a>'
  chicago: Ferrere, Thomas. “The Compound Interest in Relaxing Punctuality,” 10951:147–64.
    Springer, 2018. <a href="https://doi.org/10.1007/978-3-319-95582-7_9">https://doi.org/10.1007/978-3-319-95582-7_9</a>.
  ieee: 'T. Ferrere, “The compound interest in relaxing punctuality,” presented at
    the FM: International Symposium on Formal Methods, Oxford, UK, 2018, vol. 10951,
    pp. 147–164.'
  ista: 'Ferrere T. 2018. The compound interest in relaxing punctuality. FM: International
    Symposium on Formal Methods, LNCS, vol. 10951, 147–164.'
  mla: Ferrere, Thomas. <i>The Compound Interest in Relaxing Punctuality</i>. Vol.
    10951, Springer, 2018, pp. 147–64, doi:<a href="https://doi.org/10.1007/978-3-319-95582-7_9">10.1007/978-3-319-95582-7_9</a>.
  short: T. Ferrere, in:, Springer, 2018, pp. 147–164.
conference:
  end_date: 2018-07-17
  location: Oxford, UK
  name: 'FM: International Symposium on Formal Methods'
  start_date: 2018-07-15
date_created: 2018-12-11T11:44:55Z
date_published: 2018-07-12T00:00:00Z
date_updated: 2023-09-19T10:05:37Z
day: '12'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-319-95582-7_9
external_id:
  isi:
  - '000489765800009'
file:
- access_level: open_access
  checksum: a045c213c42c445f1889326f8db82a0a
  content_type: application/pdf
  creator: dernst
  date_created: 2020-10-09T06:22:41Z
  date_updated: 2020-10-09T06:22:41Z
  file_id: '8637'
  file_name: 2018_LNCS_Ferrere.pdf
  file_size: 485576
  relation: main_file
  success: 1
file_date_updated: 2020-10-09T06:22:41Z
has_accepted_license: '1'
intvolume: '     10951'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 147 - 164
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
- _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: '7765'
quality_controlled: '1'
scopus_import: '1'
status: public
title: The compound interest in relaxing punctuality
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10951
year: '2018'
...
---
_id: '157'
abstract:
- lang: eng
  text: 'Social dilemmas occur when incentives for individuals are misaligned with
    group interests 1-7 . According to the ''tragedy of the commons'', these misalignments
    can lead to overexploitation and collapse of public resources. The resulting behaviours
    can be analysed with the tools of game theory 8 . The theory of direct reciprocity
    9-15 suggests that repeated interactions can alleviate such dilemmas, but previous
    work has assumed that the public resource remains constant over time. Here we
    introduce the idea that the public resource is instead changeable and depends
    on the strategic choices of individuals. An intuitive scenario is that cooperation
    increases the public resource, whereas defection decreases it. Thus, cooperation
    allows the possibility of playing a more valuable game with higher payoffs, whereas
    defection leads to a less valuable game. We analyse this idea using the theory
    of stochastic games 16-19 and evolutionary game theory. We find that the dependence
    of the public resource on previous interactions can greatly enhance the propensity
    for cooperation. For these results, the interaction between reciprocity and payoff
    feedback is crucial: neither repeated interactions in a constant environment nor
    single interactions in a changing environment yield similar cooperation rates.
    Our framework shows which feedbacks between exploitation and environment - either
    naturally occurring or designed - help to overcome social dilemmas.'
acknowledgement: "European Research Council Start Grant 279307, Austrian Science Fund
  (FWF) grant P23499-N23, \r\nC.H. acknowledges support from the ISTFELLOW programme."
article_processing_charge: No
author:
- first_name: Christian
  full_name: Hilbe, Christian
  id: 2FDF8F3C-F248-11E8-B48F-1D18A9856A87
  last_name: Hilbe
  orcid: 0000-0001-5116-955X
- first_name: Štepán
  full_name: Šimsa, Štepán
  last_name: Šimsa
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Martin
  full_name: Nowak, Martin
  last_name: Nowak
citation:
  ama: Hilbe C, Šimsa Š, Chatterjee K, Nowak M. Evolution of cooperation in stochastic
    games. <i>Nature</i>. 2018;559(7713):246-249. doi:<a href="https://doi.org/10.1038/s41586-018-0277-x">10.1038/s41586-018-0277-x</a>
  apa: Hilbe, C., Šimsa, Š., Chatterjee, K., &#38; Nowak, M. (2018). Evolution of
    cooperation in stochastic games. <i>Nature</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/s41586-018-0277-x">https://doi.org/10.1038/s41586-018-0277-x</a>
  chicago: Hilbe, Christian, Štepán Šimsa, Krishnendu Chatterjee, and Martin Nowak.
    “Evolution of Cooperation in Stochastic Games.” <i>Nature</i>. Nature Publishing
    Group, 2018. <a href="https://doi.org/10.1038/s41586-018-0277-x">https://doi.org/10.1038/s41586-018-0277-x</a>.
  ieee: C. Hilbe, Š. Šimsa, K. Chatterjee, and M. Nowak, “Evolution of cooperation
    in stochastic games,” <i>Nature</i>, vol. 559, no. 7713. Nature Publishing Group,
    pp. 246–249, 2018.
  ista: Hilbe C, Šimsa Š, Chatterjee K, Nowak M. 2018. Evolution of cooperation in
    stochastic games. Nature. 559(7713), 246–249.
  mla: Hilbe, Christian, et al. “Evolution of Cooperation in Stochastic Games.” <i>Nature</i>,
    vol. 559, no. 7713, Nature Publishing Group, 2018, pp. 246–49, doi:<a href="https://doi.org/10.1038/s41586-018-0277-x">10.1038/s41586-018-0277-x</a>.
  short: C. Hilbe, Š. Šimsa, K. Chatterjee, M. Nowak, Nature 559 (2018) 246–249.
date_created: 2018-12-11T11:44:56Z
date_published: 2018-07-04T00:00:00Z
date_updated: 2023-09-11T13:43:22Z
day: '04'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1038/s41586-018-0277-x
ec_funded: 1
external_id:
  isi:
  - '000438240900054'
file:
- access_level: open_access
  checksum: 011ab905cf9a410bc2b96f15174d654d
  content_type: application/pdf
  creator: dernst
  date_created: 2019-11-19T08:09:57Z
  date_updated: 2020-07-14T12:45:02Z
  file_id: '7049'
  file_name: 2018_Nature_Hilbe.pdf
  file_size: 2834442
  relation: main_file
file_date_updated: 2020-07-14T12:45:02Z
has_accepted_license: '1'
intvolume: '       559'
isi: 1
issue: '7713'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 246 - 249
project:
- _id: 25863FF4-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11407
  name: Game Theory
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '279307'
  name: 'Quantitative Graph Games: Theory and Applications'
- _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: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: Nature
publication_status: published
publisher: Nature Publishing Group
publist_id: '7764'
quality_controlled: '1'
related_material:
  link:
  - description: News on IST Homepage
    relation: press_release
    url: https://ist.ac.at/en/news/engineering-cooperation/
scopus_import: '1'
status: public
title: Evolution of cooperation in stochastic games
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 559
year: '2018'
...
---
_id: '158'
abstract:
- lang: eng
  text: 'The angiosperm seed is composed of three genetically distinct tissues: the
    diploid embryo that originates from the fertilized egg cell, the triploid endosperm
    that is produced from the fertilized central cell, and the maternal sporophytic
    integuments that develop into the seed coat1. At the onset of embryo development
    in Arabidopsis thaliana, the zygote divides asymmetrically, producing a small
    apical embryonic cell and a larger basal cell that connects the embryo to the
    maternal tissue2. The coordinated and synchronous development of the embryo and
    the surrounding integuments, and the alignment of their growth axes, suggest communication
    between maternal tissues and the embryo. In contrast to animals, however, where
    a network of maternal factors that direct embryo patterning have been identified3,4,
    only a few maternal mutations have been described to affect embryo development
    in plants5–7. Early embryo patterning in Arabidopsis requires accumulation of
    the phytohormone auxin in the apical cell by directed transport from the suspensor8–10.
    However, the origin of this auxin has remained obscure. Here we investigate the
    source of auxin for early embryogenesis and provide evidence that the mother plant
    coordinates seed development by supplying auxin to the early embryo from the integuments
    of the ovule. We show that auxin response increases in ovules after fertilization,
    due to upregulated auxin biosynthesis in the integuments, and this maternally
    produced auxin is required for correct embryo development.'
acknowledgement: This work was further supported by the Czech Science Foundation GACR
  (GA13-40637S) to J.F.;
article_processing_charge: No
author:
- first_name: Hélène
  full_name: Robert, Hélène
  last_name: Robert
- first_name: Chulmin
  full_name: Park, Chulmin
  last_name: Park
- first_name: Carla
  full_name: Gutièrrez, Carla
  last_name: Gutièrrez
- first_name: Barbara
  full_name: Wójcikowska, Barbara
  last_name: Wójcikowska
- first_name: Aleš
  full_name: Pěnčík, Aleš
  last_name: Pěnčík
- first_name: Ondřej
  full_name: Novák, Ondřej
  last_name: Novák
- first_name: Junyi
  full_name: Chen, Junyi
  last_name: Chen
- first_name: Wim
  full_name: Grunewald, Wim
  last_name: Grunewald
- first_name: Thomas
  full_name: Dresselhaus, Thomas
  last_name: Dresselhaus
- first_name: Jirí
  full_name: Friml, Jirí
  id: 4159519E-F248-11E8-B48F-1D18A9856A87
  last_name: Friml
  orcid: 0000-0002-8302-7596
- first_name: Thomas
  full_name: Laux, Thomas
  last_name: Laux
citation:
  ama: Robert H, Park C, Gutièrrez C, et al. Maternal auxin supply contributes to
    early embryo patterning in Arabidopsis. <i>Nature Plants</i>. 2018;4(8):548-553.
    doi:<a href="https://doi.org/10.1038/s41477-018-0204-z">10.1038/s41477-018-0204-z</a>
  apa: Robert, H., Park, C., Gutièrrez, C., Wójcikowska, B., Pěnčík, A., Novák, O.,
    … Laux, T. (2018). Maternal auxin supply contributes to early embryo patterning
    in Arabidopsis. <i>Nature Plants</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/s41477-018-0204-z">https://doi.org/10.1038/s41477-018-0204-z</a>
  chicago: Robert, Hélène, Chulmin Park, Carla Gutièrrez, Barbara Wójcikowska, Aleš
    Pěnčík, Ondřej Novák, Junyi Chen, et al. “Maternal Auxin Supply Contributes to
    Early Embryo Patterning in Arabidopsis.” <i>Nature Plants</i>. Nature Publishing
    Group, 2018. <a href="https://doi.org/10.1038/s41477-018-0204-z">https://doi.org/10.1038/s41477-018-0204-z</a>.
  ieee: H. Robert <i>et al.</i>, “Maternal auxin supply contributes to early embryo
    patterning in Arabidopsis,” <i>Nature Plants</i>, vol. 4, no. 8. Nature Publishing
    Group, pp. 548–553, 2018.
  ista: Robert H, Park C, Gutièrrez C, Wójcikowska B, Pěnčík A, Novák O, Chen J, Grunewald
    W, Dresselhaus T, Friml J, Laux T. 2018. Maternal auxin supply contributes to
    early embryo patterning in Arabidopsis. Nature Plants. 4(8), 548–553.
  mla: Robert, Hélène, et al. “Maternal Auxin Supply Contributes to Early Embryo Patterning
    in Arabidopsis.” <i>Nature Plants</i>, vol. 4, no. 8, Nature Publishing Group,
    2018, pp. 548–53, doi:<a href="https://doi.org/10.1038/s41477-018-0204-z">10.1038/s41477-018-0204-z</a>.
  short: H. Robert, C. Park, C. Gutièrrez, B. Wójcikowska, A. Pěnčík, O. Novák, J.
    Chen, W. Grunewald, T. Dresselhaus, J. Friml, T. Laux, Nature Plants 4 (2018)
    548–553.
date_created: 2018-12-11T11:44:56Z
date_published: 2018-07-16T00:00:00Z
date_updated: 2025-05-07T11:12:31Z
day: '16'
department:
- _id: JiFr
doi: 10.1038/s41477-018-0204-z
ec_funded: 1
external_id:
  isi:
  - '000443861300011'
  pmid:
  - '30013211'
intvolume: '         4'
isi: 1
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://www.ncbi.nlm.nih.gov/pubmed/30013211
month: '07'
oa: 1
oa_version: Submitted Version
page: 548 - 553
pmid: 1
project:
- _id: 25716A02-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '282300'
  name: Polarity and subcellular dynamics in plants
publication: Nature Plants
publication_status: published
publisher: Nature Publishing Group
publist_id: '7763'
quality_controlled: '1'
related_material:
  link:
  - description: News on IST Homepage
    relation: press_release
    url: https://ist.ac.at/en/news/plant-mothers-talk-to-their-embryos-via-the-hormone-auxin/
scopus_import: '1'
status: public
title: Maternal auxin supply contributes to early embryo patterning in Arabidopsis
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 4
year: '2018'
...
---
_id: '159'
abstract:
- lang: eng
  text: L-type Ca2+ channels (LTCCs) play a crucial role in excitation-contraction
    coupling and release of hormones from secretory cells. They are targets of antihypertensive
    and antiarrhythmic drugs such as diltiazem. Here, we present a photoswitchable
    diltiazem, FHU-779, which can be used to reversibly block endogenous LTCCs by
    light. FHU-779 is as potent as diltiazem and can be used to place pancreatic β-cell
    function and cardiac activity under optical control.
article_processing_charge: No
article_type: original
author:
- first_name: Timm
  full_name: Fehrentz, Timm
  last_name: Fehrentz
- first_name: Florian
  full_name: Huber, Florian
  last_name: Huber
- first_name: Nina
  full_name: Hartrampf, Nina
  last_name: Hartrampf
- first_name: Tobias
  full_name: Bruegmann, Tobias
  last_name: Bruegmann
- first_name: James
  full_name: Frank, James
  last_name: Frank
- first_name: Nicholas
  full_name: Fine, Nicholas
  last_name: Fine
- first_name: Daniela
  full_name: Malan, Daniela
  last_name: Malan
- first_name: Johann G
  full_name: Danzl, Johann G
  id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87
  last_name: Danzl
  orcid: 0000-0001-8559-3973
- first_name: Denis
  full_name: Tikhonov, Denis
  last_name: Tikhonov
- first_name: Maritn
  full_name: Sumser, Maritn
  last_name: Sumser
- first_name: Philipp
  full_name: Sasse, Philipp
  last_name: Sasse
- first_name: David
  full_name: Hodson, David
  last_name: Hodson
- first_name: Boris
  full_name: Zhorov, Boris
  last_name: Zhorov
- first_name: Nikolaj
  full_name: Klocker, Nikolaj
  last_name: Klocker
- first_name: Dirk
  full_name: Trauner, Dirk
  last_name: Trauner
citation:
  ama: Fehrentz T, Huber F, Hartrampf N, et al. Optical control of L-type Ca2+ channels
    using a diltiazem photoswitch. <i>Nature Chemical Biology</i>. 2018;14(8):764-767.
    doi:<a href="https://doi.org/10.1038/s41589-018-0090-8">10.1038/s41589-018-0090-8</a>
  apa: Fehrentz, T., Huber, F., Hartrampf, N., Bruegmann, T., Frank, J., Fine, N.,
    … Trauner, D. (2018). Optical control of L-type Ca2+ channels using a diltiazem
    photoswitch. <i>Nature Chemical Biology</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/s41589-018-0090-8">https://doi.org/10.1038/s41589-018-0090-8</a>
  chicago: Fehrentz, Timm, Florian Huber, Nina Hartrampf, Tobias Bruegmann, James
    Frank, Nicholas Fine, Daniela Malan, et al. “Optical Control of L-Type Ca2+ Channels
    Using a Diltiazem Photoswitch.” <i>Nature Chemical Biology</i>. Nature Publishing
    Group, 2018. <a href="https://doi.org/10.1038/s41589-018-0090-8">https://doi.org/10.1038/s41589-018-0090-8</a>.
  ieee: T. Fehrentz <i>et al.</i>, “Optical control of L-type Ca2+ channels using
    a diltiazem photoswitch,” <i>Nature Chemical Biology</i>, vol. 14, no. 8. Nature
    Publishing Group, pp. 764–767, 2018.
  ista: Fehrentz T, Huber F, Hartrampf N, Bruegmann T, Frank J, Fine N, Malan D, Danzl
    JG, Tikhonov D, Sumser M, Sasse P, Hodson D, Zhorov B, Klocker N, Trauner D. 2018.
    Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature
    Chemical Biology. 14(8), 764–767.
  mla: Fehrentz, Timm, et al. “Optical Control of L-Type Ca2+ Channels Using a Diltiazem
    Photoswitch.” <i>Nature Chemical Biology</i>, vol. 14, no. 8, Nature Publishing
    Group, 2018, pp. 764–67, doi:<a href="https://doi.org/10.1038/s41589-018-0090-8">10.1038/s41589-018-0090-8</a>.
  short: T. Fehrentz, F. Huber, N. Hartrampf, T. Bruegmann, J. Frank, N. Fine, D.
    Malan, J.G. Danzl, D. Tikhonov, M. Sumser, P. Sasse, D. Hodson, B. Zhorov, N.
    Klocker, D. Trauner, Nature Chemical Biology 14 (2018) 764–767.
date_created: 2018-12-11T11:44:56Z
date_published: 2018-07-16T00:00:00Z
date_updated: 2023-09-13T09:36:35Z
day: '16'
ddc:
- '570'
department:
- _id: JoDa
doi: 10.1038/s41589-018-0090-8
external_id:
  isi:
  - '000438970200010'
file:
- access_level: open_access
  checksum: d42935094ec845f54a0688bf12986d62
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-14T12:14:09Z
  date_updated: 2020-07-14T12:45:03Z
  file_id: '7832'
  file_name: 2018_NatureChemicalBiology_Fehrentz.pdf
  file_size: 6321000
  relation: main_file
file_date_updated: 2020-07-14T12:45:03Z
has_accepted_license: '1'
intvolume: '        14'
isi: 1
issue: '8'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
page: 764 - 767
publication: Nature Chemical Biology
publication_status: published
publisher: Nature Publishing Group
publist_id: '7762'
quality_controlled: '1'
related_material:
  link:
  - relation: erratum
    url: https://doi.org/10.1038/s41589-021-00744-3
scopus_import: '1'
status: public
title: Optical control of L-type Ca2+ channels using a diltiazem photoswitch
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 14
year: '2018'
...
---
_id: '16'
abstract:
- lang: eng
  text: We report quantitative evidence of mixing-layer elastic instability in a viscoelastic
    fluid flow between two widely spaced obstacles hindering a channel flow at Re
    1 and Wi 1. Two mixing layers with nonuniform shear velocity profiles are formed
    in the region between the obstacles. The mixing-layer instability arises in the
    vicinity of an inflection point on the shear velocity profile with a steep variation
    in the elastic stress. The instability results in an intermittent appearance of
    small vortices in the mixing layers and an amplification of spatiotemporal averaged
    vorticity in the elastic turbulence regime. The latter is characterized through
    scaling of friction factor with Wi and both pressure and velocity spectra. Furthermore,
    the observations reported provide improved understanding of the stability of the
    mixing layer in a viscoelastic fluid at large elasticity, i.e., Wi 1 and Re 1
    and oppose the current view of suppression of vorticity solely by polymer additives.
acknowledgement: This work was partially supported by the Israel Science Foundation
  (ISF; Grant No. 882/15) and the Binational USA-Israel Foundation (BSF; Grant No.
  2016145).
article_number: '103303'
article_processing_charge: No
article_type: original
author:
- first_name: Atul
  full_name: Varshney, Atul
  id: 2A2006B2-F248-11E8-B48F-1D18A9856A87
  last_name: Varshney
  orcid: 0000-0002-3072-5999
- first_name: Victor
  full_name: Steinberg, Victor
  last_name: Steinberg
citation:
  ama: Varshney A, Steinberg V. Mixing layer instability and vorticity amplification
    in a creeping viscoelastic flow. <i>Physical Review Fluids</i>. 2018;3(10). doi:<a
    href="https://doi.org/10.1103/PhysRevFluids.3.103303">10.1103/PhysRevFluids.3.103303</a>
  apa: Varshney, A., &#38; Steinberg, V. (2018). Mixing layer instability and vorticity
    amplification in a creeping viscoelastic flow. <i>Physical Review Fluids</i>.
    American Physical Society. <a href="https://doi.org/10.1103/PhysRevFluids.3.103303">https://doi.org/10.1103/PhysRevFluids.3.103303</a>
  chicago: Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity
    Amplification in a Creeping Viscoelastic Flow.” <i>Physical Review Fluids</i>.
    American Physical Society, 2018. <a href="https://doi.org/10.1103/PhysRevFluids.3.103303">https://doi.org/10.1103/PhysRevFluids.3.103303</a>.
  ieee: A. Varshney and V. Steinberg, “Mixing layer instability and vorticity amplification
    in a creeping viscoelastic flow,” <i>Physical Review Fluids</i>, vol. 3, no. 10.
    American Physical Society, 2018.
  ista: Varshney A, Steinberg V. 2018. Mixing layer instability and vorticity amplification
    in a creeping viscoelastic flow. Physical Review Fluids. 3(10), 103303.
  mla: Varshney, Atul, and Victor Steinberg. “Mixing Layer Instability and Vorticity
    Amplification in a Creeping Viscoelastic Flow.” <i>Physical Review Fluids</i>,
    vol. 3, no. 10, 103303, American Physical Society, 2018, doi:<a href="https://doi.org/10.1103/PhysRevFluids.3.103303">10.1103/PhysRevFluids.3.103303</a>.
  short: A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).
date_created: 2018-12-11T11:44:10Z
date_published: 2018-10-16T00:00:00Z
date_updated: 2023-09-13T08:57:05Z
day: '16'
ddc:
- '532'
department:
- _id: BjHo
doi: 10.1103/PhysRevFluids.3.103303
ec_funded: 1
external_id:
  isi:
  - '000447469200001'
file:
- access_level: open_access
  checksum: 7fc0a2322214d1c04debef36d5bf2e8a
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:13:56Z
  date_updated: 2020-07-14T12:45:04Z
  file_id: '5043'
  file_name: IST-2018-1062-v1+1_PhysRevFluids.3.103303.pdf
  file_size: 1838431
  relation: main_file
file_date_updated: 2020-07-14T12:45:04Z
has_accepted_license: '1'
intvolume: '         3'
isi: 1
issue: '10'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
publication: Physical Review Fluids
publication_status: published
publisher: American Physical Society
publist_id: '8039'
pubrep_id: '1062'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mixing layer instability and vorticity amplification in a creeping viscoelastic
  flow
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 3
year: '2018'
...
---
_id: '160'
abstract:
- lang: eng
  text: We present layered concurrent programs, a compact and expressive notation
    for specifying refinement proofs of concurrent programs. A layered concurrent
    program specifies a sequence of connected concurrent programs, from most concrete
    to most abstract, such that common parts of different programs are written exactly
    once. These programs are expressed in the ordinary syntax of imperative concurrent
    programs using gated atomic actions, sequencing, choice, and (recursive) procedure
    calls. Each concurrent program is automatically extracted from the layered program.
    We reduce refinement to the safety of a sequence of concurrent checker programs,
    one each to justify the connection between every two consecutive concurrent programs.
    These checker programs are also automatically extracted from the layered program.
    Layered concurrent programs have been implemented in the CIVL verifier which has
    been successfully used for the verification of several complex concurrent programs.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Bernhard
  full_name: Kragl, Bernhard
  id: 320FC952-F248-11E8-B48F-1D18A9856A87
  last_name: Kragl
  orcid: 0000-0001-7745-9117
- first_name: Shaz
  full_name: Qadeer, Shaz
  last_name: Qadeer
citation:
  ama: 'Kragl B, Qadeer S. Layered Concurrent Programs. In: Vol 10981. Springer; 2018:79-102.
    doi:<a href="https://doi.org/10.1007/978-3-319-96145-3_5">10.1007/978-3-319-96145-3_5</a>'
  apa: 'Kragl, B., &#38; Qadeer, S. (2018). Layered Concurrent Programs (Vol. 10981,
    pp. 79–102). Presented at the CAV: Computer Aided Verification, Oxford, UK: Springer.
    <a href="https://doi.org/10.1007/978-3-319-96145-3_5">https://doi.org/10.1007/978-3-319-96145-3_5</a>'
  chicago: Kragl, Bernhard, and Shaz Qadeer. “Layered Concurrent Programs,” 10981:79–102.
    Springer, 2018. <a href="https://doi.org/10.1007/978-3-319-96145-3_5">https://doi.org/10.1007/978-3-319-96145-3_5</a>.
  ieee: 'B. Kragl and S. Qadeer, “Layered Concurrent Programs,” presented at the CAV:
    Computer Aided Verification, Oxford, UK, 2018, vol. 10981, pp. 79–102.'
  ista: 'Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided
    Verification, LNCS, vol. 10981, 79–102.'
  mla: Kragl, Bernhard, and Shaz Qadeer. <i>Layered Concurrent Programs</i>. Vol.
    10981, Springer, 2018, pp. 79–102, doi:<a href="https://doi.org/10.1007/978-3-319-96145-3_5">10.1007/978-3-319-96145-3_5</a>.
  short: B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
conference:
  end_date: 2018-07-17
  location: Oxford, UK
  name: 'CAV: Computer Aided Verification'
  start_date: 2018-07-14
date_created: 2018-12-11T11:44:57Z
date_published: 2018-07-18T00:00:00Z
date_updated: 2023-09-13T08:45:09Z
day: '18'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-319-96145-3_5
external_id:
  isi:
  - '000491481600005'
file:
- access_level: open_access
  checksum: c64fff560fe5a7532ec10626ad1c215e
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T12:52:12Z
  date_updated: 2020-07-14T12:45:04Z
  file_id: '5705'
  file_name: 2018_LNCS_Kragl.pdf
  file_size: 1603844
  relation: main_file
file_date_updated: 2020-07-14T12:45:04Z
has_accepted_license: '1'
intvolume: '     10981'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 79 - 102
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: The Wittgenstein Prize
- _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: '7761'
quality_controlled: '1'
related_material:
  record:
  - id: '8332'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Layered Concurrent Programs
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 10981
year: '2018'
...
---
_id: '161'
abstract:
- lang: eng
  text: 'Which properties of metabolic networks can be derived solely from stoichiometry?
    Predictive results have been obtained by flux balance analysis (FBA), by postulating
    that cells set metabolic fluxes to maximize growth rate. Here we consider a generalization
    of FBA to single-cell level using maximum entropy modeling, which we extend and
    test experimentally. Specifically, we define for Escherichia coli metabolism a
    flux distribution that yields the experimental growth rate: the model, containing
    FBA as a limit, provides a better match to measured fluxes and it makes a wide
    range of predictions: on flux variability, regulation, and correlations; on the
    relative importance of stoichiometry vs. optimization; on scaling relations for
    growth rate distributions. We validate the latter here with single-cell data at
    different sub-inhibitory antibiotic concentrations. The model quantifies growth
    optimization as emerging from the interplay of competitive dynamics in the population
    and regulation of metabolism at the level of single cells.'
article_number: '2988'
article_processing_charge: No
author:
- first_name: Daniele
  full_name: De Martino, Daniele
  id: 3FF5848A-F248-11E8-B48F-1D18A9856A87
  last_name: De Martino
  orcid: 0000-0002-5214-4706
- first_name: Andersson Anna
  full_name: Mc, Andersson Anna
  last_name: Mc
- first_name: Tobias
  full_name: Bergmiller, Tobias
  id: 2C471CFA-F248-11E8-B48F-1D18A9856A87
  last_name: Bergmiller
  orcid: 0000-0001-5396-4346
- first_name: Calin C
  full_name: Guet, Calin C
  id: 47F8433E-F248-11E8-B48F-1D18A9856A87
  last_name: Guet
  orcid: 0000-0001-6220-2052
- first_name: Gasper
  full_name: Tkacik, Gasper
  id: 3D494DCA-F248-11E8-B48F-1D18A9856A87
  last_name: Tkacik
  orcid: 0000-0002-6699-1455
citation:
  ama: De Martino D, Mc AA, Bergmiller T, Guet CC, Tkačik G. Statistical mechanics
    for metabolic networks during steady state growth. <i>Nature Communications</i>.
    2018;9(1). doi:<a href="https://doi.org/10.1038/s41467-018-05417-9">10.1038/s41467-018-05417-9</a>
  apa: De Martino, D., Mc, A. A., Bergmiller, T., Guet, C. C., &#38; Tkačik, G. (2018).
    Statistical mechanics for metabolic networks during steady state growth. <i>Nature
    Communications</i>. Springer Nature. <a href="https://doi.org/10.1038/s41467-018-05417-9">https://doi.org/10.1038/s41467-018-05417-9</a>
  chicago: De Martino, Daniele, Andersson Anna Mc, Tobias Bergmiller, Calin C Guet,
    and Gašper Tkačik. “Statistical Mechanics for Metabolic Networks during Steady
    State Growth.” <i>Nature Communications</i>. Springer Nature, 2018. <a href="https://doi.org/10.1038/s41467-018-05417-9">https://doi.org/10.1038/s41467-018-05417-9</a>.
  ieee: D. De Martino, A. A. Mc, T. Bergmiller, C. C. Guet, and G. Tkačik, “Statistical
    mechanics for metabolic networks during steady state growth,” <i>Nature Communications</i>,
    vol. 9, no. 1. Springer Nature, 2018.
  ista: De Martino D, Mc AA, Bergmiller T, Guet CC, Tkačik G. 2018. Statistical mechanics
    for metabolic networks during steady state growth. Nature Communications. 9(1),
    2988.
  mla: De Martino, Daniele, et al. “Statistical Mechanics for Metabolic Networks during
    Steady State Growth.” <i>Nature Communications</i>, vol. 9, no. 1, 2988, Springer
    Nature, 2018, doi:<a href="https://doi.org/10.1038/s41467-018-05417-9">10.1038/s41467-018-05417-9</a>.
  short: D. De Martino, A.A. Mc, T. Bergmiller, C.C. Guet, G. Tkačik, Nature Communications
    9 (2018).
date_created: 2018-12-11T11:44:57Z
date_published: 2018-07-30T00:00:00Z
date_updated: 2024-02-21T13:45:39Z
day: '30'
ddc:
- '570'
department:
- _id: GaTk
- _id: CaGu
doi: 10.1038/s41467-018-05417-9
ec_funded: 1
external_id:
  isi:
  - '000440149300021'
file:
- access_level: open_access
  checksum: 3ba7ab27b27723c7dcf633e8fc1f8f18
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T16:44:28Z
  date_updated: 2020-07-14T12:45:06Z
  file_id: '5728'
  file_name: 2018_NatureComm_DeMartino.pdf
  file_size: 1043205
  relation: main_file
file_date_updated: 2020-07-14T12:45:06Z
has_accepted_license: '1'
intvolume: '         9'
isi: 1
issue: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 254E9036-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P28844-B27
  name: Biophysics of information processing in gene regulation
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: Nature Communications
publication_status: published
publisher: Springer Nature
publist_id: '7760'
quality_controlled: '1'
related_material:
  record:
  - id: '5587'
    relation: popular_science
    status: public
scopus_import: '1'
status: public
title: Statistical mechanics for metabolic networks during steady state growth
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 9
year: '2018'
...
---
_id: '13055'
abstract:
- lang: eng
  text: "Dataset for manuscript 'Social network plasticity decreases disease transmission
    in a eusocial insect'\r\nCompared to previous versions: - raw image files added\r\n
    \                                                    - correction of URLs within
    README.txt file\r\n"
article_processing_charge: No
author:
- first_name: Nathalie
  full_name: Stroeymeyt, Nathalie
  last_name: Stroeymeyt
- first_name: Anna V
  full_name: Grasse, Anna V
  id: 406F989C-F248-11E8-B48F-1D18A9856A87
  last_name: Grasse
- first_name: Alessandro
  full_name: Crespi, Alessandro
  last_name: Crespi
- first_name: Danielle
  full_name: Mersch, Danielle
  last_name: Mersch
- first_name: Sylvia
  full_name: Cremer, Sylvia
  id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87
  last_name: Cremer
  orcid: 0000-0002-2193-3868
- first_name: Laurent
  full_name: Keller, Laurent
  last_name: Keller
citation:
  ama: Stroeymeyt N, Grasse AV, Crespi A, Mersch D, Cremer S, Keller L. Social network
    plasticity decreases disease transmission in a eusocial insect. 2018. doi:<a href="https://doi.org/10.5281/ZENODO.1322669">10.5281/ZENODO.1322669</a>
  apa: Stroeymeyt, N., Grasse, A. V., Crespi, A., Mersch, D., Cremer, S., &#38; Keller,
    L. (2018). Social network plasticity decreases disease transmission in a eusocial
    insect. Zenodo. <a href="https://doi.org/10.5281/ZENODO.1322669">https://doi.org/10.5281/ZENODO.1322669</a>
  chicago: Stroeymeyt, Nathalie, Anna V Grasse, Alessandro Crespi, Danielle Mersch,
    Sylvia Cremer, and Laurent Keller. “Social Network Plasticity Decreases Disease
    Transmission in a Eusocial Insect.” Zenodo, 2018. <a href="https://doi.org/10.5281/ZENODO.1322669">https://doi.org/10.5281/ZENODO.1322669</a>.
  ieee: N. Stroeymeyt, A. V. Grasse, A. Crespi, D. Mersch, S. Cremer, and L. Keller,
    “Social network plasticity decreases disease transmission in a eusocial insect.”
    Zenodo, 2018.
  ista: Stroeymeyt N, Grasse AV, Crespi A, Mersch D, Cremer S, Keller L. 2018. Social
    network plasticity decreases disease transmission in a eusocial insect, Zenodo,
    <a href="https://doi.org/10.5281/ZENODO.1322669">10.5281/ZENODO.1322669</a>.
  mla: Stroeymeyt, Nathalie, et al. <i>Social Network Plasticity Decreases Disease
    Transmission in a Eusocial Insect</i>. Zenodo, 2018, doi:<a href="https://doi.org/10.5281/ZENODO.1322669">10.5281/ZENODO.1322669</a>.
  short: N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018).
date_created: 2023-05-23T13:24:51Z
date_published: 2018-10-23T00:00:00Z
date_updated: 2023-10-17T11:50:04Z
day: '23'
ddc:
- '570'
department:
- _id: SyCr
doi: 10.5281/ZENODO.1322669
main_file_link:
- open_access: '1'
  url: https://doi.org/10.5281/zenodo.1480665
month: '10'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
  record:
  - id: '7'
    relation: used_in_publication
    status: public
status: public
title: Social network plasticity decreases disease transmission in a eusocial insect
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: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
_id: '13059'
abstract:
- lang: eng
  text: "This dataset contains a GitHub repository containing all the data, analysis,
    Nextflow workflows and Jupyter notebooks to replicate the manuscript titled \"Fast
    and accurate large multiple sequence alignments with a root-to-leaf regressive
    method\".\r\nIt also contains the Multiple Sequence Alignments (MSAs) generated
    and well as the main figures and tables from the manuscript.\r\nThe repository
    is also available at GitHub (https://github.com/cbcrg/dpa-analysis) release `v1.2`.\r\nFor
    details on how to use the regressive alignment algorithm, see the T-Coffee software
    suite (https://github.com/cbcrg/tcoffee)."
article_processing_charge: No
author:
- first_name: Edgar
  full_name: Garriga, Edgar
  last_name: Garriga
- first_name: Paolo
  full_name: di Tommaso, Paolo
  last_name: di Tommaso
- first_name: Cedrik
  full_name: Magis, Cedrik
  last_name: Magis
- first_name: Ionas
  full_name: Erb, Ionas
  last_name: Erb
- first_name: Leila
  full_name: Mansouri, Leila
  last_name: Mansouri
- first_name: Athanasios
  full_name: Baltzis, Athanasios
  last_name: Baltzis
- first_name: Hafid
  full_name: Laayouni, Hafid
  last_name: Laayouni
- first_name: Fyodor
  full_name: Kondrashov, Fyodor
  id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
  last_name: Kondrashov
  orcid: 0000-0001-8243-4694
- first_name: Evan
  full_name: Floden, Evan
  last_name: Floden
- first_name: Cedric
  full_name: Notredame, Cedric
  last_name: Notredame
citation:
  ama: Garriga E, di Tommaso P, Magis C, et al. Fast and accurate large multiple sequence
    alignments with a root-to-leaf regressive method. 2018. doi:<a href="https://doi.org/10.5281/ZENODO.2025846">10.5281/ZENODO.2025846</a>
  apa: Garriga, E., di Tommaso, P., Magis, C., Erb, I., Mansouri, L., Baltzis, A.,
    … Notredame, C. (2018). Fast and accurate large multiple sequence alignments with
    a root-to-leaf regressive method. Zenodo. <a href="https://doi.org/10.5281/ZENODO.2025846">https://doi.org/10.5281/ZENODO.2025846</a>
  chicago: Garriga, Edgar, Paolo di Tommaso, Cedrik Magis, Ionas Erb, Leila Mansouri,
    Athanasios Baltzis, Hafid Laayouni, Fyodor Kondrashov, Evan Floden, and Cedric
    Notredame. “Fast and Accurate Large Multiple Sequence Alignments with a Root-to-Leaf
    Regressive Method.” Zenodo, 2018. <a href="https://doi.org/10.5281/ZENODO.2025846">https://doi.org/10.5281/ZENODO.2025846</a>.
  ieee: E. Garriga <i>et al.</i>, “Fast and accurate large multiple sequence alignments
    with a root-to-leaf regressive method.” Zenodo, 2018.
  ista: Garriga E, di Tommaso P, Magis C, Erb I, Mansouri L, Baltzis A, Laayouni H,
    Kondrashov F, Floden E, Notredame C. 2018. Fast and accurate large multiple sequence
    alignments with a root-to-leaf regressive method, Zenodo, <a href="https://doi.org/10.5281/ZENODO.2025846">10.5281/ZENODO.2025846</a>.
  mla: Garriga, Edgar, et al. <i>Fast and Accurate Large Multiple Sequence Alignments
    with a Root-to-Leaf Regressive Method</i>. Zenodo, 2018, doi:<a href="https://doi.org/10.5281/ZENODO.2025846">10.5281/ZENODO.2025846</a>.
  short: E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H.
    Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
date_created: 2023-05-23T16:08:20Z
date_published: 2018-12-07T00:00:00Z
date_updated: 2023-09-06T14:32:51Z
day: '07'
ddc:
- '570'
department:
- _id: FyKo
doi: 10.5281/ZENODO.2025846
main_file_link:
- open_access: '1'
  url: https://doi.org/10.5281/zenodo.3271452
month: '12'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
  record:
  - id: '7181'
    relation: used_in_publication
    status: public
status: public
title: Fast and accurate large multiple sequence alignments with a root-to-leaf regressive
  method
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: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
_id: '131'
abstract:
- lang: eng
  text: 'XY systems usually show chromosome-wide compensation of X-linked genes, while
    in many ZW systems, compensation is restricted to a minority of dosage-sensitive
    genes. Why such differences arose is still unclear. Here, we combine comparative
    genomics, transcriptomics and proteomics to obtain a complete overview of the
    evolution of gene dosage on the Z-chromosome of Schistosoma parasites. We compare
    the Z-chromosome gene content of African (Schistosoma mansoni and S. haematobium)
    and Asian (S. japonicum) schistosomes and describe lineage-specific evolutionary
    strata. We use these to assess gene expression evolution following sex-linkage.
    The resulting patterns suggest a reduction in expression of Z-linked genes in
    females, combined with upregulation of the Z in both sexes, in line with the first
    step of Ohno’s classic model of dosage compensation evolution. Quantitative proteomics
    suggest that post-transcriptional mechanisms do not play a major role in balancing
    the expression of Z-linked genes. '
acknowledgement: We are grateful to Lu Dabing (Soochow University, Suzhou, China)
  for providing Schistosoma japonicum samples, to Ariana Macon (IST Austria) and Georgette
  Stovall (JLU Giessen) for technical assistance, to IT support at IST Austria for
  providing optimal environment to bioinformatic analyses, and to the Vicoso lab for
  comments on the manuscript.
article_number: e35684
article_processing_charge: No
article_type: original
author:
- first_name: Marion A
  full_name: Picard, Marion A
  id: 2C921A7A-F248-11E8-B48F-1D18A9856A87
  last_name: Picard
  orcid: 0000-0002-8101-2518
- first_name: Celine
  full_name: Cosseau, Celine
  last_name: Cosseau
- first_name: Sabrina
  full_name: Ferré, Sabrina
  last_name: Ferré
- first_name: Thomas
  full_name: Quack, Thomas
  last_name: Quack
- first_name: Christoph
  full_name: Grevelding, Christoph
  last_name: Grevelding
- first_name: Yohann
  full_name: Couté, Yohann
  last_name: Couté
- first_name: Beatriz
  full_name: Vicoso, Beatriz
  id: 49E1C5C6-F248-11E8-B48F-1D18A9856A87
  last_name: Vicoso
  orcid: 0000-0002-4579-8306
citation:
  ama: Picard MAL, Cosseau C, Ferré S, et al. Evolution of gene dosage on the Z-chromosome
    of schistosome parasites. <i>eLife</i>. 2018;7. doi:<a href="https://doi.org/10.7554/eLife.35684">10.7554/eLife.35684</a>
  apa: Picard, M. A. L., Cosseau, C., Ferré, S., Quack, T., Grevelding, C., Couté,
    Y., &#38; Vicoso, B. (2018). Evolution of gene dosage on the Z-chromosome of schistosome
    parasites. <i>ELife</i>. eLife Sciences Publications. <a href="https://doi.org/10.7554/eLife.35684">https://doi.org/10.7554/eLife.35684</a>
  chicago: Picard, Marion A L, Celine Cosseau, Sabrina Ferré, Thomas Quack, Christoph
    Grevelding, Yohann Couté, and Beatriz Vicoso. “Evolution of Gene Dosage on the
    Z-Chromosome of Schistosome Parasites.” <i>ELife</i>. eLife Sciences Publications,
    2018. <a href="https://doi.org/10.7554/eLife.35684">https://doi.org/10.7554/eLife.35684</a>.
  ieee: M. A. L. Picard <i>et al.</i>, “Evolution of gene dosage on the Z-chromosome
    of schistosome parasites,” <i>eLife</i>, vol. 7. eLife Sciences Publications,
    2018.
  ista: Picard MAL, Cosseau C, Ferré S, Quack T, Grevelding C, Couté Y, Vicoso B.
    2018. Evolution of gene dosage on the Z-chromosome of schistosome parasites. eLife.
    7, e35684.
  mla: Picard, Marion A. L., et al. “Evolution of Gene Dosage on the Z-Chromosome
    of Schistosome Parasites.” <i>ELife</i>, vol. 7, e35684, eLife Sciences Publications,
    2018, doi:<a href="https://doi.org/10.7554/eLife.35684">10.7554/eLife.35684</a>.
  short: M.A.L. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B.
    Vicoso, ELife 7 (2018).
date_created: 2018-12-11T11:44:47Z
date_published: 2018-08-13T00:00:00Z
date_updated: 2024-02-21T13:45:12Z
day: '13'
ddc:
- '570'
department:
- _id: BeVi
doi: 10.7554/eLife.35684
external_id:
  isi:
  - '000441388200001'
file:
- access_level: open_access
  checksum: d6331d4385b1fffd6b47b45d5949d841
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T11:55:05Z
  date_updated: 2020-07-14T12:44:43Z
  file_id: '5695'
  file_name: 2018_eLife_Picard.pdf
  file_size: 3158125
  relation: main_file
file_date_updated: 2020-07-14T12:44:43Z
has_accepted_license: '1'
intvolume: '         7'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 250ED89C-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P28842-B22
  name: Sex chromosome evolution under male- and female- heterogamety
publication: eLife
publication_status: published
publisher: eLife Sciences Publications
publist_id: '7792'
quality_controlled: '1'
related_material:
  record:
  - id: '5586'
    relation: popular_science
    status: public
scopus_import: '1'
status: public
title: Evolution of gene dosage on the Z-chromosome of schistosome parasites
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 7
year: '2018'
...
---
_id: '132'
abstract:
- lang: eng
  text: Pancreas development involves a coordinated process in which an early phase
    of cell segregation is followed by a longer phase of lineage restriction, expansion,
    and tissue remodeling. By combining clonal tracing and whole-mount reconstruction
    with proliferation kinetics and single-cell transcriptional profiling, we define
    the functional basis of pancreas morphogenesis. We show that the large-scale organization
    of mouse pancreas can be traced to the activity of self-renewing precursors positioned
    at the termini of growing ducts, which act collectively to drive serial rounds
    of stochastic ductal bifurcation balanced by termination. During this phase of
    branching morphogenesis, multipotent precursors become progressively fate-restricted,
    giving rise to self-renewing acinar-committed precursors that are conveyed with
    growing ducts, as well as ductal progenitors that expand the trailing ducts and
    give rise to delaminating endocrine cells. These findings define quantitatively
    how the functional behavior and lineage progression of precursor pools determine
    the large-scale patterning of pancreatic sub-compartments.
acknowledgement: E.H. is funded by a Junior Research Fellowship from Trinity College,
  Cam-bridge, a Sir Henry Wellcome Fellowship from the Wellcome Trust, and theBettencourt-Schueller
  Young Researcher Prize for support.
article_processing_charge: No
article_type: original
author:
- first_name: Magdalena
  full_name: Sznurkowska, Magdalena
  last_name: Sznurkowska
- first_name: Edouard B
  full_name: Hannezo, Edouard B
  id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
  last_name: Hannezo
  orcid: 0000-0001-6005-1561
- first_name: Roberta
  full_name: Azzarelli, Roberta
  last_name: Azzarelli
- first_name: Steffen
  full_name: Rulands, Steffen
  last_name: Rulands
- first_name: Sonia
  full_name: Nestorowa, Sonia
  last_name: Nestorowa
- first_name: Christopher
  full_name: Hindley, Christopher
  last_name: Hindley
- first_name: Jennifer
  full_name: Nichols, Jennifer
  last_name: Nichols
- first_name: Berthold
  full_name: Göttgens, Berthold
  last_name: Göttgens
- first_name: Meritxell
  full_name: Huch, Meritxell
  last_name: Huch
- first_name: Anna
  full_name: Philpott, Anna
  last_name: Philpott
- first_name: Benjamin
  full_name: Simons, Benjamin
  last_name: Simons
citation:
  ama: Sznurkowska M, Hannezo EB, Azzarelli R, et al. Defining lineage potential and
    fate behavior of precursors during pancreas development. <i>Developmental Cell</i>.
    2018;46(3):360-375. doi:<a href="https://doi.org/10.1016/j.devcel.2018.06.028">10.1016/j.devcel.2018.06.028</a>
  apa: Sznurkowska, M., Hannezo, E. B., Azzarelli, R., Rulands, S., Nestorowa, S.,
    Hindley, C., … Simons, B. (2018). Defining lineage potential and fate behavior
    of precursors during pancreas development. <i>Developmental Cell</i>. Cell Press.
    <a href="https://doi.org/10.1016/j.devcel.2018.06.028">https://doi.org/10.1016/j.devcel.2018.06.028</a>
  chicago: Sznurkowska, Magdalena, Edouard B Hannezo, Roberta Azzarelli, Steffen Rulands,
    Sonia Nestorowa, Christopher Hindley, Jennifer Nichols, et al. “Defining Lineage
    Potential and Fate Behavior of Precursors during Pancreas Development.” <i>Developmental
    Cell</i>. Cell Press, 2018. <a href="https://doi.org/10.1016/j.devcel.2018.06.028">https://doi.org/10.1016/j.devcel.2018.06.028</a>.
  ieee: M. Sznurkowska <i>et al.</i>, “Defining lineage potential and fate behavior
    of precursors during pancreas development,” <i>Developmental Cell</i>, vol. 46,
    no. 3. Cell Press, pp. 360–375, 2018.
  ista: Sznurkowska M, Hannezo EB, Azzarelli R, Rulands S, Nestorowa S, Hindley C,
    Nichols J, Göttgens B, Huch M, Philpott A, Simons B. 2018. Defining lineage potential
    and fate behavior of precursors during pancreas development. Developmental Cell.
    46(3), 360–375.
  mla: Sznurkowska, Magdalena, et al. “Defining Lineage Potential and Fate Behavior
    of Precursors during Pancreas Development.” <i>Developmental Cell</i>, vol. 46,
    no. 3, Cell Press, 2018, pp. 360–75, doi:<a href="https://doi.org/10.1016/j.devcel.2018.06.028">10.1016/j.devcel.2018.06.028</a>.
  short: M. Sznurkowska, E.B. Hannezo, R. Azzarelli, S. Rulands, S. Nestorowa, C.
    Hindley, J. Nichols, B. Göttgens, M. Huch, A. Philpott, B. Simons, Developmental
    Cell 46 (2018) 360–375.
date_created: 2018-12-11T11:44:48Z
date_published: 2018-08-06T00:00:00Z
date_updated: 2023-09-11T12:52:41Z
day: '06'
ddc:
- '570'
department:
- _id: EdHa
doi: 10.1016/j.devcel.2018.06.028
external_id:
  isi:
  - '000441327300012'
file:
- access_level: open_access
  checksum: 78d2062b9e3c3b90fe71545aeb6d2f65
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T10:49:49Z
  date_updated: 2020-07-14T12:44:43Z
  file_id: '5694'
  file_name: 2018_DevelopmentalCell_Sznurkowska.pdf
  file_size: 8948384
  relation: main_file
file_date_updated: 2020-07-14T12:44:43Z
has_accepted_license: '1'
intvolume: '        46'
isi: 1
issue: '3'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: 360 - 375
publication: Developmental Cell
publication_status: published
publisher: Cell Press
publist_id: '7791'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Defining lineage potential and fate behavior of precursors during pancreas
  development
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 46
year: '2018'
...
---
_id: '13255'
abstract:
- lang: eng
  text: Focused ion beams perfectly suit for patterning two-dimensional (2D) materials,
    but the optimization of irradiation parameters requires full microscopic understanding
    of defect production mechanisms. In contrast to freestanding 2D systems, the details
    of damage creation in supported 2D materials are not fully understood, whereas
    the majority of experiments have been carried out for 2D targets deposited on
    substrates. Here, we suggest a universal and computationally efficient scheme
    to model the irradiation of supported 2D materials, which combines analytical
    potential molecular dynamics with Monte Carlo simulations and makes it possible
    to independently assess the contributions to the damage from backscattered ions
    and atoms sputtered from the substrate. Using the scheme, we study the defect
    production in graphene and MoS2 sheets, which are the two most important and wide-spread
    2D materials, deposited on a SiO2 substrate. For helium and neon ions with a wide
    range of initial ion energies including those used in a commercial helium ion
    microscope (HIM), we demonstrate that depending on the ion energy and mass, the
    defect production in 2D systems can be dominated by backscattered ions and sputtered
    substrate atoms rather than by the direct ion impacts and that the amount of damage
    in 2D materials heavily depends on whether a substrate is present or not. We also
    study the factors which limit the spatial resolution of the patterning process.
    Our results, which agree well with the available experimental data, provide not
    only insights into defect production but also quantitative information, which
    can be used for the minimization of damage during imaging in HIM or optimization
    of the patterning process.
article_processing_charge: No
article_type: original
author:
- first_name: Silvan
  full_name: Kretschmer, Silvan
  last_name: Kretschmer
- first_name: Mikhail
  full_name: Maslov, Mikhail
  id: 2E65BB0E-F248-11E8-B48F-1D18A9856A87
  last_name: Maslov
  orcid: 0000-0003-4074-2570
- first_name: Sadegh
  full_name: Ghaderzadeh, Sadegh
  last_name: Ghaderzadeh
- first_name: Mahdi
  full_name: Ghorbani-Asl, Mahdi
  last_name: Ghorbani-Asl
- first_name: Gregor
  full_name: Hlawacek, Gregor
  last_name: Hlawacek
- first_name: Arkady V.
  full_name: Krasheninnikov, Arkady V.
  last_name: Krasheninnikov
citation:
  ama: 'Kretschmer S, Maslov M, Ghaderzadeh S, Ghorbani-Asl M, Hlawacek G, Krasheninnikov
    AV. Supported two-dimensional materials under ion irradiation: The substrate governs
    defect production. <i>ACS Applied Materials &#38; Interfaces</i>. 2018;10(36):30827-30836.
    doi:<a href="https://doi.org/10.1021/acsami.8b08471">10.1021/acsami.8b08471</a>'
  apa: 'Kretschmer, S., Maslov, M., Ghaderzadeh, S., Ghorbani-Asl, M., Hlawacek, G.,
    &#38; Krasheninnikov, A. V. (2018). Supported two-dimensional materials under
    ion irradiation: The substrate governs defect production. <i>ACS Applied Materials
    &#38; Interfaces</i>. American Chemical Society. <a href="https://doi.org/10.1021/acsami.8b08471">https://doi.org/10.1021/acsami.8b08471</a>'
  chicago: 'Kretschmer, Silvan, Mikhail Maslov, Sadegh Ghaderzadeh, Mahdi Ghorbani-Asl,
    Gregor Hlawacek, and Arkady V. Krasheninnikov. “Supported Two-Dimensional Materials
    under Ion Irradiation: The Substrate Governs Defect Production.” <i>ACS Applied
    Materials &#38; Interfaces</i>. American Chemical Society, 2018. <a href="https://doi.org/10.1021/acsami.8b08471">https://doi.org/10.1021/acsami.8b08471</a>.'
  ieee: 'S. Kretschmer, M. Maslov, S. Ghaderzadeh, M. Ghorbani-Asl, G. Hlawacek, and
    A. V. Krasheninnikov, “Supported two-dimensional materials under ion irradiation:
    The substrate governs defect production,” <i>ACS Applied Materials &#38; Interfaces</i>,
    vol. 10, no. 36. American Chemical Society, pp. 30827–30836, 2018.'
  ista: 'Kretschmer S, Maslov M, Ghaderzadeh S, Ghorbani-Asl M, Hlawacek G, Krasheninnikov
    AV. 2018. Supported two-dimensional materials under ion irradiation: The substrate
    governs defect production. ACS Applied Materials &#38; Interfaces. 10(36), 30827–30836.'
  mla: 'Kretschmer, Silvan, et al. “Supported Two-Dimensional Materials under Ion
    Irradiation: The Substrate Governs Defect Production.” <i>ACS Applied Materials
    &#38; Interfaces</i>, vol. 10, no. 36, American Chemical Society, 2018, pp. 30827–36,
    doi:<a href="https://doi.org/10.1021/acsami.8b08471">10.1021/acsami.8b08471</a>.'
  short: S. Kretschmer, M. Maslov, S. Ghaderzadeh, M. Ghorbani-Asl, G. Hlawacek, A.V.
    Krasheninnikov, ACS Applied Materials &#38; Interfaces 10 (2018) 30827–30836.
date_created: 2023-07-21T11:43:00Z
date_published: 2018-08-17T00:00:00Z
date_updated: 2023-08-01T07:18:30Z
day: '17'
doi: 10.1021/acsami.8b08471
extern: '1'
external_id:
  pmid:
  - '30117320'
intvolume: '        10'
issue: '36'
keyword:
- General Materials Science
language:
- iso: eng
month: '08'
oa_version: None
page: 30827-30836
pmid: 1
publication: ACS Applied Materials & Interfaces
publication_identifier:
  issn:
  - 1944-8244
  - 1944-8252
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
status: public
title: 'Supported two-dimensional materials under ion irradiation: The substrate governs
  defect production'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10
year: '2018'
...
---
_id: '133'
abstract:
- lang: eng
  text: Synchronous programs are easy to specify because the side effects of an operation
    are finished by the time the invocation of the operation returns to the caller.
    Asynchronous programs, on the other hand, are difficult to specify because there
    are side effects due to pending computation scheduled as a result of the invocation
    of an operation. They are also difficult to verify because of the large number
    of possible interleavings of concurrent computation threads. We present synchronization,
    a new proof rule that simplifies the verification of asynchronous programs by
    introducing the fiction, for proof purposes, that asynchronous operations complete
    synchronously. Synchronization summarizes an asynchronous computation as immediate
    atomic effect. Modular verification is enabled via pending asynchronous calls
    in atomic summaries, and a complementary proof rule that eliminates pending asynchronous
    calls when components and their specifications are composed. We evaluate synchronization
    in the context of a multi-layer refinement verification methodology on a collection
    of benchmark programs.
alternative_title:
- LIPIcs
article_number: '21'
author:
- first_name: Bernhard
  full_name: Kragl, Bernhard
  id: 320FC952-F248-11E8-B48F-1D18A9856A87
  last_name: Kragl
  orcid: 0000-0001-7745-9117
- first_name: Shaz
  full_name: Qadeer, Shaz
  last_name: Qadeer
- 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: 'Kragl B, Qadeer S, Henzinger TA. Synchronizing the asynchronous. In: Vol 118.
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:<a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.21">10.4230/LIPIcs.CONCUR.2018.21</a>'
  apa: 'Kragl, B., Qadeer, S., &#38; Henzinger, T. A. (2018). Synchronizing the asynchronous
    (Vol. 118). Presented at the CONCUR: International Conference on Concurrency Theory,
    Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.21">https://doi.org/10.4230/LIPIcs.CONCUR.2018.21</a>'
  chicago: Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Synchronizing the
    Asynchronous,” Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
    <a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.21">https://doi.org/10.4230/LIPIcs.CONCUR.2018.21</a>.
  ieee: 'B. Kragl, S. Qadeer, and T. A. Henzinger, “Synchronizing the asynchronous,”
    presented at the CONCUR: International Conference on Concurrency Theory, Beijing,
    China, 2018, vol. 118.'
  ista: 'Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR:
    International Conference on Concurrency Theory, LIPIcs, vol. 118, 21.'
  mla: Kragl, Bernhard, et al. <i>Synchronizing the Asynchronous</i>. Vol. 118, 21,
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:<a href="https://doi.org/10.4230/LIPIcs.CONCUR.2018.21">10.4230/LIPIcs.CONCUR.2018.21</a>.
  short: B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum
    für Informatik, 2018.
conference:
  end_date: 2018-09-07
  location: Beijing, China
  name: 'CONCUR: International Conference on Concurrency Theory'
  start_date: 2018-09-04
date_created: 2018-12-11T11:44:48Z
date_published: 2018-08-13T00:00:00Z
date_updated: 2023-09-07T13:18:00Z
day: '13'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.4230/LIPIcs.CONCUR.2018.21
file:
- access_level: open_access
  checksum: c90895f4c5fafc18ddc54d1c8848077e
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:18:46Z
  date_updated: 2020-07-14T12:44:44Z
  file_id: '5368'
  file_name: IST-2018-853-v2+2_concur2018.pdf
  file_size: 745438
  relation: main_file
file_date_updated: 2020-07-14T12:44:44Z
has_accepted_license: '1'
intvolume: '       118'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 25F2ACDE-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Rigorous Systems Engineering
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Moderne Concurrency Paradigms
publication_identifier:
  issn:
  - '18688969'
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
publist_id: '7790'
pubrep_id: '1039'
quality_controlled: '1'
related_material:
  record:
  - id: '6426'
    relation: earlier_version
    status: public
  - id: '8332'
    relation: dissertation_contains
    status: public
scopus_import: 1
status: public
title: Synchronizing the asynchronous
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: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 118
year: '2018'
...
---
_id: '13374'
abstract:
- lang: eng
  text: Confining molecules to volumes only slightly larger than the molecules themselves
    can profoundly alter their properties. Molecular switches—entities that can be
    toggled between two or more forms upon exposure to an external stimulus—often
    require conformational freedom to isomerize. Therefore, placing these switches
    in confined spaces can render them non-operational. To preserve the switchability
    of these species under confinement, we work with a water-soluble coordination
    cage that is flexible enough to adapt its shape to the conformation of the encapsulated
    guest. We show that owing to its flexibility, the cage is not only capable of
    accommodating—and solubilizing in water—several light-responsive spiropyran-based
    molecular switches, but, more importantly, it also provides an environment suitable
    for the efficient, reversible photoisomerization of the bound guests. Our findings
    pave the way towards studying various molecular switching processes in confined
    environments.
article_number: '641'
article_processing_charge: No
article_type: original
author:
- first_name: Dipak
  full_name: Samanta, Dipak
  last_name: Samanta
- first_name: Daria
  full_name: Galaktionova, Daria
  last_name: Galaktionova
- first_name: Julius
  full_name: Gemen, Julius
  last_name: Gemen
- first_name: Linda J. W.
  full_name: Shimon, Linda J. W.
  last_name: Shimon
- first_name: Yael
  full_name: Diskin-Posner, Yael
  last_name: Diskin-Posner
- first_name: Liat
  full_name: Avram, Liat
  last_name: Avram
- first_name: Petr
  full_name: Král, Petr
  last_name: Král
- first_name: Rafal
  full_name: Klajn, Rafal
  id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
  last_name: Klajn
citation:
  ama: Samanta D, Galaktionova D, Gemen J, et al. Reversible chromism of spiropyran
    in the cavity of a flexible coordination cage. <i>Nature Communications</i>. 2018;9.
    doi:<a href="https://doi.org/10.1038/s41467-017-02715-6">10.1038/s41467-017-02715-6</a>
  apa: Samanta, D., Galaktionova, D., Gemen, J., Shimon, L. J. W., Diskin-Posner,
    Y., Avram, L., … Klajn, R. (2018). Reversible chromism of spiropyran in the cavity
    of a flexible coordination cage. <i>Nature Communications</i>. Springer Nature.
    <a href="https://doi.org/10.1038/s41467-017-02715-6">https://doi.org/10.1038/s41467-017-02715-6</a>
  chicago: Samanta, Dipak, Daria Galaktionova, Julius Gemen, Linda J. W. Shimon, Yael
    Diskin-Posner, Liat Avram, Petr Král, and Rafal Klajn. “Reversible Chromism of
    Spiropyran in the Cavity of a Flexible Coordination Cage.” <i>Nature Communications</i>.
    Springer Nature, 2018. <a href="https://doi.org/10.1038/s41467-017-02715-6">https://doi.org/10.1038/s41467-017-02715-6</a>.
  ieee: D. Samanta <i>et al.</i>, “Reversible chromism of spiropyran in the cavity
    of a flexible coordination cage,” <i>Nature Communications</i>, vol. 9. Springer
    Nature, 2018.
  ista: Samanta D, Galaktionova D, Gemen J, Shimon LJW, Diskin-Posner Y, Avram L,
    Král P, Klajn R. 2018. Reversible chromism of spiropyran in the cavity of a flexible
    coordination cage. Nature Communications. 9, 641.
  mla: Samanta, Dipak, et al. “Reversible Chromism of Spiropyran in the Cavity of
    a Flexible Coordination Cage.” <i>Nature Communications</i>, vol. 9, 641, Springer
    Nature, 2018, doi:<a href="https://doi.org/10.1038/s41467-017-02715-6">10.1038/s41467-017-02715-6</a>.
  short: D. Samanta, D. Galaktionova, J. Gemen, L.J.W. Shimon, Y. Diskin-Posner, L.
    Avram, P. Král, R. Klajn, Nature Communications 9 (2018).
date_created: 2023-08-01T09:39:32Z
date_published: 2018-02-13T00:00:00Z
date_updated: 2023-08-07T10:54:05Z
day: '13'
doi: 10.1038/s41467-017-02715-6
extern: '1'
external_id:
  pmid:
  - '29440687'
intvolume: '         9'
keyword:
- General Physics and Astronomy
- General Biochemistry
- Genetics and Molecular Biology
- General Chemistry
- Multidisciplinary
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1038/s41467-017-02715-6
month: '02'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
  eissn:
  - 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  link:
  - relation: erratum
    url: https://doi.org/10.1038/s41467-018-03701-2
scopus_import: '1'
status: public
title: Reversible chromism of spiropyran in the cavity of a flexible coordination
  cage
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2018'
...
