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.
9101 Publications
2023 | Conference Paper | IST-REx-ID: 14718 | 
Pastva, Samuel, and Thomas A Henzinger. “Binary Decision Diagrams on Modern Hardware.” In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, 122–31. TU Vienna Academic Press, 2023. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14717 |
Horesh, Tal, and Yakov Karasik. “Equidistribution of Primitive Lattices in ℝn.” Quarterly Journal of Mathematics. Oxford University Press, 2023. https://doi.org/10.1093/qmath/haad008.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14719
Mollania, Hamid, Chaoqi Zhang, Ruifeng Du, Xueqiang Qi, Junshan Li, Sharona Horta, Maria Ibáñez, et al. “Nanostructured Li₂S Cathodes for Silicon-Sulfur Batteries.” ACS Applied Materials and Interfaces. American Chemical Society, 2023. https://doi.org/10.1021/acsami.3c14072.
View
| DOI
2023 | Journal Article | IST-REx-ID: 14715 |
Mitrouskas, David Johannes, and Peter Pickl. “Exponential Decay of the Number of Excitations in the Weakly Interacting Bose Gas.” Journal of Mathematical Physics. AIP Publishing, 2023. https://doi.org/10.1063/5.0172199.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14240 |
Jeschke, Stefan, and Chris Wojtan. “Generalizing Shallow Water Simulations with Dispersive Surface Waves.” ACM Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592098.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14710 |
Curatolo, Agnese I., Ofer Kimchi, Carl Peter Goodrich, Ryan K. Krueger, and Michael P. Brenner. “A Computational Toolbox for the Assembly Yield of Complex and Heterogeneous Structures.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-43168-4.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14709 |
Del Bianco, Marta, Jiří Friml, Lucia Strader, and Stefan Kepinski. “Auxin Research: Creating Tools for a Greener Future.” Journal of Experimental Botany. Oxford University Press, 2023. https://doi.org/10.1093/jxb/erad420.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14726 |
Zhou, Liang-Zi, Lele Wang, Xia Chen, Zengxiang Ge, Julia Mergner, Xingli Li, Bernhard Küster, Gernot Längst, Li-Jia Qu, and Thomas Dresselhaus. “The RALF Signaling Pathway Regulates Cell Wall Integrity during Pollen Tube Growth in Maize.” The Plant Cell. Oxford University Press, 2023. https://doi.org/10.1093/plcell/koad324.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12833 |
Biniaz, Ahmad, Kshitij Jain, Anna Lubiw, Zuzana Masárová, Tillmann Miltzow, Debajyoti Mondal, Anurag Murty Naredla, Josef Tkadlec, and Alexi Turcotte. “Token Swapping on Trees.” Discrete Mathematics and Theoretical Computer Science. EPI Sciences, 2023. https://doi.org/10.46298/DMTCS.8383.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14735 |
Stefo, Christos, Zhuolun Xiang, and Eleftherios Kokoris Kogias. “Executing and Proving over Dirty Ledgers.” In 27th International Conference on Financial Cryptography and Data Security, 13950:3–20. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-47754-6_1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Journal Article | IST-REx-ID: 14733 |
Jethwa, Rajesh B, Dominic Hey, Rachel N. Kerber, Andrew D. Bond, Dominic S. Wright, and Clare P. Grey. “Exploring the Landscape of Heterocyclic Quinones for Redox Flow Batteries.” ACS Applied Energy Materials. American Chemical Society, 2023. https://doi.org/10.1021/acsaem.3c02223.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 14734
Wan, Shanhong, Shanshan Xiao, Mingquan Li, Xin Wang, Khak Ho Lim, Min Hong, Maria Ibáñez, Andreu Cabot, and Yu Liu. “Band Engineering through Pb-Doping of Nanocrystal Building Blocks to Enhance Thermoelectric Performance in Cu3SbSe4.” Small Methods. Wiley, 2023. https://doi.org/10.1002/smtd.202301377.
View
| DOI
| PubMed | Europe PMC
2023 | 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. Oxford University Press, 2023. https://doi.org/10.1093/imrn/rnad210.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14736
Bastankhah, Mahsa, Krishnendu Chatterjee, Mohammad Ali Maddah-Ali, Stefan Schmid, Jakub Svoboda, and Michelle X Yeo. “R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control.” In 27th International Conference on Financial Cryptography and Data Security, 13950:309–25. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-47754-6_18.
View
| DOI
2023 | Journal Article | IST-REx-ID: 14739 |
Ali, Dashti, Aras Asaad, Maria-Jose Jimenez, Vidit Nanda, Eduardo Paluzo-Hidalgo, and Manuel Soriano Trigueros. “A Survey of Vectorization Methods in Topological Data Analysis.” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2023. https://doi.org/10.1109/tpami.2023.3308391.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14742 |
Lucek, Kay, Mabel D. Giménez, Mathieu Joron, Marina Rafajlović, Jeremy B. Searle, Nora Walden, Anja M Westram, and Rui Faria. “The Impact of Chromosomal Rearrangements in Speciation: From Micro- to Macroevolution.” Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory, 2023. https://doi.org/10.1101/cshperspect.a041447.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14744
Avarikioti, Zeta, Antoine Desjardins, Eleftherios Kokoris Kogias, and Roger Wattenhofer. “Divide & Scale: Formalization and Roadmap to Robust Sharding.” In 30th International Colloquium on Structural Information and Communication Complexity, 13892:199–245. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-32733-9_10.
View
| DOI
2023 | Journal Article | IST-REx-ID: 14749
Mishra, Umang, Vyacheslav Li, Sebastian Wald, Sofya Agafonova, Fritz R Diorico, and Onur Hosten. “Monitoring and Active Stabilization of Laser Injection Locking Using Beam Ellipticity.” Optics Letters. Optica Publishing Group, 2023. https://doi.org/10.1364/ol.495553.
[Preprint]
View
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14752 |
Fildier, B., Caroline J Muller, R. Pincus, and S. Fueglistaler. “How Moisture Shapes Low‐level Radiative Cooling in Subsidence Regimes.” AGU Advances. American Geophysical Union, 2023. https://doi.org/10.1029/2023av000880.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14754 |
Wang, B., F. Mellibovsky, Roger Ayats López, K. Deguchi, and A. Meseguer. “Mean Structure of the Supercritical Turbulent Spiral in Taylor–Couette Flow.” Philosophical Transactions of the Royal Society A. The Royal Society, 2023. https://doi.org/10.1098/rsta.2022.0112.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC