Please note that ISTA 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.

538 Publications


1996 | Conference Paper | IST-REx-ID: 4495
T. A. Henzinger, O. Kupferman, and M. Vardi, “A space-efficient on-the-fly algorithm for real-time model checking,” in 7th International Conference on Concurrency Theory, Pisa, Italy, 1996, vol. 1119, pp. 514–529.
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 11684
M. H. Henzinger and V. King, “Fully dynamic biconnectivity and transitive closure,” in Proceedings of IEEE 36th Annual Foundations of Computer Science, Milwaukee, WI, United States, 1995, pp. 664–672.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 11806
M. H. Henzinger, “Approximating minimum cuts under insertions,” in 22nd International Colloquium on Automata, Languages and Programming, Szeged, Hungary, 1995, vol. 944, pp. 280–291.
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 | DOI | Download None (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 | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 3478 | OA
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. Wiley-Blackwell, pp. 325–352, 1995.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 3551
H. Edelsbrunner, M. Facello, P. Fu, and J. Liang, “Measuring proteins and voids in proteins,” in Proceedings of the 28th Annual Hawaii International Conference on System Sciences, Wailea, HI, United States of America, 1995, pp. 256–264.
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 3639
N. H. Barton, “A general model for the evolution of recombination,” Genetical Research, vol. 65, no. 2. Cambridge University Press, pp. 123–144, 1995.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 4035
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, M. Sharir, and E. Welzl, “Improved bounds on weak ε-nets for convex sets,” Discrete & Computational Geometry, vol. 13, no. 1. Springer, pp. 1–15, 1995.
View | DOI | Download None (ext.)
 

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. Wiley-Blackwell, pp. 305–312, 1995.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Conference Paper | IST-REx-ID: 11857
M. H. Henzinger, “Fully dynamic cycle-equivalence in graphs,” in 35th Annual Symposium on Foundations of Computer Science, Santa Fe, NM, United States, 1994, pp. 744–755.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2489
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, and N. Mizuno, “Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats,” Journal of Comparative Neurology, vol. 347, no. 1. Wiley-Blackwell, pp. 150–160, 1994.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 2536 | OA
Y. Nakajima et al., “Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate,” Journal of Biological Chemistry, vol. 268, no. 16. American Society for Biochemistry and Molecular Biology, pp. 11868–11873, 1993.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 3474 | OA
P. M. Jonas, G. Major, and B. Sakmann, “Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus,” Journal of Physiology, vol. 472. Wiley-Blackwell, pp. 615–663, 1993.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Book Chapter | IST-REx-ID: 3568
H. Edelsbrunner, “Geometric algorithms,” in Handbook of Convex Geometry, North Holland, 1993, pp. 699–735.
View | DOI | Download None (ext.)
 

1993 | Book Chapter | IST-REx-ID: 4301
N. H. Barton and K. Gale, “Genetic analysis of hybrid zones,” in Hybrid zones and the evolutionary process, R. Harrison, Ed. Oxford University Press, 1993, pp. 13–45.
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 3643
S. Rouhani and N. H. Barton, “Group selection and the ‘shifting balance,’” Genetical Research, vol. 61, no. 2. Cambridge University Press, pp. 127–136, 1993.
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 4045
B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir, “Diameter, width, closest line pair, and parametric searching,” Discrete & Computational Geometry, vol. 10, no. 1. Springer, pp. 183–196, 1993.
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 4042
H. Edelsbrunner and T. Tan, “A quadratic time algorithm for the minmax length triangulation,” SIAM Journal on Computing, vol. 22, no. 3. SIAM, pp. 527–551, 1993.
View | DOI | Download None (ext.)
 

1993 | Conference Paper | IST-REx-ID: 4506
T. A. Henzinger, Z. Manna, and A. Pnueli, “Towards refining temporal specifications into hybrid systems,” in International Hybrid Systems Workshop, 1993, vol. 736, pp. 60–76.
View | DOI | Download None (ext.)
 

Filters and Search Terms

isbn%3D978-331956616-0

Search

Filter Publications