Leingärtner, A., Heisenberg, C.-P. J., Kolbeck, R., Thoenen, H., &; Lindholm, D. (1994). Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology.https://doi.org/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, C.-P. J., Cooper, J., Berke, J., &; Sofroniew, M. (1994). NMDA potentiates NGF-induced sprouting of septal cholinergic fibres. Neuroreport. Lippincott, Williams &; Wilkins.https://doi.org/10.1097/00001756-199401120-00010  
LibreCat: https://research-explorer.ista.ac.at/record/4202
DOI: 10.1097/00001756-199401120-00010 

Kapur, A., Henzinger, T. A., Manna, Z., &; Pnueli, A. (1994). Proving safety properties of hybrid systems. In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 863, pp. 431–454). Lübeck, Germany: Springer.https://doi.org/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, T. A., &; Kopke, P. (1994). Verification methods for the divergent runs of clock systems. In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 863, pp. 351–372). Lübeck, Gernany: Springer.https://doi.org/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, T. A., Manna, Z., &; Pnueli, A. (1994). Temporal proof methodologies for timed transition systems. Information and Computation. Elsevier.https://doi.org/10.1006/inco.1994.1060 
LibreCat: https://research-explorer.ista.ac.at/record/4501
DOI: 10.1006/inco.1994.1060

Henzinger, T. A., Nicollin, X., Sifakis, J., &; Yovine, S. (1994). Symbolic model checking for real-time systems. Information and Computation. Elsevier.https://doi.org/10.1006/inco.1994.1045 
LibreCat: https://research-explorer.ista.ac.at/record/4503
DOI: 10.1006/inco.1994.1045

Alur, R., &; Henzinger, T. A. (1994). Finitary fairness. In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science (pp. 52–61). Paris, France: IEEE.https://doi.org/10.1109/LICS.1994.316087  
LibreCat: https://research-explorer.ista.ac.at/record/4586
DOI: 10.1109/LICS.1994.316087 

Alur, R., &; Henzinger, T. A. (1994). Real-time system = discrete system + clock variables. In T. Rus &; C. Rattray (Eds.), Theories and Experiences for Real-Time System Development (Vol. 2, pp. 1–29). World Scientific Publishing.https://doi.org/10.1142/9789812831583_0001 
LibreCat: https://research-explorer.ista.ac.at/record/4590
DOI: 10.1142/9789812831583_0001

Alur, R., &; Henzinger, T. A. (1994). A really temporal logic. Journal of the ACM. ACM.https://doi.org/10.1145/174644.174651 
LibreCat: https://research-explorer.ista.ac.at/record/4591
DOI: 10.1145/174644.174651

Alur, R., Courcoubetis, C., &; Henzinger, T. A. (1994). The observational power of clocks. In 5th International Conference on Concurrency Theory (Vol. 836, pp. 162–177). Uppsala, Sweden: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/BFb0015008 
LibreCat: https://research-explorer.ista.ac.at/record/4614
DOI: 10.1007/BFb0015008

Alur, R., Fix, L., &; Henzinger, T. A. (1994). A determinizable class of timed automata. In International Conference on Computer Aided Verification (Vol. 818, pp. 1–13). Stanford, CA, United States of America: Springer.https://doi.org/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, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A.,https://doi.org/10.1007/BFb0033565__Yovine, S. (1994). The algorithmic analysis of hybrid systems. In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems (Vol. 199, pp. 331–351). Sophia-Antipolis, France: Springer.https://doi.org/10.1007/BFb0033565 
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. Wiley.https://doi.org/10.1002/dvg.1020150306 
LibreCat: https://research-explorer.ista.ac.at/record/6167
DOI: 10.1002/dvg.1020150306
PMID: 7520378