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.

6021 Publications


1993 | Book Chapter | IST-REx-ID: 4506
T. A. Henzinger, Z. Manna, and A. Pnueli, “Towards refining temporal specifications into hybrid systems,” in Hybrid Systems, vol. 736, R. Grossman, A. Nerode, A. Ravn, and H. Rischel, Eds. Springer, 1993, pp. 60–76.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4589
R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” Information and Computation, vol. 104, no. 1, pp. 35–77, 1993.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” presented at the RTSS: Real-Time Systems Symposium, 1993, pp. 2–11.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, “Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems,” in Hybrid Systems, vol. 736, R. Grossman, A. Nerode, A. Ravn, and H. Rischel, Eds. Springer, 1993, pp. 209–229.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
R. Alur, T. A. Henzinger, and M. Vardi, “Parametric real-time reasoning,” presented at the STOC: Symposium on the Theory of Computing, 1993, pp. 592–601.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4620
R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” presented at the CAV: Computer Aided Verification, 1993, vol. 697, pp. 181–193.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2723
L. Erdös, “Ground-state density of the Pauli operator in the large field limit,” Letters in Mathematical Physics, vol. 29, no. 3, pp. 219–240, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1947
L. A. Sazanov and J. Jackson, “Activation and inhibition of mitochondrial transhydrogenase by metal ions,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1144, no. 2, pp. 225–228, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1948
L. A. Sazanov and J. Jackson, “Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria ,” Biochemical Society Transactions, vol. 21, no. 3, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 1950
J. Jackson et al., “Proton-translocating transhydrogenase in bacteria,” Biochemical Society Transactions, vol. 21, no. 4, pp. 1010–1013, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 3446
T. Sziranyi and J. 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, vol. 40, no. 3, pp. 223–231, 1993.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3451
P. M. Jonas, “Glutamate receptors in the central nervous system,” in Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction, vol. 707, New York Academy of Sciences, 1993, pp. 126–135.
View | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3452
P. M. Jonas, “AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS,” in Nonselective cation channels: Pharmacology, Physiology and Biophysics., vol. 66, D. Siemen, Ed. Birkhäuser, 1993, pp. 61–76.
View
 

1993 | Journal Article | IST-REx-ID: 3473
P. Ruppersberg, M. Ermler, M. Knopf, W. Kues, P. M. Jonas, and M. Koenen, “Properties of Shaker-homologous potassium channels expressed in the mammalian brain.,” Cellular Physiology and Biochemistry, vol. 3, pp. 250–269, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3474 | OA
P. M. Jonas, G. Major, and B. Sakmann, “Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus,” Journal of Physiology, vol. 472, pp. 615–663, 1993.
View | DOI | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3568
H. Edelsbrunner, “Geometric algorithms,” in Handbook of Convex Geometry, North Holland, 1993, pp. 699–735.
View | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3569
H. Edelsbrunner, “Computational geometry,” in Current Trends in Theoretical Computer Science, Essays and Tutorials, World Scientific Publishing, 1993, pp. 1–48.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3643
S. Rouhani and N. H. Barton, “Group selection and the ‘shifting balance,’” Genetical Research, vol. 61, no. 2, pp. 127–136, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3644
N. H. Barton and S. Rouhani, “Adaptation and the ‘shifting balance,’” Genetical Research, vol. 61, no. 1, pp. 57–74, 1993.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4175
D. Lindholm, G. Dechant, C.-P. J. Heisenberg, and H. Thoenen, “Brain-derived neurotrophic factor is a survival factor for cultured rat cerebellar granule neurons and protects them against glutamate-induced neurotoxicity,” European Journal of Neuroscience, vol. 5, no. 11, pp. 1455–1464, 1993.
View | DOI
 

Search

Filter Publications