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


1990 | Conference Paper | IST-REx-ID: 4510
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “An Interleaving Model for Real Time,” 717–30. IEEE, 1990.
View | Download (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4522
Henzinger, Thomas A. “Half-Order Modal Logic: How to Prove Real-Time Properties,” 281–96. ACM, 1990. https://doi.org/10.1145/93385.93429.
View | DOI | Download (ext.)
 

1990 | Journal Article | IST-REx-ID: 3467   OA
Bräu, Michael, Florian Dreyer, Peter M Jonas, Holger Repp, and Werner Vogel. “A K+ Channel in Xenopus Nerve Fibres Selectively Blocked by Bee and Snake Toxins: Binding and Voltage-Clamp Experiments.” Journal of Physiology 420 (1990): 365–85. https://doi.org/10.1113/jphysiol.1990.sp017918.
View | DOI | Download (ext.)
 

1990 | Journal Article | IST-REx-ID: 4066
Edelsbrunner, Herbert, Leonidas Guibas, and Micha Sharir. “The Complexity of Many Cells in Arrangements of Planes and Related Problems.” Discrete & Computational Geometry 5, no. 1 (1990): 197–216. https://doi.org/10.1007/BF02187785.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4073
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Richard Pollack, Raimund Seidel, Micha Sharir, and Jack Snoeyink. “Counting and Cutting Cycles of Lines and Rods in Space,” 242–51. IEEE, 1990. https://doi.org/10.1109/FSCS.1990.89543.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed