DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-032-26220-2_11,22006,ToHe,"Quantitative monitoring of Signal First-Order logic"
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-07035-7_8,21134,KrPi,"On the (in)security of Proofs-of-space based longest-chain 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-32519-8_12,22717,"ToHe,GradSch","Randomise alone, reach as a team"
10.1007/978-3-032-32519-8_13,22719,ToHe,"Decoupled planning for multiple omega-regular objectives"
10.1007/978-3-032-32526-6_20,22754,ToHe,"Extending QuAK with nested quantitative automata"
10.1007/978-3-032-35374-0_5,22820,KrPi,Beholder signatures
10.1007/978-3-032-12293-3_9,20845,KrPi,"Zeroizing attacks against evasive and circular evasive LWE"
10.1007/978-3-032-12290-2_16,20846,KrPi,"Constrained verifiable random functions without obfuscation and friends"
10.1007/978-3-032-05435-7_4,21091,ToHe,Formal verification of neural certificates done dynamically
10.1007/978-3-032-05435-7_9,21092,ToHe,Alignment monitoring
10.1007/978-3-032-05435-7_23,21093,ToHe,Monitoring hypernode logic over infinite domains
10.1007/978-3-032-01887-8_19,21323,KrPi,"On extractability of the KZG family of polynomial commitment schemes"
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"