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.
4841 Publications
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.)
B. Auerbach, C. Hoffmann, G. Pascual Perez, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 301–330.
2023 | Conference Paper | IST-REx-ID: 14693 |
(Verifiable) delay functions from Lucas sequences
C. Hoffmann, P. Hubáček, C. Kamath, T. Krňák, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 336–362.
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Hoffmann, P. Hubáček, C. Kamath, T. Krňák, in:, 21st International Conference on Theory of Cryptography, Springer Nature, 2023, pp. 336–362.
2023 | Published | Thesis | IST-REx-ID: 14697
Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function
J.A. Stopp, Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
J.A. Stopp, Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14701
Towards practical metal–oxygen batteries: General discussion
Archer LA, Bruce PG, Calvo EJ, Dewar D, Ellison JHJ, Freunberger SA, Gao X, Hardwick LJ, Horwitz G, Janek J, Johnson LR, Jordan JW, Matsuda S, Menkin S, Mondal S, Qiu Q, Samarakoon T, Temprano I, Uosaki K, Vailaya G, Wachsman ED, Wu Y, Ye S. 2023. Towards practical metal–oxygen batteries: General discussion. Faraday Discussions.
View
| DOI
Archer LA, Bruce PG, Calvo EJ, Dewar D, Ellison JHJ, Freunberger SA, Gao X, Hardwick LJ, Horwitz G, Janek J, Johnson LR, Jordan JW, Matsuda S, Menkin S, Mondal S, Qiu Q, Samarakoon T, Temprano I, Uosaki K, Vailaya G, Wachsman ED, Wu Y, Ye S. 2023. Towards practical metal–oxygen batteries: General discussion. Faraday Discussions.
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14702
Materials for stable metal–oxygen battery cathodes: general discussion
Attard GA, Calvo EJ, Curtiss LA, Dewar D, Ellison JHJ, Gao X, Grey CP, Hardwick LJ, Horwitz G, Janek J, Johnson LR, Jordan JW, Matsuda S, Mondal S, Neale AR, Ortiz-Vitoriano N, Temprano I, Vailaya G, Wachsman ED, Wang H-H, Wu Y, Ye S. 2023. Materials for stable metal–oxygen battery cathodes: general discussion. Faraday Discussions.
View
| DOI
Attard GA, Calvo EJ, Curtiss LA, Dewar D, Ellison JHJ, Gao X, Grey CP, Hardwick LJ, Horwitz G, Janek J, Johnson LR, Jordan JW, Matsuda S, Mondal S, Neale AR, Ortiz-Vitoriano N, Temprano I, Vailaya G, Wachsman ED, Wang H-H, Wu Y, Ye S. 2023. Materials for stable metal–oxygen battery cathodes: general discussion. Faraday Discussions.
2023 | Submitted | Preprint | IST-REx-ID: 14703 |
Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation
S. Ishida, H. Lavenant, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Ishida, H. Lavenant, ArXiv (n.d.).
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
| 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: 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
A.I. Curatolo, O. Kimchi, C.P. Goodrich, R.K. Krueger, M.P. Brenner, Nature Communications 14 (2023).
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
| arXiv
D.J. Mitrouskas, P. Pickl, Journal of Mathematical Physics 64 (2023).
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
| PubMed | Europe PMC
A. Yurtseven, S. Buyanova, A.A.A. Agrawal, O. Bochkareva, O.V.V. Kalinina, BMC Microbiology 23 (2023).
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
| arXiv
T. Horesh, Y. Karasik, Quarterly Journal of Mathematics 74 (2023) 1253–1294.
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
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: 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
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 | Submitted | Preprint | IST-REx-ID: 14732 |
Genetic load, eco-evolutionary feedback and extinction in a metapopulation
O.O. Olusanya, K. Khudiakova, H. Sachdeva, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
O.O. Olusanya, K. Khudiakova, H. Sachdeva, BioRxiv (n.d.).
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14733 |
Exploring the landscape of heterocyclic quinones for redox flow batteries
R.B. Jethwa, D. Hey, R.N. Kerber, A.D. Bond, D.S. Wright, C.P. Grey, ACS Applied Energy Materials (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
R.B. Jethwa, D. Hey, R.N. Kerber, A.D. Bond, D.S. Wright, C.P. Grey, ACS Applied Energy Materials (2023).
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 14734
Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4
S. Wan, S. Xiao, M. Li, X. Wang, K.H. Lim, M. Hong, M. Ibáñez, A. Cabot, Y. Liu, Small Methods (2023).
View
| DOI
| PubMed | Europe PMC
S. Wan, S. Xiao, M. Li, X. Wang, K.H. Lim, M. Hong, M. Ibáñez, A. Cabot, Y. Liu, Small Methods (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.)
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 | 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
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 | 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
| arXiv
G. Ivanov, M. Naszódi, International Mathematics Research Notices 2023 (2023) 20613–20669.
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
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.