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.

5484 Publications


2000 | Journal Article | IST-REx-ID: 4269
Coyne, Jerry, Nicholas H Barton, and Michael Turelli. “Is Wright’s Shifting Balance Process Important in Evolution?” Evolution; International Journal of Organic Evolution 54, no. 1 (2000): 306–17. https://doi.org/310.1111/j.0014-3820.2000.tb00033.x.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4271
Barton, Nicholas H, and Max Shpak. “The Effects of Epistasis on the Structure of Hybrid Zones.” Genetical Research 75, no. 2 (2000): 179–98. https://doi.org/10.1017/S0016672399004334.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, Thomas A, and Ritankar Majumdar. “Symbolic Model Checking for Rectangular Hybrid Systems,” 1785:142–56. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_11.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components,” 1872:549–63. Springer, 2000. https://doi.org/10.1007/3-540-44929-9_38.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems,” 1877:458–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000. https://doi.org/10.1007/3-540-44618-4_33.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4598
Alur, Rajeev, Thomas A Henzinger, Gerardo Lafferriere, and George Pappas. “Discrete Abstractions of Hybrid Systems.” Proceedings of the IEEE 88, no. 7 (2000): 971–84. https://doi.org/10.1109/5.871304 .
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2601
Ichise, Taeko, Masanobu Kano, Kouichi Hashimoto, Dai Yanagihara, Kazuki Nakao, Ryuichi Shigemoto, Motoya Katsuki, and Atsu Aiba. “MGluR1 in Cerebellar Purkinje Cells Essential for Long-Term Depression, Synapse Elimination, and Motor Coordination.” Science 288, no. 5472 (2000): 1832–35. https://doi.org/10.1126/science.288.5472.1832.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2598
Sillevis Smitt, Peter, Ayae Kinoshita, Bertie De Leeuw, Wiebe Moll, Michiel Coesmans, Dick Jaarsma, Sonja Henzen Logmans, et al. “Paraneoplastic Cerebellar Ataxia Due to Autoantibodies against a Glutamate Receptor.” New England Journal of Medicine 342, no. 1 (2000): 21–27. https://doi.org/10.1056/NEJM200001063420104.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2733
Erdös, László, Michael Loss, and Vitali Vougalter. “Diamagnetic Behavior of Sums Dirichlet Eigenvalues.” Annales de l’Institut Fourier 50, no. 3 (2000): 891–907. https://doi.org/10.5802/aif.1777.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3798
Jonas, Peter M. “The Time Course of Signaling at Central Glutamatergic Synapses.” Physiology 15, no. 2 (2000): 83–89.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3623
Barton, Nicholas H, and Linda Patridge. “Measuring Fitness by Means of Balancer Chromosomes.” Genetical Research 75, no. 3 (2000): 297–314. https://doi.org/10.1017/S0016672399004346.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 3572
Edelsbrunner, Herbert. “Spielereien Mit Kreisen Und Kugeln. Zum Thema Form Und Verformung.” In Zur Kunst Des Formalen Denkens, 153–71. Passagen Verlag, 2000.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3490
Normann, Claus, Diana Peckys, Christian Schulze, Jörg Walden, Peter M Jonas, and Joseph Bischofberger. “Associative Long-Term Depression in the Hippocampus Is Dependent on Postsynaptic N-Type Ca(2+) Channels.” Journal of Neuroscience 20, no. 22 (2000): 8290–97.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 4272
Barton, Nicholas H, and Max Shpak. “The Stability of Symmetrical Solutions to Polygenic Models.” Theoretical Population Biology 57, no. 3 (2000): 249–63. https://doi.org/10.1006/tpbi.2000.1455.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, Thomas A, Benjamin Horowitz, Ritankar Majumdar, and Howard Wong Toi. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods,” 1790:130–44. Springer, 2000. https://doi.org/10.1007/3-540-46430-1_14.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, Thomas A. “The Theory of Hybrid Automata.” In Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, 170:265–92. Springer, 2000.
View
 

2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “Detecting Errors before Reaching Them,” 1855:186–201. Springer, 2000. https://doi.org/10.1007/10722167_17.
View | DOI
 

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 266, no. 2 (1999): 133–36. https://doi.org/10.1016/S0304-3940(99)00283-9.
View | DOI
 

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 19, no. 16 (1999): 6942–54.
View
 

1999 | Conference Paper | IST-REx-ID: 3554
Jiao, Xiangmin, Herbert Edelsbrunner, and Michael Heath. “Mesh Association: Formulation and Algorithms,” 75–82. Elsevier, 1999.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 4014
Edelsbrunner, Herbert. “Deformable Smooth Surface Design.” Discrete & Computational Geometry 21, no. 1 (1999): 87–115. https://doi.org/10.1007/PL00009412.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4204
Heisenberg, Carl, Caroline Brennan, and Stephen Wilson. “Zebrafish Aussicht Mutant Embryos Exhibit Widespread Overexpression of Ace (Fgf8) and Coincident Defects in CNS Development.” Development 126, no. 10 (1999): 2129–40.
View
 

1999 | Conference Paper | IST-REx-ID: 4487
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Assume-Guarantee Refinement between Different Time Scales,” 1633:208–21. Springer, 1999. https://doi.org/10.1007/3-540-48683-6_20.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 883
Kondrashov, Alexey, and Fyodor Kondrashov. “Interactions among Quantitative Traits in the Course of Sympatric Speciation.” Nature 400, no. 6742 (1999): 351–54. https://doi.org/10.1038/22514.
View | DOI
 

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 38, no. 10 (1999): 1631–40. https://doi.org/10.1016/S0028-3908(99)00124-0.
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 96, no. 1 (1999): 127–73. https://doi.org/10.1215/S0012-7094-99-09604-7.
View | DOI
 

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,” 108:233–42. World Scientific Publishing, 1999. https://doi.org/10.1007/978-3-0348-8745-8_20.
View | DOI
 

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

1999 | Journal Article | IST-REx-ID: 3625
Barton, Nicholas H. “Clines in Polygenic Traits.” Genetical Research 74, no. 3 (1999): 223–36. https://doi.org/10.1017/S001667239900422X.
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 19, no. 1 (1999): 274–87.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3531
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 19, no. 14 (1999): 6191–99.
View
 

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 152, no. 1 (1999): 355–71.
View
 

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 259, no. 2 (1999): 119–22. https://doi.org/10.1016/S0304-3940(98)00926-4.
View | DOI
 

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 412, no. 1 (1999): 1–16. https://doi.org/10.1002/(SICI)1096-9861(19990913)412:1<1::AID-CNE1>3.0.CO;2-D.
View | DOI
 

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 153, no. 4 (1999): 1959–71.
View
 

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 19, no. 21 (1999): 9497–9507.
View
 

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 66 (1999): 23–45.
View | Download (ext.)
 

1999 | Conference Paper | IST-REx-ID: 4484
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems,” 1633:301–15. Springer, 1999. https://doi.org/10.1007/3-540-48683-6_27.
View | DOI
 

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 19, no. 3 (1999): 955–63.
View
 

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 38, no. 10 (1999): 1553–67. https://doi.org/10.1016/S0028-3908(99)00103-3.
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 10, no. 3 (1999): 143–51. 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: 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 19, no. 16 (1999).
View
 

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 | 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 11, no. 1 (1999): 344–52. https://doi.org/10.1046/j.1460-9568.1999.00446.x.
View | DOI
 

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 | Download (ext.)
 

1999 | Thesis | IST-REx-ID: 4411
Qadeer, Shaz. Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley, 1999.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 4442
Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Theoretical Computer Science 221, no. 1–2 (1999): 369–92. https://doi.org/10.1016/S0304-3975(99)00038-9.
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.
View
 

1999 | Conference Paper | IST-REx-ID: 4485
Henzinger, Thomas A, Benjamin Horowitz, and Ritankar Majumdar. “Rectangular Hybrid Games,” 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: 4601
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic,” 1536:23–60. Springer, 1999. https://doi.org/10.1007/3-540-49213-5_2.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed