- Ph.D. Massachusetts Institute of Technology 1988
- M.S. University of Wyoming 1980
- B.S. University of Wyoming 1977
How to give search engines a deeper understanding of the
knowledge on the Web so that Internet search can be more effective.
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,
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,
"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,