출판 Geometry-Driven Photorealistic Facial Expression Synthesis Qingshan Zhang, Zicheng Liu, Baining Guo, Harry Shum July 2003
출판 Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding Madan Musuvathi, Dawson R. Engler Electronic Notes in Theoretical Computer Science | July 2003, 제 89 권(3)
출판 A User-Centred Approach to Functions in Excel Simon Peyton Jones, Margaret Burnett, Alan Blackwell International Conference on Functional Programming (ICFP’03) | June 2003 프로젝트
출판 Extensible type system for representing and checking consistency of program components during the process of compilation Mark Plesko, David Tarditi June 2003 June 2003
출판 Type system for representing and checking consistency of heterogeneous program components during the process of compilation Mark Plesko, David Tarditi 7685581 | June 2003
출판 A type and effect system for atomicity Cormac Flanagan, Shaz Qadeer PLDI ’03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation | June 2003
출판 Debugging Temporal Specifications with Concept Analysis Glenn Ammons, David Mandelin, Rastislav Bodik, Jim Larus Proceedings of the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2003
출판 Low complexity optimal algebraic multicast codes Sidharth Jaggi, Philip A. Chou, Kamal Jain, Philip A. Chou Int’l Symp. Information Theory | June 2003
출판 Equational Properties of Mobile Ambients Andy Gordon, Luca Cardelli Mathematical Structures in Computer Science | June 2003, 제 13 권(3): pp. 371-408