DOI,IST REx ID,Title of publication
10.1007/s11856-019-1897-z,9580,Hypergraph cuts above the average
10.5061/dryad.9kj41f0,9806,Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance
10.1145/3302504.3311800,6428,Interface-aware signal temporal logic
10.1007/978-3-030-17259-6_11,6430,Adaptively secure proxy re-encryption
10.1007/978-3-030-25540-4_36,6462,Run-time optimization for learned controllers through quantitative games
10.15479/AT:ISTA:6473,6473,Estimating information flow in single cells
10.1007/978-3-030-12939-2_18,6482,KS(conf): A light-weight test if a ConvNet operates outside of Its specifications
10.1145/3293883.3297000,6485,Lock-free channels for programming via communicating sequential processes
10.1007/978-3-030-25540-4_16,6493,Membership-based synthesis of linear hybrid automata
10.4230/LIPICS.ITCS.2019.60,6528,Simple verifiable delay functions
10.4230/LIPIcs.SoCG.2019.44,6556,3-manifold triangulations with small treewidth
10.4230/LIPICS.SOCG.2019.38,6647,The crossing Tverberg theorem
10.1109/tit.2018.2889667,6663,Construction of polar codes with sublinear complexity
10.1137/17m1152292,6672,Anisotropic triangulations via discrete Riemannian Voronoi diagrams
10.15479/AT:ISTA:6681,6681,Algorithmic aspects of homotopy theory and embeddability
10.4230/LIPICS.ICALP.2019.77,6725,Testing the complexity of a valued CSP language
10.1007/978-3-030-23696-0_9,6726,Sampling the integers with low relative error
10.1051/0004-6361/201834916,6756,Unexpected topology of the temperature fluctuations in the cosmic microwave background
10.1186/s13104-019-4534-3,6819,Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells
10.1007/978-3-030-30806-3_1,6822,Bidding games on Markov decision processes