Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Bozzano, Marco
Delzanno, Giorgio
Martelli, Maurizio
Mascardi, Viviana
and
Zini, Floriano
1998.
Practical Aspects of Declarative Languages.
Vol. 1551,
Issue. ,
p.
46.
Bowen, Jonathan P.
1998.
ZUM ’98: The Z Formal Specification Notation.
Vol. 1493,
Issue. ,
p.
367.
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.
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.
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.
Munroe, Steve J.
Luck, Michael
and
d’Inverno, Mark
2003.
Multi-Agent Systems and Applications III.
Vol. 2691,
Issue. ,
p.
17.
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.
Weng, Chuliang
Lu, Xinda
and
Deng, Qianni
2004.
Grid and Cooperative Computing.
Vol. 3032,
Issue. ,
p.
669.
Kojnov, S.L.
Sgurev, V.S.
and
Jotsov, V.S.
2004.
The design process of intelligent agents as parallel elaboration.
p.
267.
Khezami, N.
Otmane, S.
and
Mallem, M.
2005.
A new formal model of collaboration by multi-agent systems.
p.
32.
Borgo, Stefano
2005.
Quantificational modal logic with sequential Kripke semantics.
Journal of Applied Non-Classical Logics,
Vol. 15,
Issue. 2,
p.
137.
Fadil, Hind
and
Koning, Jean-Luc
2005.
Advanced Distributed Systems.
Vol. 3563,
Issue. ,
p.
516.
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é M.
and
Fernández-Caballero, Antonio
2011.
On the use of agent technology in intelligent, multisensory and distributed surveillance.
The Knowledge Engineering Review,
Vol. 26,
Issue. 2,
p.
191.