College of Engineering and Physical Sciences

Computer Science

Jeffrey Van Baalen

Education

• Ph.D. Massachusetts Institute of Technology 1988
• M.S. University of Wyoming 1980
• B.S. University of Wyoming 1977

Professional Experience

• UW

Research Interests
How to give search engines a deeper understanding of the knowledge on the Web so that Internet search can be more effective.

Selected Publications

• Roach, S., and Van Baalen, J., " Automated Procedure Construction for Deductive Synthesis," pp 393-414, Journal of Automated Software Engineering, V. 12, No. 4, Oct. 2005.
• Van Baalen, J. and Roach, S., "Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems", pp 61-81 in LNCS 1559, March 1999.
• Lowry, M.R. & Van Baalen, J. "META-AMPHION: Synthesis of Efficient Domain-Specific Synthesis Systems," Journal of Automated Software Engineering, 4, 1997.
• Van Baalen, J., "Automated design of specialized representation," Artificial Intelligence, 54, pp. 121-198, 1992.
• "A Tool for Understanding Web Applications," Paul, J., and Van Baalen, J., Proceedings of 4th International Semantic Web Conference, November, 2005.
• "On the Verification of Synthesized Kalman Filters," Gamboa, R., Cowles, J., Van Baalen, J., ACL2 Workshop 2003, Boulder, 2003.
• "Using ACL2 Arrays to Formalize Matrix Algebra," Gamboa, R., Cowles, J. and Van Baalen, J., ACL2 Workshop 2003, Boulder, 2003.
• Van Baalen, J. and Boene, T., "Automated Protocol Analysis in Maude," Proceedings of the Second International Workshop on Formal Approaches to Agent-Based Systems, November, 2002.
• Roach, S., and Van Baalen, J., "Experience Report on Automated Procedure Construction for Deductive Synthesis," 17th IEEE Conference on Automated Software Engineering, pp. 69-78, September, 2002.
• Whittle, J., Van Baalen, J., Schumann, J., Robinson, P., Pressburger, T., Penix, J., Lowry, M. and Brat, Guillaume, "Amphion/NAV: Deductive Synthesis of State Estimation Software," Proceedings of the 16th IEEE Conference on Automated Software Engineering, San Diego, CA, November, 2001.