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, T. A., Ho, P., & Wong Toi, H. (1995). A user guide to HyTech (Vol. 1019, pp. 41–71). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/3-540-60630-0_3
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, M., Henzinger, T. A., & Kopke, P. (1995). Computing simulations on finite and infinite graphs (pp. 453–462). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/SFCS.1995.492576
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). HyTech: The next generation (pp. 56–65). Presented at the RTSS: Real-Time Systems Symposium, IEEE. https://doi.org/10.1109/REAL.1995.495196
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, T. A., Kopke, P., & Wong Toi, H. (1995). The expressive power of clocks (Vol. 944, pp. 417–428). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-60084-1_93
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4502
Henzinger, T. A., Kopke, P., Puri, A., & Varaiya, P. (1995). What’s decidable about hybrid automata? (pp. 373–382). Presented at the STOC: Symposium on the Theory of Computing, ACM. https://doi.org/10.1145/225058.225162
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, T. A. (1995). Hybrid automata with finite bisimulations (Vol. 944, pp. 324–335). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/0.1007/3-540-60084-1_85
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4587
Alur, R., & Henzinger, T. A. (1995). Local liveness for compositional modeling of fair reactive systems (Vol. 939, pp. 166–179). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-60045-0_49
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4613
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P., Nicollin, X., … Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1), 3–34. https://doi.org/10.1016/0304-3975(94)00202-T
View | DOI
 

1995 | Journal Article | IST-REx-ID: 6162
de Bono, M., Zarkower, D., & Hodgkin, J. (1995). 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(2), 155–167. https://doi.org/10.1101/gad.9.2.155
View | DOI | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 2712
Erdös, L. (1995). Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals (Vol. 78, pp. 127–132). Presented at the Partial Differential Operators and Mathematical Physics, Birkhäuser. https://doi.org/10.1007/978-3-0348-9092-2_13
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2724
Erdös, L. (1995). Magnetic Lieb-Thirring inequalities. Communications in Mathematical Physics, 170(3), 629–668. https://doi.org/10.1007/BF02099152
View | DOI
 

1995 | Journal Article | IST-REx-ID: 1943
Sazanov, L. A., & Jackson, B. (1995). 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(3), 304–312. https://doi.org/10.1016/0005-2728(95)00096-2
View | DOI
 

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

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

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

1995 | Journal Article | IST-REx-ID: 3478
Spruston, N., Jonas, P. M., & 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, P. M., & 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. https://doi.org/10.1113/jphysiol.1995.sp020737
View | DOI | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 3480
Geiger, J., Melcher, T., Koh, D., Sakmann, B., Seeburg, P., Jonas, P. M., & 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. https://doi.org/10.1016/0896-6273(95)90076-4
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3481 | OA
Koh, D., Burnashev, N., & Jonas, P. M. (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. https://doi.org/10.1113/jphysiol.1995.sp020813
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 (pp. 256–264). Presented at the HICSS: Hawaii International Conference on System Sciences, IEEE. https://doi.org/10.1109/HICSS.1995.375331
View | DOI
 

Filters and Search Terms

year=1995

Search

Filter Publications