Chazelle, Bernard, et al. “Algorithms for Bichromatic Line-Segment Problems and Polyhedral Terrains.”10.1007/BF01182771__Algorithmica, vol. 11, no. 2, Springer, 1994, pp. 116–32, doi:10.1007/BF01182771.
LibreCat: https://research-explorer.ista.ac.at/record/4038
DOI: 10.1007/BF01182771

Edelsbrunner, Herbert, and Ernst Mücke. “Three-Dimensional Alpha Shapes.”10.1145/174462.156635__ACM Transactions on Graphics, vol. 13, no. 1, ACM, 1994, pp. 43–72, doi:10.1145/174462.156635.
LibreCat: https://research-explorer.ista.ac.at/record/4037
DOI: 10.1145/174462.156635

Von Kitzing, Eberhard, et al. “Quantal Analysis of Excitatory Postsynaptic Currents at the Hippocampal Mossy Fiber-C Pyramidal Cell Synapse.”10.1016/0166-2236(95)90088-8__Molecular and Cellular Mechanisms of Neurotransmitter Release, vol. 29, Raven Press, 1994, pp. 235–60, doi:10.1016/0166-2236(95)90088-8.
LibreCat: https://research-explorer.ista.ac.at/record/3453
DOI: 10.1016/0166-2236(95)90088-8
PMID: 7848714 

Turelli, Michael, and Nicholas H. Barton. “Genetic and Statistical Analyses of Strong Selection on Polygenic Traits: What, Me Normal?”10.1093/genetics/138.3.913__Genetics, vol. 138, no. 3, Genetics Society of America, 1994, pp. 913–41, doi:10.1093/genetics/138.3.913.
LibreCat: https://research-explorer.ista.ac.at/record/3642
DOI: 10.1093/genetics/138.3.913
PMID: 7851785

Barton, Nicholas H. “The Reduction in Fixation Probability Caused by Substitutions at Linked Loci.”10.1017/S0016672300032857 __Genetical Research, vol. 64, no. 3, Cambridge University Press, 1994, pp. 199–208, doi:10.1017/S0016672300032857 .
LibreCat: https://research-explorer.ista.ac.at/record/3641
DOI: 10.1017/S0016672300032857 

Chazelle, Bernard, et al. “Selecting Heavily Covered Points.”10.1137/S0097539790179919 __SIAM Journal on Computing, vol. 23, no. 6, SIAM, 1994, pp. 1138–51, doi:10.1137/S0097539790179919 .
LibreCat: https://research-explorer.ista.ac.at/record/4033
DOI: 10.1137/S0097539790179919 

Dey, Tamal, and Herbert Edelsbrunner. “Counting Triangle Crossings and Halving Planes.”10.1007/BF02574381__Discrete &; Computational Geometry, vol. 12, no. 1, Springer, 1994, pp. 281–89, doi:10.1007/BF02574381.
LibreCat: https://research-explorer.ista.ac.at/record/4032
DOI: 10.1007/BF02574381

Leingärtner, Axel, et al. “Brain-Derived Neurotrophic Factor Increases Neurotrophin-3 Expression in Cerebellar Granule Neurons.”10.1016/s0021-9258(17)42186-7__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.
LibreCat: https://research-explorer.ista.ac.at/record/4179
DOI: 10.1016/s0021-9258(17)42186-7

Heisenberg, Carl-Philipp J., et al. “NMDA Potentiates NGF-Induced Sprouting of Septal Cholinergic Fibres.”10.1097/00001756-199401120-00010 __Neuroreport, vol. 5, no. 4, Lippincott, Williams &; Wilkins, 1994, pp. 413–16, doi:10.1097/00001756-199401120-00010 .
LibreCat: https://research-explorer.ista.ac.at/record/4202
DOI: 10.1097/00001756-199401120-00010 

Kapur, Arjun, et al. “Proving Safety Properties of Hybrid Systems.”10.1007/3-540-58468-4_177__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.
LibreCat: https://research-explorer.ista.ac.at/record/4420
DOI: 10.1007/3-540-58468-4_177

Henzinger, Thomas A., and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems.”10.1007/3-540-58468-4_173__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.
LibreCat: https://research-explorer.ista.ac.at/record/4440
DOI: 10.1007/3-540-58468-4_173

Henzinger, Thomas A., et al. “Temporal Proof Methodologies for Timed Transition Systems.”10.1006/inco.1994.1060__Information and Computation, vol. 112, no. 2, Elsevier, 1994, pp. 273–337, doi:10.1006/inco.1994.1060.
LibreCat: https://research-explorer.ista.ac.at/record/4501
DOI: 10.1006/inco.1994.1060

Henzinger, Thomas A., et al. “Symbolic Model Checking for Real-Time Systems.”10.1006/inco.1994.1045__Information and Computation, vol. 111, no. 2, Elsevier, 1994, pp. 193–244, doi:10.1006/inco.1994.1045.
LibreCat: https://research-explorer.ista.ac.at/record/4503
DOI: 10.1006/inco.1994.1045

Alur, Rajeev, and Thomas A. Henzinger. “Finitary Fairness.”10.1109/LICS.1994.316087 __Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61, doi:10.1109/LICS.1994.316087 .
LibreCat: https://research-explorer.ista.ac.at/record/4586
DOI: 10.1109/LICS.1994.316087 

Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.”10.1142/9789812831583_0001__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.
LibreCat: https://research-explorer.ista.ac.at/record/4590
DOI: 10.1142/9789812831583_0001

Alur, Rajeev, and Thomas A. Henzinger. “A Really Temporal Logic.”10.1145/174644.174651__Journal of the ACM, vol. 41, no. 1, ACM, 1994, pp. 181–204, doi:10.1145/174644.174651.
LibreCat: https://research-explorer.ista.ac.at/record/4591
DOI: 10.1145/174644.174651

Alur, Rajeev, et al. “The Observational Power of Clocks.”10.1007/BFb0015008__5th International Conference on Concurrency Theory, vol. 836, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–77, doi:10.1007/BFb0015008.
LibreCat: https://research-explorer.ista.ac.at/record/4614
DOI: 10.1007/BFb0015008

Alur, Rajeev, et al. “A Determinizable Class of Timed Automata.”10.1007/3-540-58179-0_39__International Conference on Computer Aided Verification, vol. 818, Springer, 1994, pp. 1–13, doi:10.1007/3-540-58179-0_39.
LibreCat: https://research-explorer.ista.ac.at/record/4615
DOI: 10.1007/3-540-58179-0_39

Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.”10.1007/BFb0033565__11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.
LibreCat: https://research-explorer.ista.ac.at/record/4617
DOI: 10.1007/BFb0033565

Zarkower, David, et al. “Regulatory Rearrangements and Smg-Sensitive Allels of the C. Elegans Sex-Determining Gene Tra-1.”10.1002/dvg.1020150306__Developmental Genetics, vol. 15, no. 3, Wiley, 1994, pp. 240–50, doi:10.1002/dvg.1020150306.
LibreCat: https://research-explorer.ista.ac.at/record/6167
DOI: 10.1002/dvg.1020150306
PMID: 7520378