_id,doi,title
10414,10.1007/978-3-030-90870-6_33,On lexicographic proof rules for probabilistic termination
10609,10.1007/978-3-030-92075-3_12,Reverse firewalls for adaptively secure MPC without setup
12767,10.1007/978-3-030-72016-2,On satisficing in quantitative games
9987,10.1007/978-3-030-81685-8_16,Stateless model checking under a reads-value-from equivalence
10865,10.1007/978-3-030-45374-9_8,Witness maps and applications
7966,10.1007/978-3-030-45727-3_16,"Everybody’s a target: Scalability in public-key encryption"
8195,10.1007/978-3-030-53288-8_14,Refinement for structured concurrent programs
8623,10.1007/978-3-030-60508-7_1,Monitorability under assumptions
8728,10.1007/978-3-030-59152-6_14,Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
8732,10.1007/978-3-030-60440-0_26,Inserting one edge into a simple drawing is hard
9299,10.1007/978-3-030-68766-3_28,Crossings between non-homotopic edges
6726,10.1007/978-3-030-23696-0_9,Sampling the integers with low relative error
6822,10.1007/978-3-030-30806-3_1,Bidding games on Markov decision processes
6942,10.1007/978-3-030-30281-8_7,Strategy representation by decision trees with linear classifiers
7147,10.1007/978-3-030-31304-3_9,Transient memory in gene regulation
7159,10.1007/978-3-030-32079-9_17,Shape expressions for specifying and extracting signal features
7228,10.1007/978-3-030-29400-7_23,Scalable FIFO channels for programming via communicating sequential processes
7230,10.1007/978-3-030-35802-0_18,Extending simple drawings
7231,10.1007/978-3-030-29662-9_8,Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
7232,10.1007/978-3-030-29662-9_4,Mixed-time signal temporal logic