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.
43 Publications
1994 | Published | Book Chapter | IST-REx-ID: 4590
R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,” in Theories and Experiences for Real-Time System Development, vol. 2, T. Rus and C. Rattray, Eds. World Scientific Publishing, 1994, pp. 1–29.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4591
R. Alur and T. A. Henzinger, “A really temporal logic,” Journal of the ACM, vol. 41, no. 1. ACM, pp. 181–204, 1994.
View
| DOI
| Download None (ext.)
1994 | Published | Conference Paper | IST-REx-ID: 4614
R. Alur, C. Courcoubetis, and T. A. Henzinger, “The observational power of clocks,” in 5th International Conference on Concurrency Theory, Uppsala, Sweden, 1994, vol. 836, pp. 162–177.
View
| DOI
| Download None (ext.)
1994 | Published | Conference Paper | IST-REx-ID: 4615
R. Alur, L. Fix, and T. A. Henzinger, “A determinizable class of timed automata,” in International Conference on Computer Aided Verification, Stanford, CA, United States of America, 1994, vol. 818, pp. 1–13.
View
| DOI
| Download None (ext.)
1994 | Published | Conference Paper | IST-REx-ID: 4617
R. Alur et al., “The algorithmic analysis of hybrid systems,” in 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, Sophia-Antipolis, France, 1994, vol. 199, pp. 331–351.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 6167
D. Zarkower, M. de Bono, R. Aronoff, and J. Hodgkin, “Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1,” Developmental Genetics, vol. 15, no. 3. Wiley, pp. 240–250, 1994.
View
| DOI
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 1949 | 
L. A. Sazanov and J. Jackson, “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, vol. 344, no. 2–3. Elsevier, pp. 109–116, 1994.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 1953 |
A. Efanov, A. Koshkin, L. A. Sazanov, O. I. Borodulina, S. Varfolomeev, and S. Zaǐtsev, “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, vol. 355, no. 2. Elsevier, pp. 114–116, 1994.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Published | Book Review | IST-REx-ID: 3453
E. Von Kitzing, P. M. Jonas, and B. Sakmann, “Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse,” Molecular and cellular mechanisms of neurotransmitter release, vol. 29. Raven Press, pp. 235–260, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 3460
P. M. Jonas and N. Spruston, “Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS,” Current Opinion in Neurobiology, vol. 4, no. 3. Elsevier, pp. 366–372, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 3475 |
D. Koh, P. M. Jonas, and W. Vogel, “Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus,” Journal of Physiology, vol. 479. Wiley-Blackwell, pp. 183–197, 1994.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 3476 |
G. Major, A. Larkman, P. M. Jonas, B. Sakmann, and J. Jack, “Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices,” Journal of Neuroscience, vol. 14, no. 8. Society for Neuroscience, pp. 4613–4638, 1994.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 3477
P. M. Jonas, C. Racca, B. Sakmann, P. Seeburg, and H. Monyer, “Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression,” Neuron, vol. 12, no. 6. Elsevier, pp. 1281–1289, 1994.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Published | Conference Paper | IST-REx-ID: 3550
H. Edelsbrunner, “Modeling with simplicial complexes (topology, geometry and algorithms),” in Proceedings of the 6th Canadian Conference on Computational Geometry, Saskatoon, Canada, 1994, pp. 36–44.
View
1994 | Published | Journal Article | IST-REx-ID: 3641
N. H. Barton, “The reduction in fixation probability caused by substitutions at linked loci,” Genetical Research, vol. 64, no. 3. Cambridge University Press, pp. 199–208, 1994.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 3642 |
M. Turelli and N. H. Barton, “Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?,” Genetics, vol. 138, no. 3. Genetics Society of America, pp. 913–941, 1994.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Published | Journal Article | IST-REx-ID: 4032
T. Dey and H. Edelsbrunner, “Counting triangle crossings and halving planes,” Discrete & Computational Geometry, vol. 12, no. 1. Springer, pp. 281–289, 1994.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4033
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, and M. Sharir, “Selecting heavily covered points,” SIAM Journal on Computing, vol. 23, no. 6. SIAM, pp. 1138–1151, 1994.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4037 |
H. Edelsbrunner and E. Mücke, “Three-dimensional alpha shapes,” ACM Transactions on Graphics, vol. 13, no. 1. ACM, pp. 43–72, 1994.
View
| DOI
| Download None (ext.)
1994 | Published | Journal Article | IST-REx-ID: 4038
B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir, “Algorithms for bichromatic line-segment problems and polyhedral terrains,” Algorithmica, vol. 11, no. 2. Springer, pp. 116–132, 1994.
View
| DOI
| Download None (ext.)