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
T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 1995, vol. 1019, pp. 41–71.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
M. Henzinger, T. A. Henzinger, and P. Kopke, “Computing simulations on finite and infinite graphs,” presented at the FOCS: Foundations of Computer Science, 1995, pp. 453–462.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” presented at the RTSS: Real-Time Systems Symposium, 1995, pp. 56–65.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,” presented at the ICALP: Automata, Languages and Programming, 1995, vol. 944, pp. 417–428.
View | DOI
 

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

1995 | Conference Paper | IST-REx-ID: 4518
T. A. Henzinger, “Hybrid automata with finite bisimulations,” presented at the ICALP: Automata, Languages and Programming, 1995, vol. 944, pp. 324–335.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4587
R. Alur and T. A. Henzinger, “Local liveness for compositional modeling of fair reactive systems,” presented at the CAV: Computer Aided Verification, 1995, vol. 939, pp. 166–179.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4613
R. Alur et al., “The algorithmic analysis of hybrid systems,” Theoretical Computer Science, vol. 138, no. 1, pp. 3–34, 1995.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 6162
M. de Bono, 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, vol. 9, no. 2, pp. 155–167, 1995.
View | DOI | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 2712
L. Erdös, “Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals,” presented at the Partial Differential Operators and Mathematical Physics, 1995, vol. 78, pp. 127–132.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2724
L. Erdös, “Magnetic Lieb-Thirring inequalities,” Communications in Mathematical Physics, vol. 170, no. 3, pp. 629–668, 1995.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 1943
L. A. Sazanov and B. 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, vol. 1231, no. 3, pp. 304–312, 1995.
View | DOI
 

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

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

1995 | Journal Article | IST-REx-ID: 3461
P. M. Jonas and N. Burnashev, “Molecular mechanisms controlling calcium entry through  AMPA-type glutamate receptor channels,” Neuron, vol. 15, no. 5, pp. 987–990, 1995.
View | DOI
 

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

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

1995 | Journal Article | IST-REx-ID: 3480
J. Geiger 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, pp. 193–204, 1995.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3481 | OA
D. Koh, N. Burnashev, and P. M. Jonas, “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, pp. 305–312, 1995.
View | DOI | Download (ext.)
 

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

Filters and Search Terms

year=1995

Search

Filter Publications