ISTA Research Explorer

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.

6216 Publications

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

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

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

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

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

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

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

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

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

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

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

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

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.

Non-linear magnetotropic susceptibility in FePS3
H. Farooq, M. Nauman, Journal of Physics Condensed Matter 37 (2025).

‘Mini analysis’ misrepresents changes in synaptic properties due to incomplete event detection
I.H. Greger, J. Watson, Journal of Physiology (2025).

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

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

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

Design of facilitated dissociation enables timing of cytokine signalling
Broerman AJ, Pollmann C, Zhao Y, Lichtenstein MA, Jackson MD, Tessmer MH, Ryu WH, Ogishi M, Abedi MH, Sahtoe DD, Allen A, Kang A, De La Cruz J, Brackenbrough E, Sankaran B, Bera AK, Zuckerman DM, Stoll S, Garcia KC, Praetorius FM, Piehler J, Baker D. 2025. Design of facilitated dissociation enables timing of cytokine signalling. Nature.

Machine learning of charges and long-range interactions from energies and forces
D.S. King, D. Kim, P. Zhong, B. Cheng, Nature Communications 16 (2025).

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6216 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6216 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options