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.

59 Publications


1999 | Published | Conference Paper | IST-REx-ID: 4485
T. A. Henzinger, B. Horowitz, and R. Majumdar, “Rectangular hybrid games,” in Proceedings of the 10th International Conference on Concurrency Theory, Eindhoven, The Netherlands, 1999, vol. 1664, pp. 320–335.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4487
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Assume-guarantee refinement between different time scales,” in Proceedings of the 11th International Conference on Computer Aided Verification, Trento, Italy, 1999, vol. 1633, pp. 208–221.
View | DOI
 

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

1999 | Published | Conference Paper | IST-REx-ID: 4601
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” in Proceedings of the International Symposium on Compositionality, Bad Malente, Germany, 1999, vol. 1536, pp. 23–60.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 4602
R. Alur, L. De Alfaro, T. A. Henzinger, and F. Mang, “Automating modular verification,” in Proceedings of the 10th International Conference on Concurrency Theory, Eindhoven, The Netherlands, 1999, vol. 1664, pp. 82–97.
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 3148 | OA
D. E. Siekhaus and R. Fuller, “A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior,” Journal of Neuroscience, vol. 19, no. 16. Society for Neuroscience, pp. 6942–6954, 1999.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1999 | Published | Journal Article | IST-REx-ID: 3444 | OA
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. Society for Neuroscience, 1999.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1999 | Published | Journal Article | IST-REx-ID: 3445 | OA
G. Dragoi, D. Carpi, M. Recce, J. L. Csicsvari, and G. Buzsáki, “Interactions between hippocampus and medial septum during sharp waves and theta oscillation in the behaving rat,” Journal of Neuroscience, vol. 19, no. 14. Society for Neuroscience, pp. 6191–6199, 1999.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1999 | Published | 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 | Published | 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 | Published | 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. Elsevier, pp. 735–743, 1999.
View | DOI | PubMed | Europe PMC
 

1999 | Published | Journal Article | IST-REx-ID: 3518 | OA
Z. Nádasdy, H. Hirase, A. Czurkó, J. L. Csicsvari, and G. Buzsáki, “Replay and time compression of recurring spike sequences in the hippocampus,” Journal of Neuroscience, vol. 19, no. 21. Society for Neuroscience, pp. 9497–9507, 1999.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1999 | Published | 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. Wiley-Blackwell, pp. 344–352, 1999.
View | DOI | PubMed | Europe PMC
 

1999 | Published | Journal Article | IST-REx-ID: 3524 | OA
J. L. Csicsvari, H. Hirase, A. Czurkó, A. Mamiya, and G. Buzsáki, “Oscillatory coupling of hippocampal pyramidal cells and interneurons in the behaving rat,” Journal of Neuroscience, vol. 19, no. 1. Society for Neuroscience, pp. 274–287, 1999.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1999 | Published | 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. Wiley-Blackwell, pp. 4373–4380, 1999.
View | DOI | PubMed | Europe PMC
 

1999 | Published | Conference Paper | IST-REx-ID: 3554
X. Jiao, H. Edelsbrunner, and M. Heath, “Mesh association: formulation and algorithms,” in Proceedings of the 8th International Meshing Roundtable, South Lake Tahoe, CA, United States of America, 1999, pp. 75–82.
View | Download None (ext.)
 

1999 | Published | 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
 

1999 | Published | Journal Article | IST-REx-ID: 3582 | OA
T. Dey, H. Edelsbrunner, S. Guha, and D. Nekhayev, “Topology preserving edge contraction,” Publications de l’Institut Mathématique, vol. 66. Mathematical Institute, Serbian Academy of Sciences and Arts, pp. 23–45, 1999.
View | Download None (ext.)
 

1999 | Published | Journal Article | IST-REx-ID: 3625
N. H. Barton, “Clines in polygenic traits,” Genetical Research, vol. 74, no. 3. Cambridge University Press, pp. 223–236, 1999.
View | DOI | PubMed | Europe PMC
 

1999 | Published | Journal Article | IST-REx-ID: 3626
L. Kruuk, S. Baird, K. Gale, and N. H. Barton, “A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids,” Genetics, vol. 153, no. 4. Genetics Society of America, pp. 1959–1971, 1999.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=1999

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed