The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hans Tonino: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hans Tonino
    A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Workshop on Abstract State Machines, 1998, pp:91-110 [Conf]
  2. Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen
    A Plan Fusion Algorithm for Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000, pp:56-65 [Conf]
  3. Bart Jan Moree, André Bos, Hans Tonino, Cees Witteveen
    Cooperation by Iterated Plan Revision. [Citation Graph (0, 0)][DBLP]
    ICMAS, 2000, pp:191-198 [Conf]
  4. Hans Tonino, André Bos, Mathijs de Weerdt, Cees Witteveen
    Plan coordination by revision in collective agent based systems. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:142, n:2, pp:121-145 [Journal]
  5. Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen
    A Resource Logic for Multi-Agent Plan Merging. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:37, n:1-2, pp:93-130 [Journal]
  6. Hans Tonino, Ken-etsu Fujita
    On the Adequacy of Representing Higher Order Intuitionistic Logic as a Pure Type System. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1992, v:57, n:3, pp:251-276 [Journal]

Search in 0.002secs, Finished in 0.002secs
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