The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Yves Guiraud: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Abdelkader Gouaich, Fabien Michel, Yves Guiraud
    MIC: A Deployment Environment for Autonomous Agents. [Citation Graph (0, 0)][DBLP]
    E4MAS, 2004, pp:109-126 [Conf]
  2. Abdelkader Gouaich, Yves Guiraud
    MIC: Algebraic Agent Environment. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2003, pp:216-220 [Conf]
  3. Yves Guiraud
    The three dimensions of proofs. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:266-295 [Journal]
  4. Yves Guiraud
    Two polygraphic presentations of Petri nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:124-146 [Journal]
  5. Guillaume Bonfante, Yves Guiraud
    Programs as polygraphs: computability and complexity [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  6. Yves Guiraud
    Polygraphs for termination of left-linear term rewriting systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  7. Guillaume Bonfante, Yves Guiraud
    Intensional properties of polygraphs [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  8. Yves Guiraud
    Termination orders for 3-dimensional rewriting [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  9. Yves Guiraud
    Termination orders for 3-polygraphs [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  10. Yves Guiraud
    Two polygraphic presentations of Petri nets [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  11. Yves Guiraud
    The three dimensions of proofs [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  12. Intensional Properties of Polygraphs. [Citation Graph (, )][DBLP]


Search in 0.001secs, 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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002