DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-032-07024-1_18,21042,KrPi,"Anthemius: Efficient and modular block assembly for concurrent execution"
10.1007/978-3-032-07024-1_17,21044,,"Pilotfish: Distributed execution for scalable blockchains"
10.1007/978-3-032-13961-0_26,21135,JoDa,niiv: Interactive Self-supervised Neural Implicit Isotropic Volume Reconstruction
10.1007/978-3-032-17801-5_39,21374,HeEd,"Edge-constrained Hamiltonian paths on a point set"
10.1007/978-981-95-7127-7_26,21410,HeEd,"On the MST-ratio: Theoretical bounds and complexity of finding the maximum"
10.1007/978-3-032-07035-7_8,21134,KrPi,"On the (in)security of Proofs-of-space based longest-chain blockchains"
10.1007/978-3-031-98668-0_14,20189,ToHe,"Introducing certificates to the hardware model checking competition"
10.1007/978-3-031-98679-6_2,20225,ToHe,"Supermartingale certificates for quantitative omega-regular verification and control"
10.1007/978-3-032-05792-1_11,20610,KrCh,"What are the odds? Improving statistical model checking of Markov decision processes"
10.1007/978-3-032-08707-2_19,20648,KrCh,PolyQEnt: A polynomial quantified entailment solver
10.1007/978-3-032-09544-2_10,20658,HeEd,"The mid-sphere cousin of the medial axis transform"
10.1007/978-3-031-97537-0_15,20723,ToHe,"Information-Flow Interfaces and Security Lattices"
10.1007/978-3-031-82703-7_5,19375,KrCh,"1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization"
10.1007/978-981-96-2845-2_16,19445,KrCh,Reconfiguration using generalized token jumping
10.1007/978-3-031-82349-7_15,19600,"KrPi,KrCh","Route discovery in private payment channel networks"
10.1007/978-3-031-91095-1_14,19712,KrPi,"On the soundness of algebraic attacks against code-based assumptions"
10.1007/978-3-031-91829-2_2,19738,"KrPi,GradSch","Securely instantiating ‘Half Gates’ garbling in the standard model"
10.1007/978-3-031-90660-2_14,19739,ToHe,BUBAAK: Dynamic cooperative verification
10.1007/978-3-031-90653-4_11,19740,KrCh,Value iteration with guessing for Markov chains and Markov decision processes
10.1007/978-3-031-90643-5_9,19742,KrCh,Sound statistical model checking for probabilities and expected rewards