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.




5368 Publications

2013 | Published | Journal Article | IST-REx-ID: 2824
K. Chatterjee and V. Prabhu, “Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems,” Information and Computation, vol. 228–229. Elsevier, pp. 83–119, 2013.
View | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2827 | OA
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 | OA
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 | OA
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: 2830
C. Moussion and M. K. Sixt, “A conduit to amplify innate immunity,” Immunity, vol. 38, no. 5. Cell Press, pp. 853–854, 2013.
View | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2831 | OA
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 | OA
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: 2833
C.-P. J. Heisenberg and Y. Bellaïche, “Forces in tissue morphogenesis and patterning,” Cell, vol. 153, no. 5. Cell Press, pp. 948–962, 2013.
View | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2834 | OA
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 | OA
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
 
2013 | Published | Journal Article | IST-REx-ID: 2836 | OA
K. Chatterjee and V. Raman, “Assume-guarantee synthesis for digital contract signing,” Formal Aspects of Computing, vol. 26, no. 4. Springer, pp. 825–859, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Journal Article | IST-REx-ID: 2837 | OA
L. Erdös, A. Knowles, H. Yau, and J. Yin, “The local semicircle law for a general class of random matrices,” Electronic Journal of Probability, vol. 18, no. 59. Institute of Mathematical Statistics, pp. 1–58, 2013.
[Published Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2838 | OA
G. Arquè Fuste, A. Casanovas, and M. Dierssen, “Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome,” PLoS One, vol. 8, no. 1. Public Library of Science, 2013.
[Published Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2839 | OA
M. Weber et al., “Interstitial dendritic cell guidance by haptotactic chemokine gradients,” Science, vol. 339, no. 6117. American Association for the Advancement of Science, pp. 328–332, 2013.
[Published Version] View | DOI | Download Published Version (ext.)
 
2013 | Published | Journal Article | IST-REx-ID: 2840
T. Van Cauter, J. Camon, A. Alvernhe, C. Elduayen, F. Sargolini, and É. Save, “Distinct roles of medial and lateral entorhinal cortex in spatial cognition,” Cerebral Cortex, vol. 23, no. 2. Oxford University Press, pp. 451–459, 2013.
View | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2841
H. Morita and C.-P. J. Heisenberg, “Holding on and letting go: Cadherin turnover in cell intercalation,” Developmental Cell, vol. 24, no. 6. Cell Press, pp. 567–569, 2013.
View | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2842 | OA
N. H. Barton, A. Etheridge, J. Kelleher, and A. Véber, “Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks,” Theoretical Population Biology, vol. 87, no. 1. Elsevier, pp. 105–119, 2013.
[Submitted Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2843
H. Edelsbrunner and F. Pausinger, “Stable length estimates of tube-like shapes,” in 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Seville, Spain, 2013, vol. 7749, pp. XV–XIX.
View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2844
M. Rosquete et al., “An auxin transport mechanism restricts positive orthogravitropism in lateral roots,” Current Biology, vol. 23, no. 9. Cell Press, pp. 817–822, 2013.
View | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 2845
T. Rose, P. Schönenberger, K. Jezek, and T. Oertner, “Developmental refinement of vesicle cycling at Schaffer collateral synapses,” Neuron, vol. 77, no. 6. Elsevier, pp. 1109–1121, 2013.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed