What is decidable about partially observable Markov decision processes with <9-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, What Is Decidable about Partially Observable Markov Decision Processes with <9-Regular Objectives, IST Austria, 2013.

Initiatives and projects related to RD
J. Porsche, Initiatives and Projects Related to RD, IST Austria, 2013.

How free is your linearizable concurrent data structure?
T.A. Henzinger, A. Sezgin, How Free Is Your Linearizable Concurrent Data Structure?, IST Austria, 2013.

Qualitative analysis of concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, Qualitative Analysis of Concurrent Mean-Payoff Games, IST Austria, 2013.

The complexity of ergodic games
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.

Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, Perfect-Information Stochastic Mean-Payoff Parity Games, IST Austria, 2013.

Distributed synthesis for LTL Fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, Distributed Synthesis for LTL Fragments, IST Austria, 2013.

Technical requirements and features
J. Porsche, Technical Requirements and Features, IST Austria, 2013.

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.

Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.

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.

Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.

Polarization dependent focusing
D. Schmid, T. Huang, R. Dirks, O. Hosten, P. Kwiat, in:, OSA, 2013.

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.

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.

Struggling to let go: A non-coding RNA directs its own extension and destruction
C. Bernecky, P. Cramer, EMBO Journal 32 (2013) 771–772.

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).

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.

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.

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.