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.
4854 Publications
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: 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 | 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
2023 | Published | Journal Article | IST-REx-ID: 14739 |
Ali D, Asaad A, Jimenez M-J, Nanda V, Paluzo-Hidalgo E, Soriano Trigueros M. 2023. A survey of vectorization methods in topological data analysis. IEEE Transactions on Pattern Analysis and Machine Intelligence. 45(12), 14069–14080.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14742 |
Lucek K, Giménez MD, Joron M, Rafajlović M, Searle JB, Walden N, Westram AM, Faria R. 2023. The impact of chromosomal rearrangements in speciation: From micro- to macroevolution. Cold Spring Harbor Perspectives in Biology. 15(11), a041447.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14743 |
Tennage P, Basescu C, Kokoris Kogias E, Syta E, Jovanovic P, Estrada-Galinanes V, Ford B. 2023. QuePaxa: Escaping the tyranny of timeouts in consensus. Proceedings of the 29th Symposium on Operating Systems Principles. SOSP: Symposium on Operating Systems Principles, 281–297.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 14744
Avarikioti Z, Desjardins A, Kokoris Kogias E, Wattenhofer R. 2023. Divide & Scale: Formalization and roadmap to robust sharding. 30th International Colloquium on Structural Information and Communication Complexity. SIROCCO: Structural Information and Communication Complexity, LNCS, vol. 13892, 199–245.
View
| DOI
2023 | Published | Conference Abstract | IST-REx-ID: 14748
Chen Y-L, Ly M, Wojtan C. 2023. Unified treatment of contact, friction and shock-propagation in rigid body animation. Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. SCA: Symposium on Computer Animation, 5.
View
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14750 |
Ding X, Ji HC. 2023. Local laws for multiplication of random matrices. The Annals of Applied Probability. 33(4), 2981–3009.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14751 |
Zhang Y. 2023. Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. 69(7), 4093–4127.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv