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.

6617 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

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

2025 | Draft | Preprint | IST-REx-ID: 21427 |

Substrate heterogeneity promotes cancer cell dissemination through interface roughening
Z. Dunajova, S. Tasciyan, J. Majek, J. Merrin, E. Sahai, M.K. Sixt, E.B. Hannezo, (n.d.).

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

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

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

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.)

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

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

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

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

Birch’s theorem on forms in many variables with a Hessian condition
S. Yamagishi, Acta Arithmetica 221 (2025) 141–151.

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

2025 | Draft | Preprint | IST-REx-ID: 21858 |

Position: It's time to act on the risk of efficient personalized text generation
E.B. Iofinova, A. Jovanovic, D.-A. Alistarh, ArXiv (n.d.).

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

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

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.)

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 14278 |

Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse
I. Koval, Inventiones Mathematicae (2025).

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

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

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

Adeno-associated viral tools to trace neural development and connectivity across amphibians
Jaeger ECB, Vijatovic D, Deryckere A, Zorin N, Nguyen AL, Ivanian G, Woych J, Arnold RC, Ortega Gurrola A, Shvartsman A, Barbieri F, Toma F-A, Gorbsky GJ, Horb ME, Cline HT, Shay TF, Kelley DB, Yamaguchi A, Shein-Idelson M, Tosches MA, Sweeney LB. 2025. Adeno-associated viral tools to trace neural development and connectivity across amphibians. Developmental Cell. 60(5), 794–812.e6.

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.

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

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

Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.

View | Files available | DOI | WoS

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

Institute of Science and Technology Austria (ISTA)

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

6617 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).

6617 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options