Chazelle B, Edelsbrunner H, Guibas L, Sharir M. 1994. Algorithms for bichromatic line-segment problems and polyhedral terrains. Algorithmica. 11(2), 116–132.
LibreCat: https://research-explorer.ista.ac.at/record/4038
DOI: 10.1007/BF01182771

Edelsbrunner H, Mücke E. 1994. Three-dimensional alpha shapes. ACM Transactions on Graphics. 13(1), 43–72.
LibreCat: https://research-explorer.ista.ac.at/record/4037
DOI: 10.1145/174462.156635

Von Kitzing E, Jonas PM, Sakmann B. 1994. Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-C pyramidal cell synapse. Molecular and cellular mechanisms of neurotransmitter release. 29, 235–260.
LibreCat: https://research-explorer.ista.ac.at/record/3453
DOI: 10.1016/0166-2236(95)90088-8
PMID: 7848714 

Turelli M, Barton NH. 1994. Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? Genetics. 138(3), 913–941.
LibreCat: https://research-explorer.ista.ac.at/record/3642
DOI: 10.1093/genetics/138.3.913
PMID: 7851785

Barton NH. 1994. The reduction in fixation probability caused by substitutions at linked loci. Genetical Research. 64(3), 199–208.
LibreCat: https://research-explorer.ista.ac.at/record/3641
DOI: 10.1017/S0016672300032857 

Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M. 1994. Selecting heavily covered points. SIAM Journal on Computing. 23(6), 1138–1151.
LibreCat: https://research-explorer.ista.ac.at/record/4033
DOI: 10.1137/S0097539790179919 

Dey T, Edelsbrunner H. 1994. Counting triangle crossings and halving planes. Discrete &; Computational Geometry. 12(1), 281–289.
LibreCat: https://research-explorer.ista.ac.at/record/4032
DOI: 10.1007/BF02574381

Leingärtner A, Heisenberg C-PJ, Kolbeck R, Thoenen H, Lindholm D. 1994. Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry. 269(2), 828–830.
LibreCat: https://research-explorer.ista.ac.at/record/4179
DOI: 10.1016/s0021-9258(17)42186-7

Heisenberg C-PJ, Cooper J, Berke J, Sofroniew M. 1994. NMDA potentiates NGF-induced sprouting of septal cholinergic fibres. Neuroreport. 5(4), 413–416.
LibreCat: https://research-explorer.ista.ac.at/record/4202
DOI: 10.1097/00001756-199401120-00010 

Kapur A, Henzinger TA, Manna Z, Pnueli A. 1994. Proving safety properties of hybrid systems. 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 863, 431–454.
LibreCat: https://research-explorer.ista.ac.at/record/4420
DOI: 10.1007/3-540-58468-4_177

Henzinger TA, Kopke P. 1994. Verification methods for the divergent runs of clock systems. 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 863, 351–372.
LibreCat: https://research-explorer.ista.ac.at/record/4440
DOI: 10.1007/3-540-58468-4_173

Henzinger TA, Manna Z, Pnueli A. 1994. Temporal proof methodologies for timed transition systems. Information and Computation. 112(2), 273–337.
LibreCat: https://research-explorer.ista.ac.at/record/4501
DOI: 10.1006/inco.1994.1060

Henzinger TA, Nicollin X, Sifakis J, Yovine S. 1994. Symbolic model checking for real-time systems. Information and Computation. 111(2), 193–244.
LibreCat: https://research-explorer.ista.ac.at/record/4503
DOI: 10.1006/inco.1994.1045

Alur R, Henzinger TA. 1994. Finitary fairness. Proceedings 9th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 52–61.
LibreCat: https://research-explorer.ista.ac.at/record/4586
DOI: 10.1109/LICS.1994.316087 

Alur R, Henzinger TA. 1994.Real-time system = discrete system + clock variables. In: Theories and Experiences for Real-Time System Development. AMAST Series in Computing, vol. 2, 1–29.
LibreCat: https://research-explorer.ista.ac.at/record/4590
DOI: 10.1142/9789812831583_0001

Alur R, Henzinger TA. 1994. A really temporal logic. Journal of the ACM. 41(1), 181–204.
LibreCat: https://research-explorer.ista.ac.at/record/4591
DOI: 10.1145/174644.174651

Alur R, Courcoubetis C, Henzinger TA. 1994. The observational power of clocks. 5th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 836, 162–177.
LibreCat: https://research-explorer.ista.ac.at/record/4614
DOI: 10.1007/BFb0015008

Alur R, Fix L, Henzinger TA. 1994. A determinizable class of timed automata. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 818, 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/4615
DOI: 10.1007/3-540-58179-0_39

Alur R, Courcoubetis C, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1994. The algorithmic analysis of hybrid systems. 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, LNCIS, vol. 199, 331–351.
LibreCat: https://research-explorer.ista.ac.at/record/4617
DOI: 10.1007/BFb0033565

Zarkower D, de Bono M, Aronoff R, Hodgkin J. 1994. Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental Genetics. 15(3), 240–250.
LibreCat: https://research-explorer.ista.ac.at/record/6167
DOI: 10.1002/dvg.1020150306
PMID: 7520378