DOI,IST REx ID,Research Group,Title of publication
10.1007/s00446-022-00439-5,12164,KrPi,Long-lived counters with polylogarithmic amortized step complexity
10.1007/s00454-022-00431-7,12287,HeEd,Local criteria for triangulating general manifolds
10.1137/20m1378223,12563,UlWa,Topology and adjunction in promise constraint satisfaction
10.1109/access.2023.3237897,13988,ElKo,"Practical limitations of Ethereum’s layer-2"
10.1109/tit.2023.3257239,14751,MaMo,Zero-error communication over adversarial MACs
10.3390/ijms242216527,14776,JiFr,Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3
10.1145/3585391,14778,KrCh,On lexicographic proof rules for probabilistic termination
10.3390/sym14102182,12154,MiLe,First and second sound in two-dimensional bosonic and fermionic superfluids
10.1016/j.coisb.2022.100435,12156,GaTk,"Eukaryotic gene regulation at equilibrium, or non?"
10.37236/10794,12286,MaKw,Loose cores and cycles in random hypergraphs
10.1287/moor.2020.1116,9311,"GradSch,KrCh",Finite-memory strategies in POMDPs with long-run average objectives
10.1007/s12652-021-03569-z,10208,HeEd,A context-aware dimension reduction framework for trajectory and health signal analyses
10.1017/fms.2021.80,10643,"GradSch,LaEr",Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk
10.1016/j.jcp.2022.111439,11556,"GradSch,ChWo",Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics
10.1007/s00454-022-00436-2,12129,UlWa,Connectivity of triangulation flip graphs in the plane
10.1088/2632-072x/ac99cd,12134,BjHo,Explosive transitions in epidemic dynamics
10.1017/fms.2022.86,12148,LaEr,Rank-uniform local law for Wigner matrices
10.1007/s00454-020-00250-8,8940,HeEd,"Triangulating submanifolds: An elementary and quantified version of Whitney’s method"
10.1109/LICS52264.2021.9470739,10002,KrCh,Symbolic time and space tradeoffs for probabilistic verification
10.1109/LICS52264.2021.9470595,10004,KrCh,Stochastic processes with expected stopping time