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, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.” In 1993 Proceedings Real-Time Systems Symposium, 2–11. IEEE, 1993. https://doi.org/10.1109/REAL.1993.393520 .
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4618
Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, and Pei Ho. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:209–29. Springer, 1993. https://doi.org/10.1007/3-540-57318-6_30.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4619
Alur, Rajeev, Thomas A Henzinger, and Moshe Vardi. “Parametric Real-Time Reasoning.” In Proceedings of the 25th Annual ACM Symposium on Theory of Computing, 592–601. ACM, 1993. https://doi.org/10.1145/167088.167242.
View
| DOI
| Download None (ext.)
1993 | Published | Conference Paper | IST-REx-ID: 4620
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.” In 5th International Conference on Computer Aided Verification, 697:181–93. Springer, 1993. https://doi.org/10.1007/3-540-56922-7_16.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 18050
Jishi, R.A., Latha Venkataraman, M.S. Dresselhaus, and G. Dresselhaus. “Phonon Modes in Carbon Nanotubules.” Chemical Physics Letters. Elsevier, 1993. https://doi.org/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. Elsevier, 1993. https://doi.org/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. Portland Press, 1993. https://doi.org/10.1042/bst021260s.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Published | Journal Article | IST-REx-ID: 1950
Jackson, Julie, N P J Cotton, Ross Williams, Tania Bizouarn, Mike Hutton, Leonid A Sazanov, and Christopher Thomas. “Proton-Translocating Transhydrogenase in Bacteria.” Biochemical Society Transactions. Portland Press, 1993. https://doi.org/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. IEEE, 1993. https://doi.org/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.” In Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction, 707:126–35. Annals of the New York Academy of Sciences. New York Academy of Sciences, 1993. https://doi.org/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.” In Nonselective Cation Channels: Pharmacology, Physiology and Biophysics., edited by Detlef Siemen, 66:61–76. Birkhäuser, 1993. https://doi.org/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, Mamfred Ermler, Martin Knopf, Wilfried Kues, Peter M Jonas, and Michael Koenen. “Properties of Shaker-Homologous Potassium Channels Expressed in the Mammalian Brain.” Cellular Physiology and Biochemistry. S. Karger AG, 1993. https://doi.org/10.1159/000154691.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 3474 | 
Jonas, Peter M, Guy Major, and Bert Sakmann. “Quantal Components of Unitary EPSCs at the Mossy Fibre Synapse on CA3 Pyramidal Cells of Rat Hippocampus.” Journal of Physiology. Wiley-Blackwell, 1993. https://doi.org/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.” In Handbook of Convex Geometry, 699–735. North Holland, 1993. https://doi.org/10.1016/C2009-0-15705-7.
View
| DOI
| Download None (ext.)
1993 | Published | Book Chapter | IST-REx-ID: 3569
Edelsbrunner, Herbert. “Computational Geometry.” In Current Trends in Theoretical Computer Science, Essays and Tutorials, 1–48. World Scientific Publishing, 1993.
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. Cambridge University Press, 1993. https://doi.org/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. Cambridge University Press, 1993. https://doi.org/10.1017/S0016672300031098 .
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4036
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Jack Snoeyink. “Computing a Face in an Arrangement of Line Segments and Related Problems.” SIAM Journal on Computing. SIAM, 1993. https://doi.org/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. Springer, 1993. https://doi.org/10.1007/BF02573974.
View
| DOI
| Download None (ext.)
1993 | Published | Journal Article | IST-REx-ID: 4041
Edelsbrunner, Herbert, Raimund Seidel, and Micha Sharir. “On the Zone Theorem for Hyperplane Arrangements.” SIAM Journal on Computing. SIAM, 1993. https://doi.org/10.1137/0222031.
View
| DOI
| Download None (ext.)