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 | Journal Article | IST-REx-ID: 4298
Barton NH. 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. 1995;49:1038-1045.
View
 

1995 | Thesis | IST-REx-ID: 4428
Ho P. Automatic Analysis of Hybrid Systems. 1995:1-188. doi:CSD-TR95-1536
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 4447
Henzinger TA, Ho P. HyTech: The Cornell Hybrid Technology Tool. In: Panos A, Kohn W, Nerode A, Sastry S, eds. Hybrid Systems II. Vol 999. Springer; 1995:265-293. doi:10.1007/3-540-60472-3_14
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 4448
Henzinger TA, Ho P. A note on abstract-interpretation strategies for hybrid automata. In: Panos A, Kohn W, Nerode A, Sastry S, eds. Hybrid Systems II. Vol 999. Springer; 1995:252-264. doi:10.1007/3-540-60472-3_13
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4450
Henzinger TA, Ho P. Algorithmic analysis of nonlinear hybrid systems. In: Vol 939. Springer; 1995:225-238. doi:10.1007/3-540-60045-0_53
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4497
Henzinger TA, Ho P, Wong Toi H. A user guide to HyTech. In: Vol 1019. Springer; 1995:41-71. doi:10.1007/3-540-60630-0_3
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger M, Henzinger TA, Kopke P. Computing simulations on finite and infinite graphs. In: IEEE; 1995:453-462. doi:10.1109/SFCS.1995.492576
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
Henzinger TA, Ho P, Wong Toi H. HyTech: The next generation. In: IEEE; 1995:56-65. doi:10.1109/REAL.1995.495196
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger TA, Kopke P, Wong Toi H. The expressive power of clocks. In: Vol 944. Springer; 1995:417-428. doi:10.1007/3-540-60084-1_93
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4502
Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata? In: ACM; 1995:373-382. doi:10.1145/225058.225162
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger TA. Hybrid automata with finite bisimulations. In: Vol 944. Springer; 1995:324-335. doi:0.1007/3-540-60084-1_85
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4587
Alur R, Henzinger TA. Local liveness for compositional modeling of fair reactive systems. In: Vol 939. Springer; 1995:166-179. doi:10.1007/3-540-60045-0_49
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 3454
Monyer H, Jonas PM. Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. In: Sakmann B, Neher E, eds. Single-Channel Recording. Plenum; 1995:357-373.
View | Download (ext.)
 

1995 | Book Chapter | IST-REx-ID: 3455
Jonas PM. Fast application of agonists to isolated membrane patches. In: Sakmann B, Neher E, eds. Single-Channel Recording. Plenum; 1995:231-243.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3461
Jonas PM, Burnashev N. Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels. Neuron. 1995;15(5):987-990. doi:10.1016/0896-6273(95)90087-X
View | DOI
 

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

1995 | Journal Article | IST-REx-ID: 3479 | OA
Koh D, Geiger J, Jonas PM, Sakmann B. Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. 1995;485(Pt 2):383-402. doi:10.1113/jphysiol.1995.sp020737
View | DOI | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3480
Geiger J, Melcher T, Koh D, 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. 1995;15(1):193-204. doi:10.1016/0896-6273(95)90076-4
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3481 | OA
Koh D, Burnashev N, Jonas PM. Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. 1995;486(Pt 2):305-312. doi:10.1113/jphysiol.1995.sp020813
View | DOI | Download (ext.)
 

1995 | Conference Paper | IST-REx-ID: 3551
Edelsbrunner H, Facello M, Fu P, Liang J. Measuring proteins and voids in proteins. In: IEEE; 1995:256-264. doi:10.1109/HICSS.1995.375331
View | DOI
 

Filters and Search Terms

year=1995

Search

Filter Publications