Requirement of CHROMOMETHYLAS for maintenance of CpXpG methylation
A.M. Lindroth, X. Cao, J.P. Jackson, D. Zilberman, C.M. McCallum, S. Henikoff, S.E. Jacobsen, Science 292 (2001) 2077–2080.

Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, Formal Methods in System Design 18 (2001) 97–116.

jMocha: A model-checking tool that exploits design structure
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, Proceedings of the 23rd International Conference on Software Engineering, IEEE, 2001, pp. 835–836.

Interface automata
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 8th European Software Engineering Conference, ACM, 2001, pp. 109–120.

Interface theories for component-based design
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 148–165.

Compositional methods for probabilistic systems
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.

Symbolic algorithms for infinite-state games
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.

The control of synchronous systems, Part II
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.

MCWEB: A model-checking tool for web-site debugging
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 10th International Conference on World Wide Web, ACM, 2001, pp. 86–87.

From verification to control: dynamic programs for omega-regular objectives
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2001, pp. 279–290.

Application of the likelihood function in phylogenetic analysis
J. Huelsenbeck, J.P. Bollback, in:, D. Balding, M. Bishop, C. Cannings (Eds.), Handbook of Statistical Genetics, Wiley-Blackwell, 2001, pp. 415–439.

Bayesian inference of phylogeny and its impact on evolutionary biology
J. Huelsenbeck, F. Ronquist, R. Nielsen, J.P. Bollback, Science 294 (2001) 2310–2314.

Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi
J. Conn, J.P. Bollback, D. Onyabe, T. Robinson, R. Wilkerson, M. Povoa, Molecular Ecology Notes 1 (2001) 223–225.

Empirical and hierarchical Bayesian estimation of ancestral states
J. Huelsenbeck, J.P. Bollback, Systematic Biology 50 (2001) 351–366.

Weighted quantified computation tree logic
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Elsevier, 2001.

Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists
M.. Jones, P.M. Jonas, Y. Sahara, G. Westbrook, Biophysical Journal 81 (2001) 2660–2670.

Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network.
M. Bartos, I. Vida, M. Frotscher, J. Geiger, P.M. Jonas, Journal of Neuroscience 21 (2001) 2687–2698.

Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive N (N598R) expression
J. Jerecic, C. Schulze, P.M. Jonas, R. Sprengel, P. Seeburg, J. Bischofberger, Molecular Brain Research 94 (2001) 96–104.

PTP and LTP at a hippocampal mossy fiber-interneuron synapse
H. Alle, P.M. Jonas, J. Geiger, PNAS 98 (2001) 14708–14713.

Molecular classification for property prediction
J. Liang, H. Edelsbrunner, (2001).