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.
11366 Publications
2001 |
Published |
Journal Article |
IST-REx-ID: 874 |
Kondrashov F, Kondrashov A. Multidimensional epistasis and the disadvantage of sex. PNAS. 2001;98(21):12089-12092. doi:10.1073/pnas.211214298
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 |
Published |
Journal Article |
IST-REx-ID: 888 |
Jordan I, Kondrashov F, Rogozin I, Tatusov R, Wolf Y, Koonin E. Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins . Genome Biology. 2001;2(12). doi:10.1186/gb-2001-2-12-research0053
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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: 4599
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. 2001;18(2):97-116. doi:10.1023/A:1008767206905
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4600
Alur R, De Alfaro L, Grosu R, et al. jMocha: A model-checking tool that exploits design structure. In: Proceedings of the 23rd International Conference on Software Engineering. IEEE; 2001:835-836. doi:10.1109/ICSE.2001.919196
View
| DOI
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 |
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 |
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 |
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
2001 |
Published |
Journal Article |
IST-REx-ID: 3495
Jerecic J, Schulze C, Jonas PM, Sprengel R, Seeburg P, Bischofberger J. Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression. Molecular Brain Research. 2001;94(1-2):96-104. doi:10.1016/S0169-328X(01)00221-2
View
| DOI
| PubMed | Europe PMC