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.
6830 Publications
2023 |
Published |
Journal Article |
IST-REx-ID: 14036 |
Protein dynamics detected by magic-angle spinning relaxation dispersion NMR
F. Napoli, L.M. Becker, P. Schanda, Current Opinion in Structural Biology 82 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
F. Napoli, L.M. Becker, P. Schanda, Current Opinion in Structural Biology 82 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 14042 |
On unsteady internal flows of incompressible fluids characterized by implicit constitutive equations in the bulk and on the boundary
M. Bulíček, J. Málek, E. Maringová, Journal of Mathematical Fluid Mechanics 25 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Bulíček, J. Málek, E. Maringová, Journal of Mathematical Fluid Mechanics 25 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 14466 |
Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows
E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 12105 |
Symmetry-reduced dynamic mode decomposition of near-wall turbulence
E. Marensi, G. Yalniz, B. Hof, N.B. Budanur, Journal of Fluid Mechanics 954 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
E. Marensi, G. Yalniz, B. Hof, N.B. Budanur, Journal of Fluid Mechanics 954 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 13274 |
Direct path from turbulence to time-periodic solutions
C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review Letters 131 (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review Letters 131 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 12421 |
Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM
F. Fäßler, M. Javoor, F.K. Schur, Biochemical Society Transactions 51 (2023) 87–99.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
F. Fäßler, M. Javoor, F.K. Schur, Biochemical Society Transactions 51 (2023) 87–99.
2023 |
Published |
Conference Paper |
IST-REx-ID: 14692 |
Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing
B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.
2023 |
Published |
Conference Paper |
IST-REx-ID: 14691 |
On the cost of post-compromise security in concurrent Continuous Group-Key Agreement
B. Auerbach, M. Cueto Noval, G. Pascual Perez, K.Z. Pietrzak, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 271–300.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
B. Auerbach, M. Cueto Noval, G. Pascual Perez, K.Z. Pietrzak, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 271–300.
2023 |
Published |
Journal Article |
IST-REx-ID: 12787 |
Coexistence times in the Moran process with environmental heterogeneity
J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 479 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 479 (2023).
2023 |
Published |
Conference Paper |
IST-REx-ID: 14954 |
Assumption violations in causal discovery and the robustness of score matching
F. Montagna, A.A. Mastakouri, E. Eulig, N. Noceti, L. Rosasco, D. Janzing, B. Aragam, F. Locatello, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
F. Montagna, A.A. Mastakouri, E. Eulig, N. Noceti, L. Rosasco, D. Janzing, B. Aragam, F. Locatello, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 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, Neural Information Processing Systems Foundation, 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, Neural Information Processing Systems Foundation, 2023.
2023 |
Published |
Conference Paper |
IST-REx-ID: 14953 |
Sample complexity bounds for score-matching: Causal discovery and generative modeling
Z. Zhu, F. Locatello, V. Cevher, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023, pp. 3325–3337.
[Published Version]
View
| Files available
| DOI
| arXiv
Z. Zhu, F. Locatello, V. Cevher, in:, 37th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2023, pp. 3325–3337.
2023 |
Published |
Conference Paper |
IST-REx-ID: 13310 |
Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
2023 |
Published |
Conference Paper |
IST-REx-ID: 13228 |
Runtime monitoring of dynamic fairness properties
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
2023 |
Published |
Conference Paper |
IST-REx-ID: 14454 |
Monitoring algorithmic fairness under partial observations
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
T.A. Henzinger, K. Kueffner, K. Mallik, in:, 23rd International Conference on Runtime Verification, Springer Nature, 2023, pp. 291–311.
2023 |
Published |
Conference Paper |
IST-REx-ID: 12859 |
Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels
S. Bombari, S. Kiyani, M. Mondelli, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 2738–2776.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
S. Bombari, S. Kiyani, M. Mondelli, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 2738–2776.
2023 |
Research Data Reference |
IST-REx-ID: 15027 |
aggregation_data
S. Curk, (2023).
[Published Version]
View
| Files available
| Download Published Version (ext.)
S. Curk, (2023).
2023 |
Research Data Reference |
IST-REx-ID: 23012 |
Directed percolation and puff jamming near the transition to pipe turbulence
G. Lemoult, (2023).
View
| Files available
| DOI
| Download None (ext.)
G. Lemoult, (2023).
2023 |
Research Data Reference |
IST-REx-ID: 22961 |
Glutamate and GABA neurons share cascading Onecut3/NAV2-driven differentiation trajectories in the developing hypothalamus
M. Zupancic, E. Keimpema, E. Tretiakov, P. Bhandari, S. Eder, I. Lev, W. Härtig, M. Zimmer, F. Clotman, T. Harkany, (2023).
View
| Files available
| DOI
| Download None (ext.)
M. Zupancic, E. Keimpema, E. Tretiakov, P. Bhandari, S. Eder, I. Lev, W. Härtig, M. Zimmer, F. Clotman, T. Harkany, (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 14514 |
Modeling Leidenfrost levitation of soft elastic solids
J. Binysh, I. Chakraborty, M.V. Chubynsky, V.L. Diaz Melian, S.R. Waitukaitis, J.E. Sprittles, A. Souslov, Physical Review Letters 131 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Binysh, I. Chakraborty, M.V. Chubynsky, V.L. Diaz Melian, S.R. Waitukaitis, J.E. Sprittles, A. Souslov, Physical Review Letters 131 (2023).