ISTA Research Explorer

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.

6936 Publications

2025 | Published | Conference Paper | IST-REx-ID: 21885

Henzinger, Thomas A. “Neural Certificates.” Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, 2025, doi:10.1109/SYNASC69064.2025.00008.

View | DOI

2025 | Submitted | Preprint | IST-REx-ID: 21920 |

Ignatyev, Yuri, et al. “Innovations in Spinal Cord Cell Type Heterogeneity across Vertebrate Evolution.” BioRxiv, doi:10.1101/2025.10.09.680955.

[Preprint] View | DOI | Download Preprint (ext.)

2025 | Published | Journal Article | IST-REx-ID: 14647 |

Bose, Mahima, et al. “Dual Role of FOXG1 in Regulating Gliogenesis in the Developing Neocortex via the FGF Signalling Pathway.” ELife, vol. 13, 101851, eLife Sciences Publications, 2025, doi:10.7554/elife.101851.3.

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2025 | Published | Journal Article | IST-REx-ID: 15128 |

Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.” Annales de l’institut Henri Poincare (B) Probability and Statistics, vol. 61, no. 1, Institute of Mathematical Statistics, 2025, pp. 129–54, doi:10.1214/23-AIHP1438.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2025 | Published | Journal Article | IST-REx-ID: 18478 |

Anastos, Michael, et al. “On the Chromatic Number of Powers of Subdivisions of Graphs.” Discrete Applied Mathematics, vol. 360, Elsevier, 2025, pp. 506–11, doi:10.1016/j.dam.2024.10.002.

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Published | Journal Article | IST-REx-ID: 18529

Zhang, Yichao, et al. “Limitation of Time Promotes Cooperation in Structured Collaboration Systems.” IEEE Transactions on Network Science and Engineering, vol. 12, no. 1, IEEE, 2025, pp. 4–12, doi:10.1109/TNSE.2024.3481434.

View | DOI | WoS

2025 | Published | Journal Article | IST-REx-ID: 18580 |

Lipiński, Michał, et al. “Morse Predecomposition of an Invariant Set.” Qualitative Theory of Dynamical Systems, vol. 24, no. 1, 5, Springer Nature, 2025, doi:10.1007/s12346-024-01144-3.

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Published | Journal Article | IST-REx-ID: 18626 |

Edelsbrunner, Herbert, et al. “Order-2 Delaunay Triangulations Optimize Angles.” Advances in Mathematics, vol. 461, 110055, Elsevier, 2025, doi:10.1016/j.aim.2024.110055.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2025 | Published | Journal Article | IST-REx-ID: 18632 |

Dello Schiavo, Lorenzo, et al. “Polyharmonic Fields and Liouville Quantum Gravity Measures on Tori of Arbitrary Dimension: From Discrete to Continuous.” Mathematische Nachrichten, vol. 298, no. 1, Wiley, 2025, pp. 244–81, doi:10.1002/mana.202400169.

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Research Data | IST-REx-ID: 18697 |

Danzl, Johann G., et al. Light-Microscopy Based Connectomic Reconstruction of Mammalian Brain Tissue. Institute of Science and Technology Austria, 2025, doi:10.15479/AT:ISTA:18697.

[Published Version] View | Files available | DOI

2025 | Research Data | IST-REx-ID: 18712 |

Surendranadh, Parvathy, and Himani Sachdeva. Mathematica Notebook and Fortran Code for “Effect of Assortative Mating and Sexual Selection on Polygenic Barriers to Gene Flow.” Institute of Science and Technology Austria, 2025, doi:10.15479/AT:ISTA:17344.

[Published Version] View | Files available | DOI

2025 | Published | Book Chapter | IST-REx-ID: 18765

Cheung, Giselle T., et al. “Probing Cell-Type Specificity of Mutant Phenotype at Transcriptomic Level Using Mosaic Analysis with Double Markers (MADM).” Lineage Tracing, edited by Jorge Garcia-Marques and Tzumin Lee, vol. 2886, Springer Nature, 2025, pp. 139–51, doi:10.1007/978-1-0716-4310-5_7.

View | DOI | PubMed | Europe PMC

2025 | Published | Journal Article | IST-REx-ID: 18778 |

Tluckova, Katarina, et al. “Mechanism of Mammalian Transcriptional Repression by Noncoding RNA.” Nature Structural & Molecular Biology, vol. 32, Springer Nature, 2025, pp. 607–12, doi:10.1038/s41594-024-01448-7.

2025 | Published | Journal Article | IST-REx-ID: 18821 |

Brauneis, Fabian, et al. “Comparison of Renormalized Interactions Using One-Dimensional Few-Body Systems as a Testbed.” Physical Review A, vol. 111, no. 1, 013303, American Physical Society, 2025, doi:10.1103/PhysRevA.111.013303.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2025 | Published | Journal Article | IST-REx-ID: 18823 |

Cao, Dechang, and Joke G. De Jaeger-Braet. “Memory of Maternal Temperatures: DNA Methylation Alterations across Generations.” Plant Physiology, vol. 197, no. 1, kiae651, Oxford University Press, 2025, doi:10.1093/plphys/kiae651.

2025 | Research Data | IST-REx-ID: 18837 |

Danzl, Johann G., and Caroline Kreuzinger. Research Data for the Publication “Super-Resolution Expansion Microscopy in Plant Roots.” Institute of Science and Technology Austria, 2025, doi:10.15479/AT:ISTA:18837.

[Published Version] View | Files available | DOI

2025 | Published | Journal Article | IST-REx-ID: 18848 |

Ocampo, Rodrigo Fregoso, et al. “DNA Targeting by Compact Cas9d and Its Resurrected Ancestor.” Nature Communications, vol. 16, 457, Springer Nature, 2025, doi:10.1038/s41467-024-55573-4.

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2025 | Published | Journal Article | IST-REx-ID: 18849 |

Sokolowski, Thomas R., et al. “Deriving a Genetic Regulatory Network from an Optimization Principle.” Proceedings of the National Academy of Sciences, vol. 122, no. 1, e2402925121, National Academy of Sciences, 2025, doi:10.1073/pnas.2402925121.

2025 | Published | Journal Article | IST-REx-ID: 18850 |

Perkins, Mindy Liu, et al. “Chromatin Enables Precise and Scalable Gene Regulation with Factors of Limited Specificity.” Proceedings of the National Academy of Sciences, vol. 122, no. 1, e2411887121, National Academy of Sciences, 2025, doi:10.1073/pnas.2411887121.

2025 | Published | Journal Article | IST-REx-ID: 18851 |

Rodriguez AC, El-Badry K, Suleimanov V, Pala AF, Kulkarni SR, Gaensicke B, Mori K, Rich RM, Sarkar A, Bao T, De Oliveira RL, Ramsay G, Szkody P, Graham M, Prince TA, Caiazzo I, Vanderbosch ZP, Roestel JV, Das KK, Qin YJ, Kasliwal MM, Wold A, Groom SL, Reiley D, Riddle R. 2025. Cataclysmic variables and AM CVn binaries in SRG/eROSITA + Gaia: Volume limited samples, X-ray luminosity functions, and space densities. Publications of the Astronomical Society of the Pacific. 137(1), 014201.

[Published Version] View | Files available | DOI | WoS | arXiv

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6936 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6936 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options