DOI,IST REx ID,Research Group,Title of publication
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.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
10.1007/s00114-013-1115-5,2283,SyCr,Tolerating an infection: an indirect benefit of co-founding queen associations in the ant Lasius niger 
10.1038/emboj.2013.225,2286,CaHe,The force and effect of cell proliferation
10.1002/ece3.465,2287,NiBa,The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant
10.1007/978-3-642-40708-6,2288,ToHe,Computational Methods in Systems Biology
10.1007/s00450-013-0251-7,2289,ToHe,Quantitative reactive modeling and verification