DOI,IST REx ID,Research Group,Title of publication
10.1016/b978-0-12-384719-5.00031-9,10899,NiBa,Differentiation
10.1007/978-1-62703-426-5_14,10900,MiSi,Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations
10.1007/978-3-642-37064-9_20,10902,KrCh,How to travel between languages
10.1145/2429069.2429109,2181,ToHe,Quantitative relaxation of concurrent data structures
10.1145/2429069.2429085,2182,ToHe,Quantitative abstraction refinement
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 
null,2256,E-Lib,Linked (Open) Data - Bibliographische Daten im Semantic Web
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
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