DOI,IST REx ID,Research Group,Title of publication
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
10.1109/ITW54588.2022.9965870,12538,MaMo,Sharp asymptotics on the compression of two-layer neural networks
10.1609/aaai.v36i9.21222,12568,KrCh,Risk-aware stochastic shortest path
10.5194/tc-16-4701-2022,12574,,Sub-seasonal variability of supraglacial ice cliff melt rates and associated processes from time-lapse photogrammetry
10.1029/2022ef002852,12575,,Glacier contributions to river discharge during the current Chilean megadrought
10.1088/1748-9326/ac9008,12576,,Multi-decadal monsoon characteristics and glacier response in High Mountain Asia
10.1073/pnas.2109796119,12577,,Warming-induced monsoon precipitation phase change intensifies glacier mass loss in the southeastern Tibetan Plateau
10.5194/tc-16-1697-2022,12578,,Modelling supraglacial debris-cover evolution from the single-glacier to the regional scale: An application to High Mountain Asia
10.5194/tc-16-1631-2022,12579,,Understanding monsoon controls on the energy and mass balance of glaciers in the Central and Eastern Himalaya
10.1029/2021ef002619,12580,,Knowledge priorities on climate change and water in the Upper Indus Basin: A horizon scanning exercise to identify the Top 100 research questions in social and natural sciences
10.5194/esurf-10-23-2022,12581,,"Intensified paraglacial slope failures due to accelerating downwasting of a temperate glacier in Mt. Gongga, southeastern Tibetan Plateau"
10.1088/1748-9326/ac6966,12582,,Controls on the relative melt rates of debris-covered glacier surfaces
null,12664,,Intriguing properties of input-dependent randomized smoothing
10.1111/jipb.13422,12670,XiFe,DNA methylation dynamics during germline development