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 S, Henzinger TA. Binary decision diagrams on modern hardware. In: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. TU Vienna Academic Press; 2023:122-131. doi:10.34727/2023/isbn.978-3-85448-060-0_20
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14717 |
Horesh T, Karasik Y. Equidistribution of primitive lattices in ℝn. Quarterly Journal of Mathematics. 2023;74(4):1253-1294. doi:10.1093/qmath/haad008
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14719
Mollania H, Zhang C, Du R, et al. Nanostructured Li₂S cathodes for silicon-sulfur batteries. ACS Applied Materials and Interfaces. 2023;15(50):58462–58475. doi:10.1021/acsami.3c14072
View
| DOI
2023 | Journal Article | IST-REx-ID: 14715 |
Mitrouskas DJ, Pickl P. Exponential decay of the number of excitations in the weakly interacting Bose gas. Journal of Mathematical Physics. 2023;64(12). doi:10.1063/5.0172199
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14240 |
Jeschke S, Wojtan C. Generalizing shallow water simulations with dispersive surface waves. ACM Transactions on Graphics. 2023;42(4). doi:10.1145/3592098
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14710 |
Curatolo AI, Kimchi O, Goodrich CP, Krueger RK, Brenner MP. A computational toolbox for the assembly yield of complex and heterogeneous structures. Nature Communications. 2023;14. doi:10.1038/s41467-023-43168-4
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14709 |
Del Bianco M, Friml J, Strader L, Kepinski S. Auxin research: Creating tools for a greener future. Journal of Experimental Botany. 2023;74(22):6889-6892. doi:10.1093/jxb/erad420
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14726 |
Zhou L-Z, Wang L, Chen X, et al. The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize. The Plant Cell. 2023. doi:10.1093/plcell/koad324
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12833 |
Biniaz A, Jain K, Lubiw A, et al. Token swapping on trees. Discrete Mathematics and Theoretical Computer Science. 2023;24(2). doi:10.46298/DMTCS.8383
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14735 |
Stefo C, Xiang Z, Kokoris Kogias E. Executing and proving over dirty ledgers. In: 27th International Conference on Financial Cryptography and Data Security. Vol 13950. Springer Nature; 2023:3-20. doi:10.1007/978-3-031-47754-6_1
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Journal Article | IST-REx-ID: 14733 |
Jethwa RB, Hey D, Kerber RN, Bond AD, Wright DS, Grey CP. Exploring the landscape of heterocyclic quinones for redox flow batteries. ACS Applied Energy Materials. 2023. doi:10.1021/acsaem.3c02223
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 14734
Wan S, Xiao S, Li M, et al. Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4. Small Methods. 2023. doi:10.1002/smtd.202301377
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14737 |
Ivanov G, Naszódi M. Functional John and Löwner conditions for pairs of log-concave functions. International Mathematics Research Notices. 2023;2023(23):20613-20669. doi:10.1093/imrn/rnad210
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14736
Bastankhah M, Chatterjee K, Maddah-Ali MA, Schmid S, Svoboda J, Yeo MX. R2: Boosting liquidity in payment channel networks with online admission control. In: 27th International Conference on Financial Cryptography and Data Security. Vol 13950. Springer Nature; 2023:309-325. doi:10.1007/978-3-031-47754-6_18
View
| DOI
2023 | Journal Article | IST-REx-ID: 14739 |
Ali D, Asaad A, Jimenez M-J, Nanda V, Paluzo-Hidalgo E, Soriano Trigueros M. A survey of vectorization methods in topological data analysis. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2023;45(12):14069-14080. doi:10.1109/tpami.2023.3308391
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14742 |
Lucek K, Giménez MD, Joron M, et al. The impact of chromosomal rearrangements in speciation: From micro- to macroevolution. Cold Spring Harbor Perspectives in Biology. 2023;15(11). doi:10.1101/cshperspect.a041447
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14744
Avarikioti Z, Desjardins A, Kokoris Kogias E, Wattenhofer R. Divide & Scale: Formalization and roadmap to robust sharding. In: 30th International Colloquium on Structural Information and Communication Complexity. Vol 13892. Springer Nature; 2023:199-245. doi:10.1007/978-3-031-32733-9_10
View
| DOI
2023 | Journal Article | IST-REx-ID: 14749
Mishra U, Li V, Wald S, Agafonova S, Diorico FR, Hosten O. Monitoring and active stabilization of laser injection locking using beam ellipticity. Optics Letters. 2023;48(15):3973-3976. doi:10.1364/ol.495553
[Preprint]
View
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14752 |
Fildier B, Muller CJ, Pincus R, Fueglistaler S. How moisture shapes low‐level radiative cooling in subsidence regimes. AGU Advances. 2023;4(3). doi:10.1029/2023av000880
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14754 |
Wang B, Mellibovsky F, Ayats López R, Deguchi K, Meseguer A. Mean structure of the supercritical turbulent spiral in Taylor–Couette flow. Philosophical Transactions of the Royal Society A. 2023;381(2246). doi:10.1098/rsta.2022.0112
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC