Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5473 Publications
2013 | Published | Journal Article | IST-REx-ID: 2813 |
D. Samanta et al., “Elasto-inertial turbulence,” PNAS, vol. 110, no. 26. National Academy of Sciences, pp. 10557–10562, 2013.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2814 |
K. Chatterjee, L. Alfaro, and R. Majumdar, “The complexity of coverage,” International Journal of Foundations of Computer Science, vol. 24, no. 2. World Scientific Publishing, pp. 165–185, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 2815 |
H. Edelsbrunner, B. T. Fasy, and G. Rote, “Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions,” Discrete & Computational Geometry, vol. 49, no. 4. Springer, pp. 797–822, 2013.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2817 |
S. Novak, K. Chatterjee, and M. Nowak, “Density games,” Journal of Theoretical Biology, vol. 334. Elsevier, pp. 26–34, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2818 |
K. Rajan, O. Marre, and G. Tkačik, “Learning quadratic receptive fields from neural responses to natural stimuli,” Neural Computation, vol. 25, no. 7. MIT Press , pp. 1661–1692, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2819 |
K. Chatterjee and V. Prabhu, “Quantitative timed simulation functions and refinement metrics for real-time systems,” in Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Philadelphia, PA USA, 2013, vol. 1, pp. 273–282.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2820
K. Chatterjee, A. Kößler, and U. Schmid, “Automated analysis of real-time scheduling using graph games,” in Proceedings of the 16th International conference on Hybrid systems: Computation and control, Philadelphia, PA, United States, 2013, pp. 163–172.
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2821 |
E. Remy et al., “A major facilitator superfamily transporter plays a dual role in polar auxin transport and drought stress tolerance in Arabidopsis,” Plant Cell, vol. 25, no. 3. American Society of Plant Biologists, pp. 901–926, 2013.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2822 |
C. Topp et al., “3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture,” PNAS, vol. 110, no. 18. National Academy of Sciences, pp. E1695–E1704, 2013.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2827 |
Y. Du et al., “Salicylic acid interferes with clathrin-mediated endocytic protein trafficking,” PNAS, vol. 110, no. 19. National Academy of Sciences, pp. 7946–7951, 2013.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 2828 |
V. Kolmogorov and S. Živný, “The complexity of conservative valued CSPs,” Journal of the ACM, vol. 60, no. 2. ACM, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 2829 |
L. Shi, M. Avila, and B. Hof, “Scale invariance at the onset of turbulence in couette flow,” Physical Review Letters, vol. 110, no. 20. American Physical Society, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 2831 |
K. Chatterjee, M. Henzinger, M. Joglekar, and N. Shah, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” Formal Methods in System Design, vol. 42, no. 3. Springer, pp. 301–327, 2013.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 2832 |
H. Tanaka et al., “Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana,” PLoS Genetics, vol. 9, no. 5. Public Library of Science, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2834 |
M. Avila, F. Mellibovsky, N. Roland, and B. Hof, “Streamwise-localized solutions at the onset of turbulence in pipe flow,” Physical Review Letters, vol. 110, no. 22. American Physical Society, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Journal Article | IST-REx-ID: 2835 |
H. Yu et al., “Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis,” Plant Physiology, vol. 162, no. 2. American Society of Plant Biologists, pp. 965–976, 2013.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC