Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Bowen, Jonathan P.
1998.
ZUM ’98: The Z Formal Specification Notation.
Vol. 1493,
Issue. ,
p.
367.
Bozzano, Marco
Delzanno, Giorgio
Martelli, Maurizio
Mascardi, Viviana
and
Zini, Floriano
1998.
Practical Aspects of Declarative Languages.
Vol. 1551,
Issue. ,
p.
46.
Wenpin Jiao
and
Zhongzhi Shi
1999.
A dynamic architecture for multi-agent systems.
p.
253.
Iglesias, Carlos A.
Garijo, Mercedes
and
González, José C.
1999.
Intelligent Agents V: Agents Theories, Architectures, and Languages.
Vol. 1555,
Issue. ,
p.
317.
Gruer, P.
Hilaire, V.
and
Koukam, A.
2000.
Towards verification of multi-agent systems.
p.
393.
d’Inverno, Mark
and
Luck, Michael
2001.
Formal Approaches to Agent-Based Systems.
Vol. 1871,
Issue. ,
p.
133.
Gao, Ji
and
Lin, Donghao
2002.
Agent cooperation based control integration by activity-sharing and joint intention.
Journal of Computer Science and Technology,
Vol. 17,
Issue. 3,
p.
331.
Hilaire, V.
Koukam, A.
and
Gruer, P.
2003.
Agent Technologies, Infrastructures, Tools, and Applications for E-Services.
Vol. 2592,
Issue. ,
p.
36.
Munroe, Steve J.
Luck, Michael
and
d’Inverno, Mark
2003.
Multi-Agent Systems and Applications III.
Vol. 2691,
Issue. ,
p.
17.
da Silva, Flávio Soares Corrêa
and
Agustí‐Cullel, Jaume
2003.
Issues on knowledge coordination.
Knowledge and Process Management,
Vol. 10,
Issue. 1,
p.
37.
Li, Xiaojun
Yu, Huanjun
and
Hu, Shangxu
2003.
Novel multi-level optimization method for chemical complex using intelligent agent.
Journal of Systems Science and Systems Engineering,
Vol. 12,
Issue. 2,
p.
236.
Haiping Xu
and
Shatz, S.M.
2003.
A framework for model-based design of agent-oriented software.
IEEE Transactions on Software Engineering,
Vol. 29,
Issue. 1,
p.
15.
Kojnov, S.L.
Sgurev, V.S.
and
Jotsov, V.S.
2004.
The design process of intelligent agents as parallel elaboration.
p.
267.
Weng, Chuliang
Lu, Xinda
and
Deng, Qianni
2004.
Grid and Cooperative Computing.
Vol. 3032,
Issue. ,
p.
669.
Khezami, N.
Otmane, S.
and
Mallem, M.
2005.
A new formal model of collaboration by multi-agent systems.
p.
32.
Fadil, Hind
and
Koning, Jean-Luc
2005.
Advanced Distributed Systems.
Vol. 3563,
Issue. ,
p.
516.
Borgo, Stefano
2005.
Quantificational modal logic with sequential Kripke semantics.
Journal of Applied Non-Classical Logics,
Vol. 15,
Issue. 2,
p.
137.
Luck, Michael
and
d’Inverno, Mark
2006.
Agent Technology from a Formal Perspective.
p.
65.
Ding, Zuohua
Dong, Jianming
and
Han, Wei
2008.
Formal architectural models for agent-based service systems.
International Journal of Computer Applications in Technology,
Vol. 31,
Issue. 1/2,
p.
45.
Gascueña, José Manuel
and
Fernández-Caballero, Antonio
2011.
Agent-oriented modeling and development of a person-following mobile robot.
Expert Systems with Applications,
Vol. 38,
Issue. 4,
p.
4280.