DOI,IST REx ID,Research Group,Title of publication
10.48550/arXiv.2101.12566,9787,RoSe,The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics
10.48550/arXiv.2107.03720,9791,RoSe,The effective mass problem for the Landau-Pekar equations
10.1007/978-3-030-81685-8_16,9987,KrCh,Stateless model checking under a reads-value-from equivalence
10.15479/at:ista:10199,10199,"GradSch,KrCh",Improved verification techniques for concurrent systems
10.1145/3485541,10191,"GradSch,KrCh",The reads-from equivalence for the TSO and PSO memory models
10.15479/at:ista:10007,10007,"GradSch,JuFi",Curvature driven interface evolution: Uniqueness properties of weak solution concepts
10.15479/at:ista:10429,10429,"GradSch,DaAl",On achieving scalability through relaxation
null,10435,DaAl,Asynchronous decentralized SGD with quantized and local updates
null,10432,DaAl,Elastic consistency: A practical consistency model for distributed stochastic gradient descent
10.48550/arXiv.2108.01733,10013,JuFi,Weak-strong uniqueness for the mean curvature flow of double bubbles
10.15479/AT:ISTA:9418,9418,"GradSch,ChLa",Underspecification in deep learning
10.15479/AT:ISTA:9056,9056,"HeEd,GradSch",Multi-cover persistence and Delaunay mosaics
null,9416,"GradSch,ChLa",The inductive bias of ReLU networks on orthogonally separable data
10.1007/978-3-030-84245-1_17,10041,KrPi,"Limits on the Adaptive Security of Yao’s Garbling"
10.1109/sp40001.2021.00035,10049,"KrPi,DaAl","Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement"
null,10048,KrPi,The cost of adaptivity in security games on graphs
null,10044,KrPi,"On treewidth, separators and Yao's garbling"
10.1016/j.xpro.2021.100939,10321,SiHi,Genetic mosaic dissection of candidate genes in mice using mosaic analysis with double markers
10.1523/jneurosci.1655-20.2020,9073,SiHi,The logic of developing neocortical circuits in health and disease
10.3390/genes12111746,10281,GaNo,"Translating the role of mtor-and ras-associated signalopathies in autism spectrum disorder: Models, mechanisms and treatment"