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.1145/3769423,21017,KrPi,Kauri: BFT consensus with pipelined tree-based dissemination and aggregation
10.1007/s00236-025-00509-8,20866,ToHe,Hypernode automata
10.1145/3719027.3765137,21020,"ToHe,GradSch",Privacy-preserving runtime verification
10.4230/LIPICS.FSTTCS.2025.20,21089,ToHe,Flavors of quantifiers in hyperlogics
10.1007/978-3-032-05435-7_23,21093,ToHe,Monitoring hypernode logic over infinite domains
10.1007/s10703-024-00447-0,17094,ToHe,Information-flow interfaces
10.1007/s00236-025-00502-1,20186,ToHe,Gray-box runtime enforcement of hyperproperties
10.1007/978-3-031-97537-0_15,20723,ToHe,"Information-Flow Interfaces and Security Lattices"
10.1007/978-3-031-76554-4_9,18599,ToHe,Monitoring extended hypernode logic