_id,doi,title
14888,10.1007/978-3-031-49275-4_2,"Removing popular faces in curve arrangements"
14317,10.1007/978-3-031-37709-9_5,"MDPs as distribution transformers: Affine invariant synthesis for safety objectives"
14318,10.1007/978-3-031-37709-9_2,"Automated tail bound analysis for probabilistic recurrence relations"
14410,10.1007/978-3-031-40773-4_6,"On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift"
14411,10.1007/978-3-031-42697-1_2,"Phenotype control of partially specified boolean networks"
14428,10.1007/978-3-031-38545-2_17,"Random oracle combiners: Breaking the concatenation barrier for collision-resistance"
14454,10.1007/978-3-031-44267-4_15,Monitoring algorithmic fairness under partial observations
14456,10.1007/978-3-031-43587-4_24,Shortest dominating set reconfiguration under token sliding
14457,10.1007/978-3-031-44469-2_11,"Stronger lower bounds for leakage-resilient secret sharing"
14559,10.1007/978-3-031-45329-8_17,"Learning provably stabilizing neural controllers for discrete-time stochastic systems"
14691,10.1007/978-3-031-48621-0_10,"On the cost of post-compromise security in concurrent Continuous Group-Key Agreement"
14692,10.1007/978-3-031-48621-0_11,Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing
14693,10.1007/978-3-031-48624-1_13,(Verifiable) delay functions from Lucas sequences
14736,10.1007/978-3-031-47754-6_18,"R2: Boosting liquidity in payment channel networks with online admission control"
14744,10.1007/978-3-031-32733-9_10,"Divide & Scale: Formalization and roadmap to robust sharding"
14758,10.1007/978-3-031-37709-9_1,"A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties"
14829,10.1007/978-3-031-47751-5_3,"Proof of availability and retrieval in a modular blockchain architecture"
13139,10.1007/978-3-031-30823-9_25,"Correct approximation of stationary distributions"
13141,10.1007/978-3-031-30820-8_15,Computing adequately permissive assumptions for synthesis
13142,10.1007/978-3-031-30823-9_1,A learner-verifier framework for neural network controllers and certificates of stochastic systems