ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2023 | Journal Article | IST-REx-ID: 14253 |

Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling
N.C. Vierra, L. Ribeiro-Silva, M. Kirmiz, D. Van Der List, P. Bhandari, O.A. Mack, J. Carroll, E. Le Monnier, S.A. Aicher, R. Shigemoto, J.S. Trimmer, Nature Communications 14 (2023).

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2023 | Conference Paper | IST-REx-ID: 13120 |

Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

[Published Version] View | Files available | DOI | arXiv

2023 | Journal Article | IST-REx-ID: 14426 |

Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics
I.A. Unterweger, J. Klepstad, E.B. Hannezo, P.R. Lundegaard, A. Trusina, E.A. Ober, PLoS Biology 21 (2023).

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 13119 |

Density-wave ordering in a unitary Fermi gas with photon-mediated interactions
V. Helson, T. Zwettler, F. Mivehvar, E. Colella, K.E.R. Roux, H. Konishi, H. Ritsch, J.P. Brantut, Nature 618 (2023) 716–720.

[Published Version] View | Files available | DOI | WoS

2023 | Journal Article | IST-REx-ID: 13177 |

Sobolev-type inequalities and eigenvalue growth on graphs with finite measure
B. Hua, M. Keller, M. Schwarz, M. Wirth, Proceedings of the American Mathematical Society 151 (2023) 3401–3414.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv