Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

8978 Publications


2013 | Journal Article | IST-REx-ID: 2837 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2835 | OA
Yu, H., Karampelias, M., Robert, S., Peer, W., Swarup, R., Ye, S., … 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
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2836 | OA
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
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2840
Van Cauter, T., Camon, J., Alvernhe, A., Elduayen, C., Sargolini, F., & Save, É. (2013). Distinct roles of medial and lateral entorhinal cortex in spatial cognition. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/bhs033
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2841
Morita, H., & Heisenberg, C.-P. J. (2013). Holding on and letting go: Cadherin turnover in cell intercalation. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2013.03.007
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2846 | OA
El Masri, L., Schulte, R., Timmermeyer, N., Thanisch, S., Crummenerl, L., Jansen, G., … 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
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2844
Rosquete, M., von Wangenheim, D., Marhavý, P., Barbez, E., Stelzer, E., Benková, E., … Kleine Vehn, J. (2013). An auxin transport mechanism restricts positive orthogravitropism in lateral roots. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2013.03.064
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2843
Edelsbrunner, H., & Pausinger, F. (2013). Stable length estimates of tube-like shapes. In 17th IAPR International Conference on Discrete Geometry for Computer Imagery (Vol. 7749, pp. XV–XIX). Seville, Spain: Springer. https://doi.org/10.1007/978-3-642-37067-0
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2845
Rose, T., Schönenberger, P., Jezek, K., & Oertner, T. (2013). Developmental refinement of vesicle cycling at Schaffer collateral synapses. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2013.01.021
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2854 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2850 | OA
Tkačik, 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
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2851
Berry, M., Tkačik, G., Dubuis, J., Marre, O., & Da Silveira, R. (2013). A simple method for estimating the entropy of neural activity. Journal of Statistical Mechanics Theory and Experiment. IOP Publishing Ltd. https://doi.org/10.1088/1742-5468/2013/03/P03015
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2857 | OA
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
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2860 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2855 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2856 | OA
Levitz, J., Pantoja, C., Gaub, B., Janovjak, H. L., Reiner, A., Hoagland, A., … Isacoff, E. (2013). Optical control of metabotropic glutamate receptors. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3346
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2859 | OA
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
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2863 | OA
Granot Atedgi, E., Tkačik, 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
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2862 | OA
Tay, H., Schulze, S., Compagnon, J., Foley, F., Heisenberg, C.-P. J., Yost, H. J., … 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
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2861
Botella Soler, V., Oteo, J., Ros, J., & Glendinning, P. (2013). Lyapunov exponent and topological entropy plateaus in piecewise linear maps. Journal of Physics A: Mathematical and Theoretical. IOP Publishing Ltd. https://doi.org/10.1088/1751-8113/46/12/125101
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2877
Vandenbussche, F., Callebert, P., Žádníková, P., Benková, E., & Van Der Straeten, D. (2013). Brassinosteroid control of shoot gravitropism interacts with ethylene and depends on auxin signaling components. American Journal of Botany. Botanical Society of America. https://doi.org/10.3732/ajb.1200264
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2883 | OA
Wang, B., Bailly, A., Zwiewk, M., Henrichs, S., Azzarello, E., Mancuso, S., … Geisler, M. (2013). Arabidopsis TWISTED DWARF1 functionally interacts with auxin exporter ABCB1 on the root plasma membrane. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.112.105999
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2880 | OA
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
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2882 | OA
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
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference (Editor) | IST-REx-ID: 2885
Kucera, A., Henzinger, T. A., Nesetril, J., Vojnar, T., & Antos, D. (Eds.). (2013). Mathematical and Engineering Methods in Computer Science (Vol. 7721, pp. 1–228). 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
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2881 | OA
Li, H., Xu, T., Lin, D., Wen, M., Xie, M., Duclercq, J., … Yang, Z. (2013). Cytokinin signaling regulates pavement cell morphogenesis in Arabidopsis. Cell Research. Nature Publishing Group. https://doi.org/10.1038/cr.2012.146
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2884
Maître, J.-L., Berthoumieux, H., Krens, G., Salbreux, G., Julicher, F., Paluch, E., & Heisenberg, C.-P. J. (2013). Cell adhesion mechanics of zebrafish gastrulation. Medecine Sciences. Éditions Médicales et Scientifiques. https://doi.org/10.1051/medsci/2013292011
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2886 | OA
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
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2887 | OA
Fang, S., Clark, R., Zheng, Y., Iyer Pascuzzi, A., Weitz, J., Kochian, L., … Benfey, P. (2013). Genotypic recognition and spatial responses by rice roots. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1222821110
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2901 | OA
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.
View | Download None (ext.)
 

2013 | Journal Article | IST-REx-ID: 2900
Azevedo, R., Lohaus, R., & Paixao, T. (2013). Networking networks. Evolution & Development. Wiley-Blackwell.
View | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2906 | OA
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
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2910 | OA
Kelleher, J., Barton, N. H., & Etheridge, A. (2013). Coalescent simulation in continuous space. Bioinformatics. Oxford University Press. https://doi.org/10.1093/bioinformatics/btt067
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2909 | OA
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
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2908 | OA
Barton, N. H. (2013). Does hybridisation influence speciation?  . Journal of Evolutionary Biology. Wiley-Blackwell. https://doi.org/10.1111/jeb.12015
[Submitted Version] View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 2907 | OA
Barton, N. H. (2013). Recombination and sex. In The Princeton Guide to Evolution (pp. 328–333). Princeton University Press.
[Submitted Version] View | Files available
 

2013 | Journal Article | IST-REx-ID: 2913 | OA
Tkačik, 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
[Preprint] View | DOI | Download Preprint (ext.)
 

2013 | Journal Article | IST-REx-ID: 2918
Castanon, I., Abrami, L., Holtzer, L., Heisenberg, C.-P. J., Van Der Goot, F., & González Gaitán, M. (2013). Anthrax toxin receptor 2a controls mitotic spindle positioning. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb2632
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2919 | OA
Baster, P., Robert, S., Kleine Vehn, J., Vanneste, S., Kania, U., Grunewald, W., … Friml, J. (2013). SCF^TIR1 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
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2920 | OA
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
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2940 | OA
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
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2948 | OA
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
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2973 | OA
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
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 3116
Chatterjee, K., De Alfaro, L., Faella, M., Majumdar, R., & Raman, V. (2013). Code aware resource management. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-012-0170-4
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2815 | OA
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
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2939
Chen, C., & Kerber, M. (2013). An output sensitive algorithm for persistent homology. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/j.comgeo.2012.02.010
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 344 | OA
Ibáñez, M., Cadavid, D., Anselmi Tamburini, U., Zamani, R., Gorsse, S., Li, W., … 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
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 352
Cadavid, D., Ibáñez, M., Shavel, A., Durá, O., López De La Torre, M., & Cabot, A. (2013). Organic ligand displacement by metal salts to enhance nanoparticle functionality: Thermoelectric properties of Ag inf 2 inf Te. Journal of Materials Chemistry A. Royal Society of Chemistry. https://doi.org/10.1039/C3TA01455J
View | DOI
 

2013 | Journal Article | IST-REx-ID: 378
Ibáñez, M., & Cabot, A. (2013). All change for nanocrystals. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1239221
View | DOI
 

2013 | Journal Article | IST-REx-ID: 3261 | OA
Dubuis, J., Tkačik, G., Wieschaus, E., Gregor, T., & Bialek, W. (2013). Positional information, in bits. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1315642110
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 331
Li, W., Zamani, R., Rivera Gil, P., Pelaz, B., Ibáñez, M., Cadavid, D., … Cabot, A. (2013). CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents. Journal of the American Chemical Society. ACS. https://doi.org/10.1021/ja401428e
View | DOI
 

2013 | Encyclopedia Article | IST-REx-ID: 3321
Quadrianto, N., & Lampert, C. (2013). Kernel based learning. In W. Dubitzky, O. Wolkenhauer, K. Cho, & H. Yokota (Eds.), Encyclopedia of Systems Biology (Vol. 3, pp. 1069–1069). Springer. https://doi.org/10.1007/978-1-4419-9863-7_604
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2831 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 342
Li, W., Zamani, R., Ibáñez, M., Cadavid, D., Shavel, A., Morante, J., … Cabot, A. (2013). Metal ions to control the morphology of semiconductor nanoparticles: Copper selenide nanocubes. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja400472m
View | DOI
 

2013 | Journal Article | IST-REx-ID: 343
Ibáñez, M., Zamani, R., Gorsse, S., Fan, J., Ortega, S., Cadavid, D., … Cabot, A. (2013). Core shell nanoparticles as building blocks for the bottom-up production of functional nanocomposites: PbTe PbS thermoelectric properties. ACS Nano. American Chemical Society. https://doi.org/10.1021/nn305971v
View | DOI
 

2013 | Journal Article | IST-REx-ID: 351
Carrete, A., Shavel, A., Fontané, X., Montserrat, J., Fan, J., Ibáñez, M., … Cabot, A. (2013). Antimony-based ligand exchange to promote crystallization in spray-deposited Cu2ZnSnSe4 solar cells. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja4068639
View | DOI
 

2013 | Journal Article | IST-REx-ID: 353
Li, W., Zamani, R., Rivera Gil, P., Pelaz, B., Ibáñez, M., Cadavid, D., … Cabot, A. (2013). CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja401428e
View | DOI
 

2013 | Journal Article | IST-REx-ID: 376
Li, W., Ibáñez, M., Zamani, R., García Castelló, N., Stéphane, G., Cadavid, D., … Cabot, A. (2013). Cu2HgSnSe4 nanoparticles: synthesis and thermoelectric properties. CrystEngComm. Royal Society of Chemistry. https://doi.org/10.1039/C3CE41583J
View | DOI
 

2013 | Journal Article | IST-REx-ID: 450 | OA
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
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 476 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 499
Wakamoto, Y., Dhar, N., Chait, R. P., Schneider, K., Signorino Gelo, F., Leibler, S., & Mckinney, J. (2013). Dynamic persistence of antibiotic-stressed mycobacteria. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1229858
View | DOI
 

2013 | Journal Article | IST-REx-ID: 500 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 501 | OA
Cozzuol, M., Clozato, C., Holanda, E., Rodrigues, F., Nienow, S., De Thoisy, B., … 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
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 505
Greimel, K., Perz, V., Koren, K., Feola, R., Temel, A., Sohar, C., … Guebitz, G. (2013). Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins. Green Chemistry. Royal Society of Chemistry. https://doi.org/10.1039/c2gc36666e
View | DOI
 

2013 | Journal Article | IST-REx-ID: 502
Blazy, O., Fuchsbauer, G., Pointcheval, D., & Vergnaud, D. (2013). Short blind signatures. Journal of Computer Security. IOS Press. https://doi.org/10.3233/JCS-130477
View | DOI
 

2013 | Journal Article | IST-REx-ID: 508 | OA
Tarazona Santos, E., Machado, M., Magalhães, W., Chen, R., Lyon, F., Burdett, L., … Chanock, S. (2013). Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/mst119
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 509 | OA
Di Rubbo, S., Irani, N., Kim, S., Xu, Z., Gadeyne, A., Dejonghe, W., … Russinova, E. (2013). The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.113.114058
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 507 | OA
Kim, S., Xu, Z., Song, K., Kim, D., Kang, H., Reichardt, I., … 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
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 511 | OA
Pěnčík, A., Simonovik, B., Petersson, S., Henyková, E., Simon, S., Greenham, K., … 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
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 516 | OA
Bargmann, B., Vanneste, S., Krouk, G., Nawy, T., Efroni, I., Shani, E., … Birnbaum, K. (2013). A map of cell type‐specific auxin responses. Molecular Systems Biology. Nature Publishing Group. https://doi.org/10.1038/msb.2013.40
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 522
Fuertbauer, E., Zaujec, J., Uhrin, P., Raab, I., Weber, M., Schachner, H., … Stockinger, H. (2013). Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells. Immunology Letters. Elsevier. https://doi.org/10.1016/j.imlet.2013.07.007
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2279 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2013 | Journal Article | IST-REx-ID: 528
Robert, H., Grones, P., Stepanova, A., Robles, L., Lokerse, A., Alonso, J., … Friml, J. (2013). Local auxin sources orient the apical basal axis in arabidopsis embryos. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2013.09.039
View | DOI
 

2013 | Journal Article | IST-REx-ID: 527
Wabnik, K. T., Robert, H., Smith, R., & Friml, J. (2013). Modeling framework for the establishment of the apical-basal embryonic axis in plants. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2013.10.038
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5399 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2295 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5403 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5402 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5400 | OA
Chatterjee, K., Chmelik, M., & Tracol, M. (2013). What is decidable about partially observable Markov decision processes with ω-regular objectives. IST Austria. https://doi.org/10.15479/AT:IST-2013-109-v1-1
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5404 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2013). The complexity of ergodic games. IST Austria. https://doi.org/10.15479/AT:IST-2013-127-v1-1
[Published Version] View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5401 | OA
Porsche, J. (2013). Initiatives and projects related to RD. IST Austria.
[Published Version] View | Files available
 

2013 | Technical Report | IST-REx-ID: 5405 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5409 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1376
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
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5408 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5407 | OA
Porsche, J. (2013). Technical requirements and features. IST Austria.
[Published Version] View | Files available
 

2013 | Technical Report | IST-REx-ID: 5410 | OA
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
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2327 | OA
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
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 590
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
View | DOI
 

2013 | Journal Article | IST-REx-ID: 5920
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
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 591
Schmid, D., Huang, T., Hazrat, S., Dirks, R., Hosten, O., Quint, S., … 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
View | DOI
 

2013 | Journal Article | IST-REx-ID: 595 | OA
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
View | DOI | Download None (ext.)
 

2013 | Journal Article | IST-REx-ID: 6128 | OA
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
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6130 | OA
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
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6133 | OA
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
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6135
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
View | DOI
 

2013 | Book Chapter | IST-REx-ID: 6132
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.
View
 

2013 | Journal Article | IST-REx-ID: 6370
Lin, T.-C., Cole, J. M., Higginbotham, A. P., Edwards, A. J., Piltz, R. O., Pérez-Moreno, J., … Kwon, O.-P. (2013). Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical Chemistry C. American Chemical Society (ACS). https://doi.org/10.1021/jp400648q
View | DOI
 

2013 | Technical Report | IST-REx-ID: 6440 | OA
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
[Published Version] View | Files available | DOI
 

Search

Filter Publications