DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-79527-6_1,9620,DaAl,Collecting coupons is faster with friends
10.1007/978-3-030-81685-8_16,9987,KrCh,Stateless model checking under a reads-value-from equivalence
10.1007/978-3-030-83508-8_34,11771,,Upper and lower bounds for fully retroactive graph problems
10.1007/978-3-030-60508-7_1,8623,ToHe,Monitorability under assumptions
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-60440-0_26,8732,UlWa,Inserting one edge into a simple drawing is hard
10.1007/978-3-030-68766-3_28,9299,HeEd,Crossings between non-homotopic edges
10.1007/978-3-030-45727-3_16,7966,KrPi,"Everybody’s a target: Scalability in public-key encryption"
10.1007/978-3-030-53288-8_14,8195,ToHe,Refinement for structured concurrent programs
10.1007/978-3-030-45374-9_8,10865,,Witness maps and applications
10.1007/978-3-030-31304-3_9,7147,"CaGu,ToHe",Transient memory in gene regulation
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
10.1007/978-3-030-29662-9_8,7231,ToHe,Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
10.1007/978-3-030-29662-9_4,7232,ToHe,Mixed-time signal temporal logic
10.1007/978-3-030-17656-3_10,7411,KrPi,Reversible proofs of sequential work
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-662-58387-6_26,6941,KrPi,SpaceMint: A cryptocurrency based on proofs of space
10.1007/978-3-030-05288-1_7,6164,,Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D
10.1007/978-3-662-54577-5_26,13160,KrCh,Index appearance record for transforming Rabin automata into parity automata