Henzinger, T. A., &; Otop, J. (2013). From model checking to model measuring. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentina: Springer.https://doi.org/10.1007/978-3-642-40184-8_20 
LibreCat: https://research-explorer.ista.ac.at/record/2327
DOI: 10.1007/978-3-642-40184-8_20

Schmid, D., Huang, T., Dirks, R., Hosten, O., &; Kwiat, P. (2013). Polarization dependent focusing. Presented at the QIM: Quantum Information and Measurement, OSA.https://doi.org/10.1364/QIM.2013.W6.23 
LibreCat: https://research-explorer.ista.ac.at/record/590
DOI: 10.1364/QIM.2013.W6.23

Hillar, C. J., &; Martin del Campo Sanchez, A. (2013). Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. Journal of Symbolic Computation. Elsevier.https://doi.org/10.1016/j.jsc.2012.06.006 
LibreCat: https://research-explorer.ista.ac.at/record/5920
DOI: 10.1016/j.jsc.2012.06.006

Schmid, D., Huang, T., Hazrat, S., Dirks, R., Hosten, O., Quint, S.,https://doi.org/10.1364/OE.21.015538__Kwiat, P. (2013). Adjustable and robust methods for polarization-dependent focusing. Optics Express. Optical Society of America.https://doi.org/10.1364/OE.21.015538 
LibreCat: https://research-explorer.ista.ac.at/record/591
DOI: 10.1364/OE.21.015538

Bernecky, C., &; Cramer, P. (2013). Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2013.36 
LibreCat: https://research-explorer.ista.ac.at/record/595
DOI: 10.1038/emboj.2013.36

Kodama-Namba, E., Fenk, L. A., Bretscher, A. J., Gross, E., Busch, K. E., &; de Bono, M. (2013). Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. Public Library of Science (PLoS).https://doi.org/10.1371/journal.pgen.1004011 
LibreCat: https://research-explorer.ista.ac.at/record/6128
DOI: 10.1371/journal.pgen.1004011
PMID: 24385919

Chen, C., Fenk, L. A., &; de Bono, M. (2013). Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. Oxford University Press.https://doi.org/10.1093/nar/gkt805 
LibreCat: https://research-explorer.ista.ac.at/record/6130
DOI: 10.1093/nar/gkt805
PMID: 24013562

Couto, A., Oda, S., Nikolaev, V. O., Soltesz, Z., &; de Bono, M. (2013). In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences.https://doi.org/10.1073/pnas.1217428110 
LibreCat: https://research-explorer.ista.ac.at/record/6133
DOI: 10.1073/pnas.1217428110
PMID: 23940325

Rodriguez, M., Snoek, L. B., de Bono, M., &; Kammenga, J. E. (2013). Worms under stress: C. elegans stress response and its relevance to complex human disease and aging. Trends in Genetics. Elsevier.https://doi.org/10.1016/j.tig.2013.01.010 
LibreCat: https://research-explorer.ista.ac.at/record/6135
DOI: 10.1016/j.tig.2013.01.010

de Bono, M., Schafer, W. R., &; Gottschalk, A. (2013). Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans. In P. Hegemann &; S. Sigrist (Eds.), Optogenetics (pp. 61–78). Walter de Gruyter.
LibreCat: https://research-explorer.ista.ac.at/record/6132

Lin, T.-C., Cole, J. M., Higginbotham, A. P., Edwards, A. J., Piltz, R. O., Pérez-Moreno, J.,https://doi.org/10.1021/jp400648q__Kwon, O.-P. (2013). Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical Chemistry C. American Chemical Society (ACS).https://doi.org/10.1021/jp400648q 
LibreCat: https://research-explorer.ista.ac.at/record/6370
DOI: 10.1021/jp400648q

Henzinger, T. A., Payer, H., &; Sezgin, A. (2013). Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria.https://doi.org/10.15479/AT:IST-2013-124-v1-1 
LibreCat: https://research-explorer.ista.ac.at/record/6440
DOI: 10.15479/AT:IST-2013-124-v1-1

Mondelli, M. (2013). A finite difference scheme for the stack filter simulating the MCM. Image Processing On Line. Image Processing On Line.https://doi.org/10.5201/ipol.2013.53 
LibreCat: https://research-explorer.ista.ac.at/record/6768
DOI: 10.5201/ipol.2013.53

Chatterjee, K., &; Velner, Y. (2013). Hyperplane separation technique for multidimensional mean-payoff games. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentinia: Springer.https://doi.org/10.1007/978-3-642-40184-8_35 
LibreCat: https://research-explorer.ista.ac.at/record/2329
DOI: 10.1007/978-3-642-40184-8_35
arXiv: 1210.3141

Ottakam Thotiyl, M. M., Freunberger, S. A., Peng, Z., Chen, Y., Liu, Z., &; Bruce, P. G. (2013). A stable cathode for the aprotic Li–O2 battery. Nature Materials. Springer Nature.https://doi.org/10.1038/nmat3737 
LibreCat: https://research-explorer.ista.ac.at/record/7306
DOI: 10.1038/nmat3737

Chen, Y., Freunberger, S. A., Peng, Z., Fontaine, O., &; Bruce, P. G. (2013). Charging a Li–O2 battery using a redox mediator. Nature Chemistry. Springer Nature.https://doi.org/10.1038/nchem.1646 
LibreCat: https://research-explorer.ista.ac.at/record/7307
DOI: 10.1038/nchem.1646

Tan, S., Dai, C., Liu, H.-T., &; Xue, H.-W. (2013). Arabidopsis casein kinase1 proteins CK1.3 and CK1.4 phosphorylate cryptochrome2 to regulate blue light signaling. The Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.113.114322 
LibreCat: https://research-explorer.ista.ac.at/record/7596
DOI: 10.1105/tpc.113.114322
PMID: 23897926

Tang, Y., Tan, S., &; Xue, H. (2013). Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development. Acta Biochimica et Biophysica Sinica. Oxford University Press.https://doi.org/10.1093/abbs/gmt039 
LibreCat: https://research-explorer.ista.ac.at/record/7595
DOI: 10.1093/abbs/gmt039
PMID: 23595027

Alistarh, D.-A., Aspnes, J., Giakkoupis, G., &; Woelfel, P. (2013). Randomized loose renaming in O(loglogn) time (pp. 200–209). Presented at the PODC: Principles of Distributed Computing, ACM.https://doi.org/10.1145/2484239.2484240 
LibreCat: https://research-explorer.ista.ac.at/record/765
DOI: 10.1145/2484239.2484240

Robinson, M. R., Santure, A. W., DeCauwer, I., Sheldon, B. C., &; Slate, J. (2013). Partitioning of genetic variation across the genome using multimarker methods in a wild bird population. Molecular Ecology. Wiley.https://doi.org/10.1111/mec.12375 
LibreCat: https://research-explorer.ista.ac.at/record/7745
DOI: 10.1111/mec.12375