Albert L. Baker

发表

Albert L. Baker, Vasant Honavar, Steven M. LaValle, 1998 .
Albert L. Baker, Gary T. Leavens, Tim Wahls, 2000 .
Albert L. Baker, Jürgen Symanzik, Herbert T. David, 1996 .
Albert L. Baker, Gary T. Leavens, A. L. Baker, 1999, Behavioral Specifications of Businesses and Systems.
Albert L. Baker, James M. Bieman, Austin Melton, 1988, Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference.
Albert L. Baker, A. L. Baker, David L. Coleman, 1997, Ann. Softw. Eng..
Albert L. Baker, Robin W. Whitty, James M. Bieman, 1990, J. Syst. Softw..
Albert L. Baker, David L. Coleman, 1991, J. Syst. Softw..
Albert L. Baker, Stuart H. Zweben, A. L. Baker, 1979, IEEE Transactions on Software Engineering.
Albert L. Baker, Jürgen Symanzik, A. L. Baker, 1996 .
Albert L. Baker, Stuart H. Zweben, 1979, COMPSAC.
Albert L. Baker, James M. Bieman, D. L. Coleman, 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.
Albert L. Baker, Stuart H. Zweben, A. L. Baker, 1979, IEEE Transactions on Software Engineering.
Albert L. Baker, Vasant Honavar, Steven M. LaValle, 1998 .
Albert L. Baker, James M. Bieman, W. F. Tooley, 1988, Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences, 1988. Vol.IV. Applications Track.
Albert L. Baker, Gary T. Leavens, A. L. Baker, 2006, SOEN.
Albert L. Baker, Gary T. Leavens, A. L. Baker, 1999, World Congress on Formal Methods.
Albert L. Baker, Gary T. Leavens, Tim Wahls, 1998 .
Albert L. Baker, A. L. Baker, Marybeth Gurski, 2001 .
Albert L. Baker, Gary T. Leavens, Tim Wahls, 2000, Automated Software Engineering.
Albert L. Baker, Michael D. Haverdink, Armin Mikler, 1996 .
Albert L. Baker, James M. Bieman, Austin Melton, 1990, Softw. Eng. J..
Albert L. Baker, Gary T. Leavens, Tim Wahls, 1999, SAC '99.
Albert L. Baker, Gary T. Leavens, Tim Wahls, 1997 .