Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5698 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 | 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 | 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
2023 | Published | Journal Article | IST-REx-ID: 14756 |
Carqueville, Nils, and Lorant Szegedy. “Fully Extended R-Spin TQFTs.” Quantum Topology, vol. 14, no. 3, European Mathematical Society, 2023, pp. 467–532, doi:10.4171/qt/193.
[Published Version]
View
| Files available
| DOI
2023 | Published | Book Chapter | IST-REx-ID: 14757
Villalba Requena, Ana, et al. “Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression.” Neocortical Neurogenesis in Development and Evolution, edited by Wieland Huttner, Wiley, 2023, pp. 169–91, doi:10.1002/9781119860914.ch10.
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14758 |
Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” 35th International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:10.1007/978-3-031-37709-9_1.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14759 |
Wald, Sebastian, et al. “Analog Stabilization of an Electro-Optic I/Q Modulator with an Auxiliary Modulation Tone.” Applied Optics, vol. 62, no. 1, Optica Publishing Group, 2023, pp. 1–7, doi:10.1364/ao.474118.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv