DOI,IST REx ID,Research Group,Title of publication
10.1016/j.ajhg.2022.09.011,12142,MaRo,Liability-scale heritability estimation for biobank studies of low-prevalence disease
10.1007/s10474-022-01265-8,12151,MaKw,On a question of Vera T. Sós about size forcing of graphons
10.1007/978-3-031-18283-9_17,12167,KrPi,"Hide & Seek: Privacy-preserving rebalancing on payment channel networks"
10.1007/978-3-031-18283-9_13,12168,ElKo,"Be aware of your leaders"
10.1007/978-3-031-19992-9_20,12170,KrCh,"PET – A partial exploration tool for probabilistic verification"
10.1007/978-3-031-19992-9_22,12171,ToHe,"Synthesis of parametric hybrid automata from time series"
10.1007/978-3-031-19135-0_5,12175,ToHe,History-deterministic timed automata are not determinizable
10.1007/978-3-031-15979-4_13,12176,KrPi,"Practical statistically-sound proofs of exponentiation in any group"
10.1186/s13059-022-02665-3,12226,MaJö,Strand asymmetry influences mismatch resolution during single-strand annealing
10.1021/acsaem.2c02787,12227,StFr,Carbon foams via ring-opening metathesis polymerization of emulsion templates: A facile method to make carbon current collectors for battery applications
10.1109/tcomm.2022.3211101,12233,MaMo,Decoding Reed-Muller codes with successive codeword permutations
10.1007/978-3-031-18283-9_14,12298,ElKo,"Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback"
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.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.1109/FOCS54457.2022.00091,12432,MaKw,Solving the Hamilton cycle problem fast on average
10.1007/978-3-031-22365-5_20,12516,KrPi,"Public-Key Encryption from Homogeneous CLWE"
10.1007/978-3-030-99527-0_5,12529,,A direct symbolic algorithm for solving stochastic rabin games