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.

5315 Publications


1996 | Conference Paper | IST-REx-ID: 4443
Henzinger, Thomas A, and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata,” 1119:530–45. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996. https://doi.org/10.1007/3-540-61604-7_74.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2556
Ding, Yu, Masahiko Takada, Ryuichi Shigemoto, and Noboru Mizuno. “Spinoparabrachial Tract Neurons Showing Substance P Receptor-like Immunoreactivity in the Lumbar Spinal Cord of the Rat.” Brain Research 674, no. 2 (1995): 336–40. https://doi.org/10.1016/0006-8993(95)00022-I.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2563
Ding, Yu, Masahiko Takada, Ryuichi Shigemoto, and Noboru Mizuno. “Trigeminoparabrachial Projection Neurons Showing Substance P Receptor-like Immunoreactivity in the Rat.” Neuroscience Research 23, no. 4 (1995): 415–18. https://doi.org/10.1016/0168-0102(95)00961-R.
View | DOI
 

1995 | Book Review | IST-REx-ID: 3597
Kirkpatrick, Mark, and Nicholas H Barton. “Déjà vu All over Again.” Nature. Nature Publishing Group, 1995. https://doi.org/10.1038/377388a0.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3636
Nürnberger, Beate, Nicholas H Barton, Catriona Maccallum, Jason Gilchrist, and Michael Appleby. “Natural Selection on Quantitative Traits in the Bombina Hybrid Zone.” Evolution 49, no. 6 (1995): 1224–38.
View
 

1995 | Journal Article | IST-REx-ID: 4153
Ransom, D., Alison Brownlie, Pascal Haffter, Jörg Odenthal, Robert Kelsh, Michael Brand, Makoto Furutani Seiki, et al. “Hematopoietic Mutants Identified in a Saturation Screen of the Zebrafish Genome.” Blood 86, no. 10 (1995): 1912–1912.
View
 

