Some of the content on this website requires JavaScript to be enabled in your web browser to function as intended. While the website is still usable without JavaScript, it should be enabled to enjoy the full interactive experience.

Skip to Main Navigation. Each navigation link will open a list of sub navigation links.

Skip to Main Content

Computer Science|College of Engineering and Applied Science

Jeffrey Van Baalen


Professor of Computer Science

Room 4071B, Engineering Building
University of Wyoming
College of Engineering and Applied Science
Department of Computer Science
Dept. 3315
1000 E. University Avenue
Laramie, WY 82071
jvb@uwyo.edu
Phone: (307) 766-4827


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.

Share This Page:

Footer Navigation

University of Wyoming Medallion
 
1000 E. University Ave. Laramie, WY 82071 // UW Operators (307) 766-1121 // Contact Us // Download Adobe Reader