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.
5500 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
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
2023 | Submitted | Preprint | IST-REx-ID: 14732 |
Olusanya, O. O., Khudiakova, K., & Sachdeva, H. (n.d.). Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv. https://doi.org/10.1101/2023.12.02.569702
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
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.)
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
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
| arXiv
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
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. https://doi.org/10.1101/cshperspect.a041447
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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.)
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
2023 | Published | Conference Abstract | IST-REx-ID: 14748
Chen, Y.-L., Ly, M., & Wojtan, C. (2023). Unified treatment of contact, friction and shock-propagation in rigid body animation. In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3606037.3606836
View
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14749
Mishra, U., Li, V., Wald, S., Agafonova, S., Diorico, F. R., & Hosten, O. (2023). Monitoring and active stabilization of laser injection locking using beam ellipticity. Optics Letters. Optica Publishing Group. https://doi.org/10.1364/ol.495553
[Preprint]
View
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14750 |
Ding, X., & Ji, H. C. (2023). Local laws for multiplication of random matrices. The Annals of Applied Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/22-aap1882
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14751 |
Zhang, Y. (2023). Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/tit.2023.3257239
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
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
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
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
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14755 |
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. IOS Press. https://doi.org/10.3233/asy-221775
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14756 |
Carqueville, N., & Szegedy, L. (2023). Fully extended r-spin TQFTs. Quantum Topology. European Mathematical Society. https://doi.org/10.4171/qt/193
[Published Version]
View
| Files available
| DOI
2023 | Published | Book Chapter | IST-REx-ID: 14757
Villalba Requena, A., Amberg, N., & Hippenmeyer, S. (2023). Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression. In W. Huttner (Ed.), Neocortical Neurogenesis in Development and Evolution (pp. 169–191). Wiley. https://doi.org/10.1002/9781119860914.ch10
View
| DOI