Chatterjee, K., Chmelik, M., &; Tracol, M. (2013). What is decidable about partially observable Markov decision processes with <9-regular objectives. IST Austria.https://doi.org/10.15479/AT:IST-2013-109-v1-1 

Chatterjee, K., &; Ibsen-Jensen, R. (2013). The complexity of ergodic games. IST Austria.https://doi.org/10.15479/AT:IST-2013-127-v1-1 

Porsche, J. (2013). Initiatives and projects related to RD. IST Austria.

Chatterjee, K., Doyen, L., Gimbert, H., &; Oualhadj, Y. (2013). Perfect-information stochastic mean-payoff parity games. IST Austria.https://doi.org/10.15479/AT:IST-2013-128-v1-1 

Chatterjee, K., Ibsen-Jensen, R., &; Majumdar, R. (2013). Edit distance for timed automata. IST Austria.https://doi.org/10.15479/AT:IST-2013-144-v1-1 

Chatterjee, K., Henzinger, T. A., Otop, J., &; Pavlogiannis, A. (2013). Distributed synthesis for LTL fragments. In 13th International Conference on Formal Methods in Computer-Aided Design (pp. 18–25). Portland, OR, United States: IEEE.https://doi.org/10.1109/FMCAD.2013.6679386 

Chatterjee, K., Henzinger, T. A., Otop, J., &; Pavlogiannis, A. (2013). Distributed synthesis for LTL Fragments. IST Austria.https://doi.org/10.15479/AT:IST-2013-130-v1-1 

Chatterjee, K., Doyen, L., Nain, S., &; Vardi, M. (2013). The complexity of partial-observation stochastic parity games with finite-memory strategies. IST Austria.https://doi.org/10.15479/AT:IST-2013-141-v1-1 

Porsche, J. (2013). Technical requirements and features. IST Austria.

Ahmed, U., Chatterjee, K., &; Gulwani, S. (2013). Automatic generation of alternative starting positions for traditional board games. IST Austria.https://doi.org/10.15479/AT:IST-2013-146-v1-1 

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 

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 

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 

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 

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 

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 

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 

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 

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 

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.