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.

6285 Publications


1999 | Conference Paper | IST-REx-ID: 4487
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Assume-Guarantee Refinement between Different Time Scales,” 1633:208–21. Springer, 1999. https://doi.org/10.1007/3-540-48683-6_20.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4582
Alur, Rajeev, and Thomas A Henzinger. “Reactive Modules.” Formal Methods in System Design. Springer, 1999. https://doi.org/10.1023/A:1008739929481.
View | DOI
 

1999 | Book | IST-REx-ID: 3137
Jonas, Peter M, and Hannah Monyer, eds. Ionotropic Glutamate Receptors in the CNS. Vol. 141. Springer, 1999.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3148
Siekhaus, Daria E, and Robert Fuller. “A Role for Amontillado the Drosophila Homolog of the Neuropeptide Precursor Processing Protease PC2 in Triggering Hatching Behavior.” Journal of Neuroscience. Society for Neuroscience, 1999.
View
 

1999 | Journal Article | IST-REx-ID: 3444
Csicsvari, Jozsef L, Hajima Hirase, András Czurkó, Akira Mamiya, and György Buzsáki. “Fast  Network  Oscillations  in the  Hippocampal  CA1 Region of the Behaving Rat.” Journal of Neuroscience. Society for Neuroscience, 1999.
View
 

Search

Filter Publications