Jonas, Peter M, Claudia Racca, Bert Sakmann, Peter Seeburg, and Hannah Monyer. “Differences in Ca(2+) Permeability of AMPA-Type Glutamate Receptor Channels in Neocortical Neurons Caused by Differential GluR-B Subunit Expression.”https://doi.org/10.1016/0896-6273(94)90444-8__Neuron. Elsevier, 1994.https://doi.org/10.1016/0896-6273(94)90444-8 .
LibreCat: https://research-explorer.ista.ac.at/record/3477
DOI: 10.1016/0896-6273(94)90444-8
PMID: 8011338 

Edelsbrunner, Herbert. “Modeling with Simplicial Complexes (Topology, Geometry and Algorithms).” In Proceedings of the 6th Canadian Conference on Computational Geometry, 36–44, 1994.
LibreCat: https://research-explorer.ista.ac.at/record/3550

Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas Guibas, John Hershberger, Micha Sharir, and Jack Snoeyink. “Ray Shooting in Polygons Using Geodesic Triangulations.”https://doi.org/10.1007/BF01377183__Algorithmica. Springer, 1994.https://doi.org/10.1007/BF01377183 .
LibreCat: https://research-explorer.ista.ac.at/record/4039
DOI: 10.1007/BF01377183

Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, and Micha Sharir. “Algorithms for Bichromatic Line-Segment Problems and Polyhedral Terrains.”https://doi.org/10.1007/BF01182771__Algorithmica. Springer, 1994.https://doi.org/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.”https://doi.org/10.1145/174462.156635__ACM Transactions on Graphics. ACM, 1994.https://doi.org/10.1145/174462.156635 .
LibreCat: https://research-explorer.ista.ac.at/record/4037
DOI: 10.1145/174462.156635

Von Kitzing, Eberhard, Peter M Jonas, and Bert Sakmann. “Quantal Analysis of Excitatory Postsynaptic Currents at the Hippocampal Mossy Fiber-C Pyramidal Cell Synapse.”https://doi.org/10.1016/0166-2236(95)90088-8__Molecular and Cellular Mechanisms of Neurotransmitter Release. Raven Press, 1994.https://doi.org/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?”https://doi.org/10.1093/genetics/138.3.913__Genetics. Genetics Society of America, 1994.https://doi.org/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.”https://doi.org/10.1017/S0016672300032857 __Genetical Research. Cambridge University Press, 1994.https://doi.org/10.1017/S0016672300032857  .
LibreCat: https://research-explorer.ista.ac.at/record/3641
DOI: 10.1017/S0016672300032857 

Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, John Hershberger, Raimund Seidel, and Micha Sharir. “Selecting Heavily Covered Points.”https://doi.org/10.1137/S0097539790179919 __SIAM Journal on Computing. SIAM, 1994.https://doi.org/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.”https://doi.org/10.1007/BF02574381__Discrete &; Computational Geometry. Springer, 1994.https://doi.org/10.1007/BF02574381 .
LibreCat: https://research-explorer.ista.ac.at/record/4032
DOI: 10.1007/BF02574381

Leingärtner, Axel, Carl-Philipp J Heisenberg, Roland Kolbeck, Hans Thoenen, and Dan Lindholm. “Brain-Derived Neurotrophic Factor Increases Neurotrophin-3 Expression in Cerebellar Granule Neurons.”https://doi.org/10.1016/s0021-9258(17)42186-7__Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1994.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, Carl-Philipp J, John Cooper, J Berke, and Michael Sofroniew. “NMDA Potentiates NGF-Induced Sprouting of Septal Cholinergic Fibres.”https://doi.org/10.1097/00001756-199401120-00010 __Neuroreport. Lippincott, Williams &; Wilkins, 1994.https://doi.org/10.1097/00001756-199401120-00010  .
LibreCat: https://research-explorer.ista.ac.at/record/4202
DOI: 10.1097/00001756-199401120-00010 

Kapur, Arjun, Thomas A Henzinger, Zohar Manna, and Amir Pnueli. “Proving Safety Properties of Hybrid Systems.”https://doi.org/10.1007/3-540-58468-4_177__In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 863:431–54. Springer, 1994.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, Thomas A, and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems.”https://doi.org/10.1007/3-540-58468-4_173__In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 863:351–72. Springer, 1994.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, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Timed Transition Systems.”https://doi.org/10.1006/inco.1994.1060__Information and Computation. Elsevier, 1994.https://doi.org/10.1006/inco.1994.1060 .
LibreCat: https://research-explorer.ista.ac.at/record/4501
DOI: 10.1006/inco.1994.1060

Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.”https://doi.org/10.1006/inco.1994.1045__Information and Computation. Elsevier, 1994.https://doi.org/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.”https://doi.org/10.1109/LICS.1994.316087 __In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, 52–61. IEEE, 1994.https://doi.org/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.”https://doi.org/10.1142/9789812831583_0001__In Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, 2:1–29. AMAST Series in Computing. World Scientific Publishing, 1994.https://doi.org/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.”https://doi.org/10.1145/174644.174651__Journal of the ACM. ACM, 1994.https://doi.org/10.1145/174644.174651 .
LibreCat: https://research-explorer.ista.ac.at/record/4591
DOI: 10.1145/174644.174651

Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “The Observational Power of Clocks.”https://doi.org/10.1007/BFb0015008__In 5th International Conference on Concurrency Theory, 836:162–77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994.https://doi.org/10.1007/BFb0015008 .
LibreCat: https://research-explorer.ista.ac.at/record/4614
DOI: 10.1007/BFb0015008