Vol. 29, No. 4. (July 2004), pp. 97-107.
(2006), pp. 37-48.
(2007), pp. 2-6.
ACM Trans. Softw. Eng. Methodol., Vol. 3, No. 2. (April 1994), pp. 101-130.
(2006), pp. 289-292.
ACM Trans. Softw. Eng. Methodol., Vol. 5, No. 1. (January 1996), pp. 63-86.
(2007), pp. 75-84.
(2006), pp. 322-335.
Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings (2003), 87.
(1998), pp. 231-244.
(1997), pp. 260-272.
(1975), pp. 493-510.
(2002)
(2000)
Software Quality Journal, Vol. 15, No. 3. (2007), pp. 241-263.
3rd Austrian RoboCup Workshop (21 May 2008)
Software Quality Journal, Vol. 12, No. 2. (1 June 2004), pp. 121-136.
(1996), pp. 374-384.
(January 2006)
(20 December 2002)
No. 4929/2008. (23 January 2008)
Journal of Artificial Intelligence Research, Vol. 3 (1995), pp. 25-52.
pp. 229-236.
(1996), pp. 1194-1201.
(1996)
Vol. 2 (1991), pp. 634-639.
AI Magazine, Vol. 15, No. 4. (1994), pp. 27-61.
Artif. Intell., Vol. 33, No. 1. (September 1987), pp. 65-68.
Artificial Intelligence, Vol. 32, No. 3. (July 1987), pp. 333-377.
Artificial Intelligence, Vol. 76, No. 1-2. (July 1995), pp. 1-16.
SIGART Bull., Vol. 6, No. 1. (January 1995), pp. 16-25.
AI Magazine, Vol. 20, No. 2. (1999), pp. 93-123.
Artificial Intelligence, Vol. 68, No. 2. (1994), pp. 243-302.
Recent Advances in AI Planning (2000), pp. 62-72.
Automated Software Engineering, Vol. 4, No. 1. (1 January 1997), pp. 77-106.
Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on (1999), pp. 250-259.
(2005)
Intelligent Systems, IEEE [see also IEEE Intelligent Systems and Their Applications], Vol. 21, No. 3. (2006), pp. 96-101.
(2002)
Robotics & Automation Magazine, IEEE, Vol. 5, No. 3. (1998), pp. 30-36.
(2003)
(1999)
Lecture Notes in Computer Science, Vol. 2148 (2001), pp. 55-??.
Journal of Artificial Intelligence Research, Vol. 4 (1996), pp. 237-285.