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 TA. Interface automata. In: Proceedings of the 8th European Software Engineering Conference. ACM; 2001:109-120. doi:10.1145/503209.503226
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4623
De Alfaro L, Henzinger TA. Interface theories for component-based design. In: Proceedings of the 1st International Workshop on Embedded Software. Vol 2211. ACM; 2001:148-165. doi:10.1007/3-540-45449-7_11
View | DOI
 

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

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

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

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

2001 | Published | Conference Paper | IST-REx-ID: 4636
De Alfaro L, Henzinger TA, Majumdar R. From verification to control: dynamic programs for omega-regular objectives. In: Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science. IEEE; 2001:279-290. doi:10.1109/LICS.2001.932504
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 1452 | OA
Hausel T, Thaddeus M. Examples of mirror partners arising from integrable systems. Comptes Rendus de l’Academie des Sciences - Series I: Mathematics. 2001;333(4):313-318. doi: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. Geometric construction of new Yang-Mills instantons over Taub-NUT space. Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 2001;514(1-2):189-199. doi: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. Geometric interpretation of Schwarzschild instantons. Journal of Geometry and Physics. 2001;37(1-2):126-136. doi:10.1016/S0393-0440(00)00040-1
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 9444
Lindroth AM, Cao X, Jackson JP, et al. Requirement of CHROMOMETHYLASE3 for maintenance of CpXpG methylation. Science. 2001;292(5524):2077-2080. doi:10.1126/science.1059745
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 11892
Henzinger MH, King V. Maintaining minimum spanning forests in dynamic graphs. SIAM Journal on Computing. 2001;31(2):364-374. doi:10.1137/s0097539797327209
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 11914
Bharat K, Chang B-W, Henzinger MH, Ruhl M. Who links to whom: Mining linkage between Web sites. In: 1st IEEE International Conference on Data Mining. Institute of Electrical and Electronics Engineers; 2001:51-58. doi:10.1109/ICDM.2001.989500
View | DOI
 

2001 | Published | Book Chapter | IST-REx-ID: 3434
Huelsenbeck J, Bollback JP. Application of the likelihood function in phylogenetic analysis. In: Balding D, Bishop M, Cannings C, eds. Handbook of Statistical Genetics. Wiley-Blackwell; 2001:415-439. doi:10.1002/9780470061619.ch15
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 3438
Huelsenbeck J, Ronquist F, Nielsen R, Bollback JP. Bayesian inference of phylogeny and its impact on evolutionary biology. Science. 2001;294(5550):2310-2314. doi:10.1126/science.1065889
View | DOI | PubMed | Europe PMC
 

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

2001 | Published | Journal Article | IST-REx-ID: 3440
Huelsenbeck J, Bollback JP. Empirical and hierarchical Bayesian estimation of ancestral states. Systematic Biology. 2001;50(3):351-366. doi:10.1080/10635150119871
View | DOI | PubMed | Europe PMC
 

2001 | Published | Conference Paper | IST-REx-ID: 3447
Chatterjee K, Dasgupta P, Chakrabarti P. Weighted quantified computation tree logic. In: Elsevier; 2001.
View
 

2001 | Published | Journal Article | IST-REx-ID: 3493 | OA
Jones M., Jonas PM, Sahara Y, Westbrook G. Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists. Biophysical Journal. 2001;81(5):2660-2670. doi: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 PM. Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience. 2001;21(8):2687-2698. doi: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: AMA

Export / Embed