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.




2782 Publications

2013 | Journal Article | IST-REx-ID: 2828 | OA
The complexity of conservative valued CSPs
V. Kolmogorov, S. Živný, Journal of the ACM 60 (2013).
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2829 | OA
Scale invariance at the onset of turbulence in couette flow
L. Shi, M. Avila, B. Hof, Physical Review Letters 110 (2013).
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2830
A conduit to amplify innate immunity
C. Moussion, M.K. Sixt, Immunity 38 (2013) 853–854.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2831 | OA
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
K. Chatterjee, M. Henzinger, M. Joglekar, N. Shah, Formal Methods in System Design 42 (2013) 301–327.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2832 | OA
Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana
H. Tanaka, S. Kitakura, H. Rakusová, T. Uemura, M. Feraru, R. De Rycke, S. Robert, T. Kakimoto, J. Friml, PLoS Genetics 9 (2013).
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2833
Forces in tissue morphogenesis and patterning
C.-P.J. Heisenberg, Y. Bellaïche, Cell 153 (2013) 948–962.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2834 | OA
Streamwise-localized solutions at the onset of turbulence in pipe flow
M. Avila, F. Mellibovsky, N. Roland, B. Hof, Physical Review Letters 110 (2013).
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2835 | OA
Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis
H. Yu, M. Karampelias, S. Robert, W. Peer, R. Swarup, S. Ye, L. Ge, J. Cohen, A. Murphy, J. Friml, M. Estelle, Plant Physiology 162 (2013) 965–976.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2836 | OA
Assume-guarantee synthesis for digital contract signing
K. Chatterjee, V. Raman, Formal Aspects of Computing 26 (2013) 825–859.
View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2837 | OA
The local semicircle law for a general class of random matrices
L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.
View | Files available | DOI
 

Search

Filter Publications