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.
7112 Publications
2001 | Published | Conference Paper | IST-REx-ID: 4564
A reusable and platform-independent framework for distributed control systems
T. Brown, A. Pasetti, W. Pree, T.A. Henzinger, C. Kirsch, in:, Proceedings of the 20th Digital Avionics Systems Conference, IEEE, 2001, pp. 1–11.
View
| DOI
T. Brown, A. Pasetti, W. Pree, T.A. Henzinger, C. Kirsch, in:, Proceedings of the 20th Digital Avionics Systems Conference, IEEE, 2001, pp. 1–11.
2001 | Published | Journal Article | IST-REx-ID: 4599
Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, Formal Methods in System Design 18 (2001) 97–116.
View
| DOI
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, Formal Methods in System Design 18 (2001) 97–116.
2001 | Published | Conference Paper | IST-REx-ID: 4600
jMocha: A model-checking tool that exploits design structure
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, Proceedings of the 23rd International Conference on Software Engineering, IEEE, 2001, pp. 835–836.
View
| DOI
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, Proceedings of the 23rd International Conference on Software Engineering, IEEE, 2001, pp. 835–836.
2001 | Published | Conference Paper | IST-REx-ID: 4622
Interface automata
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 8th European Software Engineering Conference, ACM, 2001, pp. 109–120.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 8th European Software Engineering Conference, ACM, 2001, pp. 109–120.
2001 | Published | Conference Paper | IST-REx-ID: 4623
Interface theories for component-based design
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 148–165.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 148–165.
2001 | Published | Conference Paper | IST-REx-ID: 4632
Compositional methods for probabilistic systems
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.
2001 | Published | Conference Paper | IST-REx-ID: 4633
Symbolic algorithms for infinite-state games
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
2001 | Published | Conference Paper | IST-REx-ID: 4634
The control of synchronous systems, Part II
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
View
| DOI
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
2001 | Published | Conference Paper | IST-REx-ID: 4635
MCWEB: A model-checking tool for web-site debugging
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 10th International Conference on World Wide Web, ACM, 2001, pp. 86–87.
View
| Download None (ext.)
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 10th International Conference on World Wide Web, ACM, 2001, pp. 86–87.
2001 | Published | Conference Paper | IST-REx-ID: 4636
From verification to control: dynamic programs for omega-regular objectives
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2001, pp. 279–290.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2001, pp. 279–290.
2001 | Published | Journal Article | IST-REx-ID: 867
Origin of alternative splicing by tandem exon duplication
F. Kondrashov, E. Koonin, Human Molecular Genetics 10 (2001) 2661–2669.
[Published Version]
View
| DOI
| PubMed | Europe PMC
F. Kondrashov, E. Koonin, Human Molecular Genetics 10 (2001) 2661–2669.
2001 | Published | Journal Article | IST-REx-ID: 874 | 
Multidimensional epistasis and the disadvantage of sex
F. Kondrashov, A. Kondrashov, PNAS 98 (2001) 12089–12092.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
F. Kondrashov, A. Kondrashov, PNAS 98 (2001) 12089–12092.
2001 | Published | Journal Article | IST-REx-ID: 888 |
Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins
I. Jordan, F. Kondrashov, I. Rogozin, R. Tatusov, Y. Wolf, E. Koonin, Genome Biology 2 (2001).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
I. Jordan, F. Kondrashov, I. Rogozin, R. Tatusov, Y. Wolf, E. Koonin, Genome Biology 2 (2001).
2001 | Published | Journal Article | IST-REx-ID: 841
Footprints of primordial introns on the eukaryotic genome: still no clear traces
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
View
| DOI
| PubMed | Europe PMC
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
2001 | Published | Journal Article | IST-REx-ID: 851
Use of mutation spectra analysis software
I. Rogozin, F. Kondrashov, G. Glazko, Human Mutation 17 (2001) 83–102.
View
| DOI
| PubMed | Europe PMC
I. Rogozin, F. Kondrashov, G. Glazko, Human Mutation 17 (2001) 83–102.
2001 | Published | Journal Article | IST-REx-ID: 855
Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a 'weak'context of the start codon
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, L. Milanesi, Bioinformatics 17 (2001) 890–900.
View
| DOI
| PubMed | Europe PMC
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, L. Milanesi, Bioinformatics 17 (2001) 890–900.
2001 | Published | Journal Article | IST-REx-ID: 1452 |
Examples of mirror partners arising from integrable systems
T. Hausel, M. Thaddeus, Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics 333 (2001) 313–318.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Hausel, M. Thaddeus, Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics 333 (2001) 313–318.
2001 | Published | Journal Article | IST-REx-ID: 1453 |
Geometric construction of new Yang-Mills instantons over Taub-NUT space
G. Etesi, T. Hausel, Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 514 (2001) 189–199.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Etesi, T. Hausel, Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 514 (2001) 189–199.
2001 | Published | Journal Article | IST-REx-ID: 1454 |
Geometric interpretation of Schwarzschild instantons
G. Etesi, T. Hausel, Journal of Geometry and Physics 37 (2001) 126–136.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Etesi, T. Hausel, Journal of Geometry and Physics 37 (2001) 126–136.
2001 | Published | Journal Article | IST-REx-ID: 2981 |
Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth
A. Molendijk, F. Bischoff, C. Rajendrakumar, J. Friml, M. Braun, S. Gilroy, K. Palme, EMBO Journal 20 (2001) 2779–2788.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Molendijk, F. Bischoff, C. Rajendrakumar, J. Friml, M. Braun, S. Gilroy, K. Palme, EMBO Journal 20 (2001) 2779–2788.