The SCEAS System
Navigation Menu

Journals in DBLP

Int. J. Cooperative Inf. Syst.
1997, volume: 6, number: 1

  1. Michael N. Huhns, Munindar P. Singh
    Formal Methods in CIS: Multiagent Systems - Guest Editors' Introduction. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 1997, v:6, n:1, pp:1-2 [Journal]
  2. Wolfgang Balzer, Raimo Tuomela
    The Structure and Verification of Plan-Based Joint Intentions. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 1997, v:6, n:1, pp:3-26 [Journal]
  3. Bertrand Mazure, Lakhdar Sais, Éric Grégoire
    An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 1997, v:6, n:1, pp:27-36 [Journal]
  4. Michael Fisher, Michael Wooldridge
    On the Formal Specification and Verification of Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 1997, v:6, n:1, pp:37-66 [Journal]
  5. Frances M. T. Brazier, Barbara Dunin-Keplicz, Nicholas R. Jennings, Jan Treur
    DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 1997, v:6, n:1, pp:67-94 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002