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.
1790 Publications
2004 |Published| Conference Paper | IST-REx-ID: 4629
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2004, vol. 2988, pp. 77–92.
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 6155
B. H. . Cheung, F. Arellano-Carbajal, I. Rybicki, and M. de Bono, “Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior,” Current Biology, vol. 14, no. 12. Elsevier, pp. 1105–1111, 2004.
View
| DOI
| PubMed | Europe PMC
2003 |Published| Journal Article | IST-REx-ID: 2631
H. Higashida et al., “Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion and NG108-15 cells,” Journal of Neurochemistry, vol. 85, no. 5. Wiley-Blackwell, pp. 1148–1158, 2003.
View
| DOI