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.
12274 Publications
2025 |
Research Data Reference |
IST-REx-ID: 21668 |
Benchmark data for the revised practitioner's guide to MDP model checking algorithms
A. Hartmanns, S. Junges, T. Quatmann, M. Weininger, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Hartmanns, S. Junges, T. Quatmann, M. Weininger, (2025).
2025 |
Submitted |
Preprint |
IST-REx-ID: 21693 |
Universal programmable and self-configuring optical filter
D.A.B. Miller, C. Roques-Carmes, C.G. Valdez, A.R. Kroo, M. Vlk, S. Fan, O. Solgaard, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.A.B. Miller, C. Roques-Carmes, C.G. Valdez, A.R. Kroo, M. Vlk, S. Fan, O. Solgaard, ArXiv (n.d.).
2025 |
Submitted |
Preprint |
IST-REx-ID: 21694 |
Nanophotonic thermal management in X-ray tubes
S. Pajovic, C. Roques-Carmes, S. Choi, S.E. Kooi, R. Gupta, M.E. Zalis, I. Čelanović, M. Soljačić, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Pajovic, C. Roques-Carmes, S. Choi, S.E. Kooi, R. Gupta, M.E. Zalis, I. Čelanović, M. Soljačić, ArXiv (n.d.).
2025 |
Submitted |
Preprint |
IST-REx-ID: 21695 |
Quantum sensing of electron beams using solid-state spins
J.M. Grzesik, D. Catanzaro, C. Roques-Carmes, E.I. Rosenthal, G.L. van de Stolpe, A. Karnieli, G. Scuri, S. Biswas, K.J. Leedle, D.S. Black, R.L. Byer, I. Kaminer, R.J. England, S. Fan, O. Solgaard, J. Vučković, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.M. Grzesik, D. Catanzaro, C. Roques-Carmes, E.I. Rosenthal, G.L. van de Stolpe, A. Karnieli, G. Scuri, S. Biswas, K.J. Leedle, D.S. Black, R.L. Byer, I. Kaminer, R.J. England, S. Fan, O. Solgaard, J. Vučković, ArXiv (n.d.).
2025 |
Submitted |
Preprint |
IST-REx-ID: 21696 |
Programmable optical filters based on feed-forward photonic meshes
C.G. Valdez, A.R. Kroo, M. Vlk, C. Roques-Carmes, S. Fan, D.A.B. Miller, O. Solgaard, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
C.G. Valdez, A.R. Kroo, M. Vlk, C. Roques-Carmes, S. Fan, D.A.B. Miller, O. Solgaard, ArXiv (n.d.).
2025 |
Submitted |
Preprint |
IST-REx-ID: 21697 |
Variational processing of multimode squeezed light
A. Karnieli, P.-A. Mor, C. Roques-Carmes, E. Lustig, J. Sloan, J. Vučković, D.A.B. Miller, S. Fan, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Karnieli, P.-A. Mor, C. Roques-Carmes, E. Lustig, J. Sloan, J. Vučković, D.A.B. Miller, S. Fan, ArXiv (n.d.).
2025 |
Published |
Journal Article |
IST-REx-ID: 21706 |
| 
|
Resolution of the quadratic Littlewood–Offord problem
M.A. Kwan, L. Sauermann, Compositio Mathematica 161 (2025) 3089–3139.
[Published Version]
View
| Files available
| DOI
| arXiv
M.A. Kwan, L. Sauermann, Compositio Mathematica 161 (2025) 3089–3139.
2025 |
Published |
Journal Article |
IST-REx-ID: 21724 |
|
|
The effect of intrinsic alignments on weak-lensing statistics in hydrodynamical simulations
M.E. Lee, Z. Haiman, S. Pandey, S. Genel, The Astrophysical Journal 996 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
M.E. Lee, Z. Haiman, S. Pandey, S. Genel, The Astrophysical Journal 996 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 21727 |
|
|
Deciphering the nature of Virgil: An obscured active galactic nucleus lurking within an apparently normal Lyα emitter during cosmic reionization
Rinaldi P, Pérez-González PG, Rieke GH, Lyu J, D’Eugenio F, Wu Z, Carniani S, Looser TJ, Shivaei I, Boogaard LA, Diaz-Santos T, Colina L, Östlin G, Alberts S, Álvarez-Márquez J, Annuziatella M, Aravena M, Bhatawdekar R, Bunker AJ, Caputi KI, Charlot S, Crespo Gómez A, Curti M, Eckart A, Gillman S, Hainline K, Kumari N, Hjorth J, Iani E, Inami H, Ji Z, Johnson BD, Jones GC, Labiano Á, Maiolino R, Melinder J, Moutard T, Peissker F, Rieke M, Robertson B, Scholtz J, Tacchella S, Van Der Werf PP, Walter F, Williams CC, Willott C, Witstok J, Übler H, Zhu Y. 2025. Deciphering the nature of Virgil: An obscured active galactic nucleus lurking within an apparently normal Lyα emitter during cosmic reionization. The Astrophysical Journal. 994(1), 86.
[Published Version]
View
| Files available
| DOI
Rinaldi P, Pérez-González PG, Rieke GH, Lyu J, D’Eugenio F, Wu Z, Carniani S, Looser TJ, Shivaei I, Boogaard LA, Diaz-Santos T, Colina L, Östlin G, Alberts S, Álvarez-Márquez J, Annuziatella M, Aravena M, Bhatawdekar R, Bunker AJ, Caputi KI, Charlot S, Crespo Gómez A, Curti M, Eckart A, Gillman S, Hainline K, Kumari N, Hjorth J, Iani E, Inami H, Ji Z, Johnson BD, Jones GC, Labiano Á, Maiolino R, Melinder J, Moutard T, Peissker F, Rieke M, Robertson B, Scholtz J, Tacchella S, Van Der Werf PP, Walter F, Williams CC, Willott C, Witstok J, Übler H, Zhu Y. 2025. Deciphering the nature of Virgil: An obscured active galactic nucleus lurking within an apparently normal Lyα emitter during cosmic reionization. The Astrophysical Journal. 994(1), 86.
2025 |
Published |
Conference Paper |
IST-REx-ID: 21885
Neural Certificates
T.A. Henzinger, in:, Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, 2025.
View
| DOI
T.A. Henzinger, in:, Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 21912 |
Snapshots of acyl carrier protein shuttling in human fatty acid synthase
K. Schultz, P. Costa-Pinheiro, L. Gardner, L.V. Pinheiro, J. Ramirez-Solis, S.M. Gardner, K.E. Wellen, R. Marmorstein, Nature 641 (2025) 520–528.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
K. Schultz, P. Costa-Pinheiro, L. Gardner, L.V. Pinheiro, J. Ramirez-Solis, S.M. Gardner, K.E. Wellen, R. Marmorstein, Nature 641 (2025) 520–528.
2025 |
Submitted |
Preprint |
IST-REx-ID: 21920 |
Innovations in spinal cord cell type heterogeneity across vertebrate evolution
Y. Ignatyev, S. Papadopoulos, M. Soretić, J. Yeung, T.-Y. Lin, E.M. Tanaka, L. Peshkin, A.J. Levine, M.I. Gabitto, L.B. Sweeney, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
Y. Ignatyev, S. Papadopoulos, M. Soretić, J. Yeung, T.-Y. Lin, E.M. Tanaka, L. Peshkin, A.J. Levine, M.I. Gabitto, L.B. Sweeney, BioRxiv (n.d.).
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: 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: 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: 17094 |
|
|
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
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design 66 (2025) 3–48.
2025 |
Published |
Journal Article |
IST-REx-ID: 18478 |
On the chromatic number of powers of subdivisions of graphs
M. Anastos, S. Boyadzhiyska, S. Rathke, J. Rué, Discrete Applied Mathematics 360 (2025) 506–511.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Anastos, S. Boyadzhiyska, S. Rathke, J. Rué, Discrete Applied Mathematics 360 (2025) 506–511.
2025 |
Published |
Journal Article |
IST-REx-ID: 18529
Limitation of time promotes cooperation in structured collaboration systems
Y. Zhang, J. Wang, G. Wen, J. Guan, S. Zhou, G. Chen, K. Chatterjee, M. Perc, IEEE Transactions on Network Science and Engineering 12 (2025) 4–12.
View
| DOI
| WoS
Y. Zhang, J. Wang, G. Wen, J. Guan, S. Zhou, G. Chen, K. Chatterjee, M. Perc, IEEE Transactions on Network Science and Engineering 12 (2025) 4–12.
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: 18580 |
Morse predecomposition of an invariant set
M. Lipiński, K. Mischaikow, M. Mrozek, Qualitative Theory of Dynamical Systems 24 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Lipiński, K. Mischaikow, M. Mrozek, Qualitative Theory of Dynamical Systems 24 (2025).