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.

6825 Publications


2026 | Published | Conference Paper | IST-REx-ID: 22717 | OA
Brice, Leonard J, Thomas A Henzinger, Alipasha Montaseri, Ali Shafiee, and K. S. Thejaswini. “Randomise Alone, Reach as a Team.” In 38th International Conference on Computer Aided Verification, 16682:215–36. Springer Nature, 2026. https://doi.org/10.1007/978-3-032-32519-8_12.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 22722 | OA
Bojan, Meital I, Sanketh Vedula, Sai A Maddipatla, Nadav E Sellam, Anar Rzayev, Federico Napoli, Paul Schanda, and Alex M. Bronstein. “Representing Local Protein Environments with Machine Learning Force Fields.” In 14th International Conference on Learning Representations, 2026:100760–99, 2026.
[Published Version] View | Files available | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 22719 | OA
Avni, Guy, Thomas A Henzinger, Kaushik Mallik, Suman Sadhukhan, and K. S. Thejaswini. “Decoupled Planning for Multiple Omega-Regular Objectives.” In 38th International Conference on Computer Aided Verification, 16682:237–57. Springer Nature, 2026. https://doi.org/10.1007/978-3-032-32519-8_13.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 22713 | OA | PlanS
Tagawa, Hiromichi, Zoltán Haiman, and Bence Kocsis. “Properties of Black Hole Mergers in Disks of Active Galactic Nuclei.” The Astrophysical Journal. IOP Publishing, 2026. https://doi.org/10.3847/1538-4357/ae8760.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22720 | OA | PlanS
Aygenli, Fatih, Lukas A. Huschet, Tanja Popp, Andrea Ribeiro, Darina Barkhatova, Céline Jouffe, Ricardo Trozzo, et al. “CLOCK/BMAL1 Interactome Uncovers Homeodomain Factors as Tissue Regulators.” Nature Cell Biology. Springer Nature, 2026. https://doi.org/10.1038/s41556-026-02041-4.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22718 | OA
Gazca-Orozco, Pablo Alexei, Franz Gmeineder, Erika Maringová, and Tabea Tscherpel. “A Nitsche Method for Incompressible Fluids with General Dynamic Boundary Conditions.” Mathematical Models and Methods in Applied Sciences. World Scientific Publishing, 2026. https://doi.org/10.1142/S0218202526500508.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 22734 | OA | PlanS
Liu, Yu, Tobias Kleinhanns, Maria Chiara Spadaro, Aziz Genç, Sharona Horta, Navita Jakhar, Tommaso Costanzo, et al. “Exploiting Mismatch Strain and the β–α Phase Transition for Microstructural Engineering in Thermoelectric Ag2Se.” ACS Energy Letters. American Chemical Society, 2026. https://doi.org/10.1021/acsenergylett.6c01499.
[Published Version] View | Files available | DOI
 

2026 | Published | Journal Article | IST-REx-ID: 22715 | OA | PlanS
Hörmann, Anja F., Daniel Balazs, Ingo Breßler, Sumea Klokic, Melika Moradi, Eduardo Solano, Annika Stellhorn, and Brian R. Pauw. “Grazing-Incidence Scattering Surveyed: Towards Reference Methods for Alignment and Calibration.” Journal of Applied Crystallography. International Union of Crystallography, 2026. https://doi.org/10.1107/S1600576726005741.
[Published Version] View | Files available | DOI
 

2026 | Published | Journal Article | IST-REx-ID: 22716 | OA | PlanS
Goranci, Gramoz, Monika Henzinger, Harald Räcke, and A. R. Sricharan. “Incremental Approximate Maximum Flow via Residual Graph Sparsification.” ACM Transactions on Algorithms. ACM, 2026. https://doi.org/10.1145/3816252.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 22714 | OA | PlanS
Varela Martínez, Irene, Ana Villalba Requena, Jorge García-Marqués, Alfonso Aguilera, Diogo S. Castro, Simon Hippenmeyer, and Marta Nieto. “Early Fate Diversification of Radial Glial Progenitors during Corticogenesis.” Science Advances. AAAS, 2026. https://doi.org/10.1126/sciadv.adw5487.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2026 | Published | Journal Article | IST-REx-ID: 22712 | OA
Liu, Juan, Ning Zhai, Shiyi Zhang, Yosuke Tamada, Tonghui Li, Linfan Zhang, Tong Chen, et al. “Single-Cell Analyses Identify the Ginseng Embryonic Protoderm as a Native Compartment for High-Efficiency Ginsenoside Production.” Nature Communications. Springer Nature, 2026. https://doi.org/10.1038/s41467-026-74881-5.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2026 | Research Data | IST-REx-ID: 22687 | OA
Schanda, Paul, and Federico Napoli. “Data and Scripts for: ‘Integrated Solid/Solution NMR Assignment Allows Mapping Dynamics and Ligand Binding in a 134 KDa Enzyme.’” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22687.
View | Files available | DOI
 

