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.

5314 Publications


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
 

1994 | Book Chapter | IST-REx-ID: 3453
Von Kitzing, Eberhard, Peter M Jonas, and Bert Sakmann. “Quantal Analysis of Excitatory Postsynaptic Currents at the Hippocampal Mossy Fiber-CA3 Pyramidal Cell Synapse.” In Molecular and Cellular Mechanisms of Neurotransmitter Release, edited by Lennart Stjärne, Paul Greengard, Sten Grillner, Tomas Hökfelt, and David Ottoson, 29:235–60. Raven Press, 1994. https://doi.org/10.1016/0166-2236(95)90088-8.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3460
Jonas, Peter M, and Nelson Spruston. “Mechanisms Shaping Glutamate-Mediated Excitatory Postsynaptic Currents in the CNS.” Current Opinion in Neurobiology 4, no. 3 (1994): 366–72. https://doi.org/10.1016/0959-4388(94)90098-1.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3477
Jonas, Peter M, Claudia Racca, Bert Sakmann, Peter Seeburg, and Hannah Monyer. “Differences in Ca(2+) Permeability of AMPA-Type Glutamate Receptor Channels in Neocortical Neurons Caused by Differential GluR-B Subunit Expression.” Neuron 12, no. 6 (1994): 1281–89. https://doi.org/10.1016/0896-6273(94)90444-8.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4033
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, John Hershberger, Raimund Seidel, and Micha Sharir. “Selecting Heavily Covered Points.” SIAM Journal on Computing 23, no. 6 (1994): 1138–51. https://doi.org/10.1137/S0097539790179919 .
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4038
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, and Micha Sharir. “Algorithms for Bichromatic Line-Segment Problems and Polyhedral Terrains.” Algorithmica 11, no. 2 (1994): 116–32. https://doi.org/10.1007/BF01182771.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4420
Kapur, Arjun, Thomas A Henzinger, Zohar Manna, and Amir Pnueli. “Proving Safety Properties of Hybrid Systems,” 863:431–54. Springer, 1994. https://doi.org/10.1007/3-540-58468-4_177.
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 4590
Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.” In Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, 2:1–29. World Scientific Publishing, 1994.
View | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4615
Alur, Rajeev, Limor Fix, and Thomas A Henzinger. “A Determinizable Class of Timed Automata,” 818:1–13. Springer, 1994. https://doi.org/10.1007/3-540-58179-0_39.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1953
Efanov, Alexander, Aleksei Koshkin, Leonid A Sazanov, O I Borodulina, Sergei Varfolomeev, and Sergei Zaǐtsev. “Inhibition of the Respiratory Burst in Mouse Macrophages by Ultra-Low Doses of an Opioid Peptide Is Consistent with a Possible Adaptation Mechanism.” FEBS Letters 355, no. 2 (1994): 114–16. https://doi.org/10.1016/0014-5793(94)01109-5.
View | DOI
 

1994 | Book Review | IST-REx-ID: 2545
Nakanishi, Shigetada, Masayuki Masu, Yasumasa Bessho, Yoshiaki Nakajima, Yasunori Hayashi, and Ryuichi Shigemoto. “Molecular Diversity of Glutamate Receptors and Their Physiological Functions.” Experientia Supplementum. Birkhäuser, 1994. https://doi.org/10.1007/978-3-0348-7330-7_8.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2552
Ogawa Meguro, Reiko, Ryuichi Shigemoto, Kazuo Itoh, Akira Konishi, and Noboru Mizuno. “Immunohistochemical Localization of Substance P Receptor in the Superior Colliculus. A Light and Electron Microscope Study in the Rat.” Neuroscience Letters 166, no. 2 (1994): 135–38. https://doi.org/10.1016/0304-3940(94)90469-3.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed