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.
6978 Publications
2002 |Published| Journal Article | IST-REx-ID: 871 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
F. Kondrashov, I. Rogozin, Y. Wolf, and E. Koonin, “Selection in the evolution of gene duplications ,” Genome Biology, vol. 3, no. 2. BioMed Central, 2002.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 859
A. Perelygin, F. Kondrashov, I. Rogozin, and M. Brinton, “Evolution of the mouse polyubiquitin C gene,” Journal of Molecular Evolution, vol. 55, no. 2. Springer, pp. 202–210, 2002.
View
| DOI
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 13438 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Fürst et al., “ICln Ion channel splice variants in Caenorhabditis elegans,” Journal of Biological Chemistry, vol. 277, no. 6. Elsevier, pp. 4435–4445, 2002.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2001 | Patent | IST-REx-ID: 3507 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Liang and H. Edelsbrunner, “Molecular classification for property prediction.” 2001.
[Published Version]
View
| Download Published Version (ext.)
2001 |Published| Book | IST-REx-ID: 3586
H. Edelsbrunner, Geometry and Topology for Mesh Generation, vol. 7. Cambridge University Press, 2001.
View
| Files available
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 3447
K. Chatterjee, P. Dasgupta, and P. Chakrabarti, “Weighted quantified computation tree logic,” presented at the CIT: Conference on Information Technology, 2001.
View
2001 |Published| Conference Paper | IST-REx-ID: 4636
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “From verification to control: dynamic programs for omega-regular objectives,” in Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, Boston, MA, USA, 2001, pp. 279–290.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4635
L. De Alfaro, T. A. Henzinger, and F. Mang, “MCWEB: A model-checking tool for web-site debugging,” in Proceedings of the 10th international conference on World Wide Web, Hong Kong, Hong Kong, 2001, pp. 86–87.
View
| Download None (ext.)
2001 |Published| Conference Paper | IST-REx-ID: 4564
T. Brown, A. Pasetti, W. Pree, T. A. Henzinger, and C. Kirsch, “A reusable and platform-independent framework for distributed control systems,” in Proceedings of the 20th Digital Avionics Systems Conference, Daytona Beach, FL, USA, 2001, pp. 1–11.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4478
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, New York, NY, United States, 2001, pp. 64–72.
View
| DOI