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.
9169 Publications
1994 | Journal Article | IST-REx-ID: 3460
Jonas, Peter M., and Nelson Spruston. “Mechanisms Shaping Glutamate-Mediated Excitatory Postsynaptic Currents in the CNS.” Current Opinion in Neurobiology, vol. 4, no. 3, Elsevier, 1994, pp. 366–72, doi:10.1016/0959-4388(94)90098-1.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3476 | 
Major, Guy, et al. “Detailed Passive Cable Models of Whole-Cell Recorded CA3 Pyramidal Neurons in Rat Hippocampal Slices.” Journal of Neuroscience, vol. 14, no. 8, Society for Neuroscience, 1994, pp. 4613–38, doi:10.1523/JNEUROSCI.14-08-04613.1994.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3475 |
Koh, Duk, et al. “Na+-Activated K+ Channels Localized in the Nodal Region of Myelinated Axons of Xenopus.” Journal of Physiology, vol. 479, Wiley-Blackwell, 1994, pp. 183–97, doi:10.1113/jphysiol.1994.sp020287.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3477
Jonas, Peter M., et al. “Differences in Ca(2+) Permeability of AMPA-Type Glutamate Receptor Channels in Neocortical Neurons Caused by Differential GluR-B Subunit Expression.” Neuron, vol. 12, no. 6, Elsevier, 1994, pp. 1281–89, doi:10.1016/0896-6273(94)90444-8.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Conference Paper | IST-REx-ID: 3550
Edelsbrunner, Herbert. “Modeling with Simplicial Complexes (Topology, Geometry and Algorithms).” Proceedings of the 6th Canadian Conference on Computational Geometry, 1994, pp. 36–44.
View
1994 | Journal Article | IST-REx-ID: 4039
Chazelle, Bernard, et al. “Ray Shooting in Polygons Using Geodesic Triangulations.” Algorithmica, vol. 12, no. 1, Springer, 1994, pp. 54–68, doi:10.1007/BF01377183.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4038
Chazelle, Bernard, et al. “Algorithms for Bichromatic Line-Segment Problems and Polyhedral Terrains.” Algorithmica, vol. 11, no. 2, Springer, 1994, pp. 116–32, doi:10.1007/BF01182771.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4037 |
Edelsbrunner, Herbert, and Ernst Mücke. “Three-Dimensional Alpha Shapes.” ACM Transactions on Graphics, vol. 13, no. 1, ACM, 1994, pp. 43–72, doi:10.1145/174462.156635.
View
| DOI
| Download None (ext.)
1994 | Book Review | IST-REx-ID: 3453
Von Kitzing, Eberhard, et al. “Quantal Analysis of Excitatory Postsynaptic Currents at the Hippocampal Mossy Fiber-CA3 Pyramidal Cell Synapse.” Molecular and Cellular Mechanisms of Neurotransmitter Release, vol. 29, Raven Press, 1994, pp. 235–60, doi:10.1016/0166-2236(95)90088-8.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3642 |
Turelli, Michael, and Nicholas H. Barton. “Genetic and Statistical Analyses of Strong Selection on Polygenic Traits: What, Me Normal?” Genetics, vol. 138, no. 3, Genetics Society of America, 1994, pp. 913–41, doi:10.1093/genetics/138.3.913.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3641
Barton, Nicholas H. “The Reduction in Fixation Probability Caused by Substitutions at Linked Loci.” Genetical Research, vol. 64, no. 3, Cambridge University Press, 1994, pp. 199–208, doi:10.1017/S0016672300032857 .
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4033
Chazelle, Bernard, et al. “Selecting Heavily Covered Points.” SIAM Journal on Computing, vol. 23, no. 6, SIAM, 1994, pp. 1138–51, doi:10.1137/S0097539790179919 .
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4032
Dey, Tamal, and Herbert Edelsbrunner. “Counting Triangle Crossings and Halving Planes.” Discrete & Computational Geometry, vol. 12, no. 1, Springer, 1994, pp. 281–89, doi:10.1007/BF02574381.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4179 |
Leingärtner, Axel, et al. “Brain-Derived Neurotrophic Factor Increases Neurotrophin-3 Expression in Cerebellar Granule Neurons.” Journal of Biological Chemistry, vol. 269, no. 2, American Society for Biochemistry and Molecular Biology, 1994, pp. 828–30, doi:10.1016/s0021-9258(17)42186-7.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4202
Heisenberg, Carl-Philipp J., et al. “NMDA Potentiates NGF-Induced Sprouting of Septal Cholinergic Fibres.” Neuroreport, vol. 5, no. 4, Lippincott, Williams & Wilkins, 1994, pp. 413–16, doi:10.1097/00001756-199401120-00010 .
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4420
Kapur, Arjun, et al. “Proving Safety Properties of Hybrid Systems.” 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 863, Springer, 1994, pp. 431–54, doi:10.1007/3-540-58468-4_177.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4440
Henzinger, Thomas A., and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems.” 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 863, Springer, 1994, pp. 351–72, doi:10.1007/3-540-58468-4_173.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4501 |
Henzinger, Thomas A., et al. “Temporal Proof Methodologies for Timed Transition Systems.” Information and Computation, vol. 112, no. 2, Elsevier, 1994, pp. 273–337, doi:10.1006/inco.1994.1060.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4503
Henzinger, Thomas A., et al. “Symbolic Model Checking for Real-Time Systems.” Information and Computation, vol. 111, no. 2, Elsevier, 1994, pp. 193–244, doi:10.1006/inco.1994.1045.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4586
Alur, Rajeev, and Thomas A. Henzinger. “Finitary Fairness.” Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61, doi:10.1109/LICS.1994.316087 .
View
| DOI
| Download None (ext.)