University of Wyoming Electrical Engineering and Computer Science logo over student

Jeffrey Van Baalen

Jeffrey Van Baalen


Professor Emeritus of Computer Science

Room 4071B, Engineering Building
University of Wyoming
College of Engineering and Physical Sciences
Department of Computer Science
Dept. 3315
1000 E. University Avenue
Laramie, WY 82071
jvb@uwyo.edu
Phone: (307) 766-5190
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.
 
 
 
 
 
 






Find us on Instagram (Link opens a new window)Find us on Facebook (Link opens a new window)Find us on Twitter (Link opens a new window)Find us on LinkedIn (Link opens a new window)Find us on YouTube (Link opens a new window)