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.
4840 Publications
2023 |
Published |
Conference Paper |
IST-REx-ID: 14718 |
Pastva, Samuel, and Thomas A. Henzinger. “Binary Decision Diagrams on Modern Hardware.” Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–31, doi:10.34727/2023/isbn.978-3-85448-060-0_20.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14719
Mollania, Hamid, et al. “Nanostructured Li₂S Cathodes for Silicon-Sulfur Batteries.” ACS Applied Materials and Interfaces, vol. 15, no. 50, American Chemical Society, 2023, pp. 58462–58475, doi:10.1021/acsami.3c14072.
View
| DOI
2023 |
Submitted |
Preprint |
IST-REx-ID: 14732 |
Olusanya, Oluwafunmilola O., et al. “Genetic Load, Eco-Evolutionary Feedback and Extinction in a Metapopulation.” BioRxiv, doi: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, Rajesh B., et al. “Exploring the Landscape of Heterocyclic Quinones for Redox Flow Batteries.” ACS Applied Energy Materials, American Chemical Society, 2023, doi:10.1021/acsaem.3c02223.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 14734
Wan, Shanhong, et al. “Band Engineering through Pb-Doping of Nanocrystal Building Blocks to Enhance Thermoelectric Performance in Cu3SbSe4.” Small Methods, Wiley, 2023, doi:10.1002/smtd.202301377.
View
| DOI
| PubMed | Europe PMC
2023 |
Published |
Conference Paper |
IST-REx-ID: 14735 |
Stefo, Christos, et al. “Executing and Proving over Dirty Ledgers.” 27th International Conference on Financial Cryptography and Data Security, vol. 13950, Springer Nature, 2023, pp. 3–20, doi:10.1007/978-3-031-47754-6_1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 |
Published |
Conference Paper |
IST-REx-ID: 14736
Bastankhah, Mahsa, et al. “R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control.” 27th International Conference on Financial Cryptography and Data Security, vol. 13950, Springer Nature, 2023, pp. 309–25, doi:10.1007/978-3-031-47754-6_18.
View
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14737 |
Ivanov, Grigory, and Márton Naszódi. “Functional John and Löwner Conditions for Pairs of Log-Concave Functions.” International Mathematics Research Notices, vol. 2023, no. 23, Oxford University Press, 2023, pp. 20613–69, doi:10.1093/imrn/rnad210.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14739 |
Ali, Dashti, et al. “A Survey of Vectorization Methods in Topological Data Analysis.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 45, no. 12, IEEE, 2023, pp. 14069–80, doi:10.1109/tpami.2023.3308391.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14742 |
Lucek, Kay, et al. “The Impact of Chromosomal Rearrangements in Speciation: From Micro- to Macroevolution.” Cold Spring Harbor Perspectives in Biology, vol. 15, no. 11, a041447, Cold Spring Harbor Laboratory, 2023, doi:10.1101/cshperspect.a041447.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 |
Published |
Conference Paper |
IST-REx-ID: 14743 |
Tennage, Pasindu, et al. “QuePaxa: Escaping the Tyranny of Timeouts in Consensus.” Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–97, doi:10.1145/3600006.3613150.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Conference Paper |
IST-REx-ID: 14744
Avarikioti, Zeta, et al. “Divide & Scale: Formalization and Roadmap to Robust Sharding.” 30th International Colloquium on Structural Information and Communication Complexity, vol. 13892, Springer Nature, 2023, pp. 199–245, doi:10.1007/978-3-031-32733-9_10.
View
| DOI
2023 |
Published |
Conference Abstract |
IST-REx-ID: 14748
Chen, Yi-Lu, et al. “Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation.” Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, 5, Association for Computing Machinery, 2023, doi:10.1145/3606037.3606836.
View
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14749
Mishra, Umang, et al. “Monitoring and Active Stabilization of Laser Injection Locking Using Beam Ellipticity.” Optics Letters, vol. 48, no. 15, Optica Publishing Group, 2023, pp. 3973–76, doi:10.1364/ol.495553.
[Preprint]
View
| DOI
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14750 |
Ding, Xiucai, and Hong Chang Ji. “Local Laws for Multiplication of Random Matrices.” The Annals of Applied Probability, vol. 33, no. 4, Institute of Mathematical Statistics, 2023, pp. 2981–3009, doi:10.1214/22-aap1882.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14751 |
Zhang, Yihan. “Zero-Error Communication over Adversarial MACs.” IEEE Transactions on Information Theory, vol. 69, no. 7, Institute of Electrical and Electronics Engineers, 2023, pp. 4093–127, doi:10.1109/tit.2023.3257239.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14752 |
Fildier, B., et al. “How Moisture Shapes Low‐level Radiative Cooling in Subsidence Regimes.” AGU Advances, vol. 4, no. 3, e2023AV000880, American Geophysical Union, 2023, doi:10.1029/2023av000880.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14753 |
Faccioli, Pietro, et al. “Low-PT Quarkonium Polarization Measurements: Challenges and Opportunities.” Physics Letters B, vol. 840, 137871, Elsevier, 2023, doi:10.1016/j.physletb.2023.137871.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14754 |
Wang, B., et al. “Mean Structure of the Supercritical Turbulent Spiral in Taylor–Couette Flow.” Philosophical Transactions of the Royal Society A, vol. 381, no. 2246, 0112, The Royal Society, 2023, doi:10.1098/rsta.2022.0112.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 14755 |
Moser, Maximilian. “Convergence of the Scalar- and Vector-Valued Allen–Cahn Equation to Mean Curvature Flow with 90°-Contact Angle in Higher Dimensions, Part I: Convergence Result.” Asymptotic Analysis, vol. 131, no. 3–4, IOS Press, 2023, pp. 297–383, doi:10.3233/asy-221775.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv