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.” 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
| WoS
2023 | Published | 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
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14692 |
Auerbach, Benedikt, Charlotte Hoffmann, and Guillermo Pascual Perez. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.” In 21st International Conference on Theory of Cryptography, 14371:301–30. Springer Nature, 2023. https://doi.org/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. Oxford University Press, 2023. https://doi.org/10.1093/qmath/haad008.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | 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
| 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. AIP Publishing, 2023. https://doi.org/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. American Physical Society, 2023. https://doi.org/10.1103/PhysRevB.108.205429.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14689
Ing-Simmons, Elizabeth, Nick N Machnik, and Juan M. Vaquerizas. “Reply to: Revisiting the Use of Structural Similarity Index in Hi-C.” Nature Genetics. Springer Nature, 2023. https://doi.org/10.1038/s41588-023-01595-5.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14716 |
Yurtseven, Alper, Sofia Buyanova, Amay Ajaykumar A. Agrawal, Olga Bochkareva, and Olga V V. Kalinina. “Machine Learning and Phylogenetic Analysis Allow for Predicting Antibiotic Resistance in M. Tuberculosis.” BMC Microbiology. Springer Nature, 2023. https://doi.org/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, 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.)
| 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. Oxford University Press, 2023. https://doi.org/10.1093/imrn/rnad210.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | 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
| WoS
2023 | Published | 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
| WoS
2023 | Published | 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
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14743 |
Tennage, Pasindu, Cristina Basescu, Eleftherios Kokoris Kogias, Ewa Syta, Philipp Jovanovic, Vero Estrada-Galinanes, and Bryan Ford. “QuePaxa: Escaping the Tyranny of Timeouts in Consensus.” In Proceedings of the 29th Symposium on Operating Systems Principles, 281–97. Association for Computing Machinery, 2023. https://doi.org/10.1145/3600006.3613150.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Published | 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 Press, 2023. https://doi.org/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, 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
| WoS
| PubMed | Europe PMC
2023 | Published | 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
| WoS
2023 | Published | 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
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14753 |
Faccioli, Pietro, Ilse Krätschmer, and Carlos Lourenço. “Low-PT Quarkonium Polarization Measurements: Challenges and Opportunities.” Physics Letters B. Elsevier, 2023. https://doi.org/10.1016/j.physletb.2023.137871.
[Published Version]
View
| Files available
| DOI
| WoS