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.

5684 Publications


1999 | Journal Article | IST-REx-ID: 2864
E. Witters et al., “Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry,” Phytochemical Analysis, vol. 10, no. 3, pp. 143–151, 1999.
View | DOI
 

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.
View
 

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.
View
 

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.
View
 

1999 | Journal Article | IST-REx-ID: 2783
B. Hof, P. Lucas, and T. Mullin, “Flow state multiplicity in convection,” Physics of Fluids, vol. 11, no. 10, pp. 2815–2817, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2865
E. Benková et al., “Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment,” Plant Physiology, vol. 121, no. 1, pp. 245–251, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3445
G. Dragoi, D. Carpi, M. Recce, J. L. Csicsvari, and G. Buzsáki, “Hippocampomedial septal interactions during sharp waves and theta oscillation in the behaving rat,” Journal of Neuroscience, vol. 19, no. 14, pp. 6191–6199, 1999.
View
 

1999 | Book Chapter | IST-REx-ID: 3457
J. Geiger, A. Roth, B. Taskin, and P. M. Jonas, “Glutamate-mediated synaptic excitation of cortical interneurons,” in Ionotropic Glutamate Receptors in the CNS, vol. 141, H. Monyer and P. M. Jonas, Eds. Springer, 1999, pp. 363–398.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3515
M. Penttonen et al., “Ultra-slow oscillation (0.025 Hz) triggers hippocampal afterdischarges in Wistar rats,” Neuroscience, vol. 94, no. 3, pp. 735–743, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3539
H. Hirase, A. Czurkó, J. L. Csicsvari, and G. Buzsáki, “Firing rate and theta-phase coding by hippocampal pyramidal neurons during ‘space clamping,’” European Journal of Neuroscience, vol. 11, no. 12, pp. 4373–4380, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4277
L. Kruuk, J. Gilchrist, and N. H. Barton, “Hybrid dysfunction in fire-bellied toads (Bombina),” Evolution; International Journal of Organic Evolution, vol. 53, no. 5, pp. 1611–1616, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4582
R. Alur and T. A. Henzinger, “Reactive modules,” Formal Methods in System Design, vol. 15, no. 1, pp. 7–48, 1999.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4602
R. Alur, L. De Alfaro, T. A. Henzinger, and F. Mang, “Automating modular verification,” presented at the CONCUR: Concurrency Theory, 1999, vol. 1664, pp. 82–97.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed