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.

2049 Publications

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

Germin-like protein 1 interacts with proteasome regulator 1 to regulate auxin signaling by controlling Aux/IAA homeostasis
F. Xu, Y. Yu, B. Guan, T. Xu, Z. Xu, H. Xue, Cell Reports 44 (2025).

The low-fidelity DNA Pol IV accelerates evolution of pathogenicity genes in Pseudomonas aeruginosa
S.D. Castell, C.M. Fernandez, I.N. Tumas, L.M. Margara, M.C. Miserendino, D.G. Ceschin, R.J. Pezza, M.R. Monti, Communications Biology 8 (2025).

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

21 Balmer Jump Street: The nebular continuum at high redshift and implications for the bright galaxy problem, UV continuum slopes, and early stellar populations
H. Katz, A.J. Cameron, A. Saxena, L. Barrufet, N. Choustikov, N.J. Cleri, A. De Graaff, R.S. Ellis, R.A.E. Fosbury, K.E. Heintz, M. Maseda, J.J. Matthee, I. Mcconachie, P.A. Oesch, The Open Journal of Astrophysics 8 (2025).

[Published Version] View | Files available | DOI | 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

LieDetect: Detection of representation orbits of compact Lie groups from point clouds
H. Ennes, R. Tinarrage, Foundations of Computational Mathematics (2025).

[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv

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 21 (2025) 1638–1647.

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

Decorrelation transition in the Wigner minor process
Z. Bao, G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Probability Theory and Related Fields (2025).

[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv

Triples as links between binary Black Hole mergers, their electromagnetic counterparts, and galactic Black Holes
S. Naoz, Z. Haiman, E. Quataert, L. Holzknecht, The Astrophysical Journal Letters 992 (2025).

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

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 & Astrophysics. 702, A50.

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

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

Radiative corrections to the dynamics of a tracer particle coupled to a Bose ccalar field
E. Cárdenas, D.J. Mitrouskas, Annales Henri Poincare (2025).

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

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

Formation of metallocene single-molecule junctions via metal–metal bonds
W. Lee, C.R. Prindle, W. Shi, S. Louie, M.L. Steigerwald, L. Venkataraman, Nano Letters 25 (2025) 3316–3322.

View | DOI | PubMed | Europe PMC

Variability of central stars of planetary nebulae with the Zwicky Transient Facility. II. Long-timescale variables including wide binary and late thermal pulse candidates
S. Bhattacharjee, N. Reindl, H.E. Bond, K. Werner, G.R. Zeimann, D. Jones, K. El-Badry, N. Mackensen, N. Chornay, S.R. Kulkarni, I. Caiazzo, J. Van Roestel, A.C. Rodriguez, T.A. Prince, B. Rusholme, R.R. Laher, R. Smith, Publications of the Astronomical Society of the Pacific 137 (2025).

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

MIDIS: Unveiling the star formation history in massive galaxies at 1 < z < 4.5 with spectro-photometric analysis
Annunziatella M, P’Erez-Gonz’Alez PG, Álvarez-Márquez J, Costantin L, Iani E, Labiano U, Rinaldi P, Boogaard L, Meyer RA, Östlin G, Colina L, Melinder J, Jermann I, Gillman S, Langeroodi D, Hjorth J, Alonso-Herrero A, Eckart A, Walter F, Van Der Werf PP, Bik A, Peißker F, Caputi KI, García-Marín M, Wright G, Greve TR. 2025. MIDIS: Unveiling the star formation history in massive galaxies at 1 < z < 4.5 with spectro-photometric analysis. Astronomy & Astrophysics. 702, A224.

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

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

Sumset growth in progression-free sets
C. Elsholtz, I.Z. Ruzsa, L. Wurzinger, Acta Arithmetica 220 (2025) 289–303.

View | DOI | WoS

2025 | Published | Conference Paper | IST-REx-ID: 20610

What are the odds? Improving statistical model checking of Markov decision processes
T. Meggendorfer, M. Weininger, P. Wienhöft, in:, Second International Joint Conference on QEST+FORMATS, Springer Nature, 2025, pp. 195–218.

View | DOI

2025 | Published | Conference Paper | IST-REx-ID: 20648 |

PolyQEnt: A polynomial quantified entailment solver
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, M. Saadat, M. Seeliger, D. Zikelic, in:, 23rd International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2025, pp. 411–424.

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

ABP1/ABL3-TMK1 cell-surface auxin signaling targets PIN2-mediated auxin fluxes for root gravitropism
Rodriguez Solovey L, Fiedler L, Zou M, Giannini C, Monzer A, Vladimirtsev D, Randuch M, Yu Y, Gelová Z, Verstraeten I, Hajny J, Chen M, Tan S, Hörmayer L, Li L, Marques-Bueno MM, Quddoos Z, Molnar G, Kulich I, Jaillais Y, Friml J. 2025. ABP1/ABL3-TMK1 cell-surface auxin signaling targets PIN2-mediated auxin fluxes for root gravitropism. Cell. 188(22), 6138–6150.e17.

2025 | Published | Conference Paper | IST-REx-ID: 20658 |

The mid-sphere cousin of the medial axis transform
H. Edelsbrunner, E.R. Stephenson, M.H. Thoresen, in:, 4th International Joint Conference on Discrete Geometry and Mathematical Morphology, Springer Nature, 2025, pp. 133–147.

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

Quantifying spectroscopic flux variations between JWST NIRISS and NIRSpec: Slit losses in emission line measurements of z ∼ 1-3 galaxies
N. Dalmasso, P.J. Watson, T. Treu, M. Trenti, B. Vulcani, T. Nanayakkara, M. Bradač, T. Jones, K. Boyett, X. Wang, S. Mascia, L. Pentericci, Monthly Notices of the Royal Astronomical Society 544 (2025) 1915–1925.

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

ISTA Research Explorer

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

2049 Publications

Filters and Search Terms

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

2049 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options