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, S., & Henzinger, T. A. (2023). Binary decision diagrams on modern hardware. In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design (pp. 122–131). Ames, IA, United States: TU Vienna Academic Press. 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, A. I., Kimchi, O., Goodrich, C. P., Krueger, R. K., & Brenner, M. P. (2023). A computational toolbox for the assembly yield of complex and heterogeneous structures. Nature Communications. Springer Nature. 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, B., Hoffmann, C., & Pascual Perez, G. (2023). Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. In 21st International Conference on Theory of Cryptography (Vol. 14371, pp. 301–330). Springer Nature. 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, T., & Karasik, Y. (2023). Equidistribution of primitive lattices in ℝn. Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qmath/haad008
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14719
Mollania, H., Zhang, C., Du, R., Qi, X., Li, J., Horta, S., … Cabot, A. (2023). Nanostructured Li₂S cathodes for silicon-sulfur batteries. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.3c14072
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14715 |
Mitrouskas, D. J., & Pickl, P. (2023). Exponential decay of the number of excitations in the weakly interacting Bose gas. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/5.0172199
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14690 |
Babkin, S., & Burmistrov, I. (2023). Boundary multifractality in the spin quantum Hall symmetry class with interaction. Physical Review B. American Physical Society. 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, E., Machnik, N. N., & Vaquerizas, J. M. (2023). Reply to: Revisiting the use of structural similarity index in Hi-C. Nature Genetics. Springer Nature. https://doi.org/10.1038/s41588-023-01595-5
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14716 |
Yurtseven, A., Buyanova, S., Agrawal, A. A. A., Bochkareva, O., & Kalinina, O. V. V. (2023). Machine learning and phylogenetic analysis allow for predicting antibiotic resistance in M. tuberculosis. BMC Microbiology. Springer Nature. 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, C., Xiang, Z., & Kokoris Kogias, E. (2023). Executing and proving over dirty ledgers. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 3–20). Bol, Brac, Croatia: Springer Nature. 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, G., & Naszódi, M. (2023). Functional John and Löwner conditions for pairs of log-concave functions. International Mathematics Research Notices. Oxford University Press. https://doi.org/10.1093/imrn/rnad210
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14736
Bastankhah, M., Chatterjee, K., Maddah-Ali, M. A., Schmid, S., Svoboda, J., & Yeo, M. X. (2023). R2: Boosting liquidity in payment channel networks with online admission control. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 309–325). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47754-6_18
View
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14744
Avarikioti, Z., Desjardins, A., Kokoris Kogias, E., & Wattenhofer, R. (2023). Divide & Scale: Formalization and roadmap to robust sharding. In 30th International Colloquium on Structural Information and Communication Complexity (Vol. 13892, pp. 199–245). Alcalá de Henares, Spain: Springer Nature. https://doi.org/10.1007/978-3-031-32733-9_10
View
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14739 |
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. IEEE. https://doi.org/10.1109/tpami.2023.3308391
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14743 |
Tennage, P., Basescu, C., Kokoris Kogias, E., Syta, E., Jovanovic, P., Estrada-Galinanes, V., & Ford, B. (2023). QuePaxa: Escaping the tyranny of timeouts in consensus. In Proceedings of the 29th Symposium on Operating Systems Principles (pp. 281–297). Koblenz, Germany: Association for Computing Machinery. 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, K., Giménez, M. D., Joron, M., Rafajlović, M., Searle, J. B., Walden, N., … Faria, R. (2023). The impact of chromosomal rearrangements in speciation: From micro- to macroevolution. Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory Press. 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, M., Friml, J., Strader, L., & Kepinski, S. (2023). Auxin research: Creating tools for a greener future. Journal of Experimental Botany. Oxford University Press. 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., Muller, C. J., Pincus, R., & Fueglistaler, S. (2023). How moisture shapes low‐level radiative cooling in subsidence regimes. AGU Advances. American Geophysical Union. https://doi.org/10.1029/2023av000880
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14754 |
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. The Royal Society. 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, P., Krätschmer, I., & Lourenço, C. (2023). Low-pT quarkonium polarization measurements: Challenges and opportunities. Physics Letters B. Elsevier. https://doi.org/10.1016/j.physletb.2023.137871
[Published Version]
View
| Files available
| DOI
| WoS