Please note that IST 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.

44 Publications


1994 | Journal Article | IST-REx-ID: 6167
Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1
D. Zarkower, M. de Bono, R. Aronoff, J. Hodgkin, Developmental Genetics 15 (1994) 240–250.
View | DOI | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 4501
Temporal proof methodologies for timed transition systems
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4503
Symbolic model checking for real-time systems
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.
View | DOI | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4586
Finitary fairness
R. Alur, T.A. Henzinger, in:, IEEE, 1994, pp. 52–61.
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 4590
Real-time system = discrete system + clock variables
R. Alur, T.A. Henzinger, in:, T. Rus, C. Rattray (Eds.), Theories and Experiences for Real-Time System Development, World Scientific Publishing, 1994, pp. 1–29.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4591
A really temporal logic
R. Alur, T.A. Henzinger, Journal of the ACM 41 (1994) 181–204.
View | DOI | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4614
The observational power of clocks
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–177.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4615
A determinizable class of timed automata
R. Alur, L. Fix, T.A. Henzinger, in:, Springer, 1994, pp. 1–13.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4617
The algorithmic analysis of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, in:, Springer, 1994, pp. 331–351.
View | DOI
 
 

1994 | Journal Article | IST-REx-ID: 1953
Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism
A. Efanov, A. Koshkin, L.A. Sazanov, O.I. Borodulina, S. Varfolomeev, S. Zaǐtsev, FEBS Letters 355 (1994) 114–116.
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 3453
Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse
E. Von Kitzing, P.M. Jonas, B. Sakmann, in:, L. Stjärne, P. Greengard, S. Grillner, T. Hökfelt, D. Ottoson (Eds.), Molecular and Cellular Mechanisms of Neurotransmitter Release, Raven Press, 1994, pp. 235–260.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3460
Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS
P.M. Jonas, N. Spruston, Current Opinion in Neurobiology 4 (1994) 366–372.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3475 | OA
Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus
D. Koh, P.M. Jonas, W. Vogel, Journal of Physiology 479 (1994) 183–197.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3476
Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices
G. Major, A. Larkman, P.M. Jonas, B. Sakmann, J. Jack, Journal of Neuroscience 14 (1994) 4613–4638.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3477 View | DOI
 

1994 | Conference Paper | IST-REx-ID: 3550
Modeling with simplicial complexes (topology, geometry and algorithms)
H. Edelsbrunner, in:, Unknown, 1994, pp. 36–44.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3641
The reduction in fixation probability caused by substitutions at linked loci
N.H. Barton, Genetical Research 64 (1994) 199–208.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3642 View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4032
Counting triangle crossings and halving planes
T. Dey, H. Edelsbrunner, Discrete & Computational Geometry 12 (1994) 281–289.
View | DOI
 

Filters and Search Terms

year=1994

Search

Filter Publications