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.
4959 Publications
2017 | Conference Paper | IST-REx-ID: 1116 |
Avni G, Goel S, Henzinger TA, Rodríguez Navas G. 2017. Computing scores of forwarding schemes in switched networks with probabilistic faults. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10206, 169–187.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1118 |
Gan J, Weng S-M, Pernia-Andrade A, Csicsvari JL, Jonas PM. 2017. Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo. Neuron. 93(2), 308–314.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1117 |
Chen C, Arai itaru, Satterield R, Young S, Jonas PM. 2017. Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse. Cell Reports. 18(3), 723–736.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1132 |
O’Neill J, Boccara CN, Stella F, Schönenberger P, Csicsvari JL. 2017. Superficial layers of the medial entorhinal cortex replay independently of the hippocampus. Science. 355(6321), 184–188.
[Submitted Version]
View
| Files available
| DOI
| WoS