Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6452 Publications
2025 |
Published |
Conference Paper |
IST-REx-ID: 21412 |
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
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.
2025 |
Published |
Journal Article |
IST-REx-ID: 21413 |
| 
|
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
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (2025).
2025 |
Submitted |
Preprint |
IST-REx-ID: 21435 |
Strain-induced multiferroicity in Cr1/3NbS2
Y. Sun, Y. Ahn, D. Sapkota, H.S. Arachchige, R. Xue, S. Mozaffari, D.G. Mandrus, L. Zhao, J. Orenstein, V. Sunko, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Sun, Y. Ahn, D. Sapkota, H.S. Arachchige, R. Xue, S. Mozaffari, D.G. Mandrus, L. Zhao, J. Orenstein, V. Sunko, ArXiv (n.d.).
2025 |
Published |
Conference Paper |
IST-REx-ID: 21474 |
3DPR: Single image 3D portrait relighting with generative priors
P. Rao, A. Meka, X. Zhou, G. Fox, B.R. Mallikarjun, F. Zhan, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, T. Beeler, M. Elgharib, M. Habermann, C. Theobalt, in:, Proceedings SIGGRAPH Asia 2025 Conference Papers 2025, Association for Computing Machinery, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
P. Rao, A. Meka, X. Zhou, G. Fox, B.R. Mallikarjun, F. Zhan, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, T. Beeler, M. Elgharib, M. Habermann, C. Theobalt, in:, Proceedings SIGGRAPH Asia 2025 Conference Papers 2025, Association for Computing Machinery, 2025.
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 |
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 |
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: 17149 |
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
H. Edelsbrunner, A. Nikitenko, Discrete & Computational Geometry 73 (2025) 490–499.
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).
2025 |
Published |
Journal Article |
IST-REx-ID: 18605 |
Moist convective scaling: Insights from an idealised model
L.N. Agasthya, C.J. Muller, M. Cheve, Quarterly Journal of the Royal Meteorological Society 151 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
L.N. Agasthya, C.J. Muller, M. Cheve, Quarterly Journal of the Royal Meteorological Society 151 (2025).