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.
4262 Publications
2023 |Published| Conference Paper | IST-REx-ID: 14718 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 14717 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Journal Article | IST-REx-ID: 14715 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 14240 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Jeschke S, Wojtan C. 2023. Generalizing shallow water simulations with dispersive surface waves. ACM Transactions on Graphics. 42(4), 83.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 14710 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 14709 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 12833 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Biniaz A, Jain K, Lubiw A, Masárová Z, Miltzow T, Mondal D, Naredla AM, Tkadlec J, Turcotte A. 2023. Token swapping on trees. Discrete Mathematics and Theoretical Computer Science. 24(2), 9.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14735 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Epub ahead of print| Journal Article | IST-REx-ID: 14733 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 14737 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Journal Article | IST-REx-ID: 14752 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fildier B, Muller CJ, Pincus R, Fueglistaler S. 2023. How moisture shapes low‐level radiative cooling in subsidence regimes. AGU Advances. 4(3), e2023AV000880.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14754 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Wang B, Mellibovsky F, Ayats López R, Deguchi K, Meseguer A. 2023. Mean structure of the supercritical turbulent spiral in Taylor–Couette flow. Philosophical Transactions of the Royal Society A. 381(2246), 0112.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 14753 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Faccioli P, Krätschmer I, Lourenço C. 2023. Low-pT quarkonium polarization measurements: Challenges and opportunities. Physics Letters B. 840, 137871.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14750 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 14756 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Carqueville N, Szegedy L. 2023. Fully extended r-spin TQFTs. Quantum Topology. 14(3), 467–532.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14751 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
2023 |Published| Journal Article | IST-REx-ID: 14755 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Moser M. 2023. 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. 131(3–4), 297–383.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14759 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Wald S, Diorico FR, Hosten O. 2023. Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone. Applied Optics. 62(1), 1–7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv