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: 4497
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech,” 1019:41–71. Springer, 1995. https://doi.org/10.1007/3-540-60630-0_3.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, Monika, Thomas A Henzinger, and Peter Kopke. “Computing Simulations on Finite and Infinite Graphs,” 453–62. IEEE, 1995. https://doi.org/10.1109/SFCS.1995.492576.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: The next Generation,” 56–65. IEEE, 1995. https://doi.org/10.1109/REAL.1995.495196 .
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive Power of Clocks,” 944:417–28. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_93.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4502
Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?,” 373–82. ACM, 1995. https://doi.org/10.1145/225058.225162.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations,” 944:324–35. Springer, 1995. https://doi.org/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,” 939:166–79. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_49.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4613
Alur, Rajeev, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.” Theoretical Computer Science 138, no. 1 (1995): 3–34. https://doi.org/10.1016/0304-3975(94)00202-T.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 6162
Bono, Mario de, 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 9, no. 2 (1995): 155–67. https://doi.org/10.1101/gad.9.2.155.
View | DOI | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 2712
Erdös, László. “Magnetic Lieb-Thirring Inequalities and Stochastic Oscillatory Integrals,” 78:127–32. Birkhäuser, 1995. https://doi.org/10.1007/978-3-0348-9092-2_13.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2724
Erdös, László. “Magnetic Lieb-Thirring Inequalities.” Communications in Mathematical Physics 170, no. 3 (1995): 629–68. https://doi.org/10.1007/BF02099152.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 1943
Sazanov, Leonid A, and Baz 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 1231, no. 3 (1995): 304–12. https://doi.org/10.1016/0005-2728(95)00096-2.
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.” In Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, 357–73. Plenum, 1995.
View | Download (ext.)
 

1995 | Book Chapter | IST-REx-ID: 3455
Jonas, Peter M. “Fast Application of Agonists to Isolated Membrane Patches.” In Single-Channel Recording, edited by Bert Sakmann and Erwin Neher, 231–43. Plenum, 1995.
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 15, no. 5 (1995): 987–90. https://doi.org/10.1016/0896-6273(95)90087-X.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3478
Spruston, Nelson, Peter M Jonas, and Bert Sakmann. “Dendritic Glutamate Receptor Channels in Rat Hippocampal CA3 and CA1 Pyramidal Neurons.” Journal of Physiology 482, no. Pt 2 (1995): 325–52.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3479 | OA
Koh, Duk, Jörg Geiger, Peter M Jonas, and Bert Sakmann. “Ca(2+)-Permeable AMPA and NMDA Receptor Channels in Basket Cells of Rat Hippocampal Dentate Gyrus.” Journal of Physiology 485, no. Pt 2 (1995): 383–402. https://doi.org/10.1113/jphysiol.1995.sp020737.
View | DOI | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3480
Geiger, Jörg, Thorsten Melcher, Duk Koh, Bert Sakmann, Peter Seeburg, Peter M Jonas, and Hannah Monyer. “Relative Abundance of Subunit MRNAs Determines Gating and Ca(2+) Permeability of AMPA Receptors in Principal Neurons and Interneurons in Rat CNS.” Neuron 15, no. 1 (1995): 193–204. https://doi.org/10.1016/0896-6273(95)90076-4.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3481 | OA
Koh, Duk, Nail Burnashev, and Peter M Jonas. “Block of Native Ca(2+)-Permeable AMPA Receptors in Rat Brain by Intracellular Polyamines Generates Double Rectification.” Journal of Physiology 486, no. Pt 2 (1995): 305–12. https://doi.org/10.1113/jphysiol.1995.sp020813.
View | DOI | Download (ext.)
 

1995 | Conference Paper | IST-REx-ID: 3551
Edelsbrunner, Herbert, Michael Facello, Ping Fu, and Jie Liang. “Measuring Proteins and Voids in Proteins,” 256–64. IEEE, 1995. https://doi.org/10.1109/HICSS.1995.375331.
View | DOI
 

Filters and Search Terms

year=1995

Search

Filter Publications