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


1994 | Journal Article | IST-REx-ID: 4501
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Timed Transition Systems.” Information and Computation 112, no. 2 (1994): 273–337. https://doi.org/10.1006/inco.1994.1060.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4614
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “The Observational Power of Clocks,” 836:162–77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994. https://doi.org/10.1007/BFb0015008.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2537
Tanabe, Yasuto, Akinori Nomura, Masayuki Masu, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Signal Transduction, Pharmacological Properties, and Expression Patterns of Two Rat Metabotropic Glutamate Receptors, MGluR3 and MGluR4.” Journal of Neuroscience 13, no. 4 (1993): 1372–78.
View
 

1993 | Journal Article | IST-REx-ID: 2544
Hayashi, Yasunori, Akiko Momiyama, Tomoyuki Takahashi, Hitoshi Ohishi, Reiko Ogawa Meguro, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Role of a Metabotropic Glutamate Receptor in Synaptic Modulation in the Accessory Olfactory Bulb.” Nature 366, no. 6456 (1993): 687–90. https://doi.org/10.1038/366687a0.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3446
Sziranyi, Tamas, and Jozsef L Csicsvari. “High-Speed Character Recognition Using a Dual Cellular Neural Network Architecture (CNND).” IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing 40, no. 3 (1993): 223–31. https://doi.org/10.1109/82.222823.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed