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.
4947 Publications
2023 | Conference Paper | IST-REx-ID: 14518 | 
Reachability poorman discrete-bidding games
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.
2023 | Journal Article | IST-REx-ID: 13096 |
Structural basis of NINJ1-mediated plasma membrane rupture in cell death
M. Degen, J.C. Santos, K. Pluhackova, G. Cebrero, S. Ramos, G. Jankevicius, E. Hartenian, U. Guillerm, S.A. Mari, B. Kohl, D.J. Müller, P. Schanda, T. Maier, C. Perez, C. Sieben, P. Broz, S. Hiller, Nature 618 (2023) 1065–1071.
[Published Version]
View
| Files available
| DOI
| WoS
M. Degen, J.C. Santos, K. Pluhackova, G. Cebrero, S. Ramos, G. Jankevicius, E. Hartenian, U. Guillerm, S.A. Mari, B. Kohl, D.J. Müller, P. Schanda, T. Maier, C. Perez, C. Sieben, P. Broz, S. Hiller, Nature 618 (2023) 1065–1071.
2023 | Journal Article | IST-REx-ID: 13041 |
Triarylamines as catholytes in aqueous organic redox flow batteries
N.L. Farag, R.B. Jethwa, A.E. Beardmore, T. Insinna, C.A. O’Keefe, P.A.A. Klusener, C.P. Grey, D.S. Wright, ChemSusChem 16 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
N.L. Farag, R.B. Jethwa, A.E. Beardmore, T. Insinna, C.A. O’Keefe, P.A.A. Klusener, C.P. Grey, D.S. Wright, ChemSusChem 16 (2023).
2023 | Journal Article | IST-REx-ID: 13118
Melting curve of superionic ammonia at planetary interior conditions
J.-A. Hernandez, M. Bethkenhagen, S. Ninet, M. French, A. Benuzzi-Mounaix, F. Datchi, M. Guarguaglini, F. Lefevre, F. Occelli, R. Redmer, T. Vinci, A. Ravasio, Nature Physics 19 (2023) 1280–1285.
View
| Files available
| DOI
| WoS
J.-A. Hernandez, M. Bethkenhagen, S. Ninet, M. French, A. Benuzzi-Mounaix, F. Datchi, M. Guarguaglini, F. Lefevre, F. Occelli, R. Redmer, T. Vinci, A. Ravasio, Nature Physics 19 (2023) 1280–1285.
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
V. Helson, T. Zwettler, F. Mivehvar, E. Colella, K.E.R. Roux, H. Konishi, H. Ritsch, J.P. Brantut, Nature 618 (2023) 716–720.
2023 | Journal Article | IST-REx-ID: 12911 |
A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature
D. Feliciangeli, A. Gerolin, L. Portinale, Journal of Functional Analysis 285 (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D. Feliciangeli, A. Gerolin, L. Portinale, Journal of Functional Analysis 285 (2023).
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
B. Hua, M. Keller, M. Schwarz, M. Wirth, Proceedings of the American Mathematical Society 151 (2023) 3401–3414.
2023 | Journal Article | IST-REx-ID: 14558
Deterministic near-optimal approximation algorithms for dynamic set cover
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.
View
| DOI
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.
2023 | Conference Paper | IST-REx-ID: 14559
Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
View
| DOI
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
2023 | Journal Article | IST-REx-ID: 14554 |
The regularised inertial Dean' Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime
F. Cornalba, T. Shardlow, ESAIM: Mathematical Modelling and Numerical Analysis 57 (2023) 3061–3090.
[Published Version]
View
| Files available
| DOI
F. Cornalba, T. Shardlow, ESAIM: Mathematical Modelling and Numerical Analysis 57 (2023) 3061–3090.