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.
7170 Publications
2023 | Published | Journal Article | IST-REx-ID: 14783 | 
Astroglial connexin 43 regulates synaptic vesicle release at hippocampal synapses
G.T. Cheung, O. Chever, A. Rollenhagen, N. Quenech’du, P. Ezan, J.H.R. Lübke, N. Rouach, Cells 12 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
G.T. Cheung, O. Chever, A. Rollenhagen, N. Quenech’du, P. Ezan, J.H.R. Lübke, N. Rouach, Cells 12 (2023).
2023 | Research Data Reference | IST-REx-ID: 14812 |
Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails
S. Stankowski, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Stankowski, (2023).
2023 | Published | Journal Article | IST-REx-ID: 14827
Connecting theory and experiment in cell and tissue mechanics
C. Schwayer, D. Brückner, Journal of Cell Science 136 (2023).
View
| DOI
| PubMed | Europe PMC
C. Schwayer, D. Brückner, Journal of Cell Science 136 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14830
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
[Preprint]
View
| Files available
| DOI
| arXiv
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
2023 | Published | Journal Article | IST-REx-ID: 14833 |
Whole-genome phylogeography of the intertidal snail Littorina saxatilis
S. Stankowski, Z.B. Zagrodzka, J. Galindo, M. Montaño-Rendón, R. Faria, N. Mikhailova, A.M.H. Blakeslee, E. Arnason, T. Broquet, H.E. Morales, J.W. Grahame, A.M. Westram, K. Johannesson, R.K. Butlin, Evolutionary Journal of the Linnean Society 2 (2023).
[Published Version]
View
| Files available
| DOI
S. Stankowski, Z.B. Zagrodzka, J. Galindo, M. Montaño-Rendón, R. Faria, N. Mikhailova, A.M.H. Blakeslee, E. Arnason, T. Broquet, H.E. Morales, J.W. Grahame, A.M. Westram, K. Johannesson, R.K. Butlin, Evolutionary Journal of the Linnean Society 2 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14849 |
On the rightmost eigenvalue of non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Y. Xu, The Annals of Probability 51 (2023) 2192–2242.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Y. Xu, The Annals of Probability 51 (2023) 2192–2242.
2023 | Published | Journal Article | IST-REx-ID: 14854
Ubiquity of bound states for the strongly coupled polaron
D.J. Mitrouskas, R. Seiringer, Pure and Applied Analysis 5 (2023) 973–1008.
View
| DOI
D.J. Mitrouskas, R. Seiringer, Pure and Applied Analysis 5 (2023) 973–1008.
2023 | Published | Conference Abstract | IST-REx-ID: 14862 |
Complex vaccination strategies prevent the emergence of vaccine resistance
S. Rella, Y. Kulikova, A. Minnegalieva, F. Kondrashov, in:, European Journal of Public Health, Oxford University Press, 2023.
[Published Version]
View
| Files available
| DOI
S. Rella, Y. Kulikova, A. Minnegalieva, F. Kondrashov, in:, European Journal of Public Health, Oxford University Press, 2023.
2023 | Published | Conference Abstract | IST-REx-ID: 14864 |
Measuring spontaneous charging of single aerosol particles
A. Stöllner, I.C. Lenton, C.J. Muller, S.R. Waitukaitis, in:, EGU General Assembly 2023, European Geosciences Union, 2023.
[Published Version]
View
| Files available
| DOI
A. Stöllner, I.C. Lenton, C.J. Muller, S.R. Waitukaitis, in:, EGU General Assembly 2023, European Geosciences Union, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14872
Entangling microwaves and telecom wavelength light
R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink, in:, Frontiers in Optics + Laser Science 2023, Optica Publishing Group, 2023.
View
| DOI
R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink, in:, Frontiers in Optics + Laser Science 2023, Optica Publishing Group, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14921 |
Deep neural collapse is provably optimal for the deep unconstrained features model
P. Súkeník, M. Mondelli, C. Lampert, in:, 37th Annual Conference on Neural Information Processing Systems, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
P. Súkeník, M. Mondelli, C. Lampert, in:, 37th Annual Conference on Neural Information Processing Systems, 2023.
2023 | Epub ahead of print | Conference Paper | IST-REx-ID: 14974 |
Causality in the time of LLMs: Round table discussion results of CLeaR 2023
C. Zhang, D. Janzing, M. van der Schaar, F. Locatello, P. Spirtes, K. Zhang, B. Schölkopf, C. Uhler, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
[Submitted Version]
View
| Files available
C. Zhang, D. Janzing, M. van der Schaar, F. Locatello, P. Spirtes, K. Zhang, B. Schölkopf, C. Uhler, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
2023 | Published | Book Chapter | IST-REx-ID: 14992 |
Universal Functionals in Density Functional Theory
M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.
2023 | Research Data Reference | IST-REx-ID: 14995 |
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
2023 | Published | Conference Paper | IST-REx-ID: 15023 |
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Published Version]
View
| Files available
| arXiv
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
2023 | Research Data Reference | IST-REx-ID: 15035 |
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Chalupa, T.A. Henzinger, (2023).
2023 | Submitted | Preprint | IST-REx-ID: 15039 |
1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Prach, C. Lampert, ArXiv (n.d.).
2023 | Published | Conference Poster | IST-REx-ID: 15292 |
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation, ACM, 2023.
View
| Files available
| DOI
Y.-L. Chen, M. Ly, C. Wojtan, Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation, ACM, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 15363 |
Knowledge distillation performs partial variance reduction
M. Safaryan, A. Krumes, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, 2023.
[Published Version]
View
| Files available
| arXiv
M. Safaryan, A. Krumes, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, 2023.
2023 | Published | Thesis | IST-REx-ID: 13286 |
Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.