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. 1995. 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. 49, 1038–1045.
View
 

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

1995 | Book Chapter | IST-REx-ID: 4447
Henzinger TA, Ho P. 1995.HyTech: The Cornell Hybrid Technology Tool. In: Hybrid Systems II. LNCS, vol. 999, 265–293.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 4448
Henzinger TA, Ho P. 1995.A note on abstract-interpretation strategies for hybrid automata. In: Hybrid Systems II. LNCS, vol. 999, 252–264.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4450
Henzinger TA, Ho P. 1995. Algorithmic analysis of nonlinear hybrid systems. CAV: Computer Aided Verification, LNCS, vol. 939, 225–238.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4497
Henzinger TA, Ho P, Wong Toi H. 1995. A user guide to HyTech. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1019, 41–71.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger M, Henzinger TA, Kopke P. 1995. Computing simulations on finite and infinite graphs. FOCS: Foundations of Computer Science, 453–462.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
Henzinger TA, Ho P, Wong Toi H. 1995. HyTech: The next generation. RTSS: Real-Time Systems Symposium, 56–65.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger TA, Kopke P, Wong Toi H. 1995. The expressive power of clocks. ICALP: Automata, Languages and Programming, LNCS, vol. 944, 417–428.
View | DOI
 

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

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger TA. 1995. Hybrid automata with finite bisimulations. ICALP: Automata, Languages and Programming, LNCS, vol. 944, 324–335.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4587
Alur R, Henzinger TA. 1995. Local liveness for compositional modeling of fair reactive systems. CAV: Computer Aided Verification, LNCS, vol. 939, 166–179.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 3454
Monyer H, Jonas PM. 1995.Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. In: Single-channel recording. , 357–373.
View | Download (ext.)
 

1995 | Book Chapter | IST-REx-ID: 3455
Jonas PM. 1995.Fast application of agonists to isolated membrane patches. In: Single-channel recording. , 231–243.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3461
Jonas PM, Burnashev N. 1995. Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels. Neuron. 15(5), 987–990.
View | DOI
 

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

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

1995 | Journal Article | IST-REx-ID: 3480
Geiger J, Melcher T, Koh D, Sakmann B, Seeburg P, Jonas PM, Monyer H. 1995. Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS. Neuron. 15(1), 193–204.
View | DOI
 

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

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

Filters and Search Terms

year=1995

Search

Filter Publications