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.
6217 Publications
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20043 |
Complex K-theory of moduli spaces of Higgs bundles
M. Groechenig, S. Shen, Journal of the European Mathematical Society (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
M. Groechenig, S. Shen, Journal of the European Mathematical Society (2025).
2025 | Research Data Reference | IST-REx-ID: 20103 |
Replication Data for: "Improving Prediction Accuracy in Chimeric Proteins with Windowed Multiple Sequence Alignment"
S. Vedula, A.M. Bronstein, A. Marx, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Vedula, A.M. Bronstein, A. Marx, (2025).
2025 | Published | Journal Article | IST-REx-ID: 20705 |
|
|
Using optical tweezers to simultaneously trap, charge, and measure the charge of a microparticle in air
A. Stöllner, I.C. Lenton, A. Volosniev, J. Millen, R. Shibuya, H. Ishii, D. Rak, Z. Alpichshev, G. David, R. Signorell, C.J. Muller, S.R. Waitukaitis, Physical Review Letters 135 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
A. Stöllner, I.C. Lenton, A. Volosniev, J. Millen, R. Shibuya, H. Ishii, D. Rak, Z. Alpichshev, G. David, R. Signorell, C.J. Muller, S.R. Waitukaitis, Physical Review Letters 135 (2025).
2025 | Published | Conference Paper | IST-REx-ID: 20707 |
From lab to wrist: Bridging metabolic monitoring and consumer wearables for heart rate and oxygen consumption modeling
B. Gahtan, S. Vedula, G. Samuelly Leichtag, E. Kodesh, A.M. Bronstein, in:, Proceedings of the 27th International Conference on Multimodal Interaction, Association for Computing Machinery, 2025, pp. 60–77.
[Published Version]
View
| Files available
| DOI
| arXiv
B. Gahtan, S. Vedula, G. Samuelly Leichtag, E. Kodesh, A.M. Bronstein, in:, Proceedings of the 27th International Conference on Multimodal Interaction, Association for Computing Machinery, 2025, pp. 60–77.
2025 | Published | Journal Article | IST-REx-ID: 20708 |
|
|
Emergent dynamics of active elastic microbeams
Q. Martinet, Y.I. Li, A. Aubret, E.B. Hannezo, J.A. Palacci, Physical Review X 15 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
Q. Martinet, Y.I. Li, A. Aubret, E.B. Hannezo, J.A. Palacci, Physical Review X 15 (2025).
2025 | Published | Journal Article | IST-REx-ID: 20702 |
Cartesian equivariant representations for learning and understanding molecular orbitals
D.S. King, D. Grzenda, R. Zhu, N. Hudson, I. Foster, B. Cheng, L. Gagliardi, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D.S. King, D. Grzenda, R. Zhu, N. Hudson, I. Foster, B. Cheng, L. Gagliardi, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
2025 | Published | Journal Article | IST-REx-ID: 20709 |
|
|
Finite steady-state current defies non-Hermitian many-body localization
P. Brighi, M. Ljubotina, F. Roccati, F. Balducci, Physical Review Research 7 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
P. Brighi, M. Ljubotina, F. Roccati, F. Balducci, Physical Review Research 7 (2025).
2025 | Published | Conference Paper | IST-REx-ID: 20253 |
Quantitative language automata
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 36th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 36th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
2025 | Published | Conference Paper | IST-REx-ID: 20225 |
Supermartingale certificates for quantitative omega-regular verification and control
T.A. Henzinger, K. Mallik, P. Sadeghi, D. Zikelic, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 29–55.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, K. Mallik, P. Sadeghi, D. Zikelic, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 29–55.
2025 | Published | Conference Paper | IST-REx-ID: 20189 |
Introducing certificates to the hardware model checking competition
N. Froleyks, E. Yu, M. Preiner, A. Biere, K. Heljanko, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 281–295.
[Published Version]
View
| Files available
| DOI
| WoS
N. Froleyks, E. Yu, M. Preiner, A. Biere, K. Heljanko, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 281–295.
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20330 |
|
|
The relationship between sexual dimorphism and intersex correlation: Do models support intuition?
G. Puixeu Sala, L. Hayward, Genetics (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
G. Puixeu Sala, L. Hayward, Genetics (2025).
2025 | Published | Conference Paper | IST-REx-ID: 20224 |
In the search of optimal tree networks: Hardness and heuristics
P. Martynov, M. Buzdalov, S. Pankratov, V. Aksenov, S. Schmid, in:, Proceedings of the 2025 Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2025, pp. 249–257.
[Published Version]
View
| Files available
| DOI
| WoS
P. Martynov, M. Buzdalov, S. Pankratov, V. Aksenov, S. Schmid, in:, Proceedings of the 2025 Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2025, pp. 249–257.
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20328 |
|
|
Optimal decay of eigenvector overlap for non-Hermitian random matrices
G. Cipolloni, L. Erdös, Y. Xu, Journal of Functional Analysis 290 (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
G. Cipolloni, L. Erdös, Y. Xu, Journal of Functional Analysis 290 (2025).
2025 | Published | Journal Article | IST-REx-ID: 20402 |
|
|
Aging and memory of transitional turbulence
M. Vasudevan, C.S. Paranjape, M.P. Sitte, G. Yalniz, B. Hof, Nature Communications 16 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Vasudevan, C.S. Paranjape, M.P. Sitte, G. Yalniz, B. Hof, Nature Communications 16 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20404 |
|
|
Evidence for the major role of PH4⍺EFB in the prolyl 4-hydroxylation of Drosophila collagen IV
Y. Ishikawa, M.A. Toups, M.N. Elkrewi, A.L. Zajac, S. Horne-Badovinac, Y. Matsubayashi, Matrix Biology 141 (2025) 101–113.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
Y. Ishikawa, M.A. Toups, M.N. Elkrewi, A.L. Zajac, S. Horne-Badovinac, Y. Matsubayashi, Matrix Biology 141 (2025) 101–113.
2025 | Published | Journal Article | IST-REx-ID: 20453 |
|
|
Non-linear magnetotropic susceptibility in FePS3
H. Farooq, M. Nauman, Journal of Physics Condensed Matter 37 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Farooq, M. Nauman, Journal of Physics Condensed Matter 37 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20457 |
|
|
‘Mini analysis’ misrepresents changes in synaptic properties due to incomplete event detection
I.H. Greger, J. Watson, Journal of Physiology (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
I.H. Greger, J. Watson, Journal of Physiology (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20367 |
|
|
Pairs of commuting integer matrices
T.D. Browning, W. Sawin, V. Wang, Mathematische Annalen (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
T.D. Browning, W. Sawin, V. Wang, Mathematische Annalen (2025).
2025 | Published | Journal Article | IST-REx-ID: 20425 |
|
|
The light echo of a high-redshift quasar mapped with Lyα tomography
A.C. Eilers, M. Yue, J.J. Matthee, J.F. Hennawi, F.B. Davies, R.A. Simcoe, R. Teague, R. Bordoloi, G. Brammer, Y. Kang, D. Kashino, R. Mackenzie, R.P. Naidu, B. Navarrete, Astrophysical Journal Letters 991 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.C. Eilers, M. Yue, J.J. Matthee, J.F. Hennawi, F.B. Davies, R.A. Simcoe, R. Teague, R. Bordoloi, G. Brammer, Y. Kang, D. Kashino, R. Mackenzie, R.P. Naidu, B. Navarrete, Astrophysical Journal Letters 991 (2025).
2025 | Published | Journal Article | IST-REx-ID: 20454 |
|
|
Exploring the probing power of γ Dor's inertial dip for core magnetism: The case of a toroidal field
L. Barrault, L.A. Bugnet, S. Mathis, J.S.G. Mombarg, Astronomy and Astrophysics 701 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Barrault, L.A. Bugnet, S. Mathis, J.S.G. Mombarg, Astronomy and Astrophysics 701 (2025).