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