Synthesis of uninitialized systems
T.A. Henzinger, S. Krishnan, O. Kupferman, F. Mang, in:, Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Springer, 2002, pp. 644–656.

Temporal safety proofs for systems code
T.A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, W. Weimer, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 526–538.

An assume-guarantee rule for checking simulation
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2002) 51–64.

Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, Information and Computation 173 (2002) 64–81.

Lazy abstraction
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2002, pp. 58–70.

Synchronous and bidirectional component interfaces
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 414–427.

Interface compatibility checking for software modules
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Jurdziski, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 428–441.

A comparison of control problems for timed and hybrid systems
F. Cassez, T.A. Henzinger, J. Raskin, in:, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Springer, 2002, pp. 134–148.

Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.

Hyperlink analysis for the Web
M. Henzinger, IEEE Internet Computing 5 (2001) 45–50.

Maintaining minimum spanning forests in dynamic graphs
M. Henzinger, V. King, SIAM Journal on Computing 31 (2001) 364–374.

Who links to whom: Mining linkage between Web sites
K. Bharat, B.-W. Chang, M. Henzinger, M. Ruhl, in:, 1st IEEE International Conference on Data Mining, Institute of Electrical and Electronics Engineers, 2001, pp. 51–58.

Long time dynamics of an electron in a weakly coupled phonon field
L. Erdös, in:, 13th International Congress of Mathematical Physics,  International Press of Boston, 2001, pp. 273–281.

The kernel of Dirac operators on  and 
L. Erdös, J. Solovej, Reviews in Mathematical Physics 13 (2001) 1247–1280.

Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case
L. Erdös, Probability Theory and Related Fields 121 (2001) 219–236.

Derivation of the nonlinear Schrödinger equation from a many body Coulomb system
L. Erdös, H. Yau, Advances in Theoretical and Mathematical Physics 5 (2001) 1169–1205.

Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth
A. Molendijk, F. Bischoff, C. Rajendrakumar, J. Friml, M. Braun, S. Gilroy, K. Palme, EMBO Journal 20 (2001) 2779–2788.

BIG: A calossin-like protein required for polar auxin transport in Arabidopsis
P. Gil, E. Dewey, J. Friml, Y. Zhao, K. Snowden, J. Putterill, K. Palme, M. Estelle, J. Chory, Genes and Development 15 (2001) 1985–1997.

Auxin transport inhibitors block PIN1 cycling and vesicle trafficking
N. Geldner, J. Friml, Y. Stierhof, G. Jürgens, K. Palme, Nature 413 (2001) 425–428.

Localization of the auxin permease AU suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex
R. Swarup, J. Friml, A. Marchant, K. Ljung, G. Sandberg, K. Palme, M. Bennett, Genes and Development 15 (2001) 2648–2653.