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.
2968 Publications
2013 | Journal Article | IST-REx-ID: 2836 | 
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
K. Chatterjee, V. Raman, Formal Aspects of Computing 26 (2013) 825–859.
2013 | Journal Article | IST-REx-ID: 2837 |
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
L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.
2013 | Journal Article | IST-REx-ID: 2838 |
Dyrk1A is dynamically expressed on subsets of motor neurons and in the neuromuscular junction: Possible role in Down syndrome
G. Arquè Fuste, A. Casanovas, M. Dierssen, PLoS One 8 (2013).
View
| Files available
| DOI
G. Arquè Fuste, A. Casanovas, M. Dierssen, PLoS One 8 (2013).
2013 | Journal Article | IST-REx-ID: 2839 |
Interstitial dendritic cell guidance by haptotactic chemokine gradients
M. Weber, R. Hauschild, J. Schwarz, C. Moussion, I. de Vries, D. Legler, S. Luther, M.T. Bollenbach, M.K. Sixt, Science 339 (2013) 328–332.
View
| DOI
| Download Published Version (ext.)
M. Weber, R. Hauschild, J. Schwarz, C. Moussion, I. de Vries, D. Legler, S. Luther, M.T. Bollenbach, M.K. Sixt, Science 339 (2013) 328–332.
2013 | Journal Article | IST-REx-ID: 2840
Distinct roles of medial and lateral entorhinal cortex in spatial cognition
T. Van Cauter, J. Camon, A. Alvernhe, C. Elduayen, F. Sargolini, É. Save, Cerebral Cortex 23 (2013) 451–459.
View
| DOI
T. Van Cauter, J. Camon, A. Alvernhe, C. Elduayen, F. Sargolini, É. Save, Cerebral Cortex 23 (2013) 451–459.