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
Henzinger TA, Horowitz B, Majumdar R. Rectangular hybrid games. In: Proceedings of the 10th International Conference on Concurrency Theory. Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:320-335. doi:10.1007/3-540-48320-9_23
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4487
Henzinger TA, Qadeer S, Rajamani S. Assume-guarantee refinement between different time scales. In: Proceedings of the 11th International Conference on Computer Aided Verification. Vol 1633. Springer; 1999:208-221. doi:10.1007/3-540-48683-6_20
View
| DOI
1999 | Published | 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 | Published | Conference Paper | IST-REx-ID: 4601
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: Proceedings of the International Symposium on Compositionality. Vol 1536. Springer; 1999:23-60. doi:10.1007/3-540-49213-5_2
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4602
Alur R, De Alfaro L, Henzinger TA, Mang F. Automating modular verification. In: Proceedings of the 10th International Conference on Concurrency Theory. Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:82-97. doi:10.1007/3-540-48320-9_8
View
| DOI
1999 | Published | 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. doi:10.1523/jneurosci.19-16-06942.1999
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Published | 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). doi:10.1523/JNEUROSCI.19-16-j0001.1999
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 3445 |
Dragoi G, Carpi D, Recce M, Csicsvari JL, Buzsáki G. Interactions between hippocampus and medial septum during sharp waves and theta oscillation in the behaving rat. Journal of Neuroscience. 1999;19(14):6191-6199. doi:10.1523/JNEUROSCI.19-14-06191.1999
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Published | 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 | Published | 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 | Published | 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
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 3518 |
Nádasdy Z, Hirase H, Czurkó A, Csicsvari JL, Buzsáki G. Replay and time compression of recurring spike sequences in the hippocampus. Journal of Neuroscience. 1999;19(21):9497-9507. doi:10.1523/JNEUROSCI.19-21-09497.1999
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 3519
Czurkó A, Hirase H, Csicsvari JL, Buzsáki G. Sustained activation of hippocampal pyramidal cells by ‘space clamping’’ in a running wheel.’ European Journal of Neuroscience. 1999;11(1):344-352. doi:10.1046/j.1460-9568.1999.00446.x
View
| DOI
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 3524 |
Csicsvari JL, Hirase H, Czurkó A, Mamiya A, Buzsáki G. Oscillatory coupling of hippocampal pyramidal cells and interneurons in the behaving rat. Journal of Neuroscience. 1999;19(1):274-287. doi:10.1523/JNEUROSCI.19-01-00274.1999
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 3539
Hirase H, Czurkó A, Csicsvari JL, Buzsáki G. Firing rate and theta-phase coding by hippocampal pyramidal neurons during ‘space clamping.’ European Journal of Neuroscience. 1999;11(12):4373-4380. doi:10.1046/j.1460-9568.1999.00853.x
View
| DOI
| PubMed | Europe PMC
1999 | Published | Conference Paper | IST-REx-ID: 3554
Jiao X, Edelsbrunner H, Heath M. Mesh association: formulation and algorithms. In: Proceedings of the 8th International Meshing Roundtable. Elsevier; 1999:75-82.
View
| Download None (ext.)
1999 | Published | Book Chapter | IST-REx-ID: 3571
Dey T, Edelsbrunner H, Guha S. Computational topology. In: Advances in Discrete and Computational Geometry. Vol 223. American Mathematical Society; 1999:109-143.
View
1999 | Published | Journal Article | IST-REx-ID: 3582 |
Dey T, Edelsbrunner H, Guha S, Nekhayev D. Topology preserving edge contraction. Publications de l’Institut Mathématique. 1999;66:23-45.
View
| Download None (ext.)
1999 | Published | Journal Article | IST-REx-ID: 3625
Barton NH. Clines in polygenic traits. Genetical Research. 1999;74(3):223-236. doi:10.1017/S001667239900422X
View
| DOI
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 3626
Kruuk L, Baird S, Gale K, Barton NH. A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids. Genetics. 1999;153(4):1959-1971. doi:10.1093/genetics/153.4.1959
View
| DOI
| PubMed | Europe PMC