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.

7642 Publications


1994 | Conference Paper | IST-REx-ID: 4617
Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4614
Alur, Rajeev, et al. “The Observational Power of Clocks.” 5th International Conference on Concurrency Theory, vol. 836, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–77, doi:10.1007/BFb0015008.
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 | 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 | Journal Article | IST-REx-ID: 4501 | OA
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 | Book Chapter | IST-REx-ID: 4590
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.” Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, vol. 2, World Scientific Publishing, 1994, pp. 1–29, doi:10.1142/9789812831583_0001.
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.)
 

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

1994 | Journal Article | IST-REx-ID: 4179 | OA
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 | 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 | OA
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 | 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: 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: 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: 3642 | OA
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.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 3476 | OA
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.
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: 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
 

Search

Filter Publications