DOI,IST REx ID,Title of publication
10.1007/978-3-662-47672-7_58,11787,Finding 2-edge and 2-vertex strongly connected components in quadratic time
10.1007/978-3-319-18263-6_14,11788,Online ad assignment with an ad exchange
10.1007/978-3-662-48000-7_29,1675,Proofs of space
10.1007/978-3-642-54013-4_15,10884,Parameterized model checking of token-passing systems
10.1007/978-3-642-54013-4_5,10885,Doomsday equilibria for omega-regular games
10.1007/978-3-319-13075-0_10,10892,Planar matchings for weighted straight skeletons
10.1007/978-3-662-44199-2_24,10894,"PHAT – Persistent Homology Algorithms Toolbox"
10.1007/978-3-662-44777-2_22,11789,Online bipartite matching with decomposable weights
10.1007/978-3-319-13129-0_4,11790,Limiting price discrimination when selling products with positive network externalities
10.1007/978-3-662-45608-8_5,1927,Adaptive security of constrained PRFs
10.1007/978-3-319-09955-2_33,5810,"On Finding Spherical Geodesic Paths and Circles in ℤ3"
10.1007/978-3-662-45803-7_36,10793,Clustered planarity testing revisited
10.1007/978-3-642-38221-5_19,10897,Persistent homology in image processing
10.1007/978-3-642-37064-9_20,10902,How to travel between languages
10.1007/978-3-642-39799-8_11,5747,Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
10.1007/978-3-642-36046-6_11,19995,Strategy complexity of finite-horizon Markov decision processes and simple stochastic games
10.1007/978-3-642-33386-6_14,10903,Accurate invariant checking for programs manipulating lists and arrays with infinite data
10.1007/978-3-642-31585-5_1,11795,On multiple keyword sponsored search auctions with budgets
10.1007/978-3-642-33386-6_10,5745,Improved single pass algorithms for resolution proof reduction
10.1007/978-3-642-24785-9,18340,Scale Space and Variational Methods in Computer Vision