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.

6313 Publications

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 | Journal Article | IST-REx-ID: 4591
Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” Journal of the ACM. ACM, 1994.
View | DOI | Download (ext.)

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.
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. Elsevier, 1994.
View | DOI

1994 | Journal Article | IST-REx-ID: 3475 | OA
Koh, Duk, Peter M Jonas, and Werner Vogel. “Na+-Activated K+ Channels Localized in the Nodal Region of Myelinated Axons of Xenopus.” Journal of Physiology. Wiley-Blackwell, 1994.
View | DOI | Download (ext.)


Filter Publications