Genetic algorithms as prototyping tools for multi-agent systems: application to the antenna parameter setting problem

An agent based approach to site selection for wireless networks

Proceedings of the 2002 ACM symposium on Applied computing

ENCON: an evolutionary algorithm for the antenna placement problem

Computers and Industrial Engineering - Special issue: Focussed issue on applied meta-heuristics

Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem

FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000

Formal Specification and Prototyping of Multi-agent Systems

ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers

From theory to practice: an evolutionary algorithm for the antenna placement problem

Advances in evolutionary computing

Multi-objective optimization in area coverage problems for cellular communication networks: evaluation of an elitist evolutionary strategy

Proceedings of the 2003 ACM symposium on Applied computing

Formal driven prototyping approach for multiagent systems

International Journal of Agent-Oriented Software Engineering

Agent UML class diagrams revisited

NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services

Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification

Journal of Systems and Software