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.

5248 Publications


1994 | Journal Article | IST-REx-ID: 3476
G. Major, A. Larkman, P. M. Jonas, B. Sakmann, and J. Jack, “Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices,” Journal of Neuroscience, vol. 14, no. 8, pp. 4613–4638, 1994.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4032
T. Dey and H. Edelsbrunner, “Counting triangle crossings and halving planes,” Discrete & Computational Geometry, vol. 12, no. 1, pp. 281–289, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4037
H. Edelsbrunner and E. Mücke, “Three-dimensional alpha shapes,” ACM Transactions on Graphics, vol. 13, no. 1, pp. 43–72, 1994.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4614
R. Alur, C. Courcoubetis, and T. A. Henzinger, “The observational power of clocks,” presented at the CONCUR: Concurrency Theory, 1994, vol. 836, pp. 162–177.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4501
T. A. Henzinger, Z. Manna, and A. Pnueli, “Temporal proof methodologies for timed transition systems,” Information and Computation, vol. 112, no. 2, pp. 273–337, 1994.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed