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 | OA
Hoffmann C, Hubáček P, Kamath C, Krňák T. 2023. (Verifiable) delay functions from Lucas sequences. 21st International Conference on Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 14372, 336–362.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 14709 | OA
Del Bianco M, Friml J, Strader L, Kepinski S. 2023. Auxin research: Creating tools for a greener future. Journal of Experimental Botany. 74(22), 6889–6892.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 14710 | OA
Curatolo AI, Kimchi O, Goodrich CP, Krueger RK, Brenner MP. 2023. A computational toolbox for the assembly yield of complex and heterogeneous structures. Nature Communications. 14, 8328.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 14715 | OA
Mitrouskas DJ, Pickl P. 2023. Exponential decay of the number of excitations in the weakly interacting Bose gas. Journal of Mathematical Physics. 64(12), 121901.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 14716 | OA
Yurtseven A, Buyanova S, Agrawal AAA, Bochkareva O, Kalinina OVV. 2023. Machine learning and phylogenetic analysis allow for predicting antibiotic resistance in M. tuberculosis. BMC Microbiology. 23(1), 404.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 14717 | OA
Horesh T, Karasik Y. 2023. Equidistribution of primitive lattices in ℝn. Quarterly Journal of Mathematics. 74(4), 1253–1294.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14718 | OA
Pastva S, Henzinger TA. 2023. Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 122–131.
[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, Ibáñez M, Keller C, Chenevier P, Oloomi-Buygi M, Cabot A. 2023. Nanostructured Li₂S cathodes for silicon-sulfur batteries. ACS Applied Materials and Interfaces. 15(50), 58462–58475.
View | DOI | WoS | PubMed | Europe PMC
 
2023 | Draft | Preprint | IST-REx-ID: 14732 | OA
Olusanya OO, Khudiakova K, Sachdeva H. Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv, 10.1101/2023.12.02.569702.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2023 | Published | Conference Paper | IST-REx-ID: 14735 | OA
Stefo C, Xiang Z, Kokoris Kogias E. 2023. Executing and proving over dirty ledgers. 27th International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13950, 3–20.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 14736 | OA
Bastankhah M, Chatterjee K, Maddah-Ali MA, Schmid S, Svoboda J, Yeo MX. 2023. R2: Boosting liquidity in payment channel networks with online admission control. 27th International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13950, 309–325.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 14737 | OA
Ivanov G, Naszódi M. 2023. Functional John and Löwner conditions for pairs of log-concave functions. International Mathematics Research Notices. 2023(23), 20613–20669.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 14739 | OA
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. 45(12), 14069–14080.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 14742 | OA
Lucek K, Giménez MD, Joron M, Rafajlović M, Searle JB, Walden N, Westram AM, Faria R. 2023. The impact of chromosomal rearrangements in speciation: From micro- to macroevolution. Cold Spring Harbor Perspectives in Biology. 15(11), a041447.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2023 | Published | Conference Paper | IST-REx-ID: 14743 | OA
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. Proceedings of the 29th Symposium on Operating Systems Principles. SOSP: Symposium on Operating Systems Principles, 281–297.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 18179 | OA
Guilloux A, Horesh T. 2023. p-adic directions of primitive vectors. Publications mathématiques de Besançon - Algèbre et Théorie des nombres. 2023, 85–107.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Draft | Preprint | IST-REx-ID: 18294 | OA
Glas J. Complete intersections of cubic and quadric hypersurfaces over Fq(t). arXiv, 2306.02718.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 18634 | OA
Muñoz Hermosilla JM. 2023. A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen, Zenodo, 10.5281/ZENODO.8005257.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Published | Journal Article | IST-REx-ID: 12287 | OA
Boissonnat J-D, Dyer R, Ghosh A, Wintraecken M. 2023. Local criteria for triangulating general manifolds. Discrete & Computational Geometry. 69, 156–191.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 12313 | OA
Verzobio M. 2023. Some effectivity results for primitive divisors of elliptic divisibility  sequences. Pacific Journal of Mathematics. 325(2), 331–351.
[Published Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed