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.
8914 Publications
2013 | Published | Conference Paper | IST-REx-ID: 2819 | 
Chatterjee, K., & Prabhu, V. (2013). Quantitative timed simulation functions and refinement metrics for real-time systems. In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (Vol. 1, pp. 273–282). Philadelphia, PA USA: Springer. https://doi.org/10.1145/2461328.2461370
[Preprint]
View
| DOI
| Download Preprint (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2820
Chatterjee, K., Kößler, A., & Schmid, U. (2013). Automated analysis of real-time scheduling using graph games. In Proceedings of the 16th International conference on Hybrid systems: Computation and control (pp. 163–172). Philadelphia, PA, United States: ACM. https://doi.org/10.1145/2461328.2461356
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2821 |
Remy, E., Cabrito, T., Baster, P., Batista, R., Teixeira, M., Friml, J., … 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
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2822 |
Topp, C., Iyer Pascuzzi, A., Anderson, J., Lee, C., Zurek, P., Symonova, O., … 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
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2823
Pickup, M., Wilson, S., Freudenberger, D., Nicholls, N., Gould, L., Hnatiuk, S., & Delandre, J. (2013). Post-fire recovery of revegetated woodland communities in south-eastern Australia. Austral Ecology. Wiley-Blackwell. https://doi.org/10.1111/j.1442-9993.2012.02404.x
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2824
Chatterjee, K., & Prabhu, V. (2013). Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2013.04.003
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2826 |
Tran Viet, K., Powell, C., Barathi, V., Klemm, T., Maurer Stroh, S., Limviphuvadh, V., … Young, T. (2013). Mutations in SCO2 are associated with autosomal-dominant high-grade myopia. American Journal of Human Genetics. Cell Press. https://doi.org/10.1016/j.ajhg.2013.04.005
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2827 |
Du, Y., Tejos, R., Beck, M., Himschoot, E., Li, H., Robatzek, S., … Friml, J. (2013). Salicylic acid interferes with clathrin-mediated endocytic protein trafficking. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1220205110
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2828 |
Kolmogorov, V., & Živný, S. (2013). The complexity of conservative valued CSPs. Journal of the ACM. ACM. https://doi.org/10.1145/2450142.2450146
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 2829 |
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
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 2830
Moussion, C., & Sixt, M. K. (2013). A conduit to amplify innate immunity. Immunity. Cell Press. https://doi.org/10.1016/j.immuni.2013.05.005
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2831 |
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 | Published | Journal Article | IST-REx-ID: 2832 |
Tanaka, H., Kitakura, S., Rakusová, H., Uemura, T., Feraru, M., De Rycke, R., … 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
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2833
Heisenberg, C.-P. J., & Bellaïche, Y. (2013). Forces in tissue morphogenesis and patterning. Cell. Cell Press. https://doi.org/10.1016/j.cell.2013.05.008
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2834 |
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
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 2835 |
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 | Published | Journal Article | IST-REx-ID: 2836 |
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 | Published | Journal Article | IST-REx-ID: 2837 |
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 | Published | Journal Article | IST-REx-ID: 2838 |
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
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2839 |
Weber, M., Hauschild, R., Schwarz, J., Moussion, C., de Vries, I., Legler, D., … 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
[Published Version]
View
| DOI
| Download Published Version (ext.)