Topp, C., Iyer Pascuzzi, A., Anderson, J., Lee, C., Zurek, P., Symonova, O.,https://doi.org/10.1073/pnas.1304354110__Benfey, P. (2013). 3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1304354110 
LibreCat: https://research-explorer.ista.ac.at/record/2822
DOI: 10.1073/pnas.1304354110
PMID: 25673779

Remy, E., Cabrito, T., Baster, P., Batista, R., Teixeira, M., Friml, J.,https://doi.org/10.1105/tpc.113.110353__Duque, P. (2013). A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.113.110353 
LibreCat: https://research-explorer.ista.ac.at/record/2821
DOI: 10.1105/tpc.113.110353
PMID: 23524662

Du, Y., Tejos, R., Beck, M., Himschoot, E., Li, H., Robatzek, S.,https://doi.org/10.1073/pnas.1220205110__Friml, J. (2013). Salicylic acid interferes with clathrin-mediated endocytic protein trafficking. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1220205110 
LibreCat: https://research-explorer.ista.ac.at/record/2827
DOI: 10.1073/pnas.1220205110
PMID: 23613581

Tanaka, H., Kitakura, S., Rakusová, H., Uemura, T., Feraru, M., De Rycke, R.,https://doi.org/10.1371/journal.pgen.1003540__Friml, J. (2013). Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1003540 
LibreCat: https://research-explorer.ista.ac.at/record/2832
DOI: 10.1371/journal.pgen.1003540

Kolmogorov, V., &; divný, S. (2013). The complexity of conservative valued CSPs. Journal of the ACM. ACM.https://doi.org/10.1145/2450142.2450146 
LibreCat: https://research-explorer.ista.ac.at/record/2828
DOI: 10.1145/2450142.2450146
arXiv: 1110.2809

Shi, L., Avila, M., &; Hof, B. (2013). Scale invariance at the onset of turbulence in couette flow. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.110.204502 
LibreCat: https://research-explorer.ista.ac.at/record/2829
DOI: 10.1103/PhysRevLett.110.204502
arXiv: 1304.5446

Avila, M., Mellibovsky, F., Roland, N., &; Hof, B. (2013). Streamwise-localized solutions at the onset of turbulence in pipe flow. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.110.224502 
LibreCat: https://research-explorer.ista.ac.at/record/2834
DOI: 10.1103/PhysRevLett.110.224502
arXiv: 1212.0230

Barton, N. H., Etheridge, A., Kelleher, J., &; Véber, A. (2013). Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks. Theoretical Population Biology. Elsevier.https://doi.org/10.1016/j.tpb.2013.03.001 
LibreCat: https://research-explorer.ista.ac.at/record/2842
DOI: 10.1016/j.tpb.2013.03.001

Arquè Fuste, G., Casanovas, A., &; Dierssen, M. (2013). Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0054285 
LibreCat: https://research-explorer.ista.ac.at/record/2838
DOI: 10.1371/journal.pone.0054285

Weber, M., Hauschild, R., Schwarz, J., Moussion, C., de Vries, I., Legler, D.,https://doi.org/10.1126/science.1228456__Sixt, M. K. (2013). Interstitial dendritic cell guidance by haptotactic chemokine gradients. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1228456 
LibreCat: https://research-explorer.ista.ac.at/record/2839
DOI: 10.1126/science.1228456

Erdös, L., Knowles, A., Yau, H., &; Yin, J. (2013). The local semicircle law for a general class of random matrices. Electronic Journal of Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/EJP.v18-2473 
LibreCat: https://research-explorer.ista.ac.at/record/2837
DOI: 10.1214/EJP.v18-2473

Yu, H., Karampelias, M., Robert, S., Peer, W., Swarup, R., Ye, S.,https://doi.org/10.1104/pp.113.217018__Estelle, M. (2013). Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. Plant Physiology. American Society of Plant Biologists.https://doi.org/10.1104/pp.113.217018 
LibreCat: https://research-explorer.ista.ac.at/record/2835
DOI: 10.1104/pp.113.217018
PMID: 23580592

Chatterjee, K., &; Raman, V. (2013). Assume-guarantee synthesis for digital contract signing. Formal Aspects of Computing. Springer.https://doi.org/10.1007/s00165-013-0283-6 
LibreCat: https://research-explorer.ista.ac.at/record/2836
DOI: 10.1007/s00165-013-0283-6
arXiv: 1004.2697

El Masri, L., Schulte, R., Timmermeyer, N., Thanisch, S., Crummenerl, L., Jansen, G.,https://doi.org/10.1111/ele.12068__Schulenburg, H. (2013). Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution. Ecology Letters. Wiley-Blackwell.https://doi.org/10.1111/ele.12068 
LibreCat: https://research-explorer.ista.ac.at/record/2846
DOI: 10.1111/ele.12068

Chatterjee, K., De Alfaro, L., &; Henzinger, T. A. (2013). Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences. Elsevier.https://doi.org/10.1016/j.jcss.2012.12.001 
LibreCat: https://research-explorer.ista.ac.at/record/2854
DOI: 10.1016/j.jcss.2012.12.001

Tkadik, G., Marre, O., Mora, T., Amodei, D., Berry, M., &; Bialek, W. (2013). The simplest maximum entropy model for collective behavior in a neural network. Journal of Statistical Mechanics Theory and Experiment. IOP Publishing Ltd.https://doi.org/10.1088/1742-5468/2013/03/P03011 
LibreCat: https://research-explorer.ista.ac.at/record/2850
DOI: 10.1088/1742-5468/2013/03/P03011
arXiv: 1207.6319

Szobota, S., Mckenzie, C., &; Janovjak, H. L. (2013). Optical control of ligand-gated ion channels. Methods in Molecular Biology. Springer.https://doi.org/10.1007/978-1-62703-351-0_32 
LibreCat: https://research-explorer.ista.ac.at/record/2857
DOI: 10.1007/978-1-62703-351-0_32

Dupret, D., O’Neill, J., &; Csicsvari, J. L. (2013). Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2013.01.033 
LibreCat: https://research-explorer.ista.ac.at/record/2860
DOI: 10.1016/j.neuron.2013.01.033

Hippenmeyer, S., Johnson, R., &; Luo, L. (2013). Mosaic analysis with double markers reveals cell type specific paternal growth dominance. Cell Reports. Cell Press.https://doi.org/10.1016/j.celrep.2013.02.002 
LibreCat: https://research-explorer.ista.ac.at/record/2855
DOI: 10.1016/j.celrep.2013.02.002

Levitz, J., Pantoja, C., Gaub, B., Janovjak, H. L., Reiner, A., Hoagland, A.,https://doi.org/10.1038/nn.3346__Isacoff, E. (2013). Optical control of metabotropic glutamate receptors. Nature Neuroscience. Nature Publishing Group.https://doi.org/10.1038/nn.3346 
LibreCat: https://research-explorer.ista.ac.at/record/2856
DOI: 10.1038/nn.3346
PMID: 23455609

Bendich, P., Edelsbrunner, H., Morozov, D., &; Patel, A. (2013). Homology and robustness of level and interlevel sets. Homology, Homotopy and Applications. International Press.https://doi.org/10.4310/HHA.2013.v15.n1.a3 
LibreCat: https://research-explorer.ista.ac.at/record/2859
DOI: 10.4310/HHA.2013.v15.n1.a3
arXiv: 1102.3389

Granot Atedgi, E., Tkadik, G., Segev, R., &; Schneidman, E. (2013). Stimulus-dependent maximum entropy models of neural population codes. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1002922 
LibreCat: https://research-explorer.ista.ac.at/record/2863
DOI: 10.1371/journal.pcbi.1002922

Tay, H., Schulze, S., Compagnon, J., Foley, F., Heisenberg, C.-P. J., Yost, H. J.,https://doi.org/10.1242/dev.087130__Amack, J. (2013). Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle. Development. Company of Biologists.https://doi.org/10.1242/dev.087130 
LibreCat: https://research-explorer.ista.ac.at/record/2862
DOI: 10.1242/dev.087130
PMID: 23482490

Wang, B., Bailly, A., Zwiewk, M., Henrichs, S., Azzarello, E., Mancuso, S.,https://doi.org/10.1105/tpc.112.105999__Geisler, M. (2013). Arabidopsis TWISTED DWAR functionally interacts with auxin exporter ABC on the root plasma membrane. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.112.105999 
LibreCat: https://research-explorer.ista.ac.at/record/2883
DOI: 10.1105/tpc.112.105999
PMID: 23321285

Marhavý, P., Vanstraelen, M., De Rybel, B., Zhaojun, D., Bennett, M., Beeckman, T., &; Benková, E. (2013). Auxin reflux between the endodermis and pericycle promotes lateral root initiation. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2012.303 
LibreCat: https://research-explorer.ista.ac.at/record/2880
DOI: 10.1038/emboj.2012.303
PMID: 23178590

Löfke, C., Zwiewka, M., Heilmann, I., Van Montagu, M., Teichmann, T., &; Friml, J. (2013). Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1300107110 
LibreCat: https://research-explorer.ista.ac.at/record/2882
DOI: 10.1073/pnas.1300107110
PMID: 23391733

Li, H., Xu, T., Lin, D., Wen, M., Xie, M., Duclercq, J.,https://doi.org/10.1038/cr.2012.146__Yang, Z. (2013). Cytokinin signaling regulates pavement cell morphogenesis in Arabidopsis. Cell Research. Nature Publishing Group.https://doi.org/10.1038/cr.2012.146 
LibreCat: https://research-explorer.ista.ac.at/record/2881
DOI: 10.1038/cr.2012.146

Chmelik, M., &; ehák, V. (2013). Controllable-choice message sequence graphs. Presented at the MEMICS: Mathematical and Engineering Methods in Computer Science, Znojmo, Czech Republic: Springer.https://doi.org/10.1007/978-3-642-36046-6_12 
LibreCat: https://research-explorer.ista.ac.at/record/2886
DOI: 10.1007/978-3-642-36046-6_12

Fang, S., Clark, R., Zheng, Y., Iyer Pascuzzi, A., Weitz, J., Kochian, L.,https://doi.org/10.1073/pnas.1222821110__Benfey, P. (2013). Genotypic recognition and spatial responses by rice roots. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1222821110 
LibreCat: https://research-explorer.ista.ac.at/record/2887
DOI: 10.1073/pnas.1222821110
PMID: 23362379

Chen, C., Kolmogorov, V., Yan, Z., Metaxas, D., &; Lampert, C. (2013). Computing the M most probable modes of a graphical model (Vol. 31, pp. 161–169). Presented at the  AISTATS: Conference on Uncertainty in Artificial Intelligence, Scottsdale, AZ, United States: JMLR.
LibreCat: https://research-explorer.ista.ac.at/record/2901

Kerber, M., &; Edelsbrunner, H. (2013). 3D kinetic alpha complexes and their implementation. In 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments (pp. 70–77). New Orleans, LA, United States: Society of Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611972931.6 
LibreCat: https://research-explorer.ista.ac.at/record/2906
DOI: 10.1137/1.9781611972931.6

Kelleher, J., Barton, N. H., &; Etheridge, A. (2013). Coalescent simulation in continuous space. Bioinformatics. Oxford University Press.https://doi.org/10.1093/bioinformatics/btt067 
LibreCat: https://research-explorer.ista.ac.at/record/2910
DOI: 10.1093/bioinformatics/btt067

Barton, N. H., Etheridge, A., &; Véber, A. (2013). Modelling evolution in a spatial continuum. Journal of Statistical Mechanics Theory and Experiment. IOP Publishing Ltd.https://doi.org/10.1088/1742-5468/2013/01/P01002 
LibreCat: https://research-explorer.ista.ac.at/record/2909
DOI: 10.1088/1742-5468/2013/01/P01002

Barton, N. H. (2013). Does hybridisation influence speciation?  . Journal of Evolutionary Biology. Wiley-Blackwell.https://doi.org/10.1111/jeb.12015 
LibreCat: https://research-explorer.ista.ac.at/record/2908
DOI: 10.1111/jeb.12015

Barton, N. H. (2013). Recombination and sex. In The Princeton Guide to Evolution (pp. 328–333). Princeton University Press.
LibreCat: https://research-explorer.ista.ac.at/record/2907

Tkadik, G., Granot Atedgi, E., Segev, R., &; Schneidman, E. (2013). Retinal metric: a stimulus distance measure derived from population neural responses. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.110.058104 
LibreCat: https://research-explorer.ista.ac.at/record/2913
DOI: 10.1103/PhysRevLett.110.058104

Baster, P., Robert, S., Kleine Vehn, J., Vanneste, S., Kania, U., Grunewald, W.,https://doi.org/10.1038/emboj.2012.310__Friml, J. (2013). SCF^TI AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2012.310 
LibreCat: https://research-explorer.ista.ac.at/record/2919
DOI: 10.1038/emboj.2012.310
PMID: 23211744

Compagnon, J., &; Heisenberg, C.-P. J. (2013). Neurulation coordinating cell polarisation and lumen formation. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2012.325 
LibreCat: https://research-explorer.ista.ac.at/record/2920
DOI: 10.1038/emboj.2012.325
PMID: 23211745

Krenn, S., Pietrzak, K. Z., &; Wadia, A. (2013). A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. In A. Sahai (Ed.) (Vol. 7785, pp. 23–39). Presented at the TCC: Theory of Cryptography Conference, Tokyo, Japan: Springer.https://doi.org/10.1007/978-3-642-36594-2_2 
LibreCat: https://research-explorer.ista.ac.at/record/2940
DOI: 10.1007/978-3-642-36594-2_2

Tommasi, T., Quadrianto, N., Caputo, B., &; Lampert, C. (2013). Beyond dataset bias: Multi-task unaligned shared knowledge transfer. Presented at the ACCV: Asian Conference on Computer Vision, Daejeon, Korea: Springer.https://doi.org/10.1007/978-3-642-37331-2_1 
LibreCat: https://research-explorer.ista.ac.at/record/2948
DOI: 10.1007/978-3-642-37331-2_1

Bangerter, E., Barzan, S., Krenn, S., Sadeghi, A., Schneider, T., &; Tsay, J. (2013). Bringing Zero-Knowledge Proofs of Knowledge to Practice. In B. Christianson, J. Malcolm, V. Matyas, &; M. Roe (Eds.) (Vol. 7028, pp. 51–62). Presented at the SPW: Security Protocols Workshop, Springer.https://doi.org/10.1007/978-3-642-36213-2_9 
LibreCat: https://research-explorer.ista.ac.at/record/2973
DOI: 10.1007/978-3-642-36213-2_9

Edelsbrunner, H., Fasy, B. T., &; Rote, G. (2013). Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-013-9517-x 
LibreCat: https://research-explorer.ista.ac.at/record/2815
DOI: 10.1007/s00454-013-9517-x

Ibáñez, M., Cadavid, D., Anselmi Tamburini, U., Zamani, R., Gorsse, S., Li, W.,https://doi.org/10.1039/C2TA00419D__Cabot, A. (2013). Colloidal synthesis and thermoelectric properties of Cu 2SnSe3 nanocrystals. Journal of Materials Chemistry A. Royal Society of Chemistry.https://doi.org/10.1039/C2TA00419D 
LibreCat: https://research-explorer.ista.ac.at/record/344
DOI: 10.1039/C2TA00419D

Dubuis, J., Tkadik, G., Wieschaus, E., Gregor, T., &; Bialek, W. (2013). Positional information, in bits. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1315642110 
LibreCat: https://research-explorer.ista.ac.at/record/3261
DOI: 10.1073/pnas.1315642110
PMID: 24089448

