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.

6694 Publications


1995 | Journal Article | IST-REx-ID: 4298
Barton, Nicholas H. “Appendix to "The Mixing of Genotypes in Hybrid Zones: A Simulation Study of Multilocus Clines", by S J E Baird.” Evolution; International Journal of Organic Evolution, vol. 49, Wiley-Blackwell, 1995, pp. 1038–45.
View
 

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

1995 | Book Chapter | IST-REx-ID: 4447
Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” Hybrid Systems II, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 265–93, doi:10.1007/3-540-60472-3_14.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 4448
Henzinger, Thomas A., and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.” Hybrid Systems II, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 252–64, doi:10.1007/3-540-60472-3_13.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4450
Henzinger, Thomas A., and Pei Ho. Algorithmic Analysis of Nonlinear Hybrid Systems. Vol. 939, Springer, 1995, pp. 225–38, doi:10.1007/3-540-60045-0_53.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4497
Henzinger, Thomas A., et al. A User Guide to HyTech. Vol. 1019, Springer, 1995, pp. 41–71, doi:10.1007/3-540-60630-0_3.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, Monika, et al. Computing Simulations on Finite and Infinite Graphs. IEEE, 1995, pp. 453–62, doi:10.1109/SFCS.1995.492576.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
Henzinger, Thomas A., et al. HyTech: The next Generation. IEEE, 1995, pp. 56–65, doi:10.1109/REAL.1995.495196 .
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, Thomas A., et al. The Expressive Power of Clocks. Vol. 944, Springer, 1995, pp. 417–28, doi:10.1007/3-540-60084-1_93.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4502
Henzinger, Thomas A., et al. What’s Decidable about Hybrid Automata? ACM, 1995, pp. 373–82, doi:10.1145/225058.225162.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, Thomas A. Hybrid Automata with Finite Bisimulations. Vol. 944, Springer, 1995, pp. 324–35, doi:0.1007/3-540-60084-1_85.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4587
Alur, Rajeev, and Thomas A. Henzinger. Local Liveness for Compositional Modeling of Fair Reactive Systems. Vol. 939, Springer, 1995, pp. 166–79, doi:10.1007/3-540-60045-0_49.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 3454
Monyer, Hannah, and Peter M. Jonas. “Polymerase Chain Reaction Analysis of Ion Channel Expression in Single Neurons of Brain Slices.” Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, Plenum, 1995, pp. 357–73.
View | Download (ext.)
 

1995 | Book Chapter | IST-REx-ID: 3455
Jonas, Peter M. “Fast Application of Agonists to Isolated Membrane Patches.” Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, Plenum, 1995, pp. 231–43.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3461
Jonas, Peter M., and Nail Burnashev. “Molecular Mechanisms Controlling Calcium Entry through  AMPA-Type Glutamate Receptor Channels.” Neuron, vol. 15, no. 5, Elsevier, 1995, pp. 987–90, doi:10.1016/0896-6273(95)90087-X.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3478
Spruston, Nelson, et al. “Dendritic Glutamate Receptor Channels in Rat Hippocampal CA3 and CA1 Pyramidal Neurons.” Journal of Physiology, vol. 482, no. Pt 2, Wiley-Blackwell, 1995, pp. 325–52.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3479 | OA
Koh, Duk, et al. “Ca(2+)-Permeable AMPA and NMDA Receptor Channels in Basket Cells of Rat Hippocampal Dentate Gyrus.” Journal of Physiology, vol. 485, no. Pt 2, Wiley-Blackwell, 1995, pp. 383–402, doi:10.1113/jphysiol.1995.sp020737.
View | DOI | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3480
Geiger, Jörg, 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, Elsevier, 1995, pp. 193–204, doi:10.1016/0896-6273(95)90076-4.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3481 | OA
Koh, Duk, et al. “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, Wiley-Blackwell, 1995, pp. 305–12, doi:10.1113/jphysiol.1995.sp020813.
View | DOI | Download (ext.)
 

1995 | Conference Paper | IST-REx-ID: 3551
Edelsbrunner, Herbert, et al. Measuring Proteins and Voids in Proteins. IEEE, 1995, pp. 256–64, doi:10.1109/HICSS.1995.375331.
View | DOI
 

Search

Filter Publications