DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.FSCD.2024.2,17327,ToHe,Abstraction-based decision making for statistical properties
10.4230/LIPIcs.CONCUR.2024.8,18066,ToHe,Bidding games with charging
10.4230/LIPIcs.CONCUR.2024.12,18067,ToHe,History-determinism vs fair simulation
10.4230/LIPIcs.CONCUR.2024.29,18068,"ToHe,GradSch",Strategic dominance: A new preorder for nondeterministic processes
10.4230/LIPIcs.APPROX/RANDOM.2024.40,18156,MoHe,Private counting of distinct elements in the turnstile model and extensions
10.4230/LIPIcs.ECOOP.2024.27,18175,ToHe,The fault in our stars: Designing reproducible large-scale code analysis experiments
10.4230/LIPIcs.ESA.2024.100,18308,MoHe,Fully dynamic k-means coreset in near-optimal update time
10.4230/LIPIcs.ESA.2024.72,18309,MoHe,Connectivity oracles for predictable vertex failures
10.4230/LIPIcs.DISC.2024.21,18557,MoHe,Broadcast and Consensus in stochastic dynamic networks with Byzantine nodes and adversarial edges
10.4230/LIPIcs.STACS.2023.36,12760,MoHe,Dynamic maintenance of monotone dynamic programs and applications
10.4230/LIPIcs.ICALP.2023.99,14083,MaMo,Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery
10.4230/LIPIcs.ICALP.2023.72,14084,VlKo,Parameter estimation for Gibbs distributions
10.4230/LIPIcs.ICALP.2023.69,14085,MoHe,Efficient data structures for incremental exact and approximate maximum flow
10.4230/LIPIcs.ICALP.2023.74,14086,MoHe,Faster submodular maximization for several classes of matroids
10.4230/LIPIcs.CONCUR.2023.21,14405,ToHe,Hypernode automata
10.4230/LIPIcs.DISC.2023.35,14485,GradSch,Brief announcement: BatchBoost: Universal batching for concurrent data structures
10.4230/LIPIcs.AFT.2023.7,14516,ElKo,STROBE: Streaming Threshold Random Beacons
10.4230/LIPICS.ITCS.2023.47,22373,,Asymptotically tight bounds on the time complexity of broadcast and its variants in dynamic networks
10.4230/LIPIcs.OPODIS.2021.15,11183,DaAl,"Beyond distributed subgraph detection: Induced subgraphs, multicolored problems and graph parameters"
10.4230/LIPIcs.OPODIS.2021.14,11184,DaAl,Fast graphical population protocols