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, Ashish, Monika H Henzinger, Serge Plotkin, and Eva Tardos. “Scheduling Data Transfers in a Network and the Set Scheduling Problem.” In Proceedings of the 31st Annual ACM Symposium on Theory of Computing, 189–97. Association for Computing Machinery, 1999. https://doi.org/10.1145/301250.301300.
View
| DOI
1999 | Journal Article | IST-REx-ID: 11687
Dean, Jeffrey, and Monika H Henzinger. “Finding Related Pages in the World Wide Web.” Computer Networks. Elsevier, 1999. https://doi.org/10.1016/s1389-1286(99)00022-5.
View
| DOI
1999 | Journal Article | IST-REx-ID: 11688
Henzinger, Monika H, Allan Heydon, Michael Mitzenmacher, and Marc Najork. “Measuring Index Quality Using Random Walks on the Web.” Computer Networks. Elsevier, 1999. https://doi.org/10.1016/s1389-1286(99)00016-x.
View
| DOI
1999 | Journal Article | IST-REx-ID: 11769
Henzinger, Monika H, and Valerie King. “Randomized Fully Dynamic Graph Algorithms with Polylogarithmic Time per Operation.” Journal of the ACM. Association for Computing Machinery, 1999. https://doi.org/10.1145/320211.320215.
View
| DOI
1999 | Journal Article | IST-REx-ID: 11895 | 
Silverstein, Craig, Hannes Marais, Monika H Henzinger, and Michael Moricz. “Analysis of a Very Large Web Search Engine Query Log.” ACM SIGIR Forum. Association for Computing Machinery, 1999. https://doi.org/10.1145/331403.331405.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1999 | Journal Article | IST-REx-ID: 11679
Henzinger, Monika H, V. King, and T. Warnow. “Constructing a Tree from Homeomorphic Subtrees, with Applications to Computational Evolutionary Biology.” Algorithmica. Springer Nature, 1999. https://doi.org/10.1007/pl00009268.
View
| Files available
| DOI
1999 | Conference Paper | IST-REx-ID: 11925
Henzinger, Monika H, and Stefano Leonardi . “Scheduling Multicasts on Unit-Capacity Trees and Meshes.” In 10th Annual ACM-SIAM Symposium on Discrete Algorithms, 438–47. Society for Industrial & Applied Mathematics, 1999.
View
1999 | Journal Article | IST-REx-ID: 2595
Lafon Cazal, Mireille, Gaëlle Viennois, Rainer Kühn, Barbara Malitschek, Jean Pin, Ryuichi Shigemoto, and Joël Bockaërt. “MGluR7-like Receptor and GABA(B) Receptor Activation Enhance Neurotoxic Effects of N-Methyl-D-Aspartate in Cultured Mouse Striatal GABAergic Neurones.” Neuropharmacology. Elsevier, 1999. https://doi.org/10.1016/S0028-3908(99)00124-0.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 2594
Ding, Yu, Heng Zheng, Dian Wang, Jun Xu, Liang Gong, Yan Lü, Bing Qin, et al. “The Distribution of Substance P Receptor (NK1)-like Immunoreactive Neurons in the Newborn and Adult Human Spinal Cord.” Neuroscience Letters. Elsevier, 1999. https://doi.org/10.1016/S0304-3940(99)00283-9.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 2596
Bischoff, Serge, Sabine Leonhard, Nicole Reymann, Valérie Schuler, Ryuichi Shigemoto, Klemens Kaupmann, and Bernhard Bettler. “Spatial Distribution of GABA(B)R1 Receptor MRNA and Binding Sites in the Rat Brain^.” Journal of Comparative Neurology. Wiley-Blackwell, 1999. https://doi.org/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, Trevor, Chong Lee, Ryuichi Shigemoto, and Richard Miller. “Modulation of Synaptic Transmission and Differential Localisation of MGlus in Cultured Hippocampal Autapses.” Neuropharmacology. Elsevier, 1999. https://doi.org/10.1016/S0028-3908(99)00103-3.
View
| DOI
| PubMed | Europe PMC
1999 | Conference Paper | IST-REx-ID: 2711
Erdös, László. “Linear Boltzmann Equation as the Weak Coupling Limit of the Random Schrödinger Equation.” In Proceedings of the 7th QMath Conference, 108:233–42. World Scientific Publishing, 1999. https://doi.org/10.1007/978-3-0348-8745-8_20.
View
| DOI
1999 | Journal Article | IST-REx-ID: 2730
Erdös, László, and Jan Solovej. “Semiclassical Eigenvalue Estimates for the Pauli Operator with Strong Nonhomogeneous Magnetic Fields, I: Nonasymptotic Lieb-Thirring-Type Estimate.” Duke Mathematical Journal. Duke University Press, 1999. https://doi.org/10.1215/S0012-7094-99-09604-7.
View
| DOI
1999 | Journal Article | IST-REx-ID: 2783
Hof, Björn, Peter Lucas, and Tom Mullin. “Flow State Multiplicity in Convection.” Physics of Fluids. American Institute of Physics, 1999. https://doi.org/10.1063/1.870178 .
View
| DOI
1999 | Journal Article | IST-REx-ID: 2864
Witters, Erwin, Koen Vanhoutte, Walter Dewitte, Ivana Macháčková, Eva Benková, Walter Van Dongen, Eddy Esmans, and Henri Van Onckelen. “Analysis of Cyclic Nucleotides and Cytokinins in Minute Plant Samples Using Phase System Switching Capillary Electrospray Liquid Chromatography Tandem Mass Spectrometry.” Phytochemical Analysis. Wiley-Blackwell, 1999. https://doi.org/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á, Eva, Erwin Witters, Walter Van Dongen, Jan Kolář, Václav Motyka, Břetislav Brzobohatý, Henri Van Onckelen, and Ivana Macháčková. “Cytokinins in Tobacco and Wheat Chloroplasts. Occurrence and Changes Due to Light/Dark Treatment.” Plant Physiology. American Society of Plant Biologists, 1999. https://doi.org/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, Peter M, and Hannah Monyer, eds. Ionotropic Glutamate Receptors in the CNS. 1st ed. Vol. 141. Berlin ; Heidelberg: Springer, 1999. https://doi.org/10.1007/978-3-662-08022-1.
View
| DOI
| Download None (ext.)
1999 | Journal Article | IST-REx-ID: 3148 |
Siekhaus, Daria E, and Robert Fuller. “A Role for Amontillado the Drosophila Homolog of the Neuropeptide Precursor Processing Protease PC2 in Triggering Hatching Behavior.” Journal of Neuroscience. Society for Neuroscience, 1999. https://doi.org/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, George, Daniel Carpi, Michael Recce, Jozsef L Csicsvari, and György Buzsáki. “Interactions between Hippocampus and Medial Septum during Sharp Waves and Theta Oscillation in the Behaving Rat.” Journal of Neuroscience. Society for Neuroscience, 1999. https://doi.org/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, Jozsef L, Hajima Hirase, András Czurkó, Akira Mamiya, and György Buzsáki. “Fast Network Oscillations in the Hippocampal CA1 Region of the Behaving Rat.” Journal of Neuroscience. Society for Neuroscience, 1999. https://doi.org/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, Hannah, Peter M Jonas, and Jean Rossier. “Molecular Determinants Controlling Functional Properties of AMPARs and NMDARs in the Mammalian CNS.” In Ionotropic Glutamate Receptors in the CNS, edited by Peter M Jonas and Hannah Monyer, 141:309–39. Springer, 1999. https://doi.org/10.1007/978-3-662-08022-1_9.
View
| DOI
1999 | Book Chapter | IST-REx-ID: 3457
Geiger, Jörg, Arnd Roth, Birol Taskin, and Peter M Jonas. “Glutamate-Mediated Synaptic Excitation of Cortical Interneurons.” In Ionotropic Glutamate Receptors in the CNS, edited by Hannah Monyer and Peter M Jonas, 141:363–98. Springer, 1999. https://doi.org/10.1007/978-3-662-08022-1_11.
View
| DOI
1999 | Journal Article | IST-REx-ID: 3524 |
Csicsvari, Jozsef L, Hajima Hirase, András Czurkó, Akira Mamiya, and György Buzsáki. “Oscillatory Coupling of Hippocampal Pyramidal Cells and Interneurons in the Behaving Rat.” Journal of Neuroscience. Society for Neuroscience, 1999. https://doi.org/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, Zoltán, Hajima Hirase, András Czurkó, Jozsef L Csicsvari, and György Buzsáki. “Replay and Time Compression of Recurring Spike Sequences in the Hippocampus.” Journal of Neuroscience. Society for Neuroscience, 1999. https://doi.org/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ó, András, Hajima Hirase, Jozsef L Csicsvari, and György Buzsáki. “Sustained Activation of Hippocampal Pyramidal Cells by ‘space Clamping’’ in a Running Wheel.’” European Journal of Neuroscience. Wiley-Blackwell, 1999. https://doi.org/10.1046/j.1460-9568.1999.00446.x.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 3539
Hirase, Hajima, András Czurkó, Jozsef L Csicsvari, and György Buzsáki. “Firing Rate and Theta-Phase Coding by Hippocampal Pyramidal Neurons during ‘Space Clamping.’” European Journal of Neuroscience. Wiley-Blackwell, 1999. https://doi.org/10.1046/j.1460-9568.1999.00853.x.
View
| DOI
| PubMed | Europe PMC
1999 | Conference Paper | IST-REx-ID: 3554
Jiao, Xiangmin, Herbert Edelsbrunner, and Michael Heath. “Mesh Association: Formulation and Algorithms.” In Proceedings of the 8th International Meshing Roundtable, 75–82. Elsevier, 1999.
View
| Download None (ext.)
1999 | Book Chapter | IST-REx-ID: 3571
Dey, Tamal, Herbert Edelsbrunner, and Sumanta Guha. “Computational Topology.” In Advances in Discrete and Computational Geometry, 223:109–43. American Mathematical Society, 1999.
View
1999 | Journal Article | IST-REx-ID: 4277
Kruuk, Loeske, Jason Gilchrist, and Nicholas H Barton. “Hybrid Dysfunction in Fire-Bellied Toads (Bombina).” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 1999. https://doi.org/10.2307/2640907.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 3515
Penttonen, Markku, Nina Nurminen, Riitta Miettinen, Jouni Sirviö, Darrell Henze, Jozsef L Csicsvari, and György Buzsáki. “Ultra-Slow Oscillation (0.025 Hz) Triggers Hippocampal Afterdischarges in Wistar Rats.” Neuroscience. Elsevier, 1999. https://doi.org/10.1016/S0306-4522(99)00367-X.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 3626
Kruuk, Loeske, Stuart Baird, Katherine Gale, and Nicholas H Barton. “A Comparison of Multilocus Clines Maintained by Environmental Adaptation or by Selection against Hybrids.” Genetics. Genetics Society of America, 1999. https://doi.org/10.1093/genetics/153.4.1959.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 3625
Barton, Nicholas H. “Clines in Polygenic Traits.” Genetical Research. Cambridge University Press, 1999. https://doi.org/10.1017/S001667239900422X.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 4014
Edelsbrunner, Herbert. “Deformable Smooth Surface Design.” Discrete & Computational Geometry. Springer, 1999. https://doi.org/10.1007/PL00009412.
View
| DOI
1999 | Journal Article | IST-REx-ID: 4204
Heisenberg, Carl-Philipp J, Caroline Brennan, and Stephen Wilson. “Zebrafish Aussicht Mutant Embryos Exhibit Widespread Overexpression of Ace (Fgf8) and Coincident Defects in CNS Development.” Development. Company of Biologists, 1999. https://doi.org/10.1242/dev.126.10.2129.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 4279
Goodman, Simon, Nicholas H Barton, Graeme Swanson, Kate Abernethy, and Josephine Pemberton. “Introgression through Rare Hybridisation: A Genetic Study of a Hybrid Zone between Red and Sika Deer (Genus Cervus), in Argyll, Scotland.” Genetics. Genetics Society of America, 1999. https://doi.org/10.1093/genetics/152.1.355.
View
| DOI
| PubMed | Europe PMC
1999 | Thesis | IST-REx-ID: 4411
Qadeer, Shaz. “Algorithms and Methodology for Scalable Model Checking.” University of California, Berkeley, 1999.
View
| Download None (ext.)
1999 | Journal Article | IST-REx-ID: 4442
Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Theoretical Computer Science. Elsevier, 1999. https://doi.org/10.1016/S0304-3975(99)00038-9.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4484
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.” In Proceedings of the 11th International Conference on Computer Aided Verification, 1633:301–15. Springer, 1999. https://doi.org/10.1007/3-540-48683-6_27.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4485
Henzinger, Thomas A, Benjamin Horowitz, and Ritankar Majumdar. “Rectangular Hybrid Games.” In Proceedings of the 10th International Conference on Concurrency Theory, 1664:320–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999. https://doi.org/10.1007/3-540-48320-9_23.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4480
Henzinger, Thomas A, Xiaojun Liu, Shaz Qadeer, and Sriram Rajamani. “Formal Specification and Verification of a Dataflow Processor Array,” 494–99. IEEE, 1999. https://doi.org/10.1109/ICCAD.1999.810700.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4487
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Assume-Guarantee Refinement between Different Time Scales.” In Proceedings of the 11th International Conference on Computer Aided Verification, 1633:208–21. Springer, 1999. https://doi.org/10.1007/3-540-48683-6_20.
View
| DOI
1999 | Journal Article | IST-REx-ID: 4582
Alur, Rajeev, and Thomas A Henzinger. “Reactive Modules.” Formal Methods in System Design. Springer, 1999. https://doi.org/10.1023/A:1008739929481.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4601
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” In Proceedings of the International Symposium on Compositionality, 1536:23–60. Springer, 1999. https://doi.org/10.1007/3-540-49213-5_2.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4602
Alur, Rajeev, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Automating Modular Verification.” In Proceedings of the 10th International Conference on Concurrency Theory, 1664:82–97. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999. https://doi.org/10.1007/3-540-48320-9_8.
View
| DOI
1999 | Journal Article | IST-REx-ID: 8526
Kaloshin, Vadim. “An Extension of the Artin-Mazur Theorem.” The Annals of Mathematics. JSTOR, 1999. https://doi.org/10.2307/121093.
View
| DOI
1999 | Journal Article | IST-REx-ID: 3582 |
Dey, Tamal, Herbert Edelsbrunner, Sumanta Guha, and Dmitry Nekhayev. “Topology Preserving Edge Contraction.” Publications de l’Institut Mathématique. Mathematical Institute, Serbian Academy of Sciences and Arts, 1999.
View
| Download None (ext.)
1999 | Journal Article | IST-REx-ID: 2592 |
Masugi, Miwako, Mineto Yokoi, Ryuichi Shigemoto, Keiko Muguruma, Yasuyoshi Watanabe, Gilles Sansig, Herman Van Der Putten, and Shigetada Nakanishi. “Metabotropic Glutamate Receptor Subtype 7 Ablation Causes Deficit in Fear Response and Conditioned Taste Aversion.” Journal of Neuroscience. Society for Neuroscience, 1999. https://doi.org/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, Xiao, En Zhang, Arthur Craig, Ryuichi Shigemoto, Alfredo Ribeiro Da Silva, and Yves De Koninck. “NK-1 Receptor Immunoreactivity in Distinct Morphological Types of Lamina I Neurons of the Primate Spinal Cord.” Journal of Neuroscience. Society for Neuroscience, 1999. https://doi.org/10.1523/JNEUROSCI.19-09-03545.1999.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 2591
Kummer, Wolfgang, Ryuichi Shigemoto, and Rainer Haberberger. “Smooth Muscle Cells Are the Site of Neurokinin-1 Receptor Localization in the Arterial Supply of the Rat Sciatic Nerve.” Neuroscience Letters. Elsevier, 1999. https://doi.org/10.1016/S0304-3940(98)00926-4.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 883
Kondrashov, Alexey, and Fyodor Kondrashov. “Interactions among Quantitative Traits in the Course of Sympatric Speciation.” Nature. Nature Publishing Group, 1999. https://doi.org/10.1038/22514.
View
| DOI
| PubMed | Europe PMC