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.
5442 Publications
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19012 |

Stirring the false vacuum via interacting quantized bubbles on a 5,564-qubit quantum annealer
J. Vodeb, J.-Y.M. Desaules, A. Hallam, A. Rava, G. Humar, D. Willsch, F. Jin, M. Willsch, K. Michielsen, Z. Papić, Nature Physics (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
J. Vodeb, J.-Y.M. Desaules, A. Hallam, A. Rava, G. Humar, D. Willsch, F. Jin, M. Willsch, K. Michielsen, Z. Papić, Nature Physics (2025).
2025 | Submitted | Preprint | IST-REx-ID: 19055 |

Motivic counting of rational curves with tangency conditions via universal torsors
L. Faisant, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Faisant, ArXiv (n.d.).
2025 | Published | Conference Paper | IST-REx-ID: 19375 |

1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization
M. Azeem, D. Chakraborty, S. Kanav, J. Kretinsky, M. Mohagheghi, S. Mohr, M. Weininger, in:, 26th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2025, pp. 97–120.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Azeem, D. Chakraborty, S. Kanav, J. Kretinsky, M. Mohagheghi, S. Mohr, M. Weininger, in:, 26th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2025, pp. 97–120.
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: 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: 19440 |

The completion numbers of hamiltonicity and pancyclicity in random graphs
Y. Alon, M. Anastos, Random Structures and Algorithms 66 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
Y. Alon, M. Anastos, Random Structures and Algorithms 66 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19418 |

Size‐Ramsey numbers of graphs with maximum degree three
N. Draganić, K.H. Petrova, Journal of the London Mathematical Society 111 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
N. Draganić, K.H. Petrova, Journal of the London Mathematical Society 111 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18822 |

Diagonal cubic forms and the large sieve
V. Wang, Mathematika 71 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
V. Wang, Mathematika 71 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19503
A note on digraph splitting
Christoph, Micha, A note on digraph splitting. Combinatorics Probability and Computing. 2025
[Published Version]
View
| DOI
| arXiv
Christoph, Micha, A note on digraph splitting. Combinatorics Probability and Computing. 2025
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 18984 |

Combining REBOUND and MESA: Dynamical evolution of planets orbiting interacting binaries
Xing, Zepei, Combining REBOUND and MESA: Dynamical evolution of planets orbiting interacting binaries. Monthly Notices of the Royal Astronomical Society 537 (1). 2025
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Xing, Zepei, Combining REBOUND and MESA: Dynamical evolution of planets orbiting interacting binaries. Monthly Notices of the Royal Astronomical Society 537 (1). 2025
2025 | Published | Journal Article | IST-REx-ID: 19416 |

Sensitivity of self-aggregation and the key role of the free convection distance
A. Casallas Garcia, A.M. Tompkins, C.J. Muller, G. Thompson, Journal of Advances in Modeling Earth Systems 17 (2025).
[Published Version]
View
| Files available
| DOI
A. Casallas Garcia, A.M. Tompkins, C.J. Muller, G. Thompson, Journal of Advances in Modeling Earth Systems 17 (2025).
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 | Epub ahead of print | Journal Article | IST-REx-ID: 19074 |

Time-dependent strategies in repeated asymmetric public goods games
V. Hübner, C. Hilbe, M. Staab, M. Kleshnina, K. Chatterjee, Dynamic Games and Applications (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
V. Hübner, C. Hilbe, M. Staab, M. Kleshnina, K. Chatterjee, Dynamic Games and Applications (2025).
2025 | Published | Journal Article | IST-REx-ID: 19068 |

Analytical strength-duration curve for the spiking response of the LIF neuron to an alpha-function-shaped excitatory current pulse
A. Paraskevov, Results in Applied Mathematics 25 (2025).
[Published Version]
View
| Files available
| DOI
A. Paraskevov, Results in Applied Mathematics 25 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19403 |

BCS critical temperature on half-spaces
B. Roos, R. Seiringer, Archive for Rational Mechanics and Analysis 249 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
B. Roos, R. Seiringer, Archive for Rational Mechanics and Analysis 249 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19404 |

BMP-dependent patterning of ectoderm tissue material properties modulates lateral mesendoderm cell migration during early zebrafish gastrulation
S. Tavano, D. Brückner, S. Tasciyan, X. Tong, R. Kardos, A. Schauer, R. Hauschild, C.-P.J. Heisenberg, Cell Reports 44 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Tavano, D. Brückner, S. Tasciyan, X. Tong, R. Kardos, A. Schauer, R. Hauschild, C.-P.J. Heisenberg, Cell Reports 44 (2025).
2025 | In Press | Journal Article | IST-REx-ID: 19506 |

Sleep stages antagonistically modulate reactivation drift
Bollmann, Lars, Sleep stages antagonistically modulate reactivation drift. Neuron. 2025
[Published Version]
View
| DOI
| Download Published Version (ext.)
Bollmann, Lars, Sleep stages antagonistically modulate reactivation drift. Neuron. 2025
2025 | Published | Thesis | IST-REx-ID: 19393 |

Non-equilibrium topological phases of periodically driven molecules and quantum rotors
Karle, Volker, Non-equilibrium topological phases of periodically driven molecules and quantum rotors. 2025
[Published Version]
View
| Files available
| DOI
Karle, Volker, Non-equilibrium topological phases of periodically driven molecules and quantum rotors. 2025
2025 | Published | Thesis | IST-REx-ID: 18979 |

Structures and computations in topological data analysis
O. Draganov, Structures and Computations in Topological Data Analysis, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
O. Draganov, Structures and Computations in Topological Data Analysis, Institute of Science and Technology Austria, 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).