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.
6099 Publications
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).
2023 | Published | Journal Article | IST-REx-ID: 14750 |
Local laws for multiplication of random matrices
X. Ding, H.C. Ji, The Annals of Applied Probability 33 (2023) 2981–3009.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
X. Ding, H.C. Ji, The Annals of Applied Probability 33 (2023) 2981–3009.
2023 | Published | Journal Article | IST-REx-ID: 14756 |
Fully extended r-spin TQFTs
N. Carqueville, L. Szegedy, Quantum Topology 14 (2023) 467–532.
[Published Version]
View
| Files available
| DOI
| WoS
N. Carqueville, L. Szegedy, Quantum Topology 14 (2023) 467–532.
2023 | Published | Journal Article | IST-REx-ID: 14751 |
Zero-error communication over adversarial MACs
Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
2023 | Published | Journal Article | IST-REx-ID: 14755 |
Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result
M. Moser, Asymptotic Analysis 131 (2023) 297–383.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Moser, Asymptotic Analysis 131 (2023) 297–383.
2023 | Published | Conference Paper | IST-REx-ID: 14758 |
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
[Published Version]
View
| Files available
| DOI
| WoS
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
2023 | Published | Conference Paper | IST-REx-ID: 14798 |
The effect of display capabilities on the gloss consistency between real and virtual objects
B. Chen, A. Jindal, M. Piovarci, C. Wang, H.P. Seidel, P. Didyk, K. Myszkowski, A. Serrano, R.K. Mantiuk, in:, Proceedings of the SIGGRAPH Asia 2023 Conference, Association for Computing Machinery, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
B. Chen, A. Jindal, M. Piovarci, C. Wang, H.P. Seidel, P. Didyk, K. Myszkowski, A. Serrano, R.K. Mantiuk, in:, Proceedings of the SIGGRAPH Asia 2023 Conference, Association for Computing Machinery, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14778 |
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14768 |
Deterministic clustering in high dimensional spaces: Sketches and approximation
V. Cohen-Addad, D. Saulpic, C. Schwiegelshohn, in:, 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–1130.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Cohen-Addad, D. Saulpic, C. Schwiegelshohn, in:, 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–1130.
2023 | Published | Journal Article | IST-REx-ID: 14827
Connecting theory and experiment in cell and tissue mechanics
C. Schwayer, D. Brückner, Journal of Cell Science 136 (2023).
View
| DOI
| WoS
| PubMed | Europe PMC
C. Schwayer, D. Brückner, Journal of Cell Science 136 (2023).
2023 | Research Data Reference | IST-REx-ID: 14994 |
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14867 |
Constructing Hamilton cycles and perfect matchings efficiently
M. Anastos, in:, Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, Masaryk University Press, 2023, pp. 36–41.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Anastos, in:, Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, Masaryk University Press, 2023, pp. 36–41.
2023 | Published | Conference Paper | IST-REx-ID: 14411 |
Phenotype control of partially specified boolean networks
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
[Submitted Version]
View
| Files available
| DOI
| WoS
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
2023 | Published | Conference Paper | IST-REx-ID: 14829 |
Proof of availability and retrieval in a modular blockchain architecture
S. Cohen, G. Goren, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 36–53.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
S. Cohen, G. Goren, E. Kokoris Kogias, A. Sonnino, A. Spiegelman, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 36–53.