DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-54013-4_15,10884,KrCh,Parameterized model checking of token-passing systems
10.1007/978-3-642-54013-4_5,10885,KrCh,Doomsday equilibria for omega-regular games
10.1007/978-3-319-04099-8_16,10886,HeEd,Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature
10.1007/978-3-319-13075-0_10,10892,HeEd,Planar matchings for weighted straight skeletons
10.1007/978-3-319-04099-8_4,10893,HeEd,Toward the extraction of saddle periodic orbits
10.1007/978-3-662-44199-2_24,10894,HeEd,"PHAT – Persistent Homology Algorithms Toolbox"
10.1007/978-3-662-44371-2_7,2082,KrPi,The exact PRF-security of NMAC and HMAC
10.1111/evo.12440,2083,CaGu,Role of sex and migration in adaptation to sink environments
10.15252/embj.201387695,2084,HaJa,Spatio-temporally precise activation of engineered receptor tyrosine kinases by light
10.1371/journal.pone.0103989,2086,SyCr,So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees
10.1145/2597631,2141,KrCh,Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
10.1145/2582112.2582168,2153,HeEd,Induced matchings of barcodes and the algebraic stability of persistence
10.1007/s00454-014-9584-7,2154,UlWa,On Gromov's method of selecting heavily covered points
10.1145/2582112.2582167,2155,HeEd,"The morse theory of Čech and Delaunay filtrations"
10.1145/2582112.2582169,2156,HeEd,Measuring distance between Reeb graphs
10.1145/2582112.2582137,2157,UlWa,Embeddability in the 3 sphere is decidable
10.1016/j.ceb.2014.05.010,2158,MiSi,New paradigms in the establishment and maintenance of gradients during directed cell migration
10.1145/2582112.2582134,2159,UlWa,"Eliminating Tverberg points, I. An analogue of the Whitney trick"
null,2160,ChLa,A PAC-Bayesian bound for Lifelong Learning
10.1007/s00265-014-1778-8,2161,SyCr,Increased grooming after repeated brood care provides sanitary benefits in a clonal ant