Please note that IST 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: 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, 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, 2016.View | Files available | DOI