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.

11357 Publications


2025 | Published | Journal Article | IST-REx-ID: 21343 | OA | PlanS
Browning, Timothy D, and Stephanie Chan. “Solubility of a Resultant Equation and Applications.” Journal de l’ecole Polytechnique Mathematiques. Ecole polytechnique, 2025. https://doi.org/10.5802/jep.320.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Submitted | Preprint | IST-REx-ID: 21399 | OA
Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, 10.48550/arXiv.2512.07087.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21412 | OA
Chatterjee, Krishnendu, Jan Matyáš Křišťan, Stefan Schmid, Jakub Svoboda, and Michelle X Yeo. “Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection.” In 39th International Symposium on Distributed Computing, Vol. 356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/LIPIcs.DISC.2025.23.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21413 | OA | PlanS
Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt, Jan Kretinsky, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, and Mateusz Ujma. “Learning Algorithms for Verification of Markov Decision Processes.” TheoretiCS. TheoretiCS Foundation, 2025. https://doi.org/10.46298/theoretics.25.10.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 17037
Attia, Luc, Miquel Oliu-Barton, and Raimundo J Saona Urmeneta. “Marginal Values of a Stochastic Game.” Mathematics of Operations Research. Institute for Operations Research and the Management Sciences, 2025. https://doi.org/10.1287/moor.2023.0297.
View | Files available | DOI | WoS
 

2025 | Published | Journal Article | IST-REx-ID: 17094 | OA | PlanS
Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. “Information-Flow Interfaces.” Formal Methods in System Design. Springer Nature, 2025. https://doi.org/10.1007/s10703-024-00447-0.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 17149 | OA
Edelsbrunner, Herbert, and Anton Nikitenko. “Average and Expected Distortion of Voronoi Paths and Scapes.” Discrete & Computational Geometry. Springer Nature, 2025. https://doi.org/10.1007/s00454-024-00660-y.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 17240 | OA | PlanS
Lauritsen, Asbjørn Bækgaard. “Almost Optimal Upper Bound for the Ground State Energy of a Dilute Fermi Gas via Cluster Expansion.” Annales Henri Poincare. Springer Nature, 2025. https://doi.org/10.1007/s00023-024-01450-1.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 17293 | OA
Martín‐Belmonte, Alejandro, Carolina Aguado, Rocío Alfaro‐Ruiz, Akos Kulik, Luis de la Ossa, Ana Esther Moreno‐Martínez, Samuel Alberquilla, et al. “Nanoarchitecture of CaV>2.1 Channels and GABAB Receptors in the Mouse Hippocampus: Impact of APP/PS1 Pathology.” Brain Pathology. Wiley, 2025. https://doi.org/10.1111/bpa.13279.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 17459 | OA
Pan, Yi, Mathias Hochgerner, Malgorzata Anna Cichon, Theresa Benezeder, Thomas Bieber, and Peter Wolf. “Langerhans Cells: Central Players in the Pathophysiology of Atopic Dermatitis.” Journal of the European Academy of Dermatology and Venereology. Wiley, 2025. https://doi.org/10.1111/jdv.20291.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 17468 | OA | PlanS
Mondal, Soumyadip, Huyen T.K. Nguyen, Robert Hauschild, and Stefan Alexander Freunberger. “Marcus Kinetics Control Singlet and Triplet Oxygen Evolving from Superoxide.” Nature. Springer Nature, 2025. https://doi.org/10.1038/s41586-025-09587-7.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 8125 | OA
Podlaski, William F., Everton J. Agnes, and Tim P Vogels. “High Capacity and Dynamic Accessibility in Associative Memory Networks with Context-Dependent Neuronal and Synaptic Gating.” Physical Review X. American Physical Society, 2025. https://doi.org/10.1103/PhysRevX.15.011057.
[Published Version] View | Files available | DOI | WoS
 

2025 | Published | Journal Article | IST-REx-ID: 8616 | OA
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
Henzinger, Thomas A, Mahyar Karimi, and K. S. Thejaswini. “Privacy-Preserving Runtime Verification.” In Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2774–87. Association for Computing Machinery, 2025. https://doi.org/10.1145/3719027.3765137.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
Dvorak, Martin, Tristan Figueroa-Reid, Rida Hamadani, Byung-Hak Hwang, Evgenia Karunus, Vladimir Kolmogorov, Alexander Meiburg, et al. “Composition Direction of Seymour’s Theorem for Regular Matroids — Formally Verified.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2509.20539.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21432 | OA
Fender, Shannon S., Noah Schnitzer, Wuzhang Fang, Lopa Bhatt, Dingbin Huang, Amani Malik, Oscar Gonzalez, et al. “Unconventional Superlattice Ordering in Intercalated Transition Metal Dichalcogenide V1/3NbS2.” Journal of the American Chemical Society. American Chemical Society, 2025. https://doi.org/10.1021/jacs.5c07385.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21431 | OA
Sunko, Veronika, C. Liu, M. Vila, I. Na, Y. Tang, V. Kozii, S. M. Griffin, J. E. Moore, and J. Orenstein. “Linear Magnetoconductivity as a Probe of Time-Reversal Symmetry Breaking.” Physical Review B. American Physical Society, 2025. https://doi.org/10.1103/33ns-8gwj.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21433 | OA
Vila, Marc, Veronika Sunko, and Joel E. Moore. “Orbital-Spin Locking and Its Optical Signatures in Altermagnets.” Physical Review B. American Physical Society, 2025. https://doi.org/10.1103/bzzy-ngcs.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20755 | OA
Moon, Sooyeon, Julia Reisenbauer, Ann-Sophie K. Paschke, Alessandro Scotto, Luca Terraneo, Niklas Brenner, Quentin Lefebvre, Thomas C. Fessard, and Bill Morandi. “Efficient Optimization and Synthesis of Diverse Azaarenes via Nitrogen Atom Insertion under Continuous Flow Conditions.” Chemical Communications. Royal Society of Chemistry, 2025. https://doi.org/10.1039/d5cc03194j.
[Published Version] View | DOI | Download Published Version (ext.)
 

2025 | Submitted | Preprint | IST-REx-ID: 21435 | OA
Sun, Y., Y. Ahn, D. Sapkota, H. S. Arachchige, R. Xue, S. Mozaffari, D. G. Mandrus, L. Zhao, J. Orenstein, and Veronika Sunko. “Strain-Induced Multiferroicity in Cr1/3NbS2.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2510.11619.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed