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.

5703 Publications

1999 | Journal Article | IST-REx-ID: 3444
J. L. Csicsvari, H. Hirase, A. Czurkó, A. Mamiya, and G. Buzsáki, “Fast  network  oscillations  in the  hippocampal  CA1 region of the behaving rat,” Journal of Neuroscience, vol. 19, no. 16, 1999.

1999 | Book Chapter | IST-REx-ID: 3456
H. Monyer, P. M. Jonas, and J. Rossier, “Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS,” in Ionotropic Glutamate Receptors in the CNS, vol. 141, P. M. Jonas and H. Monyer, Eds. Springer, 1999, pp. 309–339.
View | DOI

1999 | Journal Article | IST-REx-ID: 3519
A. Czurkó, H. Hirase, J. L. Csicsvari, and G. Buzsáki, “Sustained activation of hippocampal pyramidal cells by ‘space clamping’’ in a running wheel,’” European Journal of Neuroscience, vol. 11, no. 1, pp. 344–352, 1999.
View | DOI

1999 | Book Chapter | IST-REx-ID: 3571
T. Dey, H. Edelsbrunner, and S. Guha, “Computational topology,” in Advances in Discrete and Computational Geometry, vol. 223, American Mathematical Society, 1999, pp. 109–143.
View | Download (ext.)

1999 | Thesis | IST-REx-ID: 4411
S. Qadeer, Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley, 1999, pp. 1–150.
View | Download (ext.)

1999 | Journal Article | IST-REx-ID: 4442
T. A. Henzinger and P. Kopke, “Discrete-time control for rectangular hybrid automata,” Theoretical Computer Science, vol. 221, no. 1–2, pp. 369–392, 1999.
View | DOI

1999 | Conference Paper | IST-REx-ID: 4480
T. A. Henzinger, X. Liu, S. Qadeer, and S. Rajamani, “Formal specification and verification of a dataflow processor array,” presented at the ICCAD: Computer-Aided Design, 1999, pp. 494–499.

1999 | Conference Paper | IST-REx-ID: 4485
T. A. Henzinger, B. Horowitz, and R. Majumdar, “Rectangular hybrid games,” presented at the CONCUR: Concurrency Theory, 1999, vol. 1664, pp. 320–335.
View | DOI

1999 | Conference Paper | IST-REx-ID: 4601
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” presented at the COMPOS: Compositionality, 1999, vol. 1536, pp. 23–60.
View | DOI

1999 | Journal Article | IST-REx-ID: 2593
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, and Y. De Koninck, “NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord,” Journal of Neuroscience, vol. 19, no. 9, pp. 3545–3555, 1999.


Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed