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
Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.” 1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11, doi:10.1109/REAL.1993.393520 .
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4618
Alur, Rajeev, et al. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 209–29, doi:10.1007/3-540-57318-6_30.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4619
Alur, Rajeev, et al. “Parametric Real-Time Reasoning.” Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601, doi:10.1145/167088.167242.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4620
Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.” 5th International Conference on Computer Aided Verification, vol. 697, Springer, 1993, pp. 181–93, doi:10.1007/3-540-56922-7_16.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 18050
Jishi, R. A., et al. “Phonon Modes in Carbon Nanotubules.” Chemical Physics Letters, vol. 209, no. 1–2, Elsevier, 1993, pp. 77–82, doi:10.1016/0009-2614(93)87205-h.
View
| DOI
1993 | Published | Journal Article | IST-REx-ID: 1947
Sazanov, Leonid A., and Julie Jackson. “Activation and Inhibition of Mitochondrial Transhydrogenase by Metal Ions.” Biochimica et Biophysica Acta - Bioenergetics, vol. 1144, no. 2, Elsevier, 1993, pp. 225–28, doi:10.1016/0005-2728(93)90177-H.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 1948
Sazanov, Leonid A., and Julie Jackson. “Possible Functions of the NADP-Linked Isocitrate Dehydrogenase and H+ -Transhydrogenase in Heart Mitochondria .” Biochemical Society Transactions, vol. 21, no. 3, Portland Press, 1993, p. 260, doi:10.1042/bst021260s.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 1950
Jackson, Julie, et al. “Proton-Translocating Transhydrogenase in Bacteria.” Biochemical Society Transactions, vol. 21, no. 4, Portland Press, 1993, pp. 1010–13, doi:10.1042/bst0211010.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | 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, vol. 40, no. 3, IEEE, 1993, pp. 223–31, doi:10.1109/82.222823.
View
| DOI
| Download None (ext.)
1993 | Published | Book Chapter | IST-REx-ID: 3451
Jonas, Peter M. “Glutamate Receptors in the Central Nervous System.” 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–35, doi:10.1111/j.1749-6632.1993.tb38048.x.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Book Chapter | IST-REx-ID: 3452
Jonas, Peter M. “AMPA-Type Glutamate Receptors - Nonselective Cation Channels Mediating Fast Excitatory Transmission in the CNS.” Nonselective Cation Channels: Pharmacology, Physiology and Biophysics., edited by Detlef Siemen, vol. 66, Birkhäuser, 1993, pp. 61–76, doi:10.1007/978-3-0348-7327-7_4.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 3473
Ruppersberg, Peter, et al. “Properties of Shaker-Homologous Potassium Channels Expressed in the Mammalian Brain.” Cellular Physiology and Biochemistry, vol. 3, S. Karger AG, 1993, pp. 250–69, doi:10.1159/000154691.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 3474 | 
Jonas, Peter M., et al. “Quantal Components of Unitary EPSCs at the Mossy Fibre Synapse on CA3 Pyramidal Cells of Rat Hippocampus.” Journal of Physiology, vol. 472, Wiley-Blackwell, 1993, pp. 615–63, doi:10.1113/jphysiol.1993.sp019965.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Published | Book Chapter | IST-REx-ID: 3568
Edelsbrunner, Herbert. “Geometric Algorithms.” Handbook of Convex Geometry, North Holland, 1993, pp. 699–735, doi:10.1016/C2009-0-15705-7.
View
| DOI
| Download None (ext.)
1993 | Published | Book Chapter | IST-REx-ID: 3569
Edelsbrunner, Herbert. “Computational Geometry.” Current Trends in Theoretical Computer Science, Essays and Tutorials, World Scientific Publishing, 1993, pp. 1–48.
View
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 3643
Rouhani, Shahin, and Nicholas H. Barton. “Group Selection and the ‘Shifting Balance.’” Genetical Research, vol. 61, no. 2, Cambridge University Press, 1993, pp. 127–36, doi:10.1017/S0016672300031232.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 3644
Barton, Nicholas H., and Shahin Rouhani. “Adaptation and the ‘Shifting Balance.’” Genetical Research, vol. 61, no. 1, Cambridge University Press, 1993, pp. 57–74, doi:10.1017/S0016672300031098 .
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4036
Chazelle, Bernard, et al. “Computing a Face in an Arrangement of Line Segments and Related Problems.” SIAM Journal on Computing, vol. 22, no. 6, SIAM, 1993, pp. 1286–302, doi:10.1137/0222077 .
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4040
Edelsbrunner, Herbert, and Tiow Tan. “An Upper Bound for Conforming Delaunay Triangulations.” Discrete & Computational Geometry, vol. 10, no. 1, Springer, 1993, pp. 197–213, doi:10.1007/BF02573974.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4041
Edelsbrunner, Herbert, et al. “On the Zone Theorem for Hyperplane Arrangements.” SIAM Journal on Computing, vol. 22, no. 2, SIAM, 1993, pp. 418–29, doi:10.1137/0222031.
View
| DOI
| Download None (ext.)