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.

7604 Publications


2025 | Published | Journal Article | IST-REx-ID: 21271 | OA
On the spectral edge of non-Hermitian random matrices
A.J. Campbell, G. Cipolloni, L. Erdös, H.C. Ji, The Annals of Probability 53 (2025) 2256–2308.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21281 | OA
ε-stationary Nash equilibria in multi-player stochastic graph games
A. Asadi, L. Brice, K. Chatterjee, K.S. Thejaswini, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21321 | OA | PlanS
Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu 3SbSe 4
S. Xiao, M. Zhao, M. Li, S. Wan, A. Genç, L. Huang, L. Chen, Y. Zhang, M. Ibáñez, K.H. Lim, M. Hong, Y. Liu, A. Cabot, Nano Research 18 (2025).
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 21322 | OA
Genetic load, eco-evolutionary feedback, and extinction in metapopulations
O.O. Olusanya, K. Khudiakova, H. Sachdeva, The American Naturalist 205 (2025) 617–636.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 21343 | OA | PlanS
Solubility of a resultant equation and applications
T.D. Browning, S. Chan, Journal de l’ecole Polytechnique Mathematiques 12 (2025) 1677–1691.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21412 | OA
Boosting payment channel network liquidity with topology optimization and transaction selection
K. Chatterjee, J.M. Křišťan, S. Schmid, J. Svoboda, M.X. Yeo, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21413 | OA | PlanS
Learning algorithms for verification of Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (2025).
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 17094 | OA | PlanS
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design 66 (2025) 3–48.
[Published Version] View | Files available | DOI | WoS | arXiv
 

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

2025 | Published | Journal Article | IST-REx-ID: 17293 | OA
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
 

2025 | Published | Journal Article | IST-REx-ID: 17468 | OA | PlanS
Marcus kinetics control singlet and triplet oxygen evolving from superoxide
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, Nature 646 (2025) 601–605.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 8616 | OA
Reduction of neuronal activity mediated by blood-vessel regression in the brain
Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. 2025. Reduction of neuronal activity mediated by blood-vessel regression in the brain. Nature Communications. 16, 5840.
[Published Version] View | Files available | DOI | WoS
 

2025 | Published | Conference Paper | IST-REx-ID: 21020 | OA
Privacy-preserving runtime verification
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
Composition direction of Seymour's theorem for regular matroids — Formally verified
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Research Data | IST-REx-ID: 20842 | OA
Research Data for: 'One-milligram torsional pendulum toward experiments at the quantum-gravity interface'
S. Agafonova, (2025).
View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 17884 | OA
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
 

2025 | Published | Journal Article | IST-REx-ID: 18892 | OA | PlanS
Altruistic disease signalling in ant colonies
E. Dawson, M. Hönigsberger, N. Kampleitner, A.V. Grasse, L. Lindorfer, J. Robb, F. Beikzadeh, F. Strahodinsky, H. Leitner, H. Rajendran, T. Schmitt, S. Cremer, Nature Communications 16 (2025).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2025 | Research Data | IST-REx-ID: 20471 | OA
Altruistic disease signalling in ant colonies
S. Cremer, (2025).
View | Files available | DOI
 

2025 | Draft | Preprint | IST-REx-ID: 21427 | OA
Substrate heterogeneity promotes cancer cell dissemination through interface roughening
Z. Dunajova, S. Tasciyan, J. Majek, J. Merrin, E. Sahai, M.K. Sixt, E.B. Hannezo, (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2025 | Published | Thesis | PhD | IST-REx-ID: 19431 | OA
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
 

Filters and Search Terms

supervisor%3D3FA14672-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications

Display / Sort

Export / Embed