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.
3107 Publications
2013 | 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.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | 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.
View
| Files available
| DOI
2013 | 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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | 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.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2836 |

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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2837 |

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.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2838 |

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.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2839 |

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.
View
| DOI
| Download Published Version (ext.)