_id,doi,title
7411,10.1007/978-3-030-17656-3_10,Reversible proofs of sequential work
6163,10.1007/978-3-030-14085-4_3,"Rhombic dodecahedron grid—coordinate system and 3D digital object definitions"
6462,10.1007/978-3-030-25540-4_36,Run-time optimization for learned controllers through quantitative games
6482,10.1007/978-3-030-12939-2_18,KS(conf): A light-weight test if a ConvNet operates outside of Its specifications
6493,10.1007/978-3-030-25540-4_16,Membership-based synthesis of linear hybrid automata
8298,10.1007/978-3-319-99073-6_6,Channels: Horizontal scaling and confidentiality on permissioned blockchains
6941,10.1007/978-3-662-58387-6_26,SpaceMint: A cryptocurrency based on proofs of space
6164,10.1007/978-3-030-05288-1_7,Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D
11772,10.1007/978-3-319-73117-9_3,The state of the art in dynamic graph algorithms
5801,10.1007/978-3-319-66272-5_28,"Fast and Efficient Incremental Algorithms for Circular and Spherical Propagation in Integer Space"
5802,10.1007/978-3-319-66272-5_31,Digital primitives defined by weighted focal set
5803,10.1007/978-3-319-59108-7_8,Construction of persistent Voronoi diagram on 3D digital plane
625,10.1007/978-3-319-63121-9_18,The cost of exactness in quantitative reachability
638,10.1007/978-3-319-54292-8,Numerical Software Verification
13160,10.1007/978-3-662-54577-5_26,Index appearance record for transforming Rabin automata into parity automata
12571,10.1007/978-3-319-59250-3_8,Deterministic fully dynamic approximate vertex cover and fractional matching in O(1) amortized update time
1094,10.1007/978-1-4939-6352-2_12,Immunogold protein localization on grid-glued freeze-fracture replicas
5805,10.1007/978-3-319-39441-1_23,On some local topological properties of naive discrete sphere
5806,10.1007/978-3-319-32360-2_20,"On functionality of quadraginta octants of naive sphere with application to circle drawing"
5809,10.1007/978-3-319-26145-4_7,On the connectivity and smoothness of discrete spherical circles