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.

6107 Publications


1998 | Journal Article | IST-REx-ID: 4280
Ritchie, Mike, and Nicholas H Barton. “Hybrids and Hybrid Zones: Reply from M.G. Ritchie and N.H. Barton.” Trends in Ecology and Evolution. Cell Press, 1998. https://doi.org/10.1016/S0169-5347(98)01396-2.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4281
Barton, Nicholas H, and Brian Charlesworth. “Why Sex and Recombination?” Science. American Association for the Advancement of Science, 1998. https://doi.org/10.1126/science.281.5385.1986.
View | DOI
 

1998 | Book Review | IST-REx-ID: 4282
Barton, Nicholas H. “Genetics and Analysis of Quantitative Traits.” Genetical Research. Cambridge University Press, 1998.
View
 

1998 | Book Review | IST-REx-ID: 4283
Barton, Nicholas H. “The Geometry of Adaptation.” Nature. Nature Publishing Group, 1998.
View
 

1998 | Conference Paper | IST-REx-ID: 4408
Raskin, Jean, Pierre Schobbens, and Thomas A Henzinger. “Axioms for Real-Time Logics,” 1466:219–36. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055625.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
Preußig, Jörg, Stefan Kowalewski, Howard Wong Toi, and Thomas A Henzinger. “An Algorithm for the Approximative Analysis of Rectangular Automata,” 1486:228–40. Springer, 1998. https://doi.org/10.1007/BFb0055350.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4429
Henzinger, Thomas A, and Vlad Rusu. “Reachability Verification for Hybrid Automata,” 1386:190–204. Springer, 1998. https://doi.org/10.1007/3-540-64358-3_40.
View | DOI
 

1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger, Thomas A, and Shankar Sastry. HSCC: Hybrid Systems—Computation and Control. HSCC: Hybrid Systems - Computation and Control. Vol. 1386. Springer, 1998. https://doi.org/1260.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4486
Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation,” 1522:421–32. Springer, 1998. https://doi.org/10.1007/3-540-49519-3_27.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4488
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “You Assume, We Guarantee: Methodology and Case Studies,” 1427:440–51. Springer, 1998. https://doi.org/ 10.1007/BFb0028765.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4489
Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking,” 1427:195–206. Springer, 1998. https://doi.org/10.1007/BFb0028745.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4515
Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed,” 1466:439–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055640.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
Henzinger, Thomas A, Jean Raskin, and Pierre Schobbens. “The Regular Real-Time Languages,” 1443:580–91. Springer, 1998. https://doi.org/10.1007/BFb0055086.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control. IEEE, 1998. https://doi.org/10.1109/9.664156 .
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4492
Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences. Elsevier, 1998. https://doi.org/10.1006/jcss.1998.1581.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 6160
Bono, Mario de, and Cornelia I Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.” Cell. Elsevier, 1998. https://doi.org/10.1016/s0092-8674(00)81609-8.
View | DOI | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 2493
Acsády, László, István Katona, Attila Gulyás, Ryuichi Shigemoto, and Tamás Freund. “Immunostaining for Substance P Receptor Labels GABAergic Cells with Distinct Termination Patterns in the Hippocampus.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. https://doi.org/10.1002/(SICI)1096-9861(19970217)378:3<320::AID-CNE2>3.0.CO;2-5.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2575
Li, He, Hitoshi Ohishi, Ayae Kinoshita, Ryuichi Shigemoto, Sakashi Nomura, and Noboru Mizuno. “Localization of a Metabotropic Glutamate Receptor, MGluR7, in Axon Terminals of Presumed Nociceptive, Primary Afferent Fibers in the Superficial Layers of the Spinal Dorsal Horn: An Electron Microscope Study in the Rat.” Neuroscience Letters. Elsevier, 1997. https://doi.org/10.1016/S0304-3940(97)13429-2.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2576
Li, Jin, Takeshi Kaneko, Ryuichi Shigemoto, and Noboru Mizuno. “Distribution of Trigeminohypothalamic and Spinohypothalamic Tract Neurons Displaying Substance P Receptor-like Immunoreactivity in the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. https://doi.org/10.1002/(SICI)1096-9861(19970224)378:4<508::AID-CNE6>3.0.CO;2-6.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2577
Tone, Yoshinori, Hiroyasu Inoue, Shuntaro Hara, Chieko Yokoyama, Toshihisa Hatae, Hiroji Oida, Shuh Narumiya, Ryuichi Shigemoto, Susumu Yukawa, and Tadashi Tanabe. “The Regional Distribution and Cellular Localization of MRNA Encoding Rat Prostacyclin Synthase.” European Journal of Cell Biology. Elsevier, 1997.
View
 

Search

Filter Publications