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.

6640 Publications

2026 | Published | Conference Paper | IST-REx-ID: 22717 |

Randomise alone, reach as a team
L.J. Brice, T.A. Henzinger, A. Montaseri, A. Shafiee, K.S. Thejaswini, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 215–236.

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

2026 | Published | Conference Paper | IST-REx-ID: 22722 |

Representing local protein environments with machine learning force fields
M.I. Bojan, S. Vedula, S.A. Maddipatla, N.E. Sellam, A. Rzayev, F. Napoli, P. Schanda, A.M. Bronstein, in:, 14th International Conference on Learning Representations, 2026, pp. 100760–100799.

[Published Version] View | Files available | arXiv

2026 | Published | Conference Paper | IST-REx-ID: 22719 |

Decoupled planning for multiple omega-regular objectives
G. Avni, T.A. Henzinger, K. Mallik, S. Sadhukhan, K.S. Thejaswini, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 237–257.

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

Properties of black hole mergers in disks of active galactic nuclei
H. Tagawa, Z. Haiman, B. Kocsis, The Astrophysical Journal 1007 (2026).

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

CLOCK/BMAL1 interactome uncovers homeodomain factors as tissue regulators
F. Aygenli, L.A. Huschet, T. Popp, A. Ribeiro, D. Barkhatova, C. Jouffe, R. Trozzo, J.S. Menet, R. Rad, K.A. Dyar, M. Lech, T. Straub, A.K. Michael, M.S. Robles, Nature Cell Biology (2026).

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22718 |

A Nitsche method for incompressible fluids with general dynamic boundary conditions
P.A. Gazca-Orozco, F. Gmeineder, E. Maringová, T. Tscherpel, Mathematical Models and Methods in Applied Sciences (2026).

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

Exploiting mismatch strain and the β–α phase transition for microstructural engineering in thermoelectric Ag2Se
Y. Liu, T. Kleinhanns, M.C. Spadaro, A. Genç, S. Horta, N. Jakhar, T. Costanzo, E. Dutkiewicz, J. Arbiol, M. Hong, M. Ibáñez, ACS Energy Letters 11 (2026) 5752–5762.

[Published Version] View | Files available | DOI

Grazing-incidence scattering surveyed: Towards reference methods for alignment and calibration
A.F. Hörmann, D. Balazs, I. Breßler, S. Klokic, M. Moradi, E. Solano, A. Stellhorn, B.R. Pauw, Journal of Applied Crystallography 59 (2026) 1247–1253.

[Published Version] View | Files available | DOI

Incremental approximate maximum flow via residual graph sparsification
G. Goranci, M. Henzinger, H. Räcke, A.R. Sricharan, ACM Transactions on Algorithms 22 (2026).

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

Early fate diversification of radial glial progenitors during corticogenesis
I. Varela Martínez, A. Villalba Requena, J. García-Marqués, A. Aguilera, D.S. Castro, S. Hippenmeyer, M. Nieto, Science Advances 12 (2026) eadw5487.

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2026 | Published | Journal Article | IST-REx-ID: 22712 |

Single-cell analyses identify the ginseng embryonic protoderm as a native compartment for high-efficiency ginsenoside production
J. Liu, N. Zhai, S. Zhang, Y. Tamada, T. Li, L. Zhang, T. Chen, C. Wang, J. Yang, J. Gao, X. Li, J. Zhou, Y. Zhang, Y. Liu, Y. Wang, J. Friml, E. Benková, C. Li, L. Xu, L. Huang, Nature Communications 17 (2026).

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2026 | Published | Journal Article | IST-REx-ID: 22711 |

Designing effective single-molecule electromagnets with radially π-conjugated carbon structures
W. Shi, R. Korytár, F. Evers, J.D. Tovar, L. Venkataraman, Nature Communications 17 (2026).

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2026 | Research Data | IST-REx-ID: 22687 |

Data and scripts for: "Integrated solid/solution NMR assignment allows mapping dynamics and ligand binding in a 134 kDa enzyme"
P. Schanda, F. Napoli, (2026).

View | Files available | DOI

Multifold increase in spinal inhibitory cell types with emergence of limb movement
D. Vijatovic, F.A. Toma, Y. Ignatyev, Z.P. Harrington, C.M. Sommer, R. Hauschild, M.G. Smits, M. Dalla Vecchia, A.J. Trevisan, P. Chapman, M. Julseth, S. Brenner-Morton, M.I. Gabitto, J.S. Dasen, J.B. Bikoff, L.B. Sweeney, Cell Reports 45 (2026).

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2026 | Published | Thesis | PhD | IST-REx-ID: 22664 |

Towards efficient secure group messaging
M. Cueto Noval, Towards Efficient Secure Group Messaging, Institute of Science and Technology Austria, 2026.

[Published Version] View | Files available | DOI

2026 | Published | Thesis | PhD | IST-REx-ID: 22694 |

Equivariant K-theory of affine Grassmannians in representation theory and arithmetic
J. Löwit, Equivariant K-Theory of Affine Grassmannians in Representation Theory and Arithmetic, Institute of Science and Technology Austria, 2026.

[Published Version] View | Files available | DOI

Equivariant localizing invariants of simple varieties
J. Löwit, International Mathematics Research Notices 2026 (2026).

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

Equivariant K-theory, affine Grassmannian and perfection
J. Löwit, Documenta Mathematica (2026).

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

2026 | Published | Thesis | PhD | IST-REx-ID: 22684 |

Experimental probing of nanoscale charge features and surface morphology changes during tribocharging
F. Pertl, Experimental Probing of Nanoscale Charge Features and Surface Morphology Changes during Tribocharging, Institute of Science and Technology Austria, 2026.

[Published Version] View | Files available | DOI

2026 | Published | Thesis | PhD | IST-REx-ID: 22745

Mechanistic insights into MDA5 selectivity and regulation
D. Michalik, Mechanistic Insights into MDA5 Selectivity and Regulation, Institute of Science and Technology Austria, 2026.

[Published Version] View | Files available | DOI

ISTA Research Explorer

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

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

6640 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options