DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-60508-7_1,8623,ToHe,Monitorability under assumptions
10.1007/978-3-030-60440-0_26,8732,UlWa,Inserting one edge into a simple drawing is hard
10.1007/978-3-030-65277-7_1,8987,KrPi,Delayed authentication: Preventing replay and relay attacks in private contact tracing
10.1007/978-3-030-68766-3_28,9299,HeEd,Crossings between non-homotopic edges
10.1007/978-3-030-61598-7_1,18251,,3D FLAT: Feasible learned acquisition trajectories for accelerated MRI
10.1007/978-3-030-56880-1_26,8322,KrPi,"Reverse firewalls for actively secure MPCs"
10.1007/978-3-030-59152-6_14,8728,KrCh,Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
10.1007/978-3-030-44914-8_5,7810,KrCh,Optimal and perfectly parallel algorithms for on-demand data-flow 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-17259-6_11,6430,KrPi,Adaptively secure proxy re-encryption
10.1007/978-3-030-25540-4_36,6462,"ToHe,KrCh",Run-time optimization for learned controllers through quantitative games
10.1007/978-3-030-12939-2_18,6482,ChLa,KS(conf): A light-weight test if a ConvNet operates outside of Its specifications
10.1007/978-3-030-25540-4_16,6493,ToHe,Membership-based synthesis of linear hybrid automata
10.1007/978-3-030-23696-0_9,6726,KrPi,Sampling the integers with low relative error
10.1007/978-3-030-30281-8_7,6942,"KrCh,ChLa",Strategy representation by decision trees with linear classifiers
10.1007/978-3-030-31304-3_9,7147,"CaGu,ToHe",Transient memory in gene regulation
10.1007/978-3-030-32079-9_17,7159,ToHe,Shape expressions for specifying and extracting signal features
10.1007/978-3-030-31784-3_27,7183,KrCh,Deciding fast termination for probabilistic VASS with nondeterminism
10.1007/978-3-030-29400-7_23,7228,DaAl,Scalable FIFO channels for programming via communicating sequential processes
10.1007/978-3-030-35802-0_18,7230,UlWa,Extending simple drawings