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.
50 Publications
1999 | Conference Paper | IST-REx-ID: 11691
Goel A, Henzinger MH, Plotkin S, Tardos E. Scheduling data transfers in a network and the set scheduling problem. In: Proceedings of the 31st Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 1999:189-197. doi:10.1145/301250.301300
View
| DOI
1999 | Journal Article | IST-REx-ID: 11687
Dean J, Henzinger MH. Finding related pages in the world wide Web. Computer Networks. 1999;31(11-16):1467-1479. doi:10.1016/s1389-1286(99)00022-5
View
| DOI
1999 | Journal Article | IST-REx-ID: 11688
Henzinger MH, Heydon A, Mitzenmacher M, Najork M. Measuring index quality using random walks on the web. Computer Networks. 1999;31(11-16):1291-1303. doi:10.1016/s1389-1286(99)00016-x
View
| DOI
1999 | Journal Article | IST-REx-ID: 11769
Henzinger MH, King V. Randomized fully dynamic graph algorithms with polylogarithmic time per operation. Journal of the ACM. 1999;46(4):502-516. doi:10.1145/320211.320215
View
| DOI
1999 | Journal Article | IST-REx-ID: 11895 | 
Silverstein C, Marais H, Henzinger MH, Moricz M. Analysis of a very large web search engine query log. ACM SIGIR Forum. 1999;33(1):6-12. doi:10.1145/331403.331405
[Published Version]
View
| DOI
| Download Published Version (ext.)
1999 | Journal Article | IST-REx-ID: 11679
Henzinger MH, King V, Warnow T. Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. Algorithmica. 1999;24:1-13. doi:10.1007/pl00009268
View
| Files available
| DOI
1999 | Conference Paper | IST-REx-ID: 11925
Henzinger MH, Leonardi S. Scheduling multicasts on unit-capacity trees and meshes. In: 10th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial & Applied Mathematics; 1999:438-447.
View
1999 | Journal Article | IST-REx-ID: 2595
Lafon Cazal M, Viennois G, Kühn R, et al. mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones. Neuropharmacology. 1999;38(10):1631-1640. doi:10.1016/S0028-3908(99)00124-0
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 2594
Ding Y, Zheng H, Wang D, et al. The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord. Neuroscience Letters. 1999;266(2):133-136. doi:10.1016/S0304-3940(99)00283-9
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 2596
Bischoff S, Leonhard S, Reymann N, et al. Spatial distribution of GABA(B)R1 receptor mRNA and binding sites in the rat brain^. Journal of Comparative Neurology. 1999;412(1):1-16. doi:10.1002/(SICI)1096-9861(19990913)412:1<1::AID-CNE1>3.0.CO;2-D
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 2597
Bushell T, Lee C, Shigemoto R, Miller R. Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses. Neuropharmacology. 1999;38(10):1553-1567. doi:10.1016/S0028-3908(99)00103-3
View
| DOI
| PubMed | Europe PMC
1999 | Conference Paper | IST-REx-ID: 2711
Erdös L. Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation. In: Proceedings of the 7th QMath Conference. Vol 108. World Scientific Publishing; 1999:233-242. doi:10.1007/978-3-0348-8745-8_20
View
| DOI
1999 | Journal Article | IST-REx-ID: 2730
Erdös L, Solovej J. Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate. Duke Mathematical Journal. 1999;96(1):127-173. doi:10.1215/S0012-7094-99-09604-7
View
| DOI
1999 | Journal Article | IST-REx-ID: 2783
Hof B, Lucas P, Mullin T. Flow state multiplicity in convection. Physics of Fluids. 1999;11(10):2815-2817. doi:10.1063/1.870178
View
| DOI
1999 | Journal Article | IST-REx-ID: 2864
Witters E, Vanhoutte K, Dewitte W, 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. 1999;10(3):143-151. doi:10.1002/(SICI)1099-1565(199905/06)10:3<143::AID-PCA441>3.0.CO;2-G
View
| DOI
1999 | Journal Article | IST-REx-ID: 2865 |
Benková E, Witters E, Van Dongen W, et al. Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment. Plant Physiology. 1999;121(1):245-251. doi:10.1104/pp.121.1.245
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Book (Editor) | IST-REx-ID: 3137
Jonas PM, Monyer H, eds. Ionotropic Glutamate Receptors in the CNS. Vol 141. 1st ed. Berlin ; Heidelberg: Springer; 1999. doi:10.1007/978-3-662-08022-1
View
| DOI
| Download None (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. doi:10.1523/jneurosci.19-16-06942.1999
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | 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 | 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 | 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: 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 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 4277
Kruuk L, Gilchrist J, Barton NH. Hybrid dysfunction in fire-bellied toads (Bombina). Evolution; International Journal of Organic Evolution. 1999;53(5):1611-1616. doi:10.2307/2640907
View
| DOI
| PubMed | Europe PMC
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
| PubMed | Europe PMC
1999 | 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
1999 | 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 | Journal Article | IST-REx-ID: 4014
Edelsbrunner H. Deformable smooth surface design. Discrete & Computational Geometry. 1999;21(1):87-115. doi:10.1007/PL00009412
View
| DOI
1999 | Journal Article | IST-REx-ID: 4204
Heisenberg C-PJ, Brennan C, Wilson S. Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development. Development. 1999;126(10):2129-2140. doi:10.1242/dev.126.10.2129
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 4279
Goodman S, Barton NH, Swanson G, Abernethy K, Pemberton J. Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland. Genetics. 1999;152(1):355-371. doi:10.1093/genetics/152.1.355
View
| DOI
| PubMed | Europe PMC
1999 | Thesis | IST-REx-ID: 4411
Qadeer S. Algorithms and Methodology for Scalable Model Checking. 1999:1-150.
View
| Download None (ext.)
1999 | Journal Article | IST-REx-ID: 4442
Henzinger TA, Kopke P. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. 1999;221(1-2):369-392. doi:10.1016/S0304-3975(99)00038-9
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4484
Henzinger TA, Qadeer S, Rajamani S. Verifying sequential consistency on shared-memory multiprocessor systems. In: Proceedings of the 11th International Conference on Computer Aided Verification. Vol 1633. Springer; 1999:301-315. doi:10.1007/3-540-48683-6_27
View
| DOI
1999 | 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 | Conference Paper | IST-REx-ID: 4480
Henzinger TA, Liu X, Qadeer S, Rajamani S. Formal specification and verification of a dataflow processor array. In: IEEE; 1999:494-499. doi:10.1109/ICCAD.1999.810700
View
| DOI
1999 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 8526
Kaloshin V. An extension of the Artin-Mazur theorem. The Annals of Mathematics. 1999;150(2):729-741. doi:10.2307/121093
View
| DOI
1999 | 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 | Journal Article | IST-REx-ID: 2592 |
Masugi M, Yokoi M, Shigemoto R, et al. Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience. 1999;19(3):955-963. doi:10.1523/JNEUROSCI.19-03-00955.1999
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 2593 |
Yu X, Zhang E, Craig A, Shigemoto R, Ribeiro Da Silva A, De Koninck Y. NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord. Journal of Neuroscience. 1999;19(9):3545-3555. doi:10.1523/JNEUROSCI.19-09-03545.1999
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 2591
Kummer W, Shigemoto R, Haberberger R. Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve. Neuroscience Letters. 1999;259(2):119-122. doi:10.1016/S0304-3940(98)00926-4
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 883
Kondrashov A, Kondrashov F. Interactions among quantitative traits in the course of sympatric speciation. Nature. 1999;400(6742):351-354. doi:10.1038/22514
View
| DOI
| PubMed | Europe PMC