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.




2934 Publications

2013 | Journal Article | IST-REx-ID: 2818 | OA
K. Rajan, O. Marre, and G. Tkacik, “Learning quadratic receptive fields from neural responses to natural stimuli,” Neural Computation, vol. 25, no. 7, pp. 1661–1692, 2013.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Conference Paper | IST-REx-ID: 2819 | OA
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.
View | DOI | Download Preprint (ext.)
 
2013 | 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 | Journal Article | IST-REx-ID: 2821 | OA
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, pp. 901–926, 2013.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2822 | OA
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, pp. E1695–E1704, 2013.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2823
M. Pickup et al., “Post-fire recovery of revegetated woodland communities in south-eastern Australia,” Austral Ecology, vol. 38, no. 3, pp. 300–312, 2013.
View | DOI
 
2013 | 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, pp. 83–119, 2013.
View | DOI
 
2013 | 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, pp. 7946–7951, 2013.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | 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, 2013.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | 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, 2013.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2830
C. Moussion and M. K. Sixt, “A conduit to amplify innate immunity,” Immunity, vol. 38, no. 5, pp. 853–854, 2013.
View | DOI
 
2013 | 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, pp. 301–327, 2013.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | 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, 2013.
View | Files available | DOI
 
2013 | 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, pp. 948–962, 2013.
View | DOI
 
2013 | 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, 2013.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | 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, pp. 965–976, 2013.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | 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, pp. 825–859, 2013.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | 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, pp. 1–58, 2013.
View | Files available | DOI
 
2013 | 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, 2013.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2839 | OA
M. Weber et al., “Interstitial dendritic cell guidance by haptotactic chemokine gradients,” Science, vol. 339, no. 6117, pp. 328–332, 2013.
View | DOI | Download Published Version (ext.)
 

Search

Display / Sort

Citation Style: IEEE

Export / Embed