DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-71162-6_31,18155,KrCh,"Sound and complete witnesses for template-based verification of LTL properties on polynomial programs"
10.4230/LIPIcs.APPROX/RANDOM.2024.40,18156,MoHe,Private counting of distinct elements in the turnstile model and extensions
10.5802/jep.270,18158,JaMa,Wasserstein geometry and Ricci curvature bounds for Poisson spaces
10.24963/ijcai.2024/1,18159,KrCh,Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties
10.24963/ijcai.2024/741,18160,KrCh,Solving long-run average reward robust MDPs via stochastic games
10.1016/bs.mie.2024.07.051,18167,PaSc,Generation of TIM chaperone substrate complexes
10.1021/acs.biomac.3c01239,18168,NMR,Unveiling the dynamic self-assembly of a recombinant dragline-silk-mimicking protein
10.1016/j.jip.2024.108209,18171,SyCr,Starvation increases susceptibility to bacterial infection and promotes systemic pathogen proliferation in Drosophila melanogaster females
10.1093/mnras/stae2053,18172,LiBu,Asteroseismic signatures of core magnetism and rotation in hundreds of low-luminosity red giants
10.1063/5.0226954,18174,GradSch,"Fingerprints of ordered self-assembled structures in the liquid phase of a hard-core, square-shoulder system"
10.4230/LIPIcs.ECOOP.2024.27,18175,ToHe,The fault in our stars: Designing reproducible large-scale code analysis experiments
10.1103/PRXQuantum.5.030356,18176,MaSe,Quantum many-body spin ratchets
10.1007/978-3-031-71671-3_2,18177,ToHe,"BNClassifier: Classifying boolean models by dynamic properties"
10.1038/s41567-023-02357-0,18187,,A kicked quasicrystal
10.22331/q-2024-06-27-1388,18188,,Bayesian optimization for robust state preparation in quantum many-body systems
10.48550/arXiv.2404.07481,18202,,Adiabatic state preparation in a quantum Ising spin chain
10.1038/s41597-024-03595-4,18203,,A dataset of alternately located segments in protein crystal structures
10.1038/s42005-024-01626-5,18204,,Data-driven modeling of interrelated dynamical systems
10.1364/oe.515445,18205,,Unsupervised physics-informed deep learning-based reconstruction for time-resolved imaging by multiplexed ptychography
10.1007/978-3-031-67285-9_12,18206,,"Enhancing predictive accuracy in embryo implantation: The Bonna algorithm and its clinical implications"