DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2013-144-v1-1,5409,KrCh,Edit distance for timed automata
10.15479/AT:IST-2013-146-v1-1,5410,KrCh,Automatic generation of alternative starting positions for traditional board games
10.1007/978-3-642-39799-8_11,5747,ToHe,Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
10.1364/QIM.2013.W6.23,590,,Polarization dependent focusing
10.1364/OE.21.015538,591,,Adjustable and robust methods for polarization-dependent focusing
10.1016/j.jsc.2012.06.006,5920,,Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
10.1038/emboj.2013.36,595,,Struggling to let go: A non-coding RNA directs its own extension and destruction
10.1371/journal.pgen.1004011,6128,,"Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans"
10.1093/nar/gkt805,6130,,Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination
null,6132,,"Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans"
10.1073/pnas.1217428110,6133,,In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor
10.1016/j.tig.2013.01.010,6135,,Worms under stress: C. elegans stress response and its relevance to complex human disease and aging
10.1021/jp400648q,6370,,"Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations"
10.15479/AT:IST-2013-124-v1-1,6440,ToHe,Replacing competition with cooperation to achieve scalable lock-free FIFO queues 
10.5201/ipol.2013.53,6768,,A finite difference scheme for the stack filter simulating the MCM
10.1038/nmat3737,7306,,"A stable cathode for the aprotic Li–O2 battery"
10.1038/nchem.1646,7307,,"Charging a Li–O2 battery using a redox mediator"
10.1093/abbs/gmt039,7595,,"Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development"
10.1105/tpc.113.114322,7596,,Arabidopsis casein kinase1 proteins CK1.3 and CK1.4 phosphorylate cryptochrome2 to regulate blue light signaling
10.1145/2484239.2484240,765,,Randomized loose renaming in O(loglogn) time