1995 | Journal Article | IST-REx-ID: 4297
Sites, Jack, Nicholas H Barton, and Kent Reed. “The Genetic Structure of a Mosaic Hybrid Zone between Two Chromosome Races of the Sceloporus Grammicus Complex (Sauria, Phrynosomatidae) in Central Mexico.” Evolution; International Journal of Organic Evolution 49, no. 1 (1995): 9–36.
View | Download (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4499
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: The next Generation,” 56–65. IEEE, 1995. https://doi.org/10.1109/REAL.1995.495196 .
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4502
Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?,” 373–82. ACM, 1995. https://doi.org/10.1145/225058.225162.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 3454
Monyer, Hannah, and Peter M Jonas. “Polymerase Chain Reaction Analysis of Ion Channel Expression in Single Neurons of Brain Slices.” In Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, 357–73. Plenum, 1995.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3461
Jonas, Peter M, and Nail Burnashev. “Molecular Mechanisms Controlling Calcium Entry through  AMPA-Type Glutamate Receptor Channels.” Neuron 15, no. 5 (1995): 987–90. https://doi.org/10.1016/0896-6273(95)90087-X.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3637
Maccallum, Catriona, Beate Nürnberger, and Nicholas H Barton. “Experimental Evidence for Habitat Dependent Selection in a Bombina Hybrid Zone.” Proceedings of the Royal Society of London Series B Biological Sciences 260, no. 1359 (1995): 257–64. https://doi.org/10.1098/rspb.1995.0089.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3478
Spruston, Nelson, Peter M Jonas, and Bert Sakmann. “Dendritic Glutamate Receptor Channels in Rat Hippocampal CA3 and CA1 Pyramidal Neurons.” Journal of Physiology 482, no. Pt 2 (1995): 325–52.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3480
Geiger, Jörg, Thorsten Melcher, Duk Koh, Bert Sakmann, Peter Seeburg, Peter M Jonas, and Hannah Monyer. “Relative Abundance of Subunit MRNAs Determines Gating and Ca(2+) Permeability of AMPA Receptors in Principal Neurons and Interneurons in Rat CNS.” Neuron 15, no. 1 (1995): 193–204. https://doi.org/10.1016/0896-6273(95)90076-4.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4034
Edelsbrunner, Herbert. “Algebraic Decomposition of Non-Convex Polyhedra,” 248–57. IEEE, 1995.
View
 

1995 | Journal Article | IST-REx-ID: 4298
Barton, Nicholas H. “Appendix to "The Mixing of Genotypes in Hybrid Zones: A Simulation Study of Multilocus Clines", by S J E Baird.” Evolution; International Journal of Organic Evolution 49 (1995): 1038–45.
View
 

1995 | Journal Article | IST-REx-ID: 6162
Bono, Mario de, D. Zarkower, and J. Hodgkin. “Dominant Feminizing Mutations Implicate Protein-Protein Interactions as the Main Mode of Regulation of the Nematode Sex-Determining Gene Tra-1.” Genes and Development 9, no. 2 (1995): 155–67. https://doi.org/10.1101/gad.9.2.155.
View | DOI | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 2558
Mick, Gérard, Ryuichi Shigemoto, and Kunio Kitahama. “Localization of Substance P Receptors in Central Neural Structures Controlling Daily Rhythms in Nocturnal Rodents.” Comptes Rendus de l’Academie Des Sciences - Series III 318, no. 2 (1995): 209–17.
View
 

1995 | Journal Article | IST-REx-ID: 2560
Lü, Yan, Shan Jin, Tian Xu, Bing Qin, Ji Li, Yu Ding, Ryuichi Shigemoto, and Noboru Mizuno. “Expression of C-Fos Protein in Substance P Receptor-like Immunoreactive Neurons in Response to Noxious Stimuli on the Urinary Bladder: An Observation in the Lumbosacral Cord Segments of the Rat.” Neuroscience Letters 198, no. 2 (1995): 139–42. https://doi.org/10.1016/0304-3940(95)11991-5.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2724
Erdös, László. “Magnetic Lieb-Thirring Inequalities.” Communications in Mathematical Physics 170, no. 3 (1995): 629–68. https://doi.org/10.1007/BF02099152.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 2712
Erdös, László. “Magnetic Lieb-Thirring Inequalities and Stochastic Oscillatory Integrals,” 78:127–32. Birkhäuser, 1995. https://doi.org/10.1007/978-3-0348-9092-2_13.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 3455
Jonas, Peter M. “Fast Application of Agonists to Isolated Membrane Patches.” In Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, 231–43. Plenum, 1995.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3638
Barton, Nicholas H, and I Wilson. “Genealogies and Geography.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 349, no. 1327 (1995): 49–59. https://doi.org/10.1098/rstb.1995.0090.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3640   OA
Barton, Nicholas H. “Linkage and the Limits to Natural Selection.” Genetics 140, no. 2 (1995): 821–41. http://www.genetics.org/content/140/2/821.long.
View | DOI | Download (ext.)
 

1995 | Conference Paper | IST-REx-ID: 3551
Edelsbrunner, Herbert, Michael Facello, Ping Fu, and Jie Liang. “Measuring Proteins and Voids in Proteins,” 256–64. IEEE, 1995. https://doi.org/10.1109/HICSS.1995.375331.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3479   OA
Koh, Duk, Jörg Geiger, Peter M Jonas, and Bert Sakmann. “Ca(2+)-Permeable AMPA and NMDA Receptor Channels in Basket Cells of Rat Hippocampal Dentate Gyrus.” Journal of Physiology 485, no. Pt 2 (1995): 383–402. https://doi.org/10.1113/jphysiol.1995.sp020737.
View | DOI | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3481   OA
Koh, Duk, Nail Burnashev, and Peter M Jonas. “Block of Native Ca(2+)-Permeable AMPA Receptors in Rat Brain by Intracellular Polyamines Generates Double Rectification.” Journal of Physiology 486, no. Pt 2 (1995): 305–12. https://doi.org/10.1113/jphysiol.1995.sp020813.
View | DOI | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4028
Edelsbrunner, Herbert. “The Union of Balls and Its Dual Shape.” Discrete & Computational Geometry 13, no. 1 (1995): 415–40. https://doi.org/10.1007/BF02574053.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4035
Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas Guibas, Micha Sharir, and Emo Welzl. “Improved Bounds on Weak ε-Nets for Convex Sets.” Discrete & Computational Geometry 13, no. 1 (1995): 1–15. https://doi.org/10.1007/BF02574025.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 1943
Sazanov, Leonid A, and Baz Jackson. “Cyclic Reactions Catalysed by Detergent-Dispersed and Reconstituted Transhydrogenase from Beef Heart Mitochondria; Implications for the Mechanism of Proton Translocation.” Biochimica et Biophysica Acta - Bioenergetics 1231, no. 3 (1995): 304–12. https://doi.org/10.1016/0005-2728(95)00096-2.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2559
Masu, Masayuki, Hideki Iwakabe, Yoshiaki Tagawa, Tomomitsu Miyoshi, Masayuki Yamashita, Yutaka Fukuda, Hitoshi Sasaki, et al. “Specific Deficit of the ON Response in Visual Transmission by Targeted Disruption of the MGIuR6 Gene.” Cell 80, no. 5 (1995): 757–65. https://doi.org/10.1016/0092-8674(95)90354-2.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2561
Ohishi, Hitoshi, Sakashi Nomura, Yu Ding, Ryuichi Shigemoto, Eiki Wada, Ayae Kinoshita, Jin Li, Akio Neki, Shigetada Nakanishi, and Noboru Mizuno. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR7, in the Primary Afferent Neurons: An Immunohistochemical Study in the Rat.” Neuroscience Letters 202, no. 1–2 (1995): 85–88. https://doi.org/10.1016/0304-3940(95)12207-9.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 2465
Morris, David, Jirí Friml, and Eva Zažímalová. “Auxin Transport.” In Plant Hormones: Biosynthesis, Signal Transduction, Action!, edited by Peter Davies, 451–84. Kluwer, 1995. https://doi.org/10.1007/978-1-4020-2686-7_21.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2491
Ohishi, Hitoshi, Chihiro Akazawa, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Distributions of the MRNAs for L-2-Amino-4-Phosphonobutyrate-Sensitive Metabotropic Glutamate Receptors, MGluR4 and MGluR7, in the Rat Brain.” Journal of Comparative Neurology 360, no. 4 (1995): 555–70. https://doi.org/10.1002/cne.903600402.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3639
Barton, Nicholas H. “A General Model for the Evolution of Recombination.” Genetical Research 65, no. 2 (1995): 123–44. https://doi.org/10.1017/S0016672300033140.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 3552
Akkiraju, Nataraj, Herbert Edelsbrunner, Michael Facello, Ping Fu, Ernst Mücke, and Carlos Varela. “Alpha Shapes: Definition and Software,” 63–66. Elsevier, 1995.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4029
Delfinado, Cecil, and Herbert Edelsbrunner. “An Incremental Algorithm for Betti Numbers of Simplicial Complexes on the 3-Sphere.” Computer Aided Geometric Design 12, no. 7 (1995): 771–84. https://doi.org/10.1016/0167-8396(95)00016-Y.
View | DOI
 

1995 | Thesis | IST-REx-ID: 4428
Ho, Pei. Automatic Analysis of Hybrid Systems. Cornell University, 1995. https://doi.org/CSD-TR95-1536.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 4447
Henzinger, Thomas A, and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” In Hybrid Systems II, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:265–93. Springer, 1995. https://doi.org/10.1007/3-540-60472-3_14.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4497
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech,” 1019:41–71. Springer, 1995. https://doi.org/10.1007/3-540-60630-0_3.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive Power of Clocks,” 944:417–28. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_93.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4613
Alur, Rajeev, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.” Theoretical Computer Science 138, no. 1 (1995): 3–34. https://doi.org/10.1016/0304-3975(94)00202-T.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4296
Partridge, Linda, Brian Barrie, Nicholas H Barton, Kevin Fowler, and Vernon French. “Rapid Laboratory Evolution of Adult Life History Traits in Drosophila Melanogaster in Response to Temperature.” Evolution; International Journal of Organic Evolution 49, no. 3 (1995): 538–44.
View | Download (ext.)
 

1995 | Book Chapter | IST-REx-ID: 4448
Henzinger, Thomas A, and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.” In Hybrid Systems II, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:252–64. Springer, 1995. https://doi.org/10.1007/3-540-60472-3_13.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4450
Henzinger, Thomas A, and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid Systems,” 939:225–38. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_53.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4587
Alur, Rajeev, and Thomas A Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems,” 939:166–79. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_49.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, Monika, Thomas A Henzinger, and Peter Kopke. “Computing Simulations on Finite and Infinite Graphs,” 453–62. IEEE, 1995. https://doi.org/10.1109/SFCS.1995.492576.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations,” 944:324–35. Springer, 1995. https://doi.org/0.1007/3-540-60084-1_85.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2549
Nakaya, Yoshifumi, Takeshi Kaneko, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of Substance P Receptor in the Central Nervous System of the Adult Rat.” Journal of Comparative Neurology 347, no. 2 (1994): 249–74. https://doi.org/10.1002/cne.903470208.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2551
Akazawa, Chihiro, Hitoshi Ohishi, Yoshiaki Nakajima, Naoyuki Okamoto, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Expression of MRNAs of L-AP4-Sensitive Metabotropic Glutamate Receptors (MGluR4, MGluR6, MGluR7) in the Rat Retina.” Neuroscience Letters 171, no. 1–2 (1994): 52–54. https://doi.org/10.1016/0304-3940(94)90602-5.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed