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.

6278 Publications


1992 | Journal Article | IST-REx-ID: 4308
Barton, Nicholas H. “On the Spread of New Gene Combinations in the Third Phase of Wright’s Shifting Balance.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 1992.
View | Download (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “What Good Are Digital Clocks?,” 623:545–58. Springer, 1992. https://doi.org/10.1007/3-540-55719-9_103.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4505
Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems,” 394–406. IEEE, 1992. https://doi.org/10.1109/LICS.1992.185551.
View | DOI
 

1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Timed Transition Systems.” In Real Time: Theory in Practice, 600:226–51. Springer, 1992. https://doi.org/10.1007/BFb0031995.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4517
Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters. Elsevier, 1992. https://doi.org/10.1016/0020-0190(92)90005-G.
View | DOI | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4593
Alur, Rajeev, and Thomas A Henzinger. “Logics and Models of Real Time: A Survey.” In Real Time: Theory in Practice, 600:74–106. Springer, 1992. https://doi.org/10.1007/BFb0031984.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4594
Alur, Rajeev, and Thomas A Henzinger. “Back to the Future: Towards a Theory of Timed Regular Languages,” 177–86. IEEE, 1992. https://doi.org/10.1109/SFCS.1992.267774.
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3469
Burnashev, Nail, Alla Khodorova, Peter M Jonas, P. Helm, William Wisden, Hannah Monyer, Peter Seeburg, and Bert Sakmann. “Calcium-Permeable AMPA-Kainate Receptors in Fusiform Cerebellar Glial Cells.” Science. American Association for the Advancement of Science, 1992. https://doi.org/10.1126/science.1317970.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3470
Jonas, Peter M, and Bert Sakmann. “Glutamate Receptor Channels in Isolated Patches from CA1 and CA3 Pyramidal Cells of Rat Hippocampal Slices.” Journal of Physiology. Wiley-Blackwell, 1992.
View | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3471 | OA
Colquhoun, D., Peter M Jonas, and Bert Sakmann. “Action of Brief Pulses of Glutamate on AMPA/Kainate Receptors in Patches from Different Neurones of Rat Hippocampal Slices.” Journal of Physiology. Wiley-Blackwell, 1992. https://doi.org/10.1113/jphysiol.1992.sp019417.
View | DOI | Download (ext.)
 

Search

Filter Publications