DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-75387-9_1,17634,"GradSch,ToHe",QuAK: Quantitative Automata Kit
null,18121,DaAl,SPADE: Sparsity-guided debugging for deep neural networks
10.1371/journal.pcbi.1012008,15297,KrCh,Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating
10.1073/pnas.2405605121,18703,KrCh,Density amplifiers of cooperation for spatial games
10.1101/2024.02.21.581330,18689,"EvBe,JoDa,JiFr",Super-resolution expansion microscopy in plant roots
10.1101/2024.05.02.592169,18688,"JoDa,PeJo",Human hippocampal CA3 uses specific functional connectivity rules for efficient associative memory
10.15479/at:ista:18681,18681,"GradSch,JoDa",Developing molecular and structural tools for studying brain architecture with super resolution expansion microscopy. LICONN: Molecularly-informed connectomics reconstruction with light microscopy
10.1101/2024.03.01.582884,18677,"GaNo,JoDa",Light-microscopy based dense connectomic reconstruction of mammalian brain tissue
10.1038/s41467-023-44114-0,14793,GeKa,Parity-conserving Cooper-pair transport and ideal superconducting diode in planar germanium
10.1007/s00029-023-00908-0,12312,TiBr,On the local-global principle for isogenies of abelian surfaces
10.48550/arXiv.2408.16848,19425,MiLe,Anomalous multi-gap topological phases in periodically driven quantum  rotors
10.1112/blms.13095,17127,TiBr,Paucity phenomena for polynomial products
10.1017/S1474748024000161,15338,TiBr,Generalised quadratic forms over totally real number fields
10.1007/s00208-024-02854-4,15337,TiBr,Density of rational points on some quadric bundle threefolds
10.1093/qmath/haae044,18930,TiBr,Sumsets in the set of squares
10.1016/j.jnt.2024.02.013,15312,TiBr,Square-free values of random polynomials
10.1093/imrn/rnae066,19051,TiBr,The polynomial sieve and equal sums of like polynomials
10.1017/S1474748022000482,10018,TiBr,Integral points on singular del Pezzo surfaces
10.1112/jlms.12975,17447,TiBr,Special cubic zeros and the dual variety
10.1112/mtk.12269,17323,TiBr,Strong divisibility sequences and sieve methods