DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-40184-8_18,2328,ToHe,Aspect-oriented linearizability proofs
null,2901,"HeEd,VlKo,ChLa",Computing the M most probable modes of a graphical model
10.1162/NECO_a_00463,2818,GaTk,Learning quadratic receptive fields from neural responses to natural stimuli
10.4310/HHA.2013.v15.n1.a3,2859,HeEd,Homology and robustness of level and interlevel sets
10.1137/120872309,2280,CaUh,Packing ellipsoids with overlap
10.1186/1471-2148-13-225,2284,SyCr,Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
10.1007/978-3-642-39212-2_11,1387,ToHe,Nondeterminism in the presence of a diverse or unknown future
10.1007/978-3-642-39212-2_3,2517,ToHe,Formalizing and reasoning about quality
10.1111/nph.12437,2443,JiFr,Defining the selectivity of processes along the auxin response chain: A study using auxin analogues
10.1145/2429069.2429109,2181,ToHe,Quantitative relaxation of concurrent data structures
10.1109/FMCAD.2013.6679394,1385,ToHe,Synthesizing multiple boolean functions using interpolation on a single proof
10.1016/j.cell.2013.07.037,11087,MaHe,Identification of long-lived proteins reveals exceptional stability of essential cellular structures
10.1007/978-3-642-45221-5_13,2237,ToHe,Tree interpolation in Vampire
null,1406,"CaHe,GradSch",Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading
10.1038/ncb2869,2282,CaHe,Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly
10.1371/journal.pone.0080814,2247,KrCh,Forgiver triumphs in alternating prisoner's dilemma 
10.1111/eva.12020,2858,KrCh,The effect of one additional driver mutation on tumor progression
10.7554/eLife.00747,2816,KrCh,Evolutionary dynamics of cancer in response to targeted combination therapy
10.1007/978-3-642-39799-8_6,2000,KrCh,TTP: Tool for tumor progression
10.1098/rspb.2012.2058,450,NiBa,Source population characteristics affect heterosis following genetic rescue of fragmented plant populations