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.
692 Publications
2023 | Published | Journal Article | IST-REx-ID: 14037 | 
Nuclear spin effects in biological processes
O. Vardi, N. Maroudas-Sklare, Y. Kolodny, A. Volosniev, A. Saragovi, N. Galili, S. Ferrera, A. Ghazaryan, N. Yuran, H.P. Affek, B. Luz, Y. Goldsmith, N. Keren, S. Yochelis, I. Halevy, M. Lemeshko, Y. Paltiel, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
O. Vardi, N. Maroudas-Sklare, Y. Kolodny, A. Volosniev, A. Saragovi, N. Galili, S. Ferrera, A. Ghazaryan, N. Yuran, H.P. Affek, B. Luz, Y. Goldsmith, N. Keren, S. Yochelis, I. Halevy, M. Lemeshko, Y. Paltiel, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12534 |
Dissipative dynamics of an impurity with spin-orbit coupling
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
[Published Version]
View
| Files available
| DOI
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14238 |
Nonadiabatic laser-induced alignment dynamics of molecules on a surface
L. Kranabetter, H.H. Kristensen, A. Ghazaryan, C.A. Schouder, A.S. Chatterley, P. Janssen, F. Jensen, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 131 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
L. Kranabetter, H.H. Kristensen, A. Ghazaryan, C.A. Schouder, A.S. Chatterley, P. Janssen, F. Jensen, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 131 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13233 |
Finite-range bias in fitting three-body loss to the zero-range model
S. Agafonova, M. Lemeshko, A. Volosniev, Physical Review A 107 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Agafonova, M. Lemeshko, A. Volosniev, Physical Review A 107 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12788 |
Topological charges of periodically kicked molecules
V. Karle, A. Ghazaryan, M. Lemeshko, Physical Review Letters 130 (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
V. Karle, A. Ghazaryan, M. Lemeshko, Physical Review Letters 130 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14244 |
Arithmetic and metric aspects of open de Rham spaces
T. Hausel, M.L. Wong, D. Wyss, Proceedings of the London Mathematical Society 127 (2023) 958–1027.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T. Hausel, M.L. Wong, D. Wyss, Proceedings of the London Mathematical Society 127 (2023) 958–1027.
2023 | Published | Journal Article | IST-REx-ID: 18179 |
p-adic directions of primitive vectors
A. Guilloux, T. Horesh, Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres 2023 (2023) 85–107.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Guilloux, T. Horesh, Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres 2023 (2023) 85–107.
2023 | Published | Journal Article | IST-REx-ID: 13091 |
Free rational curves on low degree hypersurfaces and the circle method
T.D. Browning, W. Sawin, Algebra and Number Theory 17 (2023) 719–748.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.D. Browning, W. Sawin, Algebra and Number Theory 17 (2023) 719–748.
2023 | Published | Journal Article | IST-REx-ID: 14717 |
Equidistribution of primitive lattices in ℝn
T. Horesh, Y. Karasik, Quarterly Journal of Mathematics 74 (2023) 1253–1294.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Horesh, Y. Karasik, Quarterly Journal of Mathematics 74 (2023) 1253–1294.
2023 | Published | Journal Article | IST-REx-ID: 13092 |
Bottom-up synthesis of SnTe-based thermoelectric composites
B. Nan, X. Song, C. Chang, K. Xiao, Y. Zhang, L. Yang, S. Horta, J. Li, K.H. Lim, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 23380–23389.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Nan, X. Song, C. Chang, K. Xiao, Y. Zhang, L. Yang, S. Horta, J. Li, K.H. Lim, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 23380–23389.
2023 | Published | Journal Article | IST-REx-ID: 13135 |
Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity
A. Agresti, M. Veraar, Journal of Differential Equations 368 (2023) 247–300.
[Published Version]
View
| Files available
| DOI
| WoS
A. Agresti, M. Veraar, Journal of Differential Equations 368 (2023) 247–300.
2023 | Published | Thesis | IST-REx-ID: 14587 |
Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences
Marveggio, Alice, Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023
[Published Version]
View
| Files available
| DOI
Marveggio, Alice, Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023
2023 | Published | Journal Article | IST-REx-ID: 13043 |
Weak-strong uniqueness for the mean curvature flow of double bubbles
S. Hensel, T. Laux, Interfaces and Free Boundaries 25 (2023) 37–107.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Hensel, T. Laux, Interfaces and Free Boundaries 25 (2023) 37–107.
2023 | Published | Journal Article | IST-REx-ID: 14453 |
Extreme precipitation in tropical squall lines
S. Abramian, C.J. Muller, C. Risi, Journal of Advances in Modeling Earth Systems 15 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
S. Abramian, C.J. Muller, C. Risi, Journal of Advances in Modeling Earth Systems 15 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14752 |
How moisture shapes low‐level radiative cooling in subsidence regimes
B. Fildier, C.J. Muller, R. Pincus, S. Fueglistaler, AGU Advances 4 (2023).
[Published Version]
View
| Files available
| DOI
B. Fildier, C.J. Muller, R. Pincus, S. Fueglistaler, AGU Advances 4 (2023).
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: 13221 |
Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
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
| 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: 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
| 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: 12467 |
Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.