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.
4959 Publications
2023 | Conference Paper | IST-REx-ID: 14518 | 
Avni, Guy, Tobias Meggendorfer, Suman Sadhukhan, Josef Tkadlec, and Dorde Zikelic. “Reachability Poorman Discrete-Bidding Games.” In Frontiers in Artificial Intelligence and Applications, 372:141–48. IOS Press, 2023. https://doi.org/10.3233/FAIA230264.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13096 |
Degen, Morris, José Carlos Santos, Kristyna Pluhackova, Gonzalo Cebrero, Saray Ramos, Gytis Jankevicius, Ella Hartenian, et al. “Structural Basis of NINJ1-Mediated Plasma Membrane Rupture in Cell Death.” Nature. Springer Nature, 2023. https://doi.org/10.1038/s41586-023-05991-z.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13041 |
Farag, Nadia L., Rajesh B Jethwa, Alice E. Beardmore, Teresa Insinna, Christopher A. O’Keefe, Peter A.A. Klusener, Clare P. Grey, and Dominic S. Wright. “Triarylamines as Catholytes in Aqueous Organic Redox Flow Batteries.” ChemSusChem. Wiley, 2023. https://doi.org/10.1002/cssc.202300128.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13118
Hernandez, J.-A., Mandy Bethkenhagen, S. Ninet, M. French, A. Benuzzi-Mounaix, F. Datchi, M. Guarguaglini, et al. “Melting Curve of Superionic Ammonia at Planetary Interior Conditions.” Nature Physics. Springer Nature, 2023. https://doi.org/10.1038/s41567-023-02074-8.
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13119 |
Helson, Victor, Timo Zwettler, Farokh Mivehvar, Elvia Colella, Kevin Etienne Robert Roux, Hideki Konishi, Helmut Ritsch, and Jean Philippe Brantut. “Density-Wave Ordering in a Unitary Fermi Gas with Photon-Mediated Interactions.” Nature. Springer Nature, 2023. https://doi.org/10.1038/s41586-023-06018-3.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12911 |
Feliciangeli, Dario, Augusto Gerolin, and Lorenzo Portinale. “A Non-Commutative Entropic Optimal Transport Approach to Quantum Composite Systems at Positive Temperature.” Journal of Functional Analysis. Elsevier, 2023. https://doi.org/10.1016/j.jfa.2023.109963.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13177 |
Hua, Bobo, Matthias Keller, Michael Schwarz, and Melchior Wirth. “Sobolev-Type Inequalities and Eigenvalue Growth on Graphs with Finite Measure.” Proceedings of the American Mathematical Society. American Mathematical Society, 2023. https://doi.org/10.1090/proc/14361.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14558
Bhattacharya, Sayan, Monika H Henzinger, Danupon Nanongkai, and Xiaowei Wu. “Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover.” SIAM Journal on Computing. Society for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/21M1428649.
View
| DOI
2023 | Conference Paper | IST-REx-ID: 14559
Ansaripour, Matin, Krishnendu Chatterjee, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.” In 21st International Symposium on Automated Technology for Verification and Analysis, 14215:357–79. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-45329-8_17.
View
| DOI
2023 | Journal Article | IST-REx-ID: 14554 |
Cornalba, Federico, and Tony Shardlow. “The Regularised Inertial Dean’ Kawasaki Equation: Discontinuous Galerkin Approximation and Modelling for Low-Density Regime.” ESAIM: Mathematical Modelling and Numerical Analysis. EDP Sciences, 2023. https://doi.org/10.1051/m2an/2023077.
[Published Version]
View
| Files available
| DOI