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.
6558 Publications
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).
2025 |
Published |
Journal Article |
IST-REx-ID: 18619 |
Structural insights into brassinosteroid export mediated by the Arabidopsis ABC transporter ABCB1
H. Wei, H. Zhu, W. Ying, H. Janssens, M. Kvasnica, J. Winne, Y. Gao, J. Friml, Q. Ma, S. Tan, X. Liu, E. Russinova, L. Sun, Plant Communications 6 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Wei, H. Zhu, W. Ying, H. Janssens, M. Kvasnica, J. Winne, Y. Gao, J. Friml, Q. Ma, S. Tan, X. Liu, E. Russinova, L. Sun, Plant Communications 6 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 18626 |
Order-2 Delaunay triangulations optimize angles
H. Edelsbrunner, A. Garber, M. Saghafian, Advances in Mathematics 461 (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Edelsbrunner, A. Garber, M. Saghafian, Advances in Mathematics 461 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 18631 |
Efficient formation of a massive quiescent galaxy at redshift 4.9
De Graaff A, Setton DJ, Brammer G, Cutler S, Suess KA, Labbé I, Leja J, Weibel A, Maseda MV, Whitaker KE, Bezanson R, Boogaard LA, Cleri NJ, De Lucia G, Franx M, Greene JE, Hirschmann M, Matthee JJ, Mcconachie I, Naidu RP, Oesch PA, Price SH, Rix HW, Valentino F, Wang B, Williams CC. 2025. Efficient formation of a massive quiescent galaxy at redshift 4.9. Nature Astronomy. 9, 280–292.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
De Graaff A, Setton DJ, Brammer G, Cutler S, Suess KA, Labbé I, Leja J, Weibel A, Maseda MV, Whitaker KE, Bezanson R, Boogaard LA, Cleri NJ, De Lucia G, Franx M, Greene JE, Hirschmann M, Matthee JJ, Mcconachie I, Naidu RP, Oesch PA, Price SH, Rix HW, Valentino F, Wang B, Williams CC. 2025. Efficient formation of a massive quiescent galaxy at redshift 4.9. Nature Astronomy. 9, 280–292.
2025 |
Published |
Journal Article |
IST-REx-ID: 18632 |
Polyharmonic fields and Liouville quantum gravity measures on tori of arbitrary dimension: From discrete to continuous
L. Dello Schiavo, R. Herry, E. Kopfer, K.T. Sturm, Mathematische Nachrichten 298 (2025) 244–281.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Dello Schiavo, R. Herry, E. Kopfer, K.T. Sturm, Mathematische Nachrichten 298 (2025) 244–281.
2025 |
Research Data |
IST-REx-ID: 18697 |
Light-microscopy based connectomic reconstruction of mammalian brain tissue
J.G. Danzl, J. Lyudchik, C. Kreuzinger, (2025).
[Published Version]
View
| Files available
| DOI
J.G. Danzl, J. Lyudchik, C. Kreuzinger, (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 18701
In-situ engineered highly-crystalline Polythiophene empowered electrochemical capacitor-II: Anomalous electrochemical charge storage behavior of Polythiophene-rGO composite
N. Mahato, S. Singh, T.V.M. Sreekanth, K. Yoo, J. Kim, Materials Letters 382 (2025).
View
| DOI
| WoS
N. Mahato, S. Singh, T.V.M. Sreekanth, K. Yoo, J. Kim, Materials Letters 382 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 18707
Influence of surface engineering on the transport properties of lead sulfide nanomaterials
H. Shu, M. Zhao, S. Lu, S. Wan, A. Genç, L. Huang, M. Ibáñez, K.H. Lim, M. Hong, Y. Liu, Journal of Colloid and Interface Science 683 (2025) 703–712.
View
| DOI
| WoS
| PubMed | Europe PMC
H. Shu, M. Zhao, S. Lu, S. Wan, A. Genç, L. Huang, M. Ibáñez, K.H. Lim, M. Hong, Y. Liu, Journal of Colloid and Interface Science 683 (2025) 703–712.
2025 |
Published |
Journal Article |
IST-REx-ID: 18710 |
Ab initio Auger spectrum of the ultrafast dissociating 2p3/2−1σ* resonance in HCl
M. Hrast, M. Ljubotina, M. Zitnik, Physical Chemistry Chemical Physics 27 (2025) 1473–1482.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Hrast, M. Ljubotina, M. Zitnik, Physical Chemistry Chemical Physics 27 (2025) 1473–1482.
2025 |
Research Data |
IST-REx-ID: 18712 |
Mathematica notebook and Fortran code for 'Effect of assortative mating and sexual selection on polygenic barriers to gene flow'
P. Surendranadh, H. Sachdeva, (2025).
[Published Version]
View
| Files available
| DOI
P. Surendranadh, H. Sachdeva, (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 18753 |
On heroes in digraphs with forbidden induced forests
A. Carbonero, H. Koerts, B. Moore, S. Spirkl, European Journal of Combinatorics 125 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Carbonero, H. Koerts, B. Moore, S. Spirkl, European Journal of Combinatorics 125 (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 18754 |
DNA methylation-based predictors of metabolic traits in Scottish and Singaporean cohorts
Smith HM, Ng HK, Moodie JE, Gadd DA, Mccartney DL, Bernabeu E, Campbell A, Redmond P, Taylor A, Page D, Corley J, Harris SE, Tay D, Deary IJ, Evans KL, Robinson MR, Chambers JC, Loh M, Cox SR, Marioni RE, Hillary RF. 2025. DNA methylation-based predictors of metabolic traits in Scottish and Singaporean cohorts. American Journal of Human Genetics. 112(1), 106–115.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Smith HM, Ng HK, Moodie JE, Gadd DA, Mccartney DL, Bernabeu E, Campbell A, Redmond P, Taylor A, Page D, Corley J, Harris SE, Tay D, Deary IJ, Evans KL, Robinson MR, Chambers JC, Loh M, Cox SR, Marioni RE, Hillary RF. 2025. DNA methylation-based predictors of metabolic traits in Scottish and Singaporean cohorts. American Journal of Human Genetics. 112(1), 106–115.
2025 |
Published |
Book Chapter |
IST-REx-ID: 18765
Probing Cell-Type Specificity of Mutant Phenotype at Transcriptomic Level Using Mosaic Analysis with Double Markers (MADM)
G.T. Cheung, F. Pauler, S. Hippenmeyer, in:, J. Garcia-Marques, T. Lee (Eds.), Lineage Tracing, Springer Nature, New York, NY, 2025, pp. 139–151.
View
| DOI
| PubMed | Europe PMC
G.T. Cheung, F. Pauler, S. Hippenmeyer, in:, J. Garcia-Marques, T. Lee (Eds.), Lineage Tracing, Springer Nature, New York, NY, 2025, pp. 139–151.
2025 |
Published |
Journal Article |
IST-REx-ID: 18778 |
Mechanism of mammalian transcriptional repression by noncoding RNA
K. Tluckova, B.M. Kaczmarek, A.P. Testa Salmazo, C. Bernecky, Nature Structural & Molecular Biology 32 (2025) 607–612.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
K. Tluckova, B.M. Kaczmarek, A.P. Testa Salmazo, C. Bernecky, Nature Structural & Molecular Biology 32 (2025) 607–612.