2026 | Published | Thesis | PhD | IST-REx-ID: 22694 | OA
Löwit, Jakub. “Equivariant K-Theory of Affine Grassmannians in Representation Theory and Arithmetic.” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-22694.
[Published Version] View | Files available | DOI
 

2026 | Published | Journal Article | IST-REx-ID: 21751 | OA | PlanS
Löwit, Jakub. “Equivariant Localizing Invariants of Simple Varieties.” International Mathematics Research Notices. Oxford University Press, 2026. https://doi.org/10.1093/imrn/rnag058.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22693 | OA | PlanS
Löwit, Jakub. “Equivariant K-Theory, Affine Grassmannian and Perfection.” Documenta Mathematica. EMS Press, 2026. https://doi.org/10.4171/dm/1064.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 21762
Springstein, Benjamin L, Manjunath Javoor, Daniela Megrian, Roman Hajdu, Dustin M. Hanke, Bettina Zens, Gregor L. Weiss, Florian KM Schur, and Martin Loose. “Repurposing of a DNA Segregation Machinery into a Cytoskeletal System Controlling Cell Shape.” Science. AAAS, 2026. https://doi.org/10.1126/science.aea6343.
View | Files available | DOI | PubMed | Europe PMC
 

2026 | Published | Journal Article | IST-REx-ID: 22751 | OA | PlanS
Naidu RP, Matthee JJ, Katz H, De Graaff A, Oesch PA, Smith A, Greene JE, Brammer G, Weibel A, Hviding R, Chisholm J, Labbé I, Simcoe RA, Witten C, Sun WQ, Atek H, Baggen JFW, Belli S, Bezanson R, Boogaard LA, Bose S, Bouwens RJ, Covelo-Paz A, Dayal P, Fudamoto Y, Furtak LJ, Giovinazzo E, Goulding A, Gronke M, Heintz KE, Hirschmann M, Illingworth G, Inoue AK, Johnson BD, Leja J, Leonova E, Mcconachie I, Maseda MV, Natarajan P, Nelson E, Setton DJ, Shivaei I, Sobral D, Stefanon M, Tacchella S, Toft S, Torralba Torregrosa A, Van Dokkum P, Van Der Wel A, Volonteri M, Walter F, Wang B, Watson D, Whitaker K. 2026. A gas-enshrouded and gas-reddened black hole at cosmic dawn. Nature. 656(8127), 329–333.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2026 | Published | Journal Article | IST-REx-ID: 22750 | OA
Zhao, Ziyu, Irene Vercellino, Julian P. Whitelegge, Karim Maghlaoui, Wojciech Białek, Peter J. Nixon, and Leonid A Sazanov. “Cryo-EM Structures of Naturally Occurring Dimeric Photosystem II Complexes Lacking the Mn4CaO5 Cluster.” Nature Communications. Springer Nature, 2026. https://doi.org/10.1038/s41467-026-75324-x.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2026 | Published | Journal Article | IST-REx-ID: 22752 | OA | PlanS
Anastos, Michael, Joshua Erde, Mihyun Kang, and Vincent Pfenninger. “A Short Proof of a Central Limit Theorem for the Order of the Giant Component and K-Core.” Bulletin of the London Mathematical Society. Wiley, 2026. https://doi.org/10.1112/blms.70464.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 22754 | OA
Henzinger, Thomas A, Nicolas Adrien Mazzocchi, Naci E Sarac, and Harun Yılmaz. “Extending QuAK with Nested Quantitative Automata.” In 38th International Conference on Computer Aided Verification, 16683:418–32. Springer Nature, 2026. https://doi.org/10.1007/978-3-032-32526-6_20.
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed