Kim, S., Xu, Z., Song, K., Kim, D., Kang, H., Reichardt, I.,https://doi.org/10.1105/tpc.113.114264__Hwang, I. (2013). Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.113.114264 

Pbndík, A., Simonovik, B., Petersson, S., Henyková, E., Simon, S., Greenham, K.,https://doi.org/10.1105/tpc.113.114421__Ljung, K. (2013). Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.113.114421 

Bargmann, B., Vanneste, S., Krouk, G., Nawy, T., Efroni, I., Shani, E.,https://doi.org/10.1038/msb.2013.40__Birnbaum, K. (2013). A map of cell typespecific auxin responses. Molecular Systems Biology. Nature Publishing Group.https://doi.org/10.1038/msb.2013.40 

Chatterjee, K., Doyen, L., Randour, M., &; Raskin, J. (2013). Looking at mean-payoff and total-payoff through windows. Presented at the ATVA: Automated Technology for Verification and Analysis, Hanoi, Vietnam: Springer.https://doi.org/10.1007/978-3-319-02444-8_10 

Reiter, J., Bozic, I., Chatterjee, K., &; Nowak, M. (2013). TTP: Tool for Tumor Progression. IST Austria.https://doi.org/10.15479/AT:IST-2013-104-v1-1 

Chatterjee, K., Chmelik, M., &; Tracol, M. (2013). What is decidable about partially observable Markov decision processes with omega-regular objectives. Presented at the CSL: Computer Science Logic, Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CSL.2013.165 

Chatterjee, K., &; Ibsen-Jensen, R. (2013). Qualitative analysis of concurrent mean-payoff games. IST Austria.https://doi.org/10.15479/AT:IST-2013-126-v1-1 

Henzinger, T. A., &; Sezgin, A. (2013). How free is your linearizable concurrent data structure? IST Austria.https://doi.org/10.15479/AT:IST-2013-123-v1-1 

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

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