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.

5253 Publications


1994 | Conference Paper | IST-REx-ID: 3550
Edelsbrunner, Herbert. “Modeling with Simplicial Complexes (Topology, Geometry and Algorithms),” 36–44. Unknown, 1994.
View | Download (ext.)
 

1994 | 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 12, no. 1 (1994): 54–68. https://doi.org/10.1007/BF01377183.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4440
Henzinger, Thomas A, and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems,” 863:351–72. Springer, 1994. https://doi.org/10.1007/3-540-58468-4_173.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4591
Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” Journal of the ACM 41, no. 1 (1994): 181–204. https://doi.org/10.1145/174644.174651.
View | DOI | Download (ext.)
 

1994 | 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 111, no. 2 (1994): 193–244. https://doi.org/10.1006/inco.1994.1045.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 6167
Zarkower, David, Mario de Bono, Rachel Aronoff, and Jonathan Hodgkin. “Regulatory Rearrangements and Smg-Sensitive Allels of the C. Elegans Sex-Determining Gene Tra-1.” Developmental Genetics 15, no. 3 (1994): 240–50. https://doi.org/10.1002/dvg.1020150306.
View | DOI | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2488
Kaneko, Takeshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Morphological and Chemical Characteristics of Substance P Receptor Immunoreactive Neurons in the Rat Neocortex.” Neuroscience 60, no. 1 (1994): 199–211. https://doi.org/10.1016/0306-4522(94)90215-1.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2490
Sugimoto, Yukihiko, Ryuichi Shigemoto, Tsunehisa Namba, Manabu Negishi, Noboru Mizuno, Shuh Narumiya, and Atsushi Ichikawa. “Distribution of the Messenger Rna for the Prostaglandin e Receptor Subtype Ep3 in the Mouse Nervous System.” Neuroscience 62, no. 3 (1994): 919–28. https://doi.org/10.1016/0306-4522(94)90483-9.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2553
Sugimoto, Yukihiko, Tsunehisa Namba, Ryuichi Shigemoto, Manabu Negishi, Atsushi Ichikawa, and Shuh Narumiya. “Distinct Cellular Localization of MRNAs for Three Subtypes of Prostaglandin E Receptor in Kidney.” American Journal of Physiology 266, no. 5 (1994): F823–28.
View
 

1994 | Journal Article | IST-REx-ID: 4299
Partridge, Linda, and Nicholas H Barton. “Evolution of Aging: Testing the Theory Using Drosophila.” Genetica 91, no. 1–3 (1994): 89–98. https://doi.org/10.1007/BF01435990.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4179
Leingärtner, Axel, Carl Heisenberg, Roland Kolbeck, Hans Thoenen, and Dan Lindholm. “Brain-Derived Neurotrophic Factor Increases Neurotrophin-3 Expression in Cerebellar Granule Neurons.” Journal of Biological Chemistry 269, no. 2 (1994): 828–30.
View
 

1994 | Conference Paper | IST-REx-ID: 4617
Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems,” 199:331–51. Springer, 1994. https://doi.org/10.1007/BFb0033565.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2489
Akazawa, Chihiro, Ryuichi Shigemoto, Yasumasa Bessho, Shigetada Nakanishi, and Noboru Mizuno. “Differential Expression of Five N-Methyl-D-Aspartate Receptor Subunit MRNAs in the Cerebellum of Developing and Adult Rats.” Journal of Comparative Neurology 347, no. 1 (1994): 150–60. https://doi.org/10.1002/cne.903470112.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2713
Erdös, László. “Estimates on Stochastic Oscillatory Integrals and on the Heat Kernel of the Magnetic Schrödinger Operator.” Duke Mathematical Journal 76, no. 2 (1994): 541–66. https://doi.org/10.1215/S0012-7094-94-07619-9.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2547
Sugimoto, Yukihiko, T Hamba, Ryuichi Shigemoto, Manabu Negishi, Atsushi Ichikawa, and Shuh Narumiya. “Distinct Cellular Localization of MRNAs for Three Subtypes of Prostaglandin E Receptor in Kidney.” American Journal of Physiology 266, no. 5 part 2 (1994): F823–28.
View
 

1994 | Journal Article | IST-REx-ID: 2554
Nomura, Akinori, Ryuichi Shigemoto, Yasuhisa Nakamura, Naoyuki Okamoto, Noboru Mizuno, and Shigetada Nakanishi. “Developmentally Regulated Postsynaptic Localization of a Metabotropic Glutamate Receptor in Rat Rod Bipolar Cells.” Cell 77, no. 3 (1994): 361–69. https://doi.org/10.1016/0092-8674(94)90151-1.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3641
Barton, Nicholas H. “The Reduction in Fixation Probability Caused by Substitutions at Linked Loci.” Genetical Research 64, no. 3 (1994): 199–208. https://doi.org/10.1017/S0016672300032857 .
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3475   OA
Koh, Duk, Peter M Jonas, and Werner Vogel. “Na+-Activated K+ Channels Localized in the Nodal Region of Myelinated Axons of Xenopus.” Journal of Physiology 479 (1994): 183–97. https://doi.org/10.1113/jphysiol.1994.sp020287.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4202
Heisenberg, Carl, John Cooper, J Berke, and Michael Sofroniew. “NMDA Potentiates NGF-Induced Sprouting of Septal Cholinergic Fibres.” Neuroreport 5, no. 4 (1994): 413–16.
View
 

1994 | Conference Paper | IST-REx-ID: 4586
Alur, Rajeev, and Thomas A Henzinger. “Finitary Fairness,” 52–61. IEEE, 1994. https://doi.org/10.1109/LICS.1994.316087 .
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed