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.
8914 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14692 | 
Auerbach B, Hoffmann C, Pascual Perez G. 2023. Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. 21st International Conference on Theory of Cryptography. , LNCS, vol. 14371, 301–330.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Conference Paper | IST-REx-ID: 14693 |
Hoffmann C, Hubáček P, Kamath C, Krňák T. 2023. (Verifiable) delay functions from Lucas sequences. 21st International Conference on Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 14372, 336–362.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Published | Thesis | IST-REx-ID: 14697
Stopp JA. 2023. Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14701
Archer LA, Bruce PG, Calvo EJ, Dewar D, Ellison JHJ, Freunberger SA, Gao X, Hardwick LJ, Horwitz G, Janek J, Johnson LR, Jordan JW, Matsuda S, Menkin S, Mondal S, Qiu Q, Samarakoon T, Temprano I, Uosaki K, Vailaya G, Wachsman ED, Wu Y, Ye S. 2023. Towards practical metal–oxygen batteries: General discussion. Faraday Discussions.
View
| DOI
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14702
Attard GA, Calvo EJ, Curtiss LA, Dewar D, Ellison JHJ, Gao X, Grey CP, Hardwick LJ, Horwitz G, Janek J, Johnson LR, Jordan JW, Matsuda S, Mondal S, Neale AR, Ortiz-Vitoriano N, Temprano I, Vailaya G, Wachsman ED, Wang H-H, Wu Y, Ye S. 2023. Materials for stable metal–oxygen battery cathodes: general discussion. Faraday Discussions.
View
| DOI
2023 | Submitted | Preprint | IST-REx-ID: 14703 |
Ishida S, Lavenant H. Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation. arXiv, 2312.12213.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14709 |
Del Bianco M, Friml J, Strader L, Kepinski S. 2023. Auxin research: Creating tools for a greener future. Journal of Experimental Botany. 74(22), 6889–6892.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14710 |
Curatolo AI, Kimchi O, Goodrich CP, Krueger RK, Brenner MP. 2023. A computational toolbox for the assembly yield of complex and heterogeneous structures. Nature Communications. 14, 8328.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14715 |
Mitrouskas DJ, Pickl P. 2023. Exponential decay of the number of excitations in the weakly interacting Bose gas. Journal of Mathematical Physics. 64(12), 121901.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14716 |
Yurtseven A, Buyanova S, Agrawal AAA, Bochkareva O, Kalinina OVV. 2023. Machine learning and phylogenetic analysis allow for predicting antibiotic resistance in M. tuberculosis. BMC Microbiology. 23(1), 404.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14717 |
Horesh T, Karasik Y. 2023. Equidistribution of primitive lattices in ℝn. Quarterly Journal of Mathematics. 74(4), 1253–1294.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14718 |
Pastva S, Henzinger TA. 2023. Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. FMCAD: Conference on Formal Methods in Computer-aided design, 122–131.
[Published Version]
View
| Files available
| DOI
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14726 |
Zhou L-Z, Wang L, Chen X, Ge Z, Mergner J, Li X, Küster B, Längst G, Qu L-J, Dresselhaus T. 2023. The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize. The Plant Cell., koad324.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Submitted | Preprint | IST-REx-ID: 14732 |
Olusanya OO, Khudiakova K, Sachdeva H. Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv, 10.1101/2023.12.02.569702.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14733 |
Jethwa RB, Hey D, Kerber RN, Bond AD, Wright DS, Grey CP. 2023. Exploring the landscape of heterocyclic quinones for redox flow batteries. ACS Applied Energy Materials.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14734
Wan S, Xiao S, Li M, Wang X, Lim KH, Hong M, Ibáñez M, Cabot A, Liu Y. 2023. Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4. Small Methods.
View
| DOI
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14735 |
Stefo C, Xiang Z, Kokoris Kogias E. 2023. Executing and proving over dirty ledgers. 27th International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13950, 3–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 14736
Bastankhah M, Chatterjee K, Maddah-Ali MA, Schmid S, Svoboda J, Yeo MX. 2023. R2: Boosting liquidity in payment channel networks with online admission control. 27th International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13950, 309–325.
View
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14737 |
Ivanov G, Naszódi M. 2023. Functional John and Löwner conditions for pairs of log-concave functions. International Mathematics Research Notices. 2023(23), 20613–20669.
[Published Version]
View
| Files available
| DOI
| arXiv