ISTA Research Explorer

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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

11082 Publications

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).

2025 | Published | Journal Article | IST-REx-ID: 20431 |

Single-cell migration along and against confined haptotactic gradients
I.C. Fortunato, D. Brückner, S. Grosser, R. Nautiyal, L. Rossetti, M. Bosch-Padrós, J. Trebicka, P. Roca-Cusachs, R. Sunyer, E.B. Hannezo, X. Trepat, Nature Physics (2025).

[Preprint] View | DOI | Download Preprint (ext.) | WoS

On the size of chromatic Delaunay mosaics
R. Biswas, S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, M. Saghafian, Discrete and Computational Geometry (2025).

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20429

Biotic interactions between trees and colonizing shrubs: Implications for active restoration in southern Patagonian forests
G.N. Bustamante, M.E. Arena, L. Selzer, M. Ruggirello, P. Rodríguez, S. Pedrazzani, J.A. Navarro-Cano, R.M. Soler Schaller, Plant Ecology (2025).

View | DOI | WoS

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20432

Chiral phonons
Juraschek DM, Geilhufe RM, Zhu H, Basini M, Baum P, Baydin A, Chaudhary S, Fechner M, Flebus B, Grissonnanche G, Kirilyuk AI, Lemeshko M, Maehrlein SF, Mignolet M, Murakami S, Niu Q, Nowak U, Romao CP, Rostami H, Satoh T, Spaldin NA, Ueda H, Zhang L. 2025. Chiral phonons. Nature Physics.

View | DOI | WoS

GA-NIFS and EIGER: A merging quasar host at z = 7 with an overmassive black hole
Marshall MA, Yue M, Eilers AC, Scholtz J, Perna M, Willott CJ, Maiolino R, Übler H, Arribas S, Bunker AJ, Charlot S, Rodríguez Del Pino B, Böker T, Carniani S, Circosta C, Cresci G, D’Eugenio F, Jones GC, Venturi G, Bordoloi R, Kashino D, Mackenzie R, Matthee JJ, Naidu R, Simcoe RA. 2025. GA-NIFS and EIGER: A merging quasar host at z = 7 with an overmassive black hole. Astronomy and Astrophysics. 702, A50.

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Published | Journal Article | IST-REx-ID: 20424 |

Mechanical control of cell fate decisions in the skin epidermis
P. Sahu, S. Monteiro-Ferreira, S. Canato, R.M. Soares, A. Sánchez-Danés, E.B. Hannezo, Nature Communications 16 (2025).

ISTA Research Explorer

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

11082 Publications

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

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

11082 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options