DOI,IST REx ID,Title of publication
10.1038/nature12235,1991,Reversal of an ancient sex chromosome to an autosome in Drosophila
10.1007/978-3-642-39799-8_6,2000,TTP: Tool for tumor progression
10.29012/jpc.v5i1.629,2009,Privacy-preserving data sharing for genome-wide association studies
10.1214/12-AOS1080,2010,Geometry of the faithfulness assumption in causal inference
10.1055/s-0033-1340087,13405,Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol
10.1002/adma.201201734,13406,Dual-responsive nanoparticles and their self-assembly
10.4230/LIPIcs.CSL.2013.181,1374,Infinite-state games with finitary conditions
10.1109/FMCAD.2013.6679386,1376,Distributed synthesis for LTL fragments
10.1109/FMCAD.2013.6679394,1385,Synthesizing multiple boolean functions using interpolation on a single proof
10.1007/978-3-642-39212-2_11,1387,Nondeterminism in the presence of a diverse or unknown future
10.15479/at:ista:1405,1405,Analysis of dynamic message passing programs
null,1406,Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading
10.4007/annals.2013.177.3.8,1442,Positivity for Kac polynomials and DT-invariants of quivers
null,1443,Global topology of the Hitchin system
10.1016/j.aim.2012.10.009,1469,Arithmetic harmonic analysis on character and quiver varieties II
10.5427/jsing.2013.7c,1470,Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces
10.15479/AT:IST-2013-104-v1-1,5399,TTP: Tool for Tumor Progression
10.15479/AT:IST-2013-109-v1-1,5400,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
null,5401,Initiatives and projects related to RD
10.15479/AT:IST-2013-123-v1-1,5402,How free is your linearizable concurrent data structure?