DOI,IST REx ID,Research Group,Title of publication
10.1080/10511970.2021.1872750,12307,"HeEd,GradSch",Tangible topology through the lens of limits
10.1371/journal.pbio.3001889,12332,GaTk,Efficient coding theory of dynamic attentional modulation
10.7554/ELIFE.82240,12333,CaGu,Adaptation dynamics between copynumber and point mutations
10.5061/dryad.rfj6q57ds,12339,CaGu,Flow cytometry YFP and CFP data and deep sequencing data of populations evolving in galactose
10.15479/at:ista:12103,12358,"GradSch,ChWo","Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting"
10.15479/at:ista:12153,12368,"GradSch,CaHe",Remodeling of E-cadherin-mediated contacts via cortical  flows
10.15479/at:ista:12390,12390,"GradSch,RoSe",Translation-invariant quantum systems with effectively broken symmetry
10.1145/3550454.3555459,12431,ChWo,Hidden degrees of freedom in implicit vortex filaments
10.1109/FOCS54457.2022.00091,12432,MaKw,Solving the Hamilton cycle problem fast on average
null,12452,BeBi,VoRF: Volumetric Relightable Faces
10.1088/1742-5468/ac9828,12480,MaMo,Approximate message passing with spectral initialization for generalized linear models
null,12495,ChLa,FLEA: Provably robust fair multisource learning from unreliable training data
10.4230/LIPIcs.CONCUR.2022.14,12508,ToHe,History-deterministic timed automata
10.4230/LIPIcs.MFCS.2022.3,12509,ToHe,An updated survey of bidding games on graphs
10.1609/aaai.v36i6.20631,12510,ToHe,GoTube: Scalable statistical verification of continuous-depth models
10.1609/aaai.v36i7.20695,12511,"ToHe,KrCh",Stability verification in stochastic control systems via neural network supermartingales
10.1007/978-3-031-22365-5_20,12516,KrPi,"Public-Key Encryption from Homogeneous CLWE"
10.15479/AT:ISTA:12102,12522,GeKa,"Data for ""Majorana-like Coulomb spectroscopy in the absence of zero bias peaks"""
10.1007/978-3-030-99527-0_5,12529,,A direct symbolic algorithm for solving stochastic rabin games
10.1145/3501710.3519535,12530,,BOCoSy: Small but powerful symbolic output-feedback control