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.

47 Publications


1995 | Conference Paper | IST-REx-ID: 4499
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” presented at the RTSS: Real-Time Systems Symposium, 1995, pp. 56–65.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,” presented at the ICALP: Automata, Languages and Programming, 1995, vol. 944, pp. 417–428.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4502
T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” presented at the STOC: Symposium on the Theory of Computing, 1995, pp. 373–382.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4518
T. A. Henzinger, “Hybrid automata with finite bisimulations,” presented at the ICALP: Automata, Languages and Programming, 1995, vol. 944, pp. 324–335.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4587
R. Alur and T. A. Henzinger, “Local liveness for compositional modeling of fair reactive systems,” presented at the CAV: Computer Aided Verification, 1995, vol. 939, pp. 166–179.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4613
R. Alur et al., “The algorithmic analysis of hybrid systems,” Theoretical Computer Science, vol. 138, no. 1, pp. 3–34, 1995.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 6162
M. de Bono, D. Zarkower, and J. Hodgkin, “Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1,” Genes and Development, vol. 9, no. 2, pp. 155–167, 1995.
View | DOI | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 2712
L. Erdös, “Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals,” presented at the Partial Differential Operators and Mathematical Physics, 1995, vol. 78, pp. 127–132.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2724
L. Erdös, “Magnetic Lieb-Thirring inequalities,” Communications in Mathematical Physics, vol. 170, no. 3, pp. 629–668, 1995.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 1943
L. A. Sazanov and B. Jackson, “Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1231, no. 3, pp. 304–312, 1995.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 3454
H. Monyer and P. M. Jonas, “Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices,” in Single-channel recording, B. Sakmann and E. Neher, Eds. Plenum, 1995, pp. 357–373.
View | Download (ext.)
 

1995 | Book Chapter | IST-REx-ID: 3455
P. M. Jonas, “Fast application of agonists to isolated membrane patches,” in Single-channel recording, B. Sakmann and E. Neher, Eds. Plenum, 1995, pp. 231–243.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3461
P. M. Jonas and N. Burnashev, “Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels,” Neuron, vol. 15, no. 5, pp. 987–990, 1995.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3478
N. Spruston, P. M. Jonas, and B. Sakmann, “Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons,” Journal of Physiology, vol. 482, no. Pt 2, pp. 325–352, 1995.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3479 | OA
D. Koh, J. Geiger, P. M. Jonas, and B. Sakmann, “Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus,” Journal of Physiology, vol. 485, no. Pt 2, pp. 383–402, 1995.
View | DOI | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3480
J. Geiger et al., “Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS,” Neuron, vol. 15, no. 1, pp. 193–204, 1995.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3481 | OA
D. Koh, N. Burnashev, and P. M. Jonas, “Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification,” Journal of Physiology, vol. 486, no. Pt 2, pp. 305–312, 1995.
View | DOI | Download (ext.)
 

1995 | Conference Paper | IST-REx-ID: 3551
H. Edelsbrunner, M. Facello, P. Fu, and J. Liang, “Measuring proteins and voids in proteins,” presented at the HICSS: Hawaii International Conference on System Sciences, 1995, pp. 256–264.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 3552
N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mücke, and C. Varela, “Alpha shapes: definition and software,” presented at the GCG: International Computational Geometry Software Workshop, 1995, pp. 63–66.
View | Download (ext.)
 

1995 | Book Review | IST-REx-ID: 3597
M. Kirkpatrick and N. H. Barton, “Déjà vu all over again,” Nature, vol. 377. Nature Publishing Group, pp. 388–389, 1995.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3636
B. Nürnberger, N. H. Barton, C. Maccallum, J. Gilchrist, and M. Appleby, “Natural selection on quantitative traits in the Bombina hybrid zone,” Evolution, vol. 49, no. 6, pp. 1224–1238, 1995.
View
 

1995 | Journal Article | IST-REx-ID: 3637
C. Maccallum, B. Nürnberger, and N. H. Barton, “Experimental evidence for habitat dependent selection in a Bombina hybrid zone,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 260, no. 1359, pp. 257–264, 1995.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3638
N. H. Barton and I. Wilson, “Genealogies and geography,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 349, no. 1327, pp. 49–59, 1995.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3639
N. H. Barton, “A general model for the evolution of recombination,” Genetical Research, vol. 65, no. 2, pp. 123–144, 1995.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3640 | OA
N. H. Barton, “Linkage and the limits to natural selection,” Genetics, vol. 140, no. 2, pp. 821–841, 1995.
View | DOI | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4153
D. Ransom et al., “Hematopoietic mutants identified in a saturation screen of the zebrafish genome,” Blood, vol. 86, no. 10, pp. 1912–1912, 1995.
View
 

1995 | Thesis | IST-REx-ID: 4428
P. Ho, Automatic Analysis of Hybrid Systems. Cornell University, 1995, pp. 1–188.
View | DOI
 

Filters and Search Terms

year=1995

Search

Filter Publications