Erdös, László. “Two Dimensional Pauli Operator via Scalar Potential,”https://doi.org/10.1090/conm/307__307:129–33. World Scientific Publishing, 2002.https://doi.org/10.1090/conm/307 .

Friml, Jií, and Klaus Palme. “Polar Auxin Transport - Old Questions and New Concepts?”https://doi.org/10.1023/A:1015248926412__Plant Molecular Biology. Springer, 2002.https://doi.org/10.1023/A:1015248926412 .

Edelsbrunner, Herbert, and Ping Fu. “Methods of Generating Three-Dimensional Digital Models of Objects by Wrapping Point Cloud Data Points,” 2002.

Mallick, Sanhita, Krishnendu Chatterjee, Arif Merchant, and Pallab Dasgupta. “Implementation of Shape Grammar for Plan Analysis.” Elsevier, 2002.

Mang, Freddy. “Games in Open Systems Verification and Synthesis.” University of California, Berkeley, 2002.

Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.”https://doi.org/10.1038/nature01170__Nature. Springer Nature, 2002.https://doi.org/10.1038/nature01170 .

Bono, Mario de, David M. Tobin, M. Wayne Davis, Leon Avery, and Cornelia I. Bargmann. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.”https://doi.org/10.1038/nature01169__Nature. Springer Nature, 2002.https://doi.org/10.1038/nature01169 .

De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces.”https://doi.org/10.1007/3-540-45828-X_9__In Proceedings of the 2nd International Conference on Embedded Software, 2491:108–22. ACM, 2002.https://doi.org/10.1007/3-540-45828-X_9 .

Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces.”https://doi.org/10.1007/3-540-45657-0_34__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:414–27. Springer, 2002.https://doi.org/10.1007/3-540-45657-0_34 .

Cassez, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of Control Problems for Timed and Hybrid Systems.”https://doi.org/10.1007/3-540-45873-5_13__In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, 2289:134–48. Springer, 2002.https://doi.org/10.1007/3-540-45873-5_13 .

Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.”https://doi.org/10.1145/585265.585270__Journal of the ACM. ACM, 2002.https://doi.org/10.1145/585265.585270 .

Henzinger, Thomas A, Sriram Krishnan, Orna Kupferman, and Freddy Mang. “Synthesis of Uninitialized Systems.”https://doi.org/10.1007/3-540-45465-9_55__In Proceedings of the 29th International Colloquium on Automata, Languages and Programming, 2380:644–56. Springer, 2002.https://doi.org/10.1007/3-540-45465-9_55 .

Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.”https://doi.org/10.1006/inco.2001.3085__Information and Computation. Elsevier, 2002.https://doi.org/10.1006/inco.2001.3085 .

Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziski, and Freddy Mang. “Interface Compatibility Checking for Software Modules.”https://doi.org/10.1007/3-540-45657-0_35__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:428–41. Springer, 2002.https://doi.org/10.1007/3-540-45657-0_35 .

Henzinger, Thomas A, George Necula, Ranjit Jhala, Grégoire Sutre, Ritankar Majumdar, and Westley Weimer. “Temporal Safety Proofs for Systems Code.”https://doi.org/10.1007/3-540-45657-0_45__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:526–38. Springer, 2002.https://doi.org/10.1007/3-540-45657-0_45 .

Henzinger, Thomas A, Christoph Kirsch, Ritankar Majumdar, and Slobodan Matic. “Time-Safety Checking for Embedded Programs.”https://doi.org/10.1007/3-540-45828-X_7__In Proceedings of the 2nd International Conference on Embedded Software, 2491:76–92. ACM, 2002.https://doi.org/10.1007/3-540-45828-X_7 .

Henzinger, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.”https://doi.org/10.1145/512529.512567__In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, 315–26. ACM, 2002.https://doi.org/10.1145/512529.512567 .

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Lazy Abstraction.”https://doi.org/10.1145/503272.503279__In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 58–70. ACM, 2002.https://doi.org/10.1145/503272.503279 .

Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.”https://doi.org/10.1145/509705.509707__ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2002.https://doi.org/10.1145/509705.509707 .

Horowitz, Benjamin, Judith Liebman, Cedric Ma, T John Koo, Thomas A Henzinger, Alberto Sangiovanni Vincentelli, and Shankar Sastry. “Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms.”https://doi.org/10.3182/20020721-6-ES-1901.01628__In Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Vol. 15. Elsevier, 2002.https://doi.org/10.3182/20020721-6-ES-1901.01628 .