Chatterjee, K., Henzinger, M. H., Joglekar, M., &; Shah, N. (2013). Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-012-0180-2 
LibreCat: https://research-explorer.ista.ac.at/record/2831
DOI: 10.1007/s10703-012-0180-2
arXiv: 1104.3348

Pickup, M., Field, D., Rowell, D., &; Young, A. (2013). Source population characteristics affect heterosis following genetic rescue of fragmented plant populations. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The.https://doi.org/10.1098/rspb.2012.2058 
LibreCat: https://research-explorer.ista.ac.at/record/450
DOI: 10.1098/rspb.2012.2058
PMID: 23173202

Dickerson, D., &; Bilkey, D. (2013). Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience. Frontiers Research Foundation.https://doi.org/10.3389/fnbeh.2013.00217 
LibreCat: https://research-explorer.ista.ac.at/record/476
DOI: 10.3389/fnbeh.2013.00217

Ward, M., Lycett, S., Avila, D., Bollback, J. P., &; Leigh Brown, A. (2013). Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary Biology. BioMed Central.https://doi.org/10.1186/1471-2148-13-222 
LibreCat: https://research-explorer.ista.ac.at/record/500
DOI: 10.1186/1471-2148-13-222

Cozzuol, M., Clozato, C., Holanda, E., Rodrigues, F., Nienow, S., De Thoisy, B.,https://doi.org/10.1644/12-MAMM-A-169.1__Santos, F. (2013). A new species of tapir from the Amazon. Journal of Mammalogy. Oxford University Press.https://doi.org/10.1644/12-MAMM-A-169.1 
LibreCat: https://research-explorer.ista.ac.at/record/501
DOI: 10.1644/12-MAMM-A-169.1

Tarazona Santos, E., Machado, M., Magalhães, W., Chen, R., Lyon, F., Burdett, L.,https://doi.org/10.1093/molbev/mst119__Chanock, S. (2013). Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NC, and NC: Functional implications. Molecular Biology and Evolution. Oxford University Press.https://doi.org/10.1093/molbev/mst119 
LibreCat: https://research-explorer.ista.ac.at/record/508
DOI: 10.1093/molbev/mst119
PMID: 23821607

Di Rubbo, S., Irani, N., Kim, S., Xu, Z., Gadeyne, A., Dejonghe, W.,https://doi.org/10.1105/tpc.113.114058__Russinova, E. (2013). The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIV in arabidopsis. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.113.114058 
LibreCat: https://research-explorer.ista.ac.at/record/509
DOI: 10.1105/tpc.113.114058
PMID: 23975899

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 
LibreCat: https://research-explorer.ista.ac.at/record/507
DOI: 10.1105/tpc.113.114264
PMID: 23975898

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 
LibreCat: https://research-explorer.ista.ac.at/record/511
DOI: 10.1105/tpc.113.114421
PMID: 24163311

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 
LibreCat: https://research-explorer.ista.ac.at/record/516
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/2279
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5399
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/2295
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5403
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5402
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5400
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5404
DOI: 10.15479/AT:IST-2013-127-v1-1

Porsche, J. (2013). Initiatives and projects related to RD. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/5401

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 
LibreCat: https://research-explorer.ista.ac.at/record/5405
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5409
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5406
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5408
DOI: 10.15479/AT:IST-2013-141-v1-1

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

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 
LibreCat: https://research-explorer.ista.ac.at/record/5410
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/2327
DOI: 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 
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

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

Vogels, T. P., Froemke, R. C., Doyon, N., Gilson, M., Haas, J. S., Liu, R.,https://doi.org/10.3389/fncir.2013.00119__Sprekeler, H. (2013). Inhibitory synaptic plasticity: Spike timing-dependence and putative network function. Frontiers in Neural Circuits. Frontiers Media.https://doi.org/10.3389/fncir.2013.00119 
LibreCat: https://research-explorer.ista.ac.at/record/8030
DOI: 10.3389/fncir.2013.00119
PMID: 23882186

Petricevic, B., Laengle, J., Singer, J., Sachet, M., Singer, J., Steger, G.,https://doi.org/10.1186/1479-5876-11-307__Bergmann, M. (2013). Trastuzumab mediates antibody-dependent cell-mediated cytotoxicity and phagocytosis to the same extent in both adjuvant and metastatic HE/neu breast cancer patients. Journal of Translational Medicine. Springer Nature.https://doi.org/10.1186/1479-5876-11-307 
LibreCat: https://research-explorer.ista.ac.at/record/8245
DOI: 10.1186/1479-5876-11-307
PMID: 24330813

O’Brien, J., &; Benková, E. (2013). Cytokinin cross talking during biotic and abiotic stress responses. Frontiers in Plant Science. Frontiers Research Foundation.https://doi.org/10.3389/fpls.2013.00451 
LibreCat: https://research-explorer.ista.ac.at/record/827
DOI: 10.3389/fpls.2013.00451

Cuesta, C., Wabnik, K. T., &; Benková, E. (2013). Systems approaches to study root architecture dynamics. Frontiers in Plant Science. Frontiers Research Foundation.https://doi.org/10.3389/fpls.2013.00537 
LibreCat: https://research-explorer.ista.ac.at/record/828
DOI: 10.3389/fpls.2013.00537

Serbyn, M., &; Skvortsov, M. (2013). Onset of superconductivity in a voltage-biased normal-superconducting-normal microbridge. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.87.020501 
LibreCat: https://research-explorer.ista.ac.at/record/971
DOI: 10.1103/PhysRevB.87.020501

Okada, Y., Serbyn, M., Lin, H., Walkup, D., Zhou, W., Dhital, C.,https://doi.org/10.1126/science.1239451__Madhavan, V. (2013). Observation of dirac node formation and mass acquisition in a topological crystalline insulator. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1239451 
LibreCat: https://research-explorer.ista.ac.at/record/972
DOI: 10.1126/science.1239451
arXiv: 1305.2823

Serbyn, M., Papi, Z., &; Abanin, D. (2013). Universal slow growth of entanglement in interacting strongly disordered systems. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.110.260601 
LibreCat: https://research-explorer.ista.ac.at/record/975
DOI: 10.1103/PhysRevLett.110.260601

Arkhipov, V., Noah, T., Koschkar, S., &; Kondrashov, F. (2013). Birds of Mys Shmidta, north Chukotka, Russia. Forktail. Oriental Bird Club.
LibreCat: https://research-explorer.ista.ac.at/record/905

Melet, A., Nikurashin, M., Muller, C. J., Falahat, S., Nycander, J., Timko, P. G.,https://doi.org/10.1002/2013jc009212__Goff, J. A. (2013). Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. American Geophysical Union.https://doi.org/10.1002/2013jc009212 
LibreCat: https://research-explorer.ista.ac.at/record/9153
DOI: 10.1002/2013jc009212

Muller, C. J. (2013). Impact of convective organization on the response of tropical precipitation extremes to warming. Journal of Climate. American Meteorological Society.https://doi.org/10.1175/jcli-d-12-00655.1 
LibreCat: https://research-explorer.ista.ac.at/record/9154
DOI: 10.1175/jcli-d-12-00655.1

Palacci, J. A., Sacanna, S., Vatchinsky, A., Chaikin, P. M., &; Pine, D. J. (2013). Photoactivated colloidal dockers for cargo transportation. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/ja406090s 
LibreCat: https://research-explorer.ista.ac.at/record/9167
DOI: 10.1021/ja406090s
PMID: 24131488
arXiv: 1310.5724

Zemach, A., Kim, M. Y., Hsieh, P.-H., Coleman-Derr, D., Eshed-Williams, L., Thao, K.,https://doi.org/10.1016/j.cell.2013.02.033__Zilberman, D. (2013). The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access -containing heterochromatin. Cell. Elsevier.https://doi.org/10.1016/j.cell.2013.02.033 
LibreCat: https://research-explorer.ista.ac.at/record/9459
DOI: 10.1016/j.cell.2013.02.033
PMID: 23540698

Rodrigues, J. A., Ruan, R., Nishimura, T., Sharma, M. K., Sharma, R., Ronald, P. C.,https://doi.org/10.1073/pnas.1306164110__Zilberman, D. (2013). Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1306164110 
LibreCat: https://research-explorer.ista.ac.at/record/9481
DOI: 10.1073/pnas.1306164110
PMID: 23613580

Cheng, B., &; Ngan, A. H. W. (2013). Thermally induced solid-solid structural transition of copper nanoparticles through direct geometrical conversion. The Journal of Chemical Physics. AIP Publishing.https://doi.org/10.1063/1.4802025 
LibreCat: https://research-explorer.ista.ac.at/record/9663
DOI: 10.1063/1.4802025
PMID: 23635145

Serbyn, M., &; Abanin, D. (2013). New Dirac points and multiple Landau level crossings in biased trilayer graphene. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.87.115422 
LibreCat: https://research-explorer.ista.ac.at/record/970
DOI: 10.1103/PhysRevB.87.115422

Serbyn, M., Papi, Z., &; Abanin, D. (2013). Local conservation laws and the structure of the many body localized states. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.111.127201 
LibreCat: https://research-explorer.ista.ac.at/record/973
DOI: 10.1103/PhysRevLett.111.127201

Serbyn, M., Senthil, T., &; Lee, P. (2013). Overscreened Kondo fixed point in S=1 spin liquid. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.88.024419 
LibreCat: https://research-explorer.ista.ac.at/record/974
DOI: 10.1103/PhysRevB.88.024419
arXiv: 1212.5179

Tragust, S., Ugelvig, L. V., Chapuisat, M., Heinze, J., &; Cremer, S. (2013). Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. BMC Evolutionary Biology. BioMed Central.https://doi.org/10.1186/1471-2148-13-225 
LibreCat: https://research-explorer.ista.ac.at/record/2284
DOI: 10.1186/1471-2148-13-225

Simmons, K., Prentice, J., Tkadik, G., Homann, J., Yee, H., Palmer, S.,https://doi.org/10.1371/journal.pcbi.1003344__Balasubramanian, V. (2013). Transformation of stimulus correlations by the retina. PLoS Computational Biology. Public Library of Science.https://doi.org/10.1371/journal.pcbi.1003344 
LibreCat: https://research-explorer.ista.ac.at/record/2277
DOI: 10.1371/journal.pcbi.1003344

Hearn, J., Stone, G., Barton, N. H., Lohse, K., &; Bunnefeld, L. (2013). Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies. Dryad.https://doi.org/10.5061/dryad.r3r60 
LibreCat: https://research-explorer.ista.ac.at/record/9754
DOI: 10.5061/dryad.r3r60

Serbyn, M., &; Lee, P. (2013). Spinon-phonon interaction in algebraic spin liquids. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.87.174424 
LibreCat: https://research-explorer.ista.ac.at/record/976
DOI: 10.1103/PhysRevB.87.174424

Lutz, A. F., Immerzeel, W. W., Gobiet, A., Pellicciotti, F., &; Bierkens, M. F. P. (2013). Comparison of climate change signals in CMI and CMI multi-model ensembles and implications for Central Asian glaciers. Hydrology and Earth System Sciences. Copernicus GmbH.https://doi.org/10.5194/hess-17-3661-2013 
LibreCat: https://research-explorer.ista.ac.at/record/12638
DOI: 10.5194/hess-17-3661-2013

Ragettli, S., Pellicciotti, F., Bordoy, R., &; Immerzeel, W. W. (2013). Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change. Water Resources Research. American Geophysical Union.https://doi.org/10.1002/wrcr.20450 
LibreCat: https://research-explorer.ista.ac.at/record/12639
DOI: 10.1002/wrcr.20450

Feng, X., Zilberman, D., &; Dickinson, H. (2013). A conversation across generations: Soma-germ cell crosstalk in plants. Developmental Cell. Elsevier.https://doi.org/10.1016/j.devcel.2013.01.014 
LibreCat: https://research-explorer.ista.ac.at/record/9520
DOI: 10.1016/j.devcel.2013.01.014
PMID: 23410937