DOI,IST REx ID,Title of publication
10.1111/cgf.12066,18422,Sparse modeling of intrinsic correspondences
10.1534/g3.113.005561,18437,"A genetic screen for high copy number suppressors of the synthetic lethality between elg1Δ and srs2Δ in yeast"
10.4208/nmtma.2013.mssvm11,18440,Geometric and photometric data fusion in non-rigid shape analysis
10.4208/nmtma.2013.mssvm12,18441,Partial shape matching without point-wise correspondence
10.4310/mrl.2012.v19.n5.a1,22053,"Global well-posedness of the Gross–Pitaevskii and cubic-quintic nonlinear Schrödinger equations with non-vanishing boundary conditions"
10.4171/JEMS/416,2698,Stability and semiclassics in self-generated fields
10.1007/978-3-642-40184-8_18,2328,Aspect-oriented linearizability proofs
null,2901,Computing the M most probable modes of a graphical model
10.1162/NECO_a_00463,2818,Learning quadratic receptive fields from neural responses to natural stimuli
10.4310/HHA.2013.v15.n1.a3,2859,Homology and robustness of level and interlevel sets
10.1137/120872309,2280,Packing ellipsoids with overlap
null,2256,Linked (Open) Data - Bibliographische Daten im Semantic Web
10.1186/1471-2148-13-225,2284,Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
10.1007/978-3-642-39212-2_11,1387,Nondeterminism in the presence of a diverse or unknown future
10.1007/978-3-642-39212-2_3,2517,Formalizing and reasoning about quality
10.1111/nph.12437,2443,Defining the selectivity of processes along the auxin response chain: A study using auxin analogues
10.1145/2429069.2429109,2181,Quantitative relaxation of concurrent data structures
10.1109/FMCAD.2013.6679394,1385,Synthesizing multiple boolean functions using interpolation on a single proof
10.1016/j.cell.2013.07.037,11087,Identification of long-lived proteins reveals exceptional stability of essential cellular structures
10.1007/978-3-642-45221-5_13,2237,Tree interpolation in Vampire