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 | 
Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
| WoS
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
2023 | Published | Journal Article | IST-REx-ID: 14710 |
A computational toolbox for the assembly yield of complex and heterogeneous structures
A.I. Curatolo, O. Kimchi, C.P. Goodrich, R.K. Krueger, M.P. Brenner, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A.I. Curatolo, O. Kimchi, C.P. Goodrich, R.K. Krueger, M.P. Brenner, Nature Communications 14 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14692 |
Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing
B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.
2023 | Published | Journal Article | IST-REx-ID: 14717 |
Equidistribution of primitive lattices in ℝn
T. Horesh, Y. Karasik, Quarterly Journal of Mathematics 74 (2023) 1253–1294.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T. Horesh, Y. Karasik, Quarterly Journal of Mathematics 74 (2023) 1253–1294.
2023 | Published | Journal Article | IST-REx-ID: 14719
Nanostructured Li₂S cathodes for silicon-sulfur batteries
H. Mollania, C. Zhang, R. Du, X. Qi, J. Li, S. Horta, M. Ibáñez, C. Keller, P. Chenevier, M. Oloomi-Buygi, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 58462–58475.
View
| DOI
| WoS
| PubMed | Europe PMC
H. Mollania, C. Zhang, R. Du, X. Qi, J. Li, S. Horta, M. Ibáñez, C. Keller, P. Chenevier, M. Oloomi-Buygi, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 58462–58475.
2023 | Published | Journal Article | IST-REx-ID: 14715 |
Exponential decay of the number of excitations in the weakly interacting Bose gas
D.J. Mitrouskas, P. Pickl, Journal of Mathematical Physics 64 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D.J. Mitrouskas, P. Pickl, Journal of Mathematical Physics 64 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14690 |
Boundary multifractality in the spin quantum Hall symmetry class with interaction
S. Babkin, I. Burmistrov, Physical Review B 108 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Babkin, I. Burmistrov, Physical Review B 108 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14689
Reply to: Revisiting the use of structural similarity index in Hi-C
E. Ing-Simmons, N.N. Machnik, J.M. Vaquerizas, Nature Genetics 55 (2023) 2053–2055.
View
| DOI
| WoS
| PubMed | Europe PMC
E. Ing-Simmons, N.N. Machnik, J.M. Vaquerizas, Nature Genetics 55 (2023) 2053–2055.
2023 | Published | Journal Article | IST-REx-ID: 14716 |
Machine learning and phylogenetic analysis allow for predicting antibiotic resistance in M. tuberculosis
A. Yurtseven, S. Buyanova, A.A.A. Agrawal, O. Bochkareva, O.V.V. Kalinina, BMC Microbiology 23 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Yurtseven, S. Buyanova, A.A.A. Agrawal, O. Bochkareva, O.V.V. Kalinina, BMC Microbiology 23 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14735 |
Executing and proving over dirty ledgers
C. Stefo, Z. Xiang, E. Kokoris Kogias, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 3–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
C. Stefo, Z. Xiang, E. Kokoris Kogias, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 3–20.
2023 | Published | Journal Article | IST-REx-ID: 14737 |
Functional John and Löwner conditions for pairs of log-concave functions
G. Ivanov, M. Naszódi, International Mathematics Research Notices 2023 (2023) 20613–20669.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Ivanov, M. Naszódi, International Mathematics Research Notices 2023 (2023) 20613–20669.
2023 | Published | Conference Paper | IST-REx-ID: 14736
R2: Boosting liquidity in payment channel networks with online admission control
M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.
View
| DOI
| WoS
M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.
2023 | Published | Conference Paper | IST-REx-ID: 14744
Divide & Scale: Formalization and roadmap to robust sharding
Z. Avarikioti, A. Desjardins, E. Kokoris Kogias, R. Wattenhofer, in:, 30th International Colloquium on Structural Information and Communication Complexity, Springer Nature, 2023, pp. 199–245.
View
| DOI
| WoS
Z. Avarikioti, A. Desjardins, E. Kokoris Kogias, R. Wattenhofer, in:, 30th International Colloquium on Structural Information and Communication Complexity, Springer Nature, 2023, pp. 199–245.
2023 | Published | Journal Article | IST-REx-ID: 14739 |
A survey of vectorization methods in topological data analysis
D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, M. Soriano Trigueros, IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (2023) 14069–14080.
[Published Version]
View
| Files available
| DOI
| WoS
D. Ali, A. Asaad, M.-J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, M. Soriano Trigueros, IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (2023) 14069–14080.
2023 | Published | Conference Paper | IST-REx-ID: 14743 |
QuePaxa: Escaping the tyranny of timeouts in consensus
P. Tennage, C. Basescu, E. Kokoris Kogias, E. Syta, P. Jovanovic, V. Estrada-Galinanes, B. Ford, in:, Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–297.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
P. Tennage, C. Basescu, E. Kokoris Kogias, E. Syta, P. Jovanovic, V. Estrada-Galinanes, B. Ford, in:, Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–297.
2023 | Published | Journal Article | IST-REx-ID: 14742 |
The impact of chromosomal rearrangements in speciation: From micro- to macroevolution
K. Lucek, M.D. Giménez, M. Joron, M. Rafajlović, J.B. Searle, N. Walden, A.M. Westram, R. Faria, Cold Spring Harbor Perspectives in Biology 15 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
K. Lucek, M.D. Giménez, M. Joron, M. Rafajlović, J.B. Searle, N. Walden, A.M. Westram, R. Faria, Cold Spring Harbor Perspectives in Biology 15 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14709 |
Auxin research: Creating tools for a greener future
M. Del Bianco, J. Friml, L. Strader, S. Kepinski, Journal of Experimental Botany 74 (2023) 6889–6892.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Del Bianco, J. Friml, L. Strader, S. Kepinski, Journal of Experimental Botany 74 (2023) 6889–6892.
2023 | Published | Journal Article | IST-REx-ID: 14752 |
How moisture shapes low‐level radiative cooling in subsidence regimes
B. Fildier, C.J. Muller, R. Pincus, S. Fueglistaler, AGU Advances 4 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
B. Fildier, C.J. Muller, R. Pincus, S. Fueglistaler, AGU Advances 4 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14754 |
Mean structure of the supercritical turbulent spiral in Taylor–Couette flow
B. Wang, F. Mellibovsky, R. Ayats López, K. Deguchi, A. Meseguer, Philosophical Transactions of the Royal Society A 381 (2023).
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Wang, F. Mellibovsky, R. Ayats López, K. Deguchi, A. Meseguer, Philosophical Transactions of the Royal Society A 381 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14753 |
Low-pT quarkonium polarization measurements: Challenges and opportunities
P. Faccioli, I. Krätschmer, C. Lourenço, Physics Letters B 840 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
P. Faccioli, I. Krätschmer, C. Lourenço, Physics Letters B 840 (2023).