DOI,IST REx ID,Research Group,Title of publication
10.1109/sp46214.2022.9833584,12300,ElKo,Practical asynchronous distributed key generation
10.1007/978-3-031-13188-2_6,12302,ToHe,FORQ-based language inclusion formal testing
10.1007/978-3-030-82007-7_8,12303,TaHa,Loop Grassmannians of Quivers and Affine Quantum Groups
10.1080/03605302.2022.2056702,12304,JuFi,Sharp criteria for the waiting time phenomenon in solutions to the thin-film equation
10.1137/21m1424925,12305,JuFi,Convergence of the Allen--Cahn equation with a nonlinear Robin boundary condition to mean curvature flow with contact angle close to 90°
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