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.

8923 Publications


1994 | Published | Journal Article | IST-REx-ID: 2713
Erdös, L. (1994). Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/S0012-7094-94-07619-9
View | DOI | Download None (ext.)
 

1994 | Published | Journal Article | IST-REx-ID: 1949 | OA
Sazanov, L. A., & Jackson, J. (1994). Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria. FEBS Letters. Elsevier. https://doi.org/10.1016/0014-5793(94)00370-X
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 1953 | OA
Efanov, A., Koshkin, A., Sazanov, L. A., Borodulina, O. I., Varfolomeev, S., & Zaǐtsev, S. (1994). Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. FEBS Letters. Elsevier. https://doi.org/10.1016/0014-5793(94)01109-5
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Published | Conference Paper | IST-REx-ID: 4586
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
View | DOI | Download None (ext.)
 

1994 | Published | Book Chapter | IST-REx-ID: 4590
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
View | DOI | Download None (ext.)
 

1994 | Published | Journal Article | IST-REx-ID: 4591
Alur, R., & Henzinger, T. A. (1994). A really temporal logic. Journal of the ACM. ACM. https://doi.org/10.1145/174644.174651
View | DOI | Download None (ext.)
 

1994 | Published | Conference Paper | IST-REx-ID: 4614
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
View | DOI | Download None (ext.)
 

1994 | Published | Conference Paper | IST-REx-ID: 4615
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
View | DOI | Download None (ext.)
 

1994 | Published | Conference Paper | IST-REx-ID: 4617
Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A., … 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
View | DOI | Download None (ext.)
 

1994 | Published | Journal Article | IST-REx-ID: 6167
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
View | DOI | PubMed | Europe PMC
 

1994 | Published | Conference Paper | IST-REx-ID: 11857
Henzinger, M. H. (1994). Fully dynamic cycle-equivalence in graphs. In 35th Annual Symposium on Foundations of Computer Science (pp. 744–755). Santa Fe, NM, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/sfcs.1994.365718
View | DOI
 

1994 | Published | Book Review | IST-REx-ID: 3453
Von Kitzing, E., Jonas, P. M., & Sakmann, B. (1994). Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse. Molecular and Cellular Mechanisms of Neurotransmitter Release. Raven Press. https://doi.org/10.1016/0166-2236(95)90088-8
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 3460
Jonas, P. M., & Spruston, N. (1994). Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS. Current Opinion in Neurobiology. Elsevier. https://doi.org/10.1016/0959-4388(94)90098-1
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 3475 | OA
Koh, D., Jonas, P. M., & Vogel, W. (1994). Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1994.sp020287
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 3476 | OA
Major, G., Larkman, A., Jonas, P. M., Sakmann, B., & Jack, J. (1994). Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 3477
Jonas, P. M., Racca, C., Sakmann, B., Seeburg, P., & Monyer, H. (1994). Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(94)90444-8
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Published | Conference Paper | IST-REx-ID: 3550
Edelsbrunner, H. (1994). Modeling with simplicial complexes (topology, geometry and algorithms). In Proceedings of the 6th Canadian Conference on Computational Geometry (pp. 36–44). Saskatoon, Canada.
View
 

1994 | Published | Journal Article | IST-REx-ID: 3641
Barton, N. H. (1994). The reduction in fixation probability caused by substitutions at linked loci. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300032857
View | DOI | Download None (ext.)
 

1994 | Published | Journal Article | IST-REx-ID: 3642 | OA
Turelli, M., & Barton, N. H. (1994). Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/138.3.913
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Published | Journal Article | IST-REx-ID: 4032
Dey, T., & Edelsbrunner, H. (1994). Counting triangle crossings and halving planes. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574381
View | DOI | Download None (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed