Please note that ISTA 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.
45 Publications
1993 | Published | Conference Paper | IST-REx-ID: 4616
Automatic symbolic verification of embedded systems
R. Alur, T.A. Henzinger, P. Ho, in:, 1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, P. Ho, in:, 1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11.
1993 | Published | Conference Paper | IST-REx-ID: 4618
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229.
View
| DOI
| Download None (ext.)
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229.
1993 | Published | Conference Paper | IST-REx-ID: 4619
Parametric real-time reasoning
R. Alur, T.A. Henzinger, M. Vardi, in:, Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, M. Vardi, in:, Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601.
1993 | Published | Conference Paper | IST-REx-ID: 4620
Computing accumulated delays in real-time systems
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Computer Aided Verification, Springer, 1993, pp. 181–193.
View
| DOI
| Download None (ext.)
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Computer Aided Verification, Springer, 1993, pp. 181–193.
1993 | Published | Journal Article | IST-REx-ID: 18050
Phonon modes in carbon nanotubules
R.A. Jishi, L. Venkataraman, M.S. Dresselhaus, G. Dresselhaus, Chemical Physics Letters 209 (1993) 77–82.
View
| DOI
R.A. Jishi, L. Venkataraman, M.S. Dresselhaus, G. Dresselhaus, Chemical Physics Letters 209 (1993) 77–82.
1993 | Published | Journal Article | IST-REx-ID: 1947
Activation and inhibition of mitochondrial transhydrogenase by metal ions
L.A. Sazanov, J. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1144 (1993) 225–228.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
L.A. Sazanov, J. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1144 (1993) 225–228.
1993 | Published | Journal Article | IST-REx-ID: 1948
Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria
L.A. Sazanov, J. Jackson, Biochemical Society Transactions 21 (1993) 260.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
L.A. Sazanov, J. Jackson, Biochemical Society Transactions 21 (1993) 260.
1993 | Published | Journal Article | IST-REx-ID: 1950
Proton-translocating transhydrogenase in bacteria
J. Jackson, N.P.J. Cotton, R. Williams, T. Bizouarn, M. Hutton, L.A. Sazanov, C. Thomas, Biochemical Society Transactions 21 (1993) 1010–1013.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
J. Jackson, N.P.J. Cotton, R. Williams, T. Bizouarn, M. Hutton, L.A. Sazanov, C. Thomas, Biochemical Society Transactions 21 (1993) 1010–1013.
1993 | Published | Journal Article | IST-REx-ID: 3446
High-speed character recognition using a dual cellular neural network architecture (CNND)
T. Sziranyi, J.L. Csicsvari, IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing 40 (1993) 223–231.
View
| DOI
| Download None (ext.)
T. Sziranyi, J.L. Csicsvari, IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing 40 (1993) 223–231.
1993 | Published | Book Chapter | IST-REx-ID: 3451
Glutamate receptors in the central nervous system
P.M. Jonas, in:, Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction, New York Academy of Sciences, 1993, pp. 126–135.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
P.M. Jonas, in:, Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction, New York Academy of Sciences, 1993, pp. 126–135.
1993 | Published | Book Chapter | IST-REx-ID: 3452
AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS
P.M. Jonas, in:, D. Siemen (Ed.), Nonselective Cation Channels: Pharmacology, Physiology and Biophysics., Birkhäuser, 1993, pp. 61–76.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
P.M. Jonas, in:, D. Siemen (Ed.), Nonselective Cation Channels: Pharmacology, Physiology and Biophysics., Birkhäuser, 1993, pp. 61–76.
1993 | Published | Journal Article | IST-REx-ID: 3473
Properties of Shaker-homologous potassium channels expressed in the mammalian brain.
P. Ruppersberg, M. Ermler, M. Knopf, W. Kues, P.M. Jonas, M. Koenen, Cellular Physiology and Biochemistry 3 (1993) 250–269.
View
| DOI
| Download None (ext.)
P. Ruppersberg, M. Ermler, M. Knopf, W. Kues, P.M. Jonas, M. Koenen, Cellular Physiology and Biochemistry 3 (1993) 250–269.
1993 | Published | Journal Article | IST-REx-ID: 3474 | 
Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus
P.M. Jonas, G. Major, B. Sakmann, Journal of Physiology 472 (1993) 615–663.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P.M. Jonas, G. Major, B. Sakmann, Journal of Physiology 472 (1993) 615–663.
1993 | Published | Book Chapter | IST-REx-ID: 3568
Geometric algorithms
H. Edelsbrunner, in:, Handbook of Convex Geometry, North Holland, 1993, pp. 699–735.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, in:, Handbook of Convex Geometry, North Holland, 1993, pp. 699–735.
1993 | Published | Book Chapter | IST-REx-ID: 3569
Computational geometry
H. Edelsbrunner, in:, Current Trends in Theoretical Computer Science, Essays and Tutorials, World Scientific Publishing, 1993, pp. 1–48.
View
| Download None (ext.)
H. Edelsbrunner, in:, Current Trends in Theoretical Computer Science, Essays and Tutorials, World Scientific Publishing, 1993, pp. 1–48.
1993 | Published | Journal Article | IST-REx-ID: 3643
Group selection and the 'shifting balance'
S. Rouhani, N.H. Barton, Genetical Research 61 (1993) 127–136.
View
| DOI
| Download None (ext.)
S. Rouhani, N.H. Barton, Genetical Research 61 (1993) 127–136.
1993 | Published | Journal Article | IST-REx-ID: 3644
Adaptation and the 'shifting balance'
N.H. Barton, S. Rouhani, Genetical Research 61 (1993) 57–74.
View
| DOI
| Download None (ext.)
N.H. Barton, S. Rouhani, Genetical Research 61 (1993) 57–74.
1993 | Published | Journal Article | IST-REx-ID: 4036
Computing a face in an arrangement of line segments and related problems
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Snoeyink, SIAM Journal on Computing 22 (1993) 1286–1302.
View
| DOI
| Download None (ext.)
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Snoeyink, SIAM Journal on Computing 22 (1993) 1286–1302.
1993 | Published | Journal Article | IST-REx-ID: 4040
An upper bound for conforming Delaunay triangulations
H. Edelsbrunner, T. Tan, Discrete & Computational Geometry 10 (1993) 197–213.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, T. Tan, Discrete & Computational Geometry 10 (1993) 197–213.
1993 | Published | Journal Article | IST-REx-ID: 4041
On the zone theorem for hyperplane arrangements
H. Edelsbrunner, R. Seidel, M. Sharir, SIAM Journal on Computing 22 (1993) 418–429.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, R. Seidel, M. Sharir, SIAM Journal on Computing 22 (1993) 418–429.