| |
IEICE Trans Inf Syst, Vol. E91-D, No. 5. (1 May 2008), pp. 1492-1503.
|
| |
|
| |
J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.
|
| |
In AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems (2002), pp. 607-612.
|
| |
|
| |
|
| |
In Workshop on Algebraic Development Techniques (1999), pp. 419-437.
|
| |
In VL '95: Proceedings of the 11th International IEEE Symposium on Visual Languages (1995)
|
| |
In GECCO '02: Proceedings of the Genetic and Evolutionary Computation Conference (2002), pp. 748-755.
|
| |
In ECOOP 2003 - Object-Oriented Programming, 17th European Conference (July 2003)
|
| |
|
| |
|
| |
ArXiv Computer Science e-prints (September 2003)
|
| |
In FME '01: Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity (2001), pp. 534-549.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on Domains VI, Vol. 73 (25 October 2004), pp. 149-163.
|
| |
In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 134-143.
|
| |
ArXiv Mathematics e-prints (October 1994)
|
| |
|
| |
|
| |
Theory of Computing Systems, Vol. 37, No. 6. (December 2004), pp. 641-674.
|
| |
|
| |
|
| |
Theor. Comput. Sci., Vol. 285, No. 2. (August 2002), pp. 359-405.
|
| |
Discovery Science : 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001. Proceedings (2001), 389.
|
| |
|
| |
|
| |
Comput. Stand. Interfaces, Vol. 25, No. 2. (May 2003), pp. 83-102.
|
| |
Artif. Intell. Law, Vol. 11, No. 2-3. (2003), pp. 81-104.
|
| |
In CASE '95: Proceedings of the Seventh International Workshop on Computer-Aided Software Engineering (1995)
|
| |
In Proc.\ IEEE Int. Symp. on Intelligent Control (1992), pp. 170-177.
|
| |
In Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World : Multi-Agent System Engineering (MAAMAW-99), Vol. 1647 (~March0--~February 1999), pp. 8-27.
|
| |
Annals of Mathematics and Artificial Intelligence, Vol. 7, No. 1. (1 March 1993), pp. 289-346.
|
CiteULike
Scis0000002's CiteULike
Search
Export
