Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2016 | Conference Paper | IST-REx-ID: 1256 |
Y. Jiang et al., “From stateflow simulation to verified implementation: A verification approach and a real-time train controller design,” presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, Vienna, Austria, 2016.View | Files available | DOI
2016 | Journal Article | IST-REx-ID: 1264 |
G. Sancho Andrés et al., “Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier,” Plant Physiology, vol. 171, no. 3. American Society of Plant Biologists, pp. 1965–1982, 2016.View | DOI | Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1278 |
H. Matsuno, M. Kudoh, A. Watakabe, T. Yamamori, R. Shigemoto, and S. Nagao, “Distribution and structure of synapses on medial vestibular nuclear neurons targeted by cerebellar flocculus purkinje cells and vestibular nerve in mice: Light and electron microscopy studies,” PLoS One, vol. 11, no. 10. Public Library of Science, 2016.View | Files available | DOI
2016 | Journal Article | IST-REx-ID: 1279 |
K. Kovács, J. O’Neill, P. Schönenberger, M. Penttonen, D. K. Rangel Guerrero, and J. L. Csicsvari, “Optogenetically blocking sharp wave ripple events in sleep does not interfere with the formation of stable spatial representation in the CA1 area of the hippocampus,” PLoS One, vol. 11, no. 10. Public Library of Science, 2016.View | Files available | DOI