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 | 
Kondrashov, F., Rogozin, I., Wolf, Y., & Koonin, E. (2002). Selection in the evolution of gene duplications . Genome Biology. BioMed Central. https://doi.org/10.1186/gb-2002-3-2-research0008
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 859
Perelygin, A., Kondrashov, F., Rogozin, I., & Brinton, M. (2002). Evolution of the mouse polyubiquitin C gene. Journal of Molecular Evolution. Springer. https://doi.org/10.1007/s00239-002-2318-0
View
| DOI
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 204
Browning, T. D. (2002). Equal Sums of Two kth Powers. Journal of Number Theory. Academic Press. https://doi.org/10.1006/jnth.2002.2800
[Published Version]
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 13438 |
Fürst, J., Ritter, M., Rudzki, J., Danzl, J. G., Gschwentner, M., Scandella, E., … Paulmichl, M. (2002). ICln Ion channel splice variants in Caenorhabditis elegans. Journal of Biological Chemistry. Elsevier. https://doi.org/10.1074/jbc.m107372200
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2001 | Patent | IST-REx-ID: 3507 |
Liang, J., & Edelsbrunner, H. (2001). Molecular classification for property prediction.
[Published Version]
View
| Download Published Version (ext.)
2001 |Published| Book | IST-REx-ID: 3586
Edelsbrunner, H. (2001). Geometry and Topology for Mesh Generation (Vol. 7). Cambridge University Press. https://doi.org/10.1017/CBO9780511530067
View
| Files available
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 3447
Chatterjee, K., Dasgupta, P., & Chakrabarti, P. (2001). Weighted quantified computation tree logic. Presented at the CIT: Conference on Information Technology, Elsevier.
View
2001 |Published| Conference Paper | IST-REx-ID: 4634
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). The control of synchronous systems, Part II. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 566–581). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_38
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4633
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). Symbolic algorithms for infinite-state games. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 536–550). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_36
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4636
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). From verification to control: dynamic programs for omega-regular objectives. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (pp. 279–290). Boston, MA, USA: IEEE. https://doi.org/10.1109/LICS.2001.932504
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4635
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). MCWEB: A model-checking tool for web-site debugging. In Proceedings of the 10th international conference on World Wide Web (pp. 86–87). Hong Kong, Hong Kong: ACM.
View
| Download None (ext.)
2001 |Published| Conference Paper | IST-REx-ID: 4632
De Alfaro, L., Henzinger, T. A., & Jhala, R. (2001). Compositional methods for probabilistic systems. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 351–365). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_24
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4600
Alur, R., De Alfaro, L., Grosu, R., Henzinger, T. A., Kang, M., Kirsch, C., … Wang, B. (2001). jMocha: A model-checking tool that exploits design structure. In Proceedings of the 23rd International Conference on Software Engineering (pp. 835–836). IEEE. https://doi.org/10.1109/ICSE.2001.919196
View
| DOI
2001 |Published| Journal Article | IST-REx-ID: 4599
Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., & Rajamani, S. (2001). Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1008767206905
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4622
De Alfaro, L., & Henzinger, T. A. (2001). Interface automata. In Proceedings of the 8th European software engineering conference (pp. 109–120). Vienna, Austria: ACM. https://doi.org/10.1145/503209.503226
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4623
De Alfaro, L., & Henzinger, T. A. (2001). Interface theories for component-based design. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 148–165). Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7_11
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4564
Brown, T., Pasetti, A., Pree, W., Henzinger, T. A., & Kirsch, C. (2001). A reusable and platform-independent framework for distributed control systems. In Proceedings of the 20th Digital Avionics Systems Conference (pp. 1–11). Daytona Beach, FL, USA: IEEE. https://doi.org/10.1109/DASC.2001.964169
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4477
Henzinger, T. A., Minea, M., & Prabhu, V. (2001). Assume-guarantee reasoning for hierarchical hybrid systems. In Proceedings of the 4th International Workshop on Hybrid Systems (Vol. 2034, pp. 275–290). Rome, Italy: Springer. https://doi.org/10.1007/3-540-45351-2_24
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4478
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Embedded control systems development with Giotto. In Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems (pp. 64–72). New York, NY, United States: ACM. https://doi.org/10.1145/384197.384208
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4479
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Giotto: A time-triggered language for embedded programming. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 166–184). Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7_12
View
| DOI