Jeffrey Van Baalen
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
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.
