_id,doi,title
6133,10.1073/pnas.1217428110,In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor
6440,10.15479/AT:IST-2013-124-v1-1,Replacing competition with cooperation to achieve scalable lock-free FIFO queues 
1442,10.4007/annals.2013.177.3.8,Positivity for Kac polynomials and DT-invariants of quivers
1443,,Global topology of the Hitchin system
1470,10.5427/jsing.2013.7c,Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces
1374,10.4230/LIPIcs.CSL.2013.181,Infinite-state games with finitary conditions
1385,10.1109/FMCAD.2013.6679394,Synthesizing multiple boolean functions using interpolation on a single proof
1387,10.1007/978-3-642-39212-2_11,Nondeterminism in the presence of a diverse or unknown future
1405,10.15479/at:ista:1405,Analysis of dynamic message passing programs
905,,"Birds of Mys Shmidta, north Chukotka, Russia"
9153,10.1002/2013jc009212,Internal tide generation by abyssal hills using analytical theory
9154,10.1175/jcli-d-12-00655.1,Impact of convective organization on the response of tropical precipitation extremes to warming
9167,10.1021/ja406090s,Photoactivated colloidal dockers for cargo transportation
9459,10.1016/j.cell.2013.02.033,The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin
9481,10.1073/pnas.1306164110,Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm
9520,10.1016/j.devcel.2013.01.014,A conversation across generations: Soma-germ cell crosstalk in plants
9663,10.1063/1.4802025,Thermally induced solid-solid structural transition of copper nanoparticles through direct geometrical conversion
10384,10.1103/physrevlett.111.245702,Living clusters and crystals from low-density suspensions of active colloids
10396,10.1515/bmt-2013-4181,Stimfit: A fast visualization and analysis environment for cellular neurophysiology
11856,10.1109/focs.2013.64,Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization