DOI,IST REx ID,Title of publication
10.1007/978-3-030-45374-9_8,10865,Witness maps and applications
10.1007/978-3-030-44914-8_5,7810,Optimal and perfectly parallel algorithms for on-demand data-flow analysis
10.1007/978-3-030-59152-6_14,8728,Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
10.1007/978-3-030-33391-1_13,18269,Self-supervised learning of inverse problem solvers in medical imaging
10.1007/978-3-030-14085-4_3,6163,"Rhombic dodecahedron grid—coordinate system and 3D digital object definitions"
10.1007/978-3-030-25540-4_36,6462,Run-time optimization for learned controllers through quantitative games
10.1007/978-3-030-12939-2_18,6482,KS(conf): A light-weight test if a ConvNet operates outside of Its specifications
10.1007/978-3-030-25540-4_16,6493,Membership-based synthesis of linear hybrid automata
10.1007/978-3-030-23696-0_9,6726,Sampling the integers with low relative error
10.1007/978-3-030-30806-3_1,6822,Bidding games on Markov decision processes
10.1007/978-3-030-30281-8_7,6942,Strategy representation by decision trees with linear classifiers
10.1007/978-3-030-29400-7_23,7228,Scalable FIFO channels for programming via communicating sequential processes
10.1007/978-3-030-35802-0_18,7230,Extending simple drawings
10.1007/978-3-030-29662-9_8,7231,Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
10.1007/978-3-030-29662-9_4,7232,Mixed-time signal temporal logic
10.1007/978-3-030-31784-3_27,7183,Deciding fast termination for probabilistic VASS with nondeterminism
10.1007/978-3-030-17259-6_11,6430,Adaptively secure proxy re-encryption
10.1007/978-3-030-31304-3_9,7147,Transient memory in gene regulation
10.1007/978-3-030-17656-3_10,7411,Reversible proofs of sequential work
10.1007/978-3-030-32079-9_17,7159,Shape expressions for specifying and extracting signal features