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.

8920 Publications


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: 1452 | OA
T. Hausel and M. Thaddeus, “Examples of mirror partners arising from integrable systems,” Comptes Rendus de l’Academie des Sciences - Series I: Mathematics, vol. 333, no. 4. Elsevier, pp. 313–318, 2001.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 1453 | OA
G. Etesi and T. Hausel, “Geometric construction of new Yang-Mills instantons over Taub-NUT space,” Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics, vol. 514, no. 1–2. Elsevier, pp. 189–199, 2001.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 1454 | OA
G. Etesi and T. Hausel, “Geometric interpretation of Schwarzschild instantons,” Journal of Geometry and Physics, vol. 37, no. 1–2. Elsevier, pp. 126–136, 2001.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 9444
A. M. Lindroth et al., “Requirement of CHROMOMETHYLASE3 for maintenance of CpXpG methylation,” Science, vol. 292, no. 5524. American Association for the Advancement of Science, pp. 2077–2080, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 11892
M. H. Henzinger and V. King, “Maintaining minimum spanning forests in dynamic graphs,” SIAM Journal on Computing, vol. 31, no. 2. Society for Industrial & Applied Mathematics, pp. 364–374, 2001.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 11914
K. Bharat, B.-W. Chang, M. H. Henzinger, and M. Ruhl, “Who links to whom: Mining linkage between Web sites,” in 1st IEEE International Conference on Data Mining, San Jose, CA, United States, 2001, pp. 51–58.
View | DOI
 

2001 | Published | Book Chapter | IST-REx-ID: 3434
J. Huelsenbeck and J. P. Bollback, “Application of the likelihood function in phylogenetic analysis,” in Handbook of Statistical Genetics, D. Balding, M. Bishop, and C. Cannings, Eds. Wiley-Blackwell, 2001, pp. 415–439.
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 3438
J. Huelsenbeck, F. Ronquist, R. Nielsen, and J. P. Bollback, “Bayesian inference of phylogeny and its impact on evolutionary biology,” Science, vol. 294, no. 5550. American Association for the Advancement of Science, pp. 2310–2314, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 3439
J. Conn, J. P. Bollback, D. Onyabe, T. Robinson, R. Wilkerson, and M. Povoa, “Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi,” Molecular Ecology Notes, vol. 1, no. 4. Wiley-Blackwell, pp. 223–225, 2001.
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 3440
J. Huelsenbeck and J. P. Bollback, “Empirical and hierarchical Bayesian estimation of ancestral states,” Systematic Biology, vol. 50, no. 3. Oxford University Press, pp. 351–366, 2001.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed