The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5408
DOI: 10.15479/AT:IST-2013-141-v1-1

Technical requirements and features
J. Porsche, Technical Requirements and Features, IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5407

Automatic generation of alternative starting positions for traditional board games
U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative Starting Positions for Traditional Board Games, IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5410
DOI: 10.15479/AT:IST-2013-146-v1-1

From model checking to model measuring
T.A. Henzinger, J. Otop, 8052 (2013) 273–287.
LibreCat: https://research-explorer.ista.ac.at/record/2327
DOI: 10.1007/978-3-642-40184-8_20

Polarization dependent focusing
D. Schmid, T. Huang, R. Dirks, O. Hosten, P. Kwiat, in:, OSA, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/590
DOI: 10.1364/QIM.2013.W6.23

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

Adjustable and robust methods for polarization-dependent focusing
D. Schmid, T. Huang, S. Hazrat, R. Dirks, O. Hosten, S. Quint, D. Thian, P. Kwiat, Optics Express 21 (2013) 15538–15552.
LibreCat: https://research-explorer.ista.ac.at/record/591
DOI: 10.1364/OE.21.015538

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

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

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

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

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

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

Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations
T.-C. Lin, J.M. Cole, A.P. Higginbotham, A.J. Edwards, R.O. Piltz, J. Pérez-Moreno, J.-Y. Seo, S.-C. Lee, K. Clays, O.-P. Kwon, The Journal of Physical Chemistry C 117 (2013) 9416–9430.
LibreCat: https://research-explorer.ista.ac.at/record/6370
DOI: 10.1021/jp400648q

Replacing competition with cooperation to achieve scalable lock-free FIFO queues 
T.A. Henzinger, H. Payer, A. Sezgin, Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues , IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/6440
DOI: 10.15479/AT:IST-2013-124-v1-1

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

Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
LibreCat: https://research-explorer.ista.ac.at/record/2329
DOI: 10.1007/978-3-642-40184-8_35
arXiv: 1210.3141

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

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

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