Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4191 Publications
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
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).
2023 | Conference Paper | IST-REx-ID: 14259 |
Guessing winning policies in LTL synthesis by semantic learning
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.
[Published Version]
View
| Files available
| DOI
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.
2023 | Journal Article | IST-REx-ID: 14256 |
Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields
S. Mathis, L.A. Bugnet, Astronomy and Astrophysics 676 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Mathis, L.A. Bugnet, Astronomy and Astrophysics 676 (2023).
2023 | Journal Article | IST-REx-ID: 14261 |
Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems
J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403.
2023 | Journal Article | IST-REx-ID: 14277 |
Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers
D.R. Boocock, T. Hirashima, E.B. Hannezo, PRX Life 1 (2023).
[Published Version]
View
| Files available
| DOI
D.R. Boocock, T. Hirashima, E.B. Hannezo, PRX Life 1 (2023).
2023 | Journal Article | IST-REx-ID: 14314 |
Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).
2023 | Journal Article | IST-REx-ID: 14315 |
Caspase-mediated nuclear pore complex trimming in cell differentiation and endoplasmic reticulum stress
U.H. Cho, M. Hetzer, ELife 12 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
U.H. Cho, M. Hetzer, ELife 12 (2023).
2023 | Journal Article | IST-REx-ID: 14319 |
Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets
M. Anastos, D. Fabian, A. Müyesser, T. Szabó, Electronic Journal of Combinatorics 30 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Anastos, D. Fabian, A. Müyesser, T. Szabó, Electronic Journal of Combinatorics 30 (2023).
2023 | Conference Paper | IST-REx-ID: 14318 |
Automated tail bound analysis for probabilistic recurrence relations
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
[Published Version]
View
| Files available
| DOI
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
2023 | Conference Paper | IST-REx-ID: 14317 |
MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
[Published Version]
View
| Files available
| DOI
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.