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 | 
Selection in the evolution of gene duplications
F. Kondrashov, I. Rogozin, Y. Wolf, E. Koonin, Genome Biology 3 (2002).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
F. Kondrashov, I. Rogozin, Y. Wolf, E. Koonin, Genome Biology 3 (2002).
2002 |Published| Journal Article | IST-REx-ID: 859
Evolution of the mouse polyubiquitin C gene
A. Perelygin, F. Kondrashov, I. Rogozin, M. Brinton, Journal of Molecular Evolution 55 (2002) 202–210.
View
| DOI
| PubMed | Europe PMC
A. Perelygin, F. Kondrashov, I. Rogozin, M. Brinton, Journal of Molecular Evolution 55 (2002) 202–210.
2002 |Published| Journal Article | IST-REx-ID: 204
Equal Sums of Two kth Powers
T.D. Browning, Journal of Number Theory 96 (2002) 293–318.
[Published Version]
View
| DOI
T.D. Browning, Journal of Number Theory 96 (2002) 293–318.
2002 |Published| Journal Article | IST-REx-ID: 13438 |
ICln Ion channel splice variants in Caenorhabditis elegans
J. Fürst, M. Ritter, J. Rudzki, J.G. Danzl, M. Gschwentner, E. Scandella, M. Jakab, M. König, B. Oehl, F. Lang, P. Deetjen, M. Paulmichl, Journal of Biological Chemistry 277 (2002) 4435–4445.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J. Fürst, M. Ritter, J. Rudzki, J.G. Danzl, M. Gschwentner, E. Scandella, M. Jakab, M. König, B. Oehl, F. Lang, P. Deetjen, M. Paulmichl, Journal of Biological Chemistry 277 (2002) 4435–4445.
2001 | Patent | IST-REx-ID: 3507 |
Molecular classification for property prediction
J. Liang, H. Edelsbrunner, (2001).
[Published Version]
View
| Download Published Version (ext.)
J. Liang, H. Edelsbrunner, (2001).
2001 |Published| Book | IST-REx-ID: 3586
Geometry and Topology for Mesh Generation
H. Edelsbrunner, Geometry and Topology for Mesh Generation, Cambridge University Press, 2001.
View
| Files available
| DOI
H. Edelsbrunner, Geometry and Topology for Mesh Generation, Cambridge University Press, 2001.
2001 |Published| Conference Paper | IST-REx-ID: 3447
Weighted quantified computation tree logic
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Elsevier, 2001.
View
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Elsevier, 2001.
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: 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: 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| 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: 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: 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| 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: 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: 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| Conference Paper | IST-REx-ID: 4477
Assume-guarantee reasoning for hierarchical hybrid systems
T.A. Henzinger, M. Minea, V. Prabhu, in:, Proceedings of the 4th International Workshop on Hybrid Systems, Springer, 2001, pp. 275–290.
View
| DOI
T.A. Henzinger, M. Minea, V. Prabhu, in:, Proceedings of the 4th International Workshop on Hybrid Systems, Springer, 2001, pp. 275–290.
2001 |Published| Conference Paper | IST-REx-ID: 4478
Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, ACM, 2001, pp. 64–72.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, ACM, 2001, pp. 64–72.
2001 |Published| Conference Paper | IST-REx-ID: 4479
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 166–184.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 166–184.