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.
7112 Publications
2023 | Published | Journal Article | IST-REx-ID: 13179 | 
CQS: A formally-verified framework for fair and abortable synchronization
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
[Published Version]
View
| Files available
| DOI
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13180 |
Local solubility for a family of quadrics over a split quadric surface
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.
2023 | Published | Journal Article | IST-REx-ID: 13200 |
Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action
L. Qiu, R. Sahu, W.J. Hease, G.M. Arnold, J.M. Fink, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
L. Qiu, R. Sahu, W.J. Hease, G.M. Arnold, J.M. Fink, Nature Communications 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 11479 |
Ten years of demographic modelling of divergence and speciation in the sea
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
[Published Version]
View
| Files available
| DOI
| WoS
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
2023 | Published | Journal Article | IST-REx-ID: 11741 |
Quenched universality for deformed Wigner matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields 185 (2023) 1183–1218.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields 185 (2023) 1183–1218.
2023 | Published | Journal Article | IST-REx-ID: 11999 |
Inserting one edge into a simple drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, T. Wiedera, Discrete and Computational Geometry 69 (2023) 745–770.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, T. Wiedera, Discrete and Computational Geometry 69 (2023) 745–770.
2023 | Submitted | Preprint | IST-REx-ID: 14644 |
Mechanism of mammalian transcriptional repression by noncoding RNA
K. Tluckova, A.P. Testa Salmazo, C. Bernecky, (n.d.).
[Submitted Version]
View
| Files available
| DOI
K. Tluckova, A.P. Testa Salmazo, C. Bernecky, (n.d.).
2023 | Submitted | Preprint | IST-REx-ID: 14647 |
Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway
M. Bose, V. Suresh, U. Mishra, I. Talwar, A. Yadav, S. Biswas, S. Hippenmeyer, S. Tole, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Bose, V. Suresh, U. Mishra, I. Talwar, A. Yadav, S. Biswas, S. Hippenmeyer, S. Tole, BioRxiv (n.d.).
2023 | Published | Journal Article | IST-REx-ID: 14657 |
Evolutionary dynamics of mutants that modify population structure
J. Tkadlec, K. Kaveh, K. Chatterjee, M.A. Nowak, Journal of the Royal Society, Interface 20 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J. Tkadlec, K. Kaveh, K. Chatterjee, M.A. Nowak, Journal of the Royal Society, Interface 20 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14661 |
External forces in the continuum limit of discrete systems with non-convex interaction potentials: Compactness for a Γ-development
M. Carioni, J.L. Fischer, A. Schlömerkemper, Journal of Convex Analysis 30 (2023) 217–247.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
M. Carioni, J.L. Fischer, A. Schlömerkemper, Journal of Convex Analysis 30 (2023) 217–247.
2023 | Published | Journal Article | IST-REx-ID: 14662 |
Absence of excited eigenvalues for Fröhlich type polaron models at weak coupling
R. Seiringer, Journal of Spectral Theory 13 (2023) 1045–1055.
View
| Files available
| DOI
| arXiv
R. Seiringer, Journal of Spectral Theory 13 (2023) 1045–1055.
2023 | Published | Journal Article | IST-REx-ID: 14667 |
Functional CLT for non-Hermitian random matrices
L. Erdös, H.C. Ji, Annales de l’institut Henri Poincare (B) Probability and Statistics 59 (2023) 2083–2105.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Erdös, H.C. Ji, Annales de l’institut Henri Poincare (B) Probability and Statistics 59 (2023) 2083–2105.
2023 | Published | Journal Article | IST-REx-ID: 14689
Reply to: Revisiting the use of structural similarity index in Hi-C
E. Ing-Simmons, N.N. Machnik, J.M. Vaquerizas, Nature Genetics 55 (2023) 2053–2055.
View
| DOI
| PubMed | Europe PMC
E. Ing-Simmons, N.N. Machnik, J.M. Vaquerizas, Nature Genetics 55 (2023) 2053–2055.
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
| DOI
| Download Preprint (ext.)
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 | 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.)
B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.
2023 | Published | Journal Article | IST-REx-ID: 14709 |
Auxin research: Creating tools for a greener future
M. Del Bianco, J. Friml, L. Strader, S. Kepinski, Journal of Experimental Botany 74 (2023) 6889–6892.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Del Bianco, J. Friml, L. Strader, S. Kepinski, Journal of Experimental Botany 74 (2023) 6889–6892.
2023 | Published | Conference Paper | IST-REx-ID: 14718 |
Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
2023 | Published | Journal Article | IST-REx-ID: 14719
Nanostructured Li₂S cathodes for silicon-sulfur batteries
H. Mollania, C. Zhang, R. Du, X. Qi, J. Li, S. Horta, M. Ibáñez, C. Keller, P. Chenevier, M. Oloomi-Buygi, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 58462–58475.
View
| DOI
H. Mollania, C. Zhang, R. Du, X. Qi, J. Li, S. Horta, M. Ibáñez, C. Keller, P. Chenevier, M. Oloomi-Buygi, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 58462–58475.
2023 | Submitted | Preprint | IST-REx-ID: 14732 |
Genetic load, eco-evolutionary feedback and extinction in a metapopulation
O.O. Olusanya, K. Khudiakova, H. Sachdeva, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
O.O. Olusanya, K. Khudiakova, H. Sachdeva, BioRxiv (n.d.).
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14734
Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4
S. Wan, S. Xiao, M. Li, X. Wang, K.H. Lim, M. Hong, M. Ibáñez, A. Cabot, Y. Liu, Small Methods (2023).
View
| DOI
| PubMed | Europe PMC
S. Wan, S. Xiao, M. Li, X. Wang, K.H. Lim, M. Hong, M. Ibáñez, A. Cabot, Y. Liu, Small Methods (2023).