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.

6494 Publications


2001 | Journal Article | IST-REx-ID: 867
Kondrashov, F., & Koonin, E. (2001). Origin of alternative splicing by tandem exon duplication. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/10.23.2661
View | DOI
 

2001 | Journal Article | IST-REx-ID: 874
Kondrashov, F., & Kondrashov, A. (2001). Multidimensional epistasis and the disadvantage of sex. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.211214298
View | DOI
 

2001 | 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 (pp. 835–836). Presented at the ICSE: Software Engineering, IEEE. https://doi.org/10.1109/ICSE.2001.919196
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, L., & Henzinger, T. A. (2001). Interface automata (pp. 109–120). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/503209.503226
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, L., & Henzinger, T. A. (2001). Interface theories for component-based design (Vol. 2211, pp. 148–165). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45449-7_11
View | DOI
 

Search

Filter Publications