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.
11357 Publications
1994 |
Published |
Journal Article |
IST-REx-ID: 4033
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, John Hershberger, Raimund Seidel, and Micha Sharir. “Selecting Heavily Covered Points.” SIAM Journal on Computing. SIAM, 1994. https://doi.org/10.1137/S0097539790179919 .
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4037 |
Edelsbrunner, Herbert, and Ernst Mücke. “Three-Dimensional Alpha Shapes.” ACM Transactions on Graphics. ACM, 1994. https://doi.org/10.1145/174462.156635.
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4038
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, and Micha Sharir. “Algorithms for Bichromatic Line-Segment Problems and Polyhedral Terrains.” Algorithmica. Springer, 1994. https://doi.org/10.1007/BF01182771.
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4039
Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas Guibas, John Hershberger, Micha Sharir, and Jack Snoeyink. “Ray Shooting in Polygons Using Geodesic Triangulations.” Algorithmica. Springer, 1994. https://doi.org/10.1007/BF01377183.
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4179 |
Leingärtner, Axel, Carl-Philipp J Heisenberg, Roland Kolbeck, Hans Thoenen, and Dan Lindholm. “Brain-Derived Neurotrophic Factor Increases Neurotrophin-3 Expression in Cerebellar Granule Neurons.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1994. https://doi.org/10.1016/s0021-9258(17)42186-7.
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4202
Heisenberg, Carl-Philipp J, John Cooper, J Berke, and Michael Sofroniew. “NMDA Potentiates NGF-Induced Sprouting of Septal Cholinergic Fibres.” Neuroreport. Lippincott, Williams & Wilkins, 1994. https://doi.org/10.1097/00001756-199401120-00010 .
View
| DOI
| Download None (ext.)
1994 |
Published |
Conference Paper |
IST-REx-ID: 4420
Kapur, Arjun, Thomas A Henzinger, Zohar Manna, and Amir Pnueli. “Proving Safety Properties of Hybrid Systems.” In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 863:431–54. Springer, 1994. https://doi.org/10.1007/3-540-58468-4_177.
View
| DOI
| Download None (ext.)
1994 |
Published |
Conference Paper |
IST-REx-ID: 4440
Henzinger, Thomas A, and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems.” In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 863:351–72. Springer, 1994. https://doi.org/10.1007/3-540-58468-4_173.
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4501 |
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Timed Transition Systems.” Information and Computation. Elsevier, 1994. https://doi.org/10.1006/inco.1994.1060.
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4503
Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.” Information and Computation. Elsevier, 1994. https://doi.org/10.1006/inco.1994.1045.
View
| DOI
| Download None (ext.)
1994 |
Published |
Conference Paper |
IST-REx-ID: 4586
Alur, Rajeev, and Thomas A Henzinger. “Finitary Fairness.” In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, 52–61. IEEE, 1994. https://doi.org/10.1109/LICS.1994.316087 .
View
| DOI
| Download None (ext.)
1994 |
Published |
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. AMAST Series in Computing. World Scientific Publishing, 1994. https://doi.org/10.1142/9789812831583_0001.
View
| DOI
| Download None (ext.)
1994 |
Published |
Journal Article |
IST-REx-ID: 4591
Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” Journal of the ACM. ACM, 1994. https://doi.org/10.1145/174644.174651.
View
| DOI
| Download None (ext.)
1993 |
Published |
Journal Article |
IST-REx-ID: 2723
Erdös, László. “Ground-State Density of the Pauli Operator in the Large Field Limit.” Letters in Mathematical Physics. Springer, 1993. https://doi.org/10.1007/BF00761110.
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: 2487
Ohishi, Hitoshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “ Distribution of the MRNA for a Metabotropic Glutamate Receptor (MGluR3) in the Rat Brain: An in Situ Hybridization Study.” Journal of Comparative Neurology. Wiley-Blackwell, 1993. https://doi.org/10.1002/cne.903350209.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 |
Published |
Journal Article |
IST-REx-ID: 2536 |
Nakajima, Yoshiaki, Hideki Iwakabe, Chihiro Akazawa, Hiroyuki Nawa, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Characterization of a Novel Retinal Metabotropic Glutamate Receptor MGluR6 with a High Agonist Selectivity for L-2-Amino-4- Phosphonobutyrate.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1993. https://doi.org/10.1016/S0021-9258(19)50280-0.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC