DOI,IST REx ID,Research Group,Title of publication
10.1109/ISVD.2013.11,2209,HeEd,Recognizing straight skeletons and Voronoi diagrams and reconstructing their input
null,2210,HeEd,Reconstructing polygons from embedded straight skeletons
10.1007/978-3-642-45221-5_13,2237,ToHe,Tree interpolation in Vampire
10.1007/978-3-642-45221-5_17,2238,KrCh,Multi-objective discounted reward verification in graphs and MDPs
10.4230/LIPIcs.CSL.2013.563,2243,ToHe,Elementary modal logics over transitive structures
10.1007/978-3-319-03841-4_41,2244,UlWa,Untangling two systems of noncrossing curves
10.1371/journal.pone.0080814,2247,KrCh,Forgiver triumphs in alternating prisoner's dilemma 
10.1007/978-3-642-40041-4_31,2258,KrPi,Digital signatures with minimal overhead from indifferentiable random invertible functions
10.1007/978-3-642-40041-4_4,2259,KrPi,"Learning with rounding, revisited: New reduction properties and applications"
10.1007/978-3-642-38980-1_33,2260,KrPi,Efficient signatures of knowledge and DAA in the standard model
10.1242/dev.085621,2264,SiHi,Neural development is dependent on the function of specificity protein 2 in cell cycle progression
DOI: 10.1111/cgf.12061,2269,,Analytic Visibility on the GPU
null,2270,VlKo,Optimal Coalition Structures in Cooperative Graph Games
null,2272,VlKo,Inference algorithms for pattern-based CRFs on sequence data
null,2273,VlKo,Reweighted message passing revisited
null,2274,"VlKo,KrPi",Proofs of Space
10.1109/ICCV.2013.288,2276,"JoCs,VlKo","Potts model, parametric maxflow and k-submodular functions"
10.1371/journal.pcbi.1003344,2277,GaTk,Transformation of stimulus correlations by the retina
10.1242/jcs.125617,2278,CaHe,A serrate-notch-canoe complex mediates essential interactions between glia and neuroepithelial cells during Drosophila optic lobe development
10.1007/978-3-319-02444-8_10,2279,KrCh,Looking at mean-payoff and total-payoff through windows