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.
6092 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
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14710 |
Curatolo, Agnese I., et al. “A Computational Toolbox for the Assembly Yield of Complex and Heterogeneous Structures.” Nature Communications, vol. 14, 8328, Springer Nature, 2023, doi:10.1038/s41467-023-43168-4.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14692 |
Auerbach, Benedikt, et al. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.” 21st International Conference on Theory of Cryptography, vol. 14371, Springer Nature, 2023, pp. 301–30, doi:10.1007/978-3-031-48621-0_11.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14717 |
Horesh, Tal, and Yakov Karasik. “Equidistribution of Primitive Lattices in ℝn.” Quarterly Journal of Mathematics, vol. 74, no. 4, Oxford University Press, 2023, pp. 1253–94, doi:10.1093/qmath/haad008.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
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
| WoS
| PubMed | Europe PMC
2023 | Published | 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, vol. 64, no. 12, 121901, AIP Publishing, 2023, doi:10.1063/5.0172199.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14690 |
Babkin, Serafim, and I. Burmistrov. “Boundary Multifractality in the Spin Quantum Hall Symmetry Class with Interaction.” Physical Review B, vol. 108, no. 20, 205429, American Physical Society, 2023, doi:10.1103/PhysRevB.108.205429.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14689
Ing-Simmons, Elizabeth, et al. “Reply to: Revisiting the Use of Structural Similarity Index in Hi-C.” Nature Genetics, vol. 55, no. 12, Springer Nature, 2023, pp. 2053–55, doi:10.1038/s41588-023-01595-5.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14716 |
Yurtseven, Alper, et al. “Machine Learning and Phylogenetic Analysis Allow for Predicting Antibiotic Resistance in M. Tuberculosis.” BMC Microbiology, vol. 23, no. 1, 404, Springer Nature, 2023, doi:10.1186/s12866-023-03147-7.
[Published Version]
View
| Files available
| DOI
| WoS
| 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.)
| WoS
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
| WoS
| arXiv
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
| WoS
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
| WoS
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
| WoS
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.)
| WoS
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 Press, 2023, doi:10.1101/cshperspect.a041447.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14709 |
Del Bianco, Marta, et al. “Auxin Research: Creating Tools for a Greener Future.” Journal of Experimental Botany, vol. 74, no. 22, Oxford University Press, 2023, pp. 6889–92, doi:10.1093/jxb/erad420.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
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
| WoS
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
| WoS
| PubMed | Europe PMC
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
| WoS