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.

89 Publications


2001 | Published | Conference Paper | IST-REx-ID: 4622
De Alfaro, L., & Henzinger, T. A. (2001). Interface automata. In Proceedings of the 8th European software engineering conference (pp. 109–120). Vienna, Austria: ACM. https://doi.org/10.1145/503209.503226
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4623
De Alfaro, L., & Henzinger, T. A. (2001). Interface theories for component-based design. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 148–165). Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7_11
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4632
De Alfaro, L., Henzinger, T. A., & Jhala, R. (2001). Compositional methods for probabilistic systems. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 351–365). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_24
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4633
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). Symbolic algorithms for infinite-state games. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 536–550). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_36
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4634
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). The control of synchronous systems, Part II. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 566–581). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_38
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4635
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). MCWEB: A model-checking tool for web-site debugging. In Proceedings of the 10th international conference on World Wide Web (pp. 86–87). Hong Kong, Hong Kong: ACM.
View | Download None (ext.)
 

2001 | Published | Conference Paper | IST-REx-ID: 4636
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). From verification to control: dynamic programs for omega-regular objectives. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (pp. 279–290). Boston, MA, USA: IEEE. https://doi.org/10.1109/LICS.2001.932504
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 1452 | OA
Hausel, T., & Thaddeus, M. (2001). Examples of mirror partners arising from integrable systems. Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics. Elsevier. https://doi.org/10.1016/S0764-4442(01)02057-2
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 1453 | OA
Etesi, G., & Hausel, T. (2001). Geometric construction of new Yang-Mills instantons over Taub-NUT space. Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. Elsevier. https://doi.org/10.1016/S0370-2693(01)00821-8
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 1454 | OA
Etesi, G., & Hausel, T. (2001). Geometric interpretation of Schwarzschild instantons. Journal of Geometry and Physics. Elsevier. https://doi.org/10.1016/S0393-0440(00)00040-1
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 9444
Lindroth, A. M., Cao, X., Jackson, J. P., Zilberman, D., McCallum, C. M., Henikoff, S., & Jacobsen, S. E. (2001). Requirement of CHROMOMETHYLASE3 for maintenance of CpXpG methylation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1059745
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 11892
Henzinger, M. H., & King, V. (2001). Maintaining minimum spanning forests in dynamic graphs. SIAM Journal on Computing. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/s0097539797327209
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 11914
Bharat, K., Chang, B.-W., Henzinger, M. H., & Ruhl, M. (2001). Who links to whom: Mining linkage between Web sites. In 1st IEEE International Conference on Data Mining (pp. 51–58). San Jose, CA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICDM.2001.989500
View | DOI
 

2001 | Published | Book Chapter | IST-REx-ID: 3434
Huelsenbeck, J., & Bollback, J. P. (2001). Application of the likelihood function in phylogenetic analysis. In D. Balding, M. Bishop, & C. Cannings (Eds.), Handbook of Statistical Genetics (pp. 415–439). Wiley-Blackwell. https://doi.org/10.1002/9780470061619.ch15
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 3438
Huelsenbeck, J., Ronquist, F., Nielsen, R., & Bollback, J. P. (2001). Bayesian inference of phylogeny and its impact on evolutionary biology. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1065889
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 3439
Conn, J., Bollback, J. P., Onyabe, D., Robinson, T., Wilkerson, R., & Povoa, M. (2001). Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi. Molecular Ecology Notes. Wiley-Blackwell. https://doi.org/ 10.1046/j.1471-8278.2001.00078.x
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 3440
Huelsenbeck, J., & Bollback, J. P. (2001). Empirical and hierarchical Bayesian estimation of ancestral states. Systematic Biology. Oxford University Press. https://doi.org/10.1080/10635150119871
View | DOI | PubMed | Europe PMC
 

2001 | Published | Conference Paper | IST-REx-ID: 3447
Chatterjee, K., Dasgupta, P., & Chakrabarti, P. (2001). Weighted quantified computation tree logic. Presented at the CIT: Conference on Information Technology, Elsevier.
View
 

2001 | Published | Journal Article | IST-REx-ID: 3493 | OA
Jones, M. ., Jonas, P. M., Sahara, Y., & Westbrook, G. (2001). Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists. Biophysical Journal. Biophysical Society. https://doi.org/10.1016/S0006-3495(01)75909-7
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 3494 | OA
Bartos, M., Vida, I., Frotscher, M., Geiger, J., & Jonas, P. M. (2001). Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.21-08-02687.2001
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=2001

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed