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.
5762 Publications
2025 | Published | Journal Article | IST-REx-ID: 19642 |

Criticality transition for positive powers of the discrete Laplacian on the half line
B.M. Gerhát, D. Krejčiřík, F. Štampach, Revista Matematica Iberoamericana 41 (2025) 1173–1200.
[Published Version]
View
| Files available
| DOI
| arXiv
B.M. Gerhát, D. Krejčiřík, F. Štampach, Revista Matematica Iberoamericana 41 (2025) 1173–1200.
2025 | Published | Journal Article | IST-REx-ID: 19641
Saprotrophic-mycorrhizal divide in stable isotope composition throughout the whole fungus: From mycelium to hymenophore
A.G. Zuev, A.V. Alexandrova, V.A. Litvinskiy, E. Pravdolyubova, A.V. Tiunov, Mycorrhiza 35 (2025).
View
| DOI
| PubMed | Europe PMC
A.G. Zuev, A.V. Alexandrova, V.A. Litvinskiy, E. Pravdolyubova, A.V. Tiunov, Mycorrhiza 35 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18985
Global increase in the occurrence and impact of multiyear droughts
L. Chen, P. Brun, P. Buri, S. Fatichi, A. Gessler, M. McCarthy, F. Pellicciotti, B. Stocker, D.N. Karger, Science 387 (2025) 278–284.
View
| DOI
| PubMed | Europe PMC
L. Chen, P. Brun, P. Buri, S. Fatichi, A. Gessler, M. McCarthy, F. Pellicciotti, B. Stocker, D.N. Karger, Science 387 (2025) 278–284.
2025 | Published | Thesis | IST-REx-ID: 19630 |

Method for fluid simulation, surface tracking, and statistics of non-manifold structures
P. Synak, Method for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
P. Synak, Method for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 19271
Asymmetrical modulation of fear expression via GABAB receptors in the mouse medial habenula
C. Önal, Asymmetrical Modulation of Fear Expression via GABAB Receptors in the Mouse Medial Habenula, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
C. Önal, Asymmetrical Modulation of Fear Expression via GABAB Receptors in the Mouse Medial Habenula, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 19048 |

Emergent physics of rotating quantum impurities in many-body environments
M. Maslov, Emergent Physics of Rotating Quantum Impurities in Many-Body Environments, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
M. Maslov, Emergent Physics of Rotating Quantum Impurities in Many-Body Environments, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 19661 |

The renormalized Nelson model in the weak coupling limit
E. Cárdenas, D.J. Mitrouskas, Journal of Physics A: Mathematical and Theoretical 58 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
E. Cárdenas, D.J. Mitrouskas, Journal of Physics A: Mathematical and Theoretical 58 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19663 |

Protecting centrosomes from fracturing enables efficient cell navigation
Schmitt MT, Kroll J, Ruiz-Fernandez MJA, Hauschild R, Ghosh S, Kameritsch P, Merrin J, Schmid J, Stefanowski K, Thomae AW, Cheng J, Öztan GN, Konopka P, Ortega GC, Penz T, Bach L, Baumjohann D, Bock C, Straub T, Meissner F, Kiermaier E, Renkawitz J. 2025. Protecting centrosomes from fracturing enables efficient cell navigation. Science Advances. 11(17), eadx4047.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Schmitt MT, Kroll J, Ruiz-Fernandez MJA, Hauschild R, Ghosh S, Kameritsch P, Merrin J, Schmid J, Stefanowski K, Thomae AW, Cheng J, Öztan GN, Konopka P, Ortega GC, Penz T, Bach L, Baumjohann D, Bock C, Straub T, Meissner F, Kiermaier E, Renkawitz J. 2025. Protecting centrosomes from fracturing enables efficient cell navigation. Science Advances. 11(17), eadx4047.
2025 | Published | Journal Article | IST-REx-ID: 19662 |

The impact of the rotation rate on an aquaplanet's radiant energy budget: Insights from experiments varying the Coriolis parameter
A.M. Gnanaraj, J. Bao, H. Schmidt, Weather and Climate Dynamics 6 (2025) 489–503.
[Published Version]
View
| Files available
| DOI
A.M. Gnanaraj, J. Bao, H. Schmidt, Weather and Climate Dynamics 6 (2025) 489–503.
2025 | Published | Conference Paper | IST-REx-ID: 19665 |

Fairness shields: Safeguarding against biased decision makers
F. Cano Cordoba, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–15668.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Cano Cordoba, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–15668.
2025 | Published | Journal Article | IST-REx-ID: 19660 |

The weakly coupled two-dimensional Fermi polaron
D.J. Mitrouskas, Archive for Rational Mechanics and Analysis 249 (2025).
[Published Version]
View
| Files available
| DOI
D.J. Mitrouskas, Archive for Rational Mechanics and Analysis 249 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19672 |

Intensity oscillations of tropical cyclones: Surface versus mid and upper tropospheric processes
A. Polesello, G.A. Charinti, A.N. Meroni, C.J. Muller, C. Pasquero, Journal of Advances in Modeling Earth Systems 17 (2025).
[Published Version]
View
| Files available
| DOI
A. Polesello, G.A. Charinti, A.N. Meroni, C.J. Muller, C. Pasquero, Journal of Advances in Modeling Earth Systems 17 (2025).
2025 | Published | Conference Paper | IST-REx-ID: 19667 |

Quantified linear and polynomial arithmetic satisfiability via template-based skolemization
K. Chatterjee, E. Goharshady, M. Karrabi, H.J. Motwani, M. Seeliger, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11158–11166.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, E. Goharshady, M. Karrabi, H.J. Motwani, M. Seeliger, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11158–11166.
2025 | Published | Journal Article | IST-REx-ID: 19670 |

Phase behavior of Cacio e Pepe sauce
G. Bartolucci, D.M. Busiello, M. Ciarchi, A. Corticelli, I. Di Terlizzi, F. Olmeda, D. Revignas, V.M. Schimmenti, Physics of Fluids 37 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
G. Bartolucci, D.M. Busiello, M. Ciarchi, A. Corticelli, I. Di Terlizzi, F. Olmeda, D. Revignas, V.M. Schimmenti, Physics of Fluids 37 (2025).
2025 | Published | Conference Paper | IST-REx-ID: 19668 |

Neural control and certificate repair via runtime monitoring
E. Yu, D. Zikelic, T.A. Henzinger, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26409–26417.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Yu, D. Zikelic, T.A. Henzinger, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26409–26417.
2025 | Published | Conference Paper | IST-REx-ID: 19669 |

Linear equations with min and max operators: Computational complexity
K. Chatterjee, R. Luo, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11150–11157.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R. Luo, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11150–11157.
2025 | Published | Journal Article | IST-REx-ID: 19673 |

Prime Hasse principles via diophantine second moments
V. Wang, Journal of the Association for Mathematical Research 3 (2025) 1–26.
[Published Version]
View
| Files available
| DOI
| arXiv
V. Wang, Journal of the Association for Mathematical Research 3 (2025) 1–26.
2025 | Published | Journal Article | IST-REx-ID: 19671
A life-cycle approach to understand consequences of silvopastoral use on two native tree species of Northern Patagonia
D. Arpigiani, V. Aschero, R.M. Soler Schaller, M.M. Amoroso, Austral Ecology 50 (2025).
View
| DOI
D. Arpigiani, V. Aschero, R.M. Soler Schaller, M.M. Amoroso, Austral Ecology 50 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19421 |

TIR1-produced cAMP as a second messenger in transcriptional auxin signalling
H. Chen, L. Qi, M. Zou, M. Lu, M. Kwiatkowski, Y. Pei, K. Jaworski, J. Friml, Nature (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
H. Chen, L. Qi, M. Zou, M. Lu, M. Kwiatkowski, Y. Pei, K. Jaworski, J. Friml, Nature (2025).
2025 | Published | Thesis | IST-REx-ID: 19478
The cAMP second messenger in auxin signalling
H. Chen, The CAMP Second Messenger in Auxin Signalling, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
H. Chen, The CAMP Second Messenger in Auxin Signalling, Institute of Science and Technology Austria, 2025.
2025 | In Press | Journal Article | IST-REx-ID: 18823 |

Memory of maternal temperatures: DNA methylation alterations across generations
D. Cao, J.G. De Jaeger-Braet, Plant Physiology 197 (n.d.).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
D. Cao, J.G. De Jaeger-Braet, Plant Physiology 197 (n.d.).
2025 | Published | Journal Article | IST-REx-ID: 19497 |

Can quasars, triggered by mergers, account for NANOGrav’s stochastic gravitational wave background?
Á. Kis-Tóth, Z. Haiman, Z. Frei, Classical and Quantum Gravity 42 (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Á. Kis-Tóth, Z. Haiman, Z. Frei, Classical and Quantum Gravity 42 (2025).
2025 | Published | Thesis | IST-REx-ID: 19302
The effect of circadian rhythm on organisational immunity of ant colonies
L. Sartoris, The Effect of Circadian Rhythm on Organisational Immunity of Ant Colonies, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
L. Sartoris, The Effect of Circadian Rhythm on Organisational Immunity of Ant Colonies, Institute of Science and Technology Austria, 2025.
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19508 |

Random zero-sum dynamic games on infinite directed graphs
L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, Dynamic Games and Applications (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, Dynamic Games and Applications (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19483 |

6-torision and integral points on quartic threefolds
S. Chan, P. Koymans, C. Pagano, E. Sofos, Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Chan, P. Koymans, C. Pagano, E. Sofos, Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze (2025).
2025 | Published | Journal Article | IST-REx-ID: 14647 |

Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway
M. Bose, V. Suresh, U. Mishra, I. Talwar, A. Yadav, S. Biswas, S. Hippenmeyer, S. Tole, ELife 13 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Bose, V. Suresh, U. Mishra, I. Talwar, A. Yadav, S. Biswas, S. Hippenmeyer, S. Tole, ELife 13 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19433 |

Extremal, enumerative and probabilistic results on ordered hypergraph matchings
M. Anastos, Z. Jin, M.A. Kwan, B. Sudakov, Forum of Mathematics, Sigma 13 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Anastos, Z. Jin, M.A. Kwan, B. Sudakov, Forum of Mathematics, Sigma 13 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19465
Understanding the machinery that reads the genome
C. Bernecky, Nature Reviews Molecular Cell Biology (2025).
View
| DOI
| PubMed | Europe PMC
C. Bernecky, Nature Reviews Molecular Cell Biology (2025).
2025 | Published | Journal Article | IST-REx-ID: 19529 |

Identification and inhibition of PIN1-NRF2 protein–protein interactions through computational and biophysical approaches
A. Ozleyen, G.N. Duran, S. Dönmez, M. Ozbil, R.G. Doveston, T.B. Tumer, Scientific Reports 15 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Ozleyen, G.N. Duran, S. Dönmez, M. Ozbil, R.G. Doveston, T.B. Tumer, Scientific Reports 15 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19531 |

Massive Dirac-Pauli physics in lead-halide perovskites
A. Shiva Kumar, M. Maslov, M. Lemeshko, A. Volosniev, Z. Alpichshev, Npj Quantum Materials 10 (2025).
[Published Version]
View
| Files available
| DOI
A. Shiva Kumar, M. Maslov, M. Lemeshko, A. Volosniev, Z. Alpichshev, Npj Quantum Materials 10 (2025).
2025 | Published | Thesis | IST-REx-ID: 19386
Evolution of sex chromosomes, sex determination and asexuality in Artemia brine shrimp
M.N. Elkrewi, Evolution of Sex Chromosomes, Sex Determination and Asexuality in Artemia Brine Shrimp, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
M.N. Elkrewi, Evolution of Sex Chromosomes, Sex Determination and Asexuality in Artemia Brine Shrimp, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 19036 |

Layer-specific control of inhibition by NDNF interneurons
L.B. Naumann, L. Hertäg, J. Müller, J.J. Letzkus, H. Sprekeler, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
L.B. Naumann, L. Hertäg, J. Müller, J.J. Letzkus, H. Sprekeler, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19495 |

Latent Ewald summation for machine learning of long-range interactions
B. Cheng, Npj Computational Materials 11 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
B. Cheng, Npj Computational Materials 11 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19496 |

Scales
M. Helfter, Mathematische Zeitschrift 310 (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Helfter, Mathematische Zeitschrift 310 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19498
Neuroendocrine control of synaptic transmission by PHAC-1 in C. elegans
A. Stratigi, M. Soler-García, M. Krout, S. Shukla, M. de Bono, J.E. Richmond, P. Laurent, Journal of Neuroscience 45 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Stratigi, M. Soler-García, M. Krout, S. Shukla, M. de Bono, J.E. Richmond, P. Laurent, Journal of Neuroscience 45 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19499 |

Hardware-optimal quantum algorithms
S. Muroya Lei, K. Chatterjee, T.A. Henzinger, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Muroya Lei, K. Chatterjee, T.A. Henzinger, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19500 |

Density of Brown measure of free circular Brownian motion
L. Erdös, H.C. Ji, Documenta Mathematica 30 (2025) 417–453.
[Published Version]
View
| Files available
| DOI
| arXiv
L. Erdös, H.C. Ji, Documenta Mathematica 30 (2025) 417–453.
2025 | Published | Journal Article | IST-REx-ID: 19502 |

Nonadiabatic laser-induced alignment dynamics of alkali-metal dimers on the surface of a helium droplet
H.H. Kristensen, L. Kranabetter, A. Ghazaryan, C.A. Schouder, E. Hansen, F. Jensen, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review A 111 (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
H.H. Kristensen, L. Kranabetter, A. Ghazaryan, C.A. Schouder, E. Hansen, F. Jensen, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review A 111 (2025).
2025 | In Press | Journal Article | IST-REx-ID: 19506 |

Sleep stages antagonistically modulate reactivation drift
L. Bollmann, P. Baracskay, F. Stella, J.L. Csicsvari, Neuron (n.d.).
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Bollmann, P. Baracskay, F. Stella, J.L. Csicsvari, Neuron (n.d.).
2025 | Published | Journal Article | IST-REx-ID: 19505 |

The stochastic primitive equations with nonisothermal turbulent pressure
A. Agresti, M. Hieber, A. Hussein, M. Saal, Annals of Applied Probability 35 (2025) 635–700.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Agresti, M. Hieber, A. Hussein, M. Saal, Annals of Applied Probability 35 (2025) 635–700.
2025 | Published | Thesis | IST-REx-ID: 19395 |

Cell-Surface Auxin Signaling: Linking molecular pathways to plant development
A. Monzer, Cell-Surface Auxin Signaling: Linking Molecular Pathways to Plant Development, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
A. Monzer, Cell-Surface Auxin Signaling: Linking Molecular Pathways to Plant Development, Institute of Science and Technology Austria, 2025.
2025 | Draft | Preprint | IST-REx-ID: 19399 |

ABP1/ABL3-TMK1 cell-surface auxin signaling directly 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, Xu T, Kulich I, Jaillais Y, Friml J. ABP1/ABL3-TMK1 cell-surface auxin signaling directly targets PIN2-mediated auxin fluxes for root gravitropism. bioRxiv, 10.1101/2022.11.30.518503.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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, Xu T, Kulich I, Jaillais Y, Friml J. ABP1/ABL3-TMK1 cell-surface auxin signaling directly targets PIN2-mediated auxin fluxes for root gravitropism. bioRxiv, 10.1101/2022.11.30.518503.
2025 | Published | Thesis | IST-REx-ID: 19456
The role of prefrontal spatial coding in supporting a contextual association task
A.D. Cumpelik, The Role of Prefrontal Spatial Coding in Supporting a Contextual Association Task, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
A.D. Cumpelik, The Role of Prefrontal Spatial Coding in Supporting a Contextual Association Task, Institute of Science and Technology Austria, 2025.
2025 | Draft | Preprint | IST-REx-ID: 19398 |

TMK interacting network of receptor like kinases for auxin canalization and beyond
A. Monzer, E. Mazur, L. Rodriguez Solovey, M.C. Gallei, M. Zou, M. Smejkal, E. Cervenova, J. Friml, BioRxiv (n.d.).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Monzer, E. Mazur, L. Rodriguez Solovey, M.C. Gallei, M. Zou, M. Smejkal, E. Cervenova, J. Friml, BioRxiv (n.d.).
2025 | Published | Thesis | IST-REx-ID: 19431
Regulation of Cytoplasmic RNA Polymerase II
A. Hlavata, Regulation of Cytoplasmic RNA Polymerase II, Institute of Science and Technology Austria, 2025.
View
| Files available
| DOI
A. Hlavata, Regulation of Cytoplasmic RNA Polymerase II, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 19684 |

Transition to turbulence : Data-, solution-, and pattern-driven approaches
G. Yalniz, Transition to Turbulence : Data-, Solution-, and Pattern-Driven Approaches, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
G. Yalniz, Transition to Turbulence : Data-, Solution-, and Pattern-Driven Approaches, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 19700 |

RUBIES: JWST/NIRSpec confirmation of an infrared-luminous, broad-line Little Red Dot with an ionized outflow
Wang B, De Graaff A, Davies RL, Greene JE, Leja J, Brammer GB, Goulding AD, Miller TB, Suess KA, Weibel A, Williams CC, Bezanson R, Boogaard LA, Cleri NJ, Hirschmann M, Katz H, Labbé I, Maseda MV, Matthee JJ, Mcconachie I, Naidu RP, Oesch PA, Rix HW, Setton DJ, Whitaker KE. 2025. RUBIES: JWST/NIRSpec confirmation of an infrared-luminous, broad-line Little Red Dot with an ionized outflow. Astrophysical Journal. 984(2), 121.
[Published Version]
View
| Files available
| DOI
| arXiv
Wang B, De Graaff A, Davies RL, Greene JE, Leja J, Brammer GB, Goulding AD, Miller TB, Suess KA, Weibel A, Williams CC, Bezanson R, Boogaard LA, Cleri NJ, Hirschmann M, Katz H, Labbé I, Maseda MV, Matthee JJ, Mcconachie I, Naidu RP, Oesch PA, Rix HW, Setton DJ, Whitaker KE. 2025. RUBIES: JWST/NIRSpec confirmation of an infrared-luminous, broad-line Little Red Dot with an ionized outflow. Astrophysical Journal. 984(2), 121.
2025 | Published | Journal Article | IST-REx-ID: 19699 |

Suppressed accretion onto massive black hole binaries surrounded by thin disks
C. Tiede, J. Zrake, A. Macfadyen, Z. Haiman, Astrophysical Journal 984 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
C. Tiede, J. Zrake, A. Macfadyen, Z. Haiman, Astrophysical Journal 984 (2025).
2025 | Submitted | Preprint | IST-REx-ID: 19674 |

ResiDual transformer alignment with spectral decomposition
L. Basile, V. Maiorca, L. Bortolussi, E. Rodolà, F. Locatello, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Basile, V. Maiorca, L. Bortolussi, E. Rodolà, F. Locatello, ArXiv (n.d.).
2025 | Research Data | IST-REx-ID: 18697 |

Light-microscopy based connectomic reconstruction of mammalian brain tissue
J.G. Danzl, J. Lyudchik, C. Kreuzinger, (2025).
[Published Version]
View
| Files available
| DOI
J.G. Danzl, J. Lyudchik, C. Kreuzinger, (2025).
2025 | Published | Journal Article | IST-REx-ID: 19701 |

Information processing in biochemical networks
G. Tkačik, P.R.T. Wolde, Annual Review of Biophysics 54 (2025) 249–274.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
G. Tkačik, P.R.T. Wolde, Annual Review of Biophysics 54 (2025) 249–274.
2025 | Published | Journal Article | IST-REx-ID: 19702 |

Colonization times in Moran process on graphs
L. Kopfová, J. Tkadlec, PLoS Computational Biology 21 (2025) e1012868.
[Published Version]
View
| Files available
| DOI
| arXiv
L. Kopfová, J. Tkadlec, PLoS Computational Biology 21 (2025) e1012868.
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19705 |

Virtual bound states of the Pauli operator with an Aharonov–Bohm potential
M. Fialova, D. Krejčiřík, Reviews in Mathematical Physics (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M. Fialova, D. Krejčiřík, Reviews in Mathematical Physics (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19704 |

Light-microscopy-based connectomic reconstruction of mammalian brain tissue
M. Tavakoli, J. Lyudchik, M. Januszewski, V. Vistunou, N. Agudelo Duenas, J. Vorlaufer, C.M. Sommer, C. Kreuzinger, B. Oliveira, A. Cenameri, G. Novarino, V. Jain, J.G. Danzl, Nature (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Tavakoli, J. Lyudchik, M. Januszewski, V. Vistunou, N. Agudelo Duenas, J. Vorlaufer, C.M. Sommer, C. Kreuzinger, B. Oliveira, A. Cenameri, G. Novarino, V. Jain, J.G. Danzl, Nature (2025).
2025 | Published | Journal Article | IST-REx-ID: 8125 |

High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating
W.F. Podlaski, E.J. Agnes, T.P. Vogels, Physical Review X 15 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
W.F. Podlaski, E.J. Agnes, T.P. Vogels, Physical Review X 15 (2025).
2025 | Published | Journal Article | IST-REx-ID: 10045 |

Generalized minimum 0-extension problem and discrete convexity
M. Dvorak, V. Kolmogorov, Mathematical Programming 209 (2025) 279–322.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dvorak, V. Kolmogorov, Mathematical Programming 209 (2025) 279–322.
2025 | Published | Journal Article | IST-REx-ID: 15128 |

Mesoscopic eigenvalue statistics for Wigner-type matrices
V. Riabov, Annales de l’institut Henri Poincare (B) Probability and Statistics 61 (2025) 129–154.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Riabov, Annales de l’institut Henri Poincare (B) Probability and Statistics 61 (2025) 129–154.
2025 | Published | Journal Article | IST-REx-ID: 15121 |

Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M. Henzinger, Mathematical Programming 210 (2025) 881–894.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D.W. Zheng, M. Henzinger, Mathematical Programming 210 (2025) 881–894.
2025 | Published | Journal Article | IST-REx-ID: 17037
Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.
View
| DOI
| WoS
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.
2025 | Published | Journal Article | IST-REx-ID: 17293 |

Nanoarchitecture of CaV>2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology
A. Martín‐Belmonte, C. Aguado, R. Alfaro‐Ruiz, A. Kulik, L. de la Ossa, A.E. Moreno‐Martínez, S. Alberquilla, L. García‐Carracedo, M. Fernández, A. Fajardo‐Serrano, E. Aso, R. Shigemoto, E.D. Martín, Y. Fukazawa, F. Ciruela, R. Luján, Brain Pathology 35 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Martín‐Belmonte, C. Aguado, R. Alfaro‐Ruiz, A. Kulik, L. de la Ossa, A.E. Moreno‐Martínez, S. Alberquilla, L. García‐Carracedo, M. Fernández, A. Fajardo‐Serrano, E. Aso, R. Shigemoto, E.D. Martín, Y. Fukazawa, F. Ciruela, R. Luján, Brain Pathology 35 (2025).
2025 | Published | Journal Article | IST-REx-ID: 17884 |

Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice
M. Obr, M. Percipalle, D. Chernikova, H. Yang, A. Thader, G. Pinke, D. Porley Esteves, L.M. Mansky, R.A. Dick, F.K. Schur, Nature Structural & Molecular Biology 32 (2025) 268–276.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Obr, M. Percipalle, D. Chernikova, H. Yang, A. Thader, G. Pinke, D. Porley Esteves, L.M. Mansky, R.A. Dick, F.K. Schur, Nature Structural & Molecular Biology 32 (2025) 268–276.
2025 | Published | Journal Article | IST-REx-ID: 18631 |

Efficient formation of a massive quiescent galaxy at redshift 4.9
De Graaff A, Setton DJ, Brammer G, Cutler S, Suess KA, Labbé I, Leja J, Weibel A, Maseda MV, Whitaker KE, Bezanson R, Boogaard LA, Cleri NJ, De Lucia G, Franx M, Greene JE, Hirschmann M, Matthee JJ, Mcconachie I, Naidu RP, Oesch PA, Price SH, Rix HW, Valentino F, Wang B, Williams CC. 2025. Efficient formation of a massive quiescent galaxy at redshift 4.9. Nature Astronomy. 9, 280–292.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
De Graaff A, Setton DJ, Brammer G, Cutler S, Suess KA, Labbé I, Leja J, Weibel A, Maseda MV, Whitaker KE, Bezanson R, Boogaard LA, Cleri NJ, De Lucia G, Franx M, Greene JE, Hirschmann M, Matthee JJ, Mcconachie I, Naidu RP, Oesch PA, Price SH, Rix HW, Valentino F, Wang B, Williams CC. 2025. Efficient formation of a massive quiescent galaxy at redshift 4.9. Nature Astronomy. 9, 280–292.
2025 | Published | Journal Article | IST-REx-ID: 17459 |

Langerhans cells: Central players in the pathophysiology of atopic dermatitis
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology 39 (2025) 278–289.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology 39 (2025) 278–289.
2025 | Published | Journal Article | IST-REx-ID: 18565 |

Mesh simplification for unfolding
M. Bhargava, C. Schreck, M. Freire, P.A. Hugron, S. Lefebvre, S. Sellán, B. Bickel, Computer Graphics Forum 44 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Bhargava, C. Schreck, M. Freire, P.A. Hugron, S. Lefebvre, S. Sellán, B. Bickel, Computer Graphics Forum 44 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18619 |

Structural insights into brassinosteroid export mediated by the Arabidopsis ABC transporter ABCB1
H. Wei, H. Zhu, W. Ying, H. Janssens, M. Kvasnica, J. Winne, Y. Gao, J. Friml, Q. Ma, S. Tan, X. Liu, E. Russinova, L. Sun, Plant Communications 6 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Wei, H. Zhu, W. Ying, H. Janssens, M. Kvasnica, J. Winne, Y. Gao, J. Friml, Q. Ma, S. Tan, X. Liu, E. Russinova, L. Sun, Plant Communications 6 (2025).
2025 | Published | Journal Article | IST-REx-ID: 17149 |

Average and expected distortion of Voronoi paths and scapes
H. Edelsbrunner, A. Nikitenko, Discrete and Computational Geometry 73 (2025) 490–499.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
H. Edelsbrunner, A. Nikitenko, Discrete and Computational Geometry 73 (2025) 490–499.
2025 | Published | Journal Article | IST-REx-ID: 18157 |

Books, Hallways, and social butterflies: A note on sliding block puzzles
F.R. Brunck, M.A. Kwan, Mathematical Intelligencer 47 (2025) 52–65.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
F.R. Brunck, M.A. Kwan, Mathematical Intelligencer 47 (2025) 52–65.
2025 | Published | Journal Article | IST-REx-ID: 18558
Efficient and rapid sunlight-driven photocatalytic degradation of methylene blue dye using multiferroic BiFeO3 nanoparticles
M. Verma, A. Kumar, V.K. Thakur, A. Maurya, S. Kumar, S. Singh, S.K. Srivastav, Journal of Sol-Gel Science and Technology 113 (2025) 356–373.
View
| DOI
| WoS
M. Verma, A. Kumar, V.K. Thakur, A. Maurya, S. Kumar, S. Singh, S.K. Srivastav, Journal of Sol-Gel Science and Technology 113 (2025) 356–373.
2025 | Published | Journal Article | IST-REx-ID: 18881 |

Recessed microelectrodes as a platform to investigate the intrinsic redox process of Prussian blue analogs for energy storage application
N. Jiyane, C. Santana Santos, I. Echevarria Poza, M. Palacios Corella, M.A. Abdillah Mahbub, G. Marin-Tajadura, T. Quast, M. Ibáñez, E. Ventosa, W. Schuhmann, Batteries and Supercaps 8 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
N. Jiyane, C. Santana Santos, I. Echevarria Poza, M. Palacios Corella, M.A. Abdillah Mahbub, G. Marin-Tajadura, T. Quast, M. Ibáñez, E. Ventosa, W. Schuhmann, Batteries and Supercaps 8 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18710 |

Ab initio Auger spectrum of the ultrafast dissociating 2p3/2−1σ* resonance in HCl
M. Hrast, M. Ljubotina, M. Zitnik, Physical Chemistry Chemical Physics 27 (2025) 1473–1482.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Hrast, M. Ljubotina, M. Zitnik, Physical Chemistry Chemical Physics 27 (2025) 1473–1482.
2025 | Published | Journal Article | IST-REx-ID: 18753 |

On heroes in digraphs with forbidden induced forests
A. Carbonero, H. Koerts, B. Moore, S. Spirkl, European Journal of Combinatorics 125 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Carbonero, H. Koerts, B. Moore, S. Spirkl, European Journal of Combinatorics 125 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18707
Influence of surface engineering on the transport properties of lead sulfide nanomaterials
H. Shu, M. Zhao, S. Lu, S. Wan, A. Genç, L. Huang, M. Ibáñez, K.H. Lim, M. Hong, Y. Liu, Journal of Colloid and Interface Science 683 (2025) 703–712.
View
| DOI
| WoS
| PubMed | Europe PMC
H. Shu, M. Zhao, S. Lu, S. Wan, A. Genç, L. Huang, M. Ibáñez, K.H. Lim, M. Hong, Y. Liu, Journal of Colloid and Interface Science 683 (2025) 703–712.
2025 | Published | Journal Article | IST-REx-ID: 18705 |

On a question of Davenport and diagonal cubic forms over Fq(t)
J. Glas, L. Hochfilzer, Mathematische Annalen 391 (2025) 5485–5533.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
J. Glas, L. Hochfilzer, Mathematische Annalen 391 (2025) 5485–5533.
2025 | Published | Journal Article | IST-REx-ID: 18701
In-situ engineered highly-crystalline Polythiophene empowered electrochemical capacitor-II: Anomalous electrochemical charge storage behavior of Polythiophene-rGO composite
N. Mahato, S. Singh, T.V.M. Sreekanth, K. Yoo, J. Kim, Materials Letters 382 (2025).
View
| DOI
| WoS
N. Mahato, S. Singh, T.V.M. Sreekanth, K. Yoo, J. Kim, Materials Letters 382 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18936 |

Linking molecular mechanisms to their evolutionary consequences: a primer
R. Grah, C.C. Guet, G. Tkačik, M. Lagator, Genetics 229 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Grah, C.C. Guet, G. Tkačik, M. Lagator, Genetics 229 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 18984 |

Combining REBOUND and MESA: Dynamical evolution of planets orbiting interacting binaries
Z. Xing, S. Torres Rodriguez, Y.L.L. Götberg, A.A. Trani, V. Korol, J. Cuadra, Monthly Notices of the Royal Astronomical Society 537 (2025) 285–292.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
Z. Xing, S. Torres Rodriguez, Y.L.L. Götberg, A.A. Trani, V. Korol, J. Cuadra, Monthly Notices of the Royal Astronomical Society 537 (2025) 285–292.
2025 | Published | Journal Article | IST-REx-ID: 19001 |

Loschmidt echo for deformed Wigner matrices
L. Erdös, S.J. Henheik, O. Kolupaiev, Letters in Mathematical Physics 115 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
L. Erdös, S.J. Henheik, O. Kolupaiev, Letters in Mathematical Physics 115 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18850 |

Chromatin enables precise and scalable gene regulation with factors of limited specificity
M.L. Perkins, J. Crocker, G. Tkačik, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.L. Perkins, J. Crocker, G. Tkačik, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
2025 | Published | Conference Paper | IST-REx-ID: 19281 |

Tight bounds on list-decodable and list-recoverable zero-rate codes
N. Resch, C. Yuan, Y. Zhang, in:, 16th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
N. Resch, C. Yuan, Y. Zhang, in:, 16th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
2025 | Published | Conference Paper | IST-REx-ID: 19712 |

On the soundness of algebraic attacks against code-based assumptions
M. Cueto Noval, S.-P. Merz, P. Stählin, A. Ünal, in:, 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2025, pp. 385–415.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Cueto Noval, S.-P. Merz, P. Stählin, A. Ünal, in:, 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2025, pp. 385–415.
2025 | Published | Journal Article | IST-REx-ID: 19713 |

Hybrid decentralized optimization: Leveraging both first- and zeroth-order optimizers for faster convergence
S. Talaei, M. Ansaripour, G. Nadiradze, D.-A. Alistarh, Proceedings of The39th AAAI Conference on Artificial Intelligence 39 (2025) 20778–20786.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Talaei, M. Ansaripour, G. Nadiradze, D.-A. Alistarh, Proceedings of The39th AAAI Conference on Artificial Intelligence 39 (2025) 20778–20786.
2025 | Published | Preprint | IST-REx-ID: 19717 |

Early emergence of projection-subtype fate-restricted radial glial progenitors orchestrates neocortical neurogenesis
I. Varela-Martínez, A. Villalba Requena, J. Garcia-Marqués, S. Hippenmeyer, M. Nieto, BioRxiv (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
I. Varela-Martínez, A. Villalba Requena, J. Garcia-Marqués, S. Hippenmeyer, M. Nieto, BioRxiv (2025).
2025 | Published | Journal Article | IST-REx-ID: 19728 |

Foraging for water by MIZ1-mediated antagonism between root gravitropism and hydrotropism
Y. Zhang, Z. Bao, A. Smoljan, Y. Liu, H. Wang, J. Friml, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Y. Zhang, Z. Bao, A. Smoljan, Y. Liu, H. Wang, J. Friml, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19729 |

Rigid fibre transport in a periodic non-homogeneous geophysical turbulent flow
A. De Leo, S. Brizzolara, M. Cavaiola, J. He, A. Stocchino, Journal of Fluid Mechanics 1011 (2025).
[Published Version]
View
| Files available
| DOI
A. De Leo, S. Brizzolara, M. Cavaiola, J. He, A. Stocchino, Journal of Fluid Mechanics 1011 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19730 |

Feigenbaum universality in subcritical Taylor-Couette flow
B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, F. Mellibovsky, Journal of Fluid Mechanics 1010 (2025).
[Published Version]
View
| Files available
| DOI
B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, F. Mellibovsky, Journal of Fluid Mechanics 1010 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19726
Glucose electrooxidation with simultaneous H2 production on nickel-zinc electrocatalysts derived from an ethylenediamine-functionalized zeolitic imidazole framework
K.V. Mejia-Centeno, G. Montaña-Mora, J. Chacón-Borrero, Q. Xue, L. Gong, S. Martí-Sánchez, A. Berlanga-Vázquez, J. Llorca, M. Ibáñez, J. Arbiol, X. Qi, P.R. Martinez-Alanis, A. Cabot, Chemical Engineering Journal 515 (2025).
View
| DOI
K.V. Mejia-Centeno, G. Montaña-Mora, J. Chacón-Borrero, Q. Xue, L. Gong, S. Martí-Sánchez, A. Berlanga-Vázquez, J. Llorca, M. Ibáñez, J. Arbiol, X. Qi, P.R. Martinez-Alanis, A. Cabot, Chemical Engineering Journal 515 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19735 |

Chromatin landscape is associated with sex-biased expression and Drosophila-like dosage compensation of the Z chromosome in Artemia franciscana
V.K. Bett, M.S. Trejo Arellano, B. Vicoso, Molecular Biology and Evolution 42 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
V.K. Bett, M.S. Trejo Arellano, B. Vicoso, Molecular Biology and Evolution 42 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19732 |

Mathematically established chaos and forecast of statistics with recurrent patterns in Taylor-Couette flow
B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, F. Mellibovsky, Journal of Fluid Mechanics 1011 (2025).
[Published Version]
View
| Files available
| DOI
B. Wang, R. Ayats López, K. Deguchi, A. Meseguer, F. Mellibovsky, Journal of Fluid Mechanics 1011 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19733 |

Direct and efficient detection of quantum superposition
D. Kun, K.T. Strömberg, M. Spagnolo, B. Dakić, L.A. Rozema, P. Walther, Physical Review A 111 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
D. Kun, K.T. Strömberg, M. Spagnolo, B. Dakić, L.A. Rozema, P. Walther, Physical Review A 111 (2025).
2025 | Published | Journal Article | IST-REx-ID: 10011 |

A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness
S. Hensel, T. Laux, Journal of Differential Geometry 130 (2025) 209–268.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Hensel, T. Laux, Journal of Differential Geometry 130 (2025) 209–268.
2025 | Published | Journal Article | IST-REx-ID: 19736
Mechanisms of auxin action in plant growth and development
S. Vanneste, Y. Pei, J. Friml, Nature Reviews Molecular Cell Biology (2025).
View
| DOI
| PubMed | Europe PMC
S. Vanneste, Y. Pei, J. Friml, Nature Reviews Molecular Cell Biology (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19727 |

Asymptotic growth of translation-dilation orbits
V. Wang, Advances in Mathematics 475 (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
V. Wang, Advances in Mathematics 475 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19737 |

Non–Hermitian spectral universality at critical points
G. Cipolloni, L. Erdös, H.C. Ji, Probability Theory and Related Fields (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
G. Cipolloni, L. Erdös, H.C. Ji, Probability Theory and Related Fields (2025).
2025 | Published | Conference Paper | IST-REx-ID: 19740 |

Value iteration with guessing for Markov chains and Markov decision processes
K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236.
2025 | Published | Conference Paper | IST-REx-ID: 19739 |

BUBAAK: Dynamic cooperative verification
M. Chalupa, C. Richter, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 212–216.
[Published Version]
View
| Files available
| DOI
M. Chalupa, C. Richter, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 212–216.
2025 | Conference Paper | IST-REx-ID: 19738 |

Securely instantiating ‘Half Gates’ garbling in the standard model
A. Acharya, K. Azari, M.A. Baig, D. Hofheinz, C. Kamath, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 37–75.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Acharya, K. Azari, M.A. Baig, D. Hofheinz, C. Kamath, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 37–75.
2025 | Published | Conference Paper | IST-REx-ID: 19743 |

Fixed point certificates for reachability and expected rewards in MDPs
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 130–151.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 130–151.
2025 | Published | Conference Paper | IST-REx-ID: 19742 |

Sound statistical model checking for probabilities and expected rewards
C.E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 167–190.
[Published Version]
View
| Files available
| DOI
| arXiv
C.E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 167–190.
2025 | Published | Conference Paper | IST-REx-ID: 19744 |

Refuting equivalence in probabilistic programs with conditioning
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300.
2025 | Published | Conference Paper | IST-REx-ID: 19741 |

Automating the analysis of quantitative automata with QuAK
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 303–312.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 303–312.