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.

8915 Publications


2001 | Published | Conference Paper | IST-REx-ID: 4477
T. A. Henzinger, M. Minea, and V. Prabhu, “Assume-guarantee reasoning for hierarchical hybrid systems,” in Proceedings of the 4th International Workshop on Hybrid Systems, Rome, Italy, 2001, vol. 2034, pp. 275–290.
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
 

2001 | Published | Conference Paper | IST-REx-ID: 4479
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” in Proceedings of the 1st International Workshop on Embedded Software, Tahoe City, CA, USA, 2001, vol. 2211, pp. 166–184.
View | DOI
 

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 | Journal Article | IST-REx-ID: 4599
R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” Formal Methods in System Design, vol. 18, no. 2. Springer, pp. 97–116, 2001.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4600
R. Alur et al., “jMocha: A model-checking tool that exploits design structure,” in Proceedings of the 23rd International Conference on Software Engineering, 2001, pp. 835–836.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4622
L. De Alfaro and T. A. Henzinger, “Interface automata,” in Proceedings of the 8th European software engineering conference, Vienna, Austria, 2001, pp. 109–120.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4623
L. De Alfaro and T. A. Henzinger, “Interface theories for component-based design,” in Proceedings of the 1st International Workshop on Embedded Software, Tahoe City, CA, USA, 2001, vol. 2211, pp. 148–165.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4632
L. De Alfaro, T. A. Henzinger, and R. Jhala, “Compositional methods for probabilistic systems,” in Proceedings of the 12th International Conference on on Concurrency Theory, Aalborg, Denmark, 2001, vol. 2154, pp. 351–365.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4633
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “Symbolic algorithms for infinite-state games,” in Proceedings of the 12th International Conference on on Concurrency Theory, Aalborg, Denmark, 2001, vol. 2154, pp. 536–550.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4634
L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems, Part II,” in Proceedings of the 12th International Conference on on Concurrency Theory, Aalborg, Denmark, 2001, vol. 2154, pp. 566–581.
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: 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 | Journal Article | IST-REx-ID: 841
Y. Wolf, F. Kondrashov, and E. Koonin, “Footprints of primordial introns on the eukaryotic genome: still no clear traces ,” Trends in Genetics, vol. 17, no. 9. Elsevier, pp. 499–501, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 851
I. Rogozin, F. Kondrashov, and G. Glazko, “Use of mutation spectra analysis software,” Human Mutation, vol. 17, no. 2. Wiley-Blackwell, pp. 83–102, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 8521
V. Kaloshin and B. R. Hunt, “A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms II,” Electronic Research Announcements of the American Mathematical Society, vol. 7, no. 5. American Mathematical Society, pp. 28–36, 2001.
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 8522
V. Kaloshin and B. R. Hunt, “A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I,” Electronic Research Announcements of the American Mathematical Society, vol. 7, no. 4. American Mathematical Society, pp. 17–27, 2001.
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 8524
V. Kaloshin and I. Rodnianski, “Diophantine properties of elements of SO(3),” Geometric And Functional Analysis, vol. 11, no. 5. Springer Nature, pp. 953–970, 2001.
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 855
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, and L. Milanesi, “Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a ’weak’context of the start codon,” Bioinformatics, vol. 17, no. 10. Oxford University Press, pp. 890–900, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 867
F. Kondrashov and E. Koonin, “Origin of alternative splicing by tandem exon duplication,” Human Molecular Genetics, vol. 10, no. 23. Oxford University Press, pp. 2661–2669, 2001.
[Published Version] View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed