_id,doi,title
14735,10.1007/978-3-031-47754-6_1,"Executing and proving over dirty ledgers"
6726,10.1007/978-3-030-23696-0_9,Sampling the integers with low relative error
7453,10.1007/978-3-319-91908-9_22,Continuous-time models for system design and analysis
6163,10.1007/978-3-030-14085-4_3,"Rhombic dodecahedron grid—coordinate system and 3D digital object definitions"
8298,10.1007/978-3-319-99073-6_6,Channels: Horizontal scaling and confidentiality on permissioned blockchains
5803,10.1007/978-3-319-59108-7_8,Construction of persistent Voronoi diagram on 3D digital plane
12571,10.1007/978-3-319-59250-3_8,Deterministic fully dynamic approximate vertex cover and fractional matching in O(1) amortized update time
5806,10.1007/978-3-319-32360-2_20,"On functionality of quadraginta octants of naive sphere with application to circle drawing"
5810,10.1007/978-3-319-09955-2_33,"On Finding Spherical Geodesic Paths and Circles in ℤ3"
11791,10.1007/978-3-642-45046-4_13,Valuation compressions in VCG-based combinatorial auctions
11792,10.1007/978-3-642-40450-4_35,Maximizing a submodular function with viability constraints
11793,10.1007/978-3-642-39212-2_53,Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks
10904,10.1007/978-3-642-32940-1_10,Strategy synthesis for multi-dimensional quantitative objectives
11794,10.1007/978-3-642-35311-6_4,Auctions with heterogeneous items and budget limits
11796,10.1007/978-3-642-23719-5_17,Multi-parameter mechanism design under budget and matroid constraints
5940,10.1007/978-3-642-13675-7_1,Instance Deadlock: A Mystery behind Frozen Programs
11797,10.1007/978-3-642-15775-2_16,Online stochastic packing applied to display ad allocation
11798,10.1007/978-3-642-13073-1_2,Mechanisms for the marriage and the assignment game
11799,10.1007/978-3-642-10841-9_58,Bidder optimal assignments for general utilities