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.

6306 Publications


1999 | Conference Paper | IST-REx-ID: 4485
Henzinger TA, Horowitz B, Majumdar R. Rectangular hybrid games. In: Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:320-335. doi:10.1007/3-540-48320-9_23
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4487
Henzinger TA, Qadeer S, Rajamani S. Assume-guarantee refinement between different time scales. In: Vol 1633. Springer; 1999:208-221. doi:10.1007/3-540-48683-6_20
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4582
Alur R, Henzinger TA. Reactive modules. Formal Methods in System Design. 1999;15(1):7-48. doi:10.1023/A:1008739929481
View | DOI
 

1999 | Book | IST-REx-ID: 3137
Jonas PM, Monyer H, eds. Ionotropic Glutamate Receptors in the CNS. Vol 141. Springer; 1999.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3148
Siekhaus DE, Fuller R. A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior. Journal of Neuroscience. 1999;19(16):6942-6954.
View
 

1999 | Journal Article | IST-REx-ID: 3444
Csicsvari JL, Hirase H, Czurkó A, Mamiya A, Buzsáki G. Fast  network  oscillations  in the  hippocampal  CA1 region of the behaving rat. Journal of Neuroscience. 1999;19(16).
View
 

1999 | Journal Article | IST-REx-ID: 3445
Dragoi G, Carpi D, Recce M, Csicsvari JL, Buzsáki G. Hippocampomedial septal interactions during sharp waves and theta oscillation in the behaving rat. Journal of Neuroscience. 1999;19(14):6191-6199.
View
 

1999 | Book Chapter | IST-REx-ID: 3456
Monyer H, Jonas PM, Rossier J. Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS. In: Jonas PM, Monyer H, eds. Ionotropic Glutamate Receptors in the CNS. Vol 141. Springer; 1999:309-339. doi:10.1007/978-3-662-08022-1_9
View | DOI
 

1999 | Book Chapter | IST-REx-ID: 3457
Geiger J, Roth A, Taskin B, Jonas PM. Glutamate-mediated synaptic excitation of cortical interneurons. In: Monyer H, Jonas PM, eds. Ionotropic Glutamate Receptors in the CNS. Vol 141. Springer; 1999:363-398. doi:10.1007/978-3-662-08022-1_11
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3515
Penttonen M, Nurminen N, Miettinen R, et al. Ultra-slow oscillation (0.025 Hz) triggers hippocampal afterdischarges in Wistar rats. Neuroscience. 1999;94(3):735-743. doi:10.1016/S0306-4522(99)00367-X
View | DOI
 

Search

Filter Publications