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.
6293 Publications
2023 |
Conference Paper |
IST-REx-ID: 14693 |
Hoffmann, C., Hubáček, P., Kamath, C., & Krňák, T. (2023). (Verifiable) delay functions from Lucas sequences. In 21st International Conference on Theory of Cryptography (Vol. 14372, pp. 336–362). Taipei, Taiwan: Springer Nature. https://doi.org/10.1007/978-3-031-48624-1_13
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
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: 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 |
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: 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 |
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 |
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: 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 |
Draft |
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.)
| WoS
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
[Submitted Version]
View
| DOI
| Download Submitted Version (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 |
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 |
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 |
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: 18179 |
Guilloux, A., & Horesh, T. (2023). p-adic directions of primitive vectors. Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres. Presses Universitaires de Franche-Comté. https://doi.org/10.5802/pmb.50
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Draft |
Preprint |
IST-REx-ID: 18294 |
Glas, J. (n.d.). Complete intersections of cubic and quadric hypersurfaces over Fq(t). arXiv. https://doi.org/10.48550/arXiv.2306.02718
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Research Data Reference |
IST-REx-ID: 18634 |
Muñoz Hermosilla, J. M. (2023). A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen. Zenodo. https://doi.org/10.5281/ZENODO.8005257
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 12287 |
Boissonnat, J.-D., Dyer, R., Ghosh, A., & Wintraecken, M. (2023). Local criteria for triangulating general manifolds. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-022-00431-7
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 12313 |
Verzobio, M. (2023). Some effectivity results for primitive divisors of elliptic divisibility sequences. Pacific Journal of Mathematics. Mathematical Sciences Publishers. https://doi.org/10.2140/pjm.2023.325.331
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv