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.
1850 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: 11122
T. C. Walther et al., “The conserved Nup107-160 complex is critical for nuclear pore complex assembly,” Cell, vol. 113, no. 2. Elsevier, pp. 195–206, 2003.
[Published Version]
View
| DOI
| PubMed | Europe PMC
2003 |Published| Journal Article | IST-REx-ID: 11766 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. H. Henzinger and S. Leonardi, “Scheduling multicasts on unit-capacity trees and meshes,” Journal of Computer and System Sciences, vol. 66, no. 3. Elsevier, pp. 567–611, 2003.
[Published Version]
View
| DOI
| Download Published Version (ext.)