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 |
C. Hoffmann, P. Hubáček, C. Kamath, and T. Krňák, “(Verifiable) delay functions from Lucas sequences,” in 21st International Conference on Theory of Cryptography, Taipei, Taiwan, 2023, vol. 14372, pp. 336–362.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 14709 |
M. Del Bianco, J. Friml, L. Strader, and S. Kepinski, “Auxin research: Creating tools for a greener future,” Journal of Experimental Botany, vol. 74, no. 22. Oxford University Press, pp. 6889–6892, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 14710 |
A. I. Curatolo, O. Kimchi, C. P. Goodrich, R. K. Krueger, and M. P. Brenner, “A computational toolbox for the assembly yield of complex and heterogeneous structures,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 14715 |
D. J. Mitrouskas and P. Pickl, “Exponential decay of the number of excitations in the weakly interacting Bose gas,” Journal of Mathematical Physics, vol. 64, no. 12. AIP Publishing, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14716 |
A. Yurtseven, S. Buyanova, A. A. A. Agrawal, O. Bochkareva, and O. V. V. Kalinina, “Machine learning and phylogenetic analysis allow for predicting antibiotic resistance in M. tuberculosis,” BMC Microbiology, vol. 23, no. 1. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 14717 |
T. Horesh and Y. Karasik, “Equidistribution of primitive lattices in ℝn,” Quarterly Journal of Mathematics, vol. 74, no. 4. Oxford University Press, pp. 1253–1294, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14718 |
S. Pastva and T. A. Henzinger, “Binary decision diagrams on modern hardware,” in Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, Ames, IA, United States, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 14719
H. Mollania et al., “Nanostructured Li₂S cathodes for silicon-sulfur batteries,” ACS Applied Materials and Interfaces, vol. 15, no. 50. American Chemical Society, pp. 58462–58475, 2023.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Draft |
Preprint |
IST-REx-ID: 14732 |
O. O. Olusanya, K. Khudiakova, and H. Sachdeva, “Genetic load, eco-evolutionary feedback and extinction in a metapopulation,” bioRxiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2023 |
Published |
Conference Paper |
IST-REx-ID: 14735 |
C. Stefo, Z. Xiang, and E. Kokoris Kogias, “Executing and proving over dirty ledgers,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 3–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2023 |
Published |
Conference Paper |
IST-REx-ID: 14736 |
M. Bastankhah, K. Chatterjee, M. A. Maddah-Ali, S. Schmid, J. Svoboda, and M. X. Yeo, “R2: Boosting liquidity in payment channel networks with online admission control,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 309–325.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 14737 |
G. Ivanov and M. 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, pp. 20613–20669, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14739 |
D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, and M. Soriano Trigueros, “A survey of vectorization methods in topological data analysis,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 45, no. 12. IEEE, pp. 14069–14080, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 14742 |
K. Lucek et al., “The impact of chromosomal rearrangements in speciation: From micro- to macroevolution,” Cold Spring Harbor Perspectives in Biology, vol. 15, no. 11. Cold Spring Harbor Laboratory Press, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2023 |
Published |
Conference Paper |
IST-REx-ID: 14743 |
P. Tennage et al., “QuePaxa: Escaping the tyranny of timeouts in consensus,” in Proceedings of the 29th Symposium on Operating Systems Principles, Koblenz, Germany, 2023, pp. 281–297.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 18179 |
A. Guilloux and T. Horesh, “p-adic directions of primitive vectors,” Publications mathématiques de Besançon - Algèbre et Théorie des nombres, vol. 2023. Presses Universitaires de Franche-Comté, pp. 85–107, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Draft |
Preprint |
IST-REx-ID: 18294 |
J. Glas, “Complete intersections of cubic and quadric hypersurfaces over Fq(t),” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Research Data Reference |
IST-REx-ID: 18634 |
J. M. Muñoz Hermosilla, “A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 12287 |
J.-D. Boissonnat, R. Dyer, A. Ghosh, and M. Wintraecken, “Local criteria for triangulating general manifolds,” Discrete & Computational Geometry, vol. 69. Springer Nature, pp. 156–191, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 12313 |
M. Verzobio, “Some effectivity results for primitive divisors of elliptic divisibility sequences,” Pacific Journal of Mathematics, vol. 325, no. 2. Mathematical Sciences Publishers, pp. 331–351, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv