|
(1993), pp. 140-147.
posted by
3 people
cyph3r
tjwoods
kickOffTUG-Robocup
| |
|
Autonomous Agents and Multi-Agent Systems, Vol. 15, No. 1. (August 2007), pp. 91-108.
| |
|
American Mathematical Monthly, Vol. 105, No. 1. (1998), pp. 41-51.
| |
|
Econometrica, Vol. 57, No. 4. (1989), pp. 759-778.
| |
|
Econometrica, Vol. 63, No. 5. (1995), pp. 1161-1180.
| |
|
Theor. Comput. Sci., Vol. 349, No. 2. (December 2005), pp. 245-267.
| |
|
Netnomics, Vol. 5, No. 2. (November 2003), pp. 101-118.
| |
|
Inf. Sci. Inf. Comput. Sci., Vol. 154, No. 3-4. (2003), pp. 119-140.
| |
|
In AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (2006), pp. 244-246.
| |
|
In ICEC '05: Proceedings of the 7th international conference on Electronic commerce (2005), pp. 300-305.
| |
|
In CSC '96: Proceedings of the 1996 ACM 24th annual conference on Computer science (1996), pp. 53-57.
| |
|
In AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (2006), pp. 713-719.
| |
|
In AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (2006), pp. 752-759.
| |
|
In ICMAS '98: Proceedings of the 3rd International Conference on Multi Agent Systems (1998)
| |
|
In IJCAI '95: Proceedings of the Workshop on Adaption and Learning in Multi-Agent Systems (1996), pp. 40-52.
| |
|
| |
|
In GRAPH '04: Proceedings of the conference on SIGGRAPH 2004 course notes (2004)
| |
|
In WSC '03: Proceedings of the 35th conference on Winter simulation (2003), pp. 1319-1325.
| |
|
| |
|
In AAMAS '04: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems (2004), pp. 1442-1443.
| |
|
| |
|
Designing Smart Homes (2006), pp. 165-182.
| |
|
Wireless Communications, IEEE In Wireless Communications, IEEE, Vol. 9, No. 6. (2002), pp. 77-84.
| |
|
(1998)
| |
|
In Machine Intelligence, Vol. 4 (1969), pp. 463-502.
posted by
3 people
cyph3r
hukkinen
davidmihalcik
| |
|
In AGENTS '01: Proceedings of the fifth international conference on Autonomous agents (2001), pp. 155-156.
posted by
2 people
kickOffTUG-Robocup
cyph3r
| |
|
RoboCup 2000: Robot Soccer World Cup IV (2001), pp. 391-396.
posted by
2 people
kickOffTUG-Robocup
cyph3r
| |
|
In CSC '90: Proceedings of the 1990 ACM annual conference on Cooperation (1990)
posted by
2 people
kickOffTUG-Robocup
cyph3r
| |
|
RoboCup 2004: Robot Soccer World Cup VIII (2005), pp. 286-296.
posted by
2 people
kickOffTUG-Robocup
cyph3r
| |
|
In WEASELTech '07: Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies (2007), pp. 2-6.
posted by
3 people
sjgaller
Desgin-by-Contract
cyph3r
| |
|
Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on In Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on (2007), pp. 545-549.
by Ruilian Zhao, Qing Li
| |
|
ACM Trans. Softw. Eng. Methodol., Vol. 3, No. 2. (April 1994), pp. 101-130.
| |
|
In In ACS/IEEE International Conference on Computer Systems and Applications (AICCSA). IEEE Computer (2003)
| |
|
Software Reliability Engineering, 2006. ISSRE '06. 17th International Symposium on In Software Reliability Engineering, 2006. ISSRE '06. 17th International Symposium on (2006), pp. 75-84.
| |
|
Software Testing, Verification and Reliability, Vol. 15, No. 2. (2005), pp. 135-136.
| |
|
Software Testing, Verification and Reliability, Vol. 16, No. 3. (2006), pp. 175-203.
| |
|
| |
|
| |
|
In GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation (2007), pp. 1098-1105.
| |
|
In SWSTE '03: Proceedings of the IEEE International Conference on Software-Science, Technology \& Engineering (2003)
| |
|
Software Engineering, 1996., Proceedings of the 18th International Conference on In Software Engineering, 1996., Proceedings of the 18th International Conference on (1996), pp. 71-80.
| |
|
icst, Vol. 0 (2008), pp. 32-41.
| |
|
Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 3-11.
by A. Beer, S. Mohacsi
| |
|
Software Testing, Verification and Reliability, Vol. 13, No. 1. (2003), pp. 25-53.
| |
|
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific In Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific (2001), pp. 237-240.
| |
|
Information and Software Technology, Vol. 48, No. 7. (July 2006), pp. 586-605.
| |
|
In Symposium on Fault-Tolerant Computing (1998), pp. 230-239.
| |
|
In Foundations of Software Engineering (1998), pp. 231-244.
| |
|
In ECP (1997), pp. 260-272.
| |
|
In MS'06: Proceedings of the 17th IASTED international conference on Modelling and simulation (2006), pp. 443-448.
| |
|
In ICTAI '02: Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'02) (2002)
| |
|
In ISSRE '00: Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE'00) (2000)
| |
|
In ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis (2002), pp. 229-239.
| |
|
Software Quality Journal, Vol. 12, No. 2. (1 June 2004), pp. 121-136.
| |
|
Recent Advances in AI Planning (2000), pp. 21-34.
| |
|
Journal of Artificial Intelligence Research, Vol. 3 (1995), pp. 25-52.
| |
|
| |
|
| |
|
In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), Vol. 2 (1991), pp. 634-639.
| |
|
Artif. Intell., Vol. 33, No. 1. (September 1987), pp. 65-68.
| |
|
Artificial Intelligence, Vol. 2, No. 3-4. ( 1971), pp. 189-208.
| |
|
Artificial Intelligence, Vol. 32, No. 3. (July 1987), pp. 333-377.
| |
|
Artificial Intelligence In Planning and Scheduling, Vol. 76, No. 1-2. (July 1995), pp. 1-16.
| |
|
SIGART Bull., Vol. 6, No. 1. (January 1995), pp. 16-25.
| |
|
Artificial Intelligence, Vol. 68, No. 2. (1994), pp. 243-302.
| |
|
Recent Advances in AI Planning (2000), pp. 62-72.
posted by
3 people
cyph3r
nojhan
Optimization
| |
|
| |
|
In WODA '06: Proceedings of the 2006 international workshop on Dynamic systems analysis (2006), pp. 17-24.
| |
|
Computer Vision, 2001. ICCV 2001. Proceedings. Eighth IEEE International Conference on In Computer Vision, 2001. ICCV 2001. Proceedings. Eighth IEEE International Conference on, Vol. 2 (2001), pp. 84-91 vol.2.
by S. Hongeng, R. Nevatia
posted by
3 people
fheintz
cyph3r
kickOffTUG-Robocup
| |
|
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 27, No. 12. (2001), pp. 1085-1110.
| |
|
Tools and Algorithms for the Construction and Analysis of Systems (2008), pp. 337-340.
| |
|
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 (2007), pp. 72-76.
by Andrea Arcuri, Xin Yao
posted by
2 people
joaoarthurbm
cyph3r
| |
|
posted by
2 people
cyph3r
kickOffTUG-Robocup
| |
|
Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on In Software Engineering, 2005. ICSE 2005. Proceedings. 27th International Conference on (2005), pp. 571-579.
posted by
3 people
sjgaller
joaoarthurbm
cyph3r
| |
|
Software: Practice and Experience, Vol. 30, No. 1. (2000), pp. 61-79.
posted by
4 people
sjgaller
elvinado
joaoarthurbm
cyph3r
| |
|
Automated Software Engineering, Vol. 4, No. 1. (1 January 1997), pp. 77-106.
| |
|
Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on In Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on (1999), pp. 250-259.
| |
|
Software Quality Journal, Vol. 15, No. 3. (2007), pp. 241-263.
| |
|
Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on In Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on (2004), pp. 174-182.
| |
|
Software Testing, Verification and Reliability, Vol. 14, No. 2. (2004), pp. 105-156.
by Phil Mcminn
| |
|
ECOOP 2005 - Object-Oriented Programming (2005), pp. 504-527.
posted by
4 people
newdawn
pfrancis
joaoarthurbm
cyph3r
| |
|
Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on In Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on (2006), pp. 59-68.
| |
|
In ICSE '07: Proceedings of the 29th International Conference on Software Engineering (2007), pp. 75-84.
| |
|
In Proceedings of the Second Conference on Computer Science and Engineering in Linköping (October 1999), pp. 21-28.
| |
|
In Robo{C}up-2001: Robot Soccer World Cup V (2002), pp. 543-546.
by S. Buttinger, M. Diedrich, L. Hennig, et al.A. Hoenemann, P. Huegelmeyer, A. Nie, A. Pegam, C. Rogowski, C. Rollinger, T. Steffens, W. Teiken
posted by
2 people
cyph3r
kickOffTUG-Robocup
| |




