The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sébastien Hoarau: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard
    CLP(chi) for Proving Program Properties. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:321-338 [Conf]
  2. Sébastien Hoarau, Frédéric Mesnard
    PLC(Bool) pour la détection de variables numériques bornées. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1996, pp:169-184 [Conf]
  3. Sébastien Hoarau, Frédéric Mesnard
    Inférer et compiler la terminaison des programmes logiques avec contraintes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1998, pp:269-286 [Conf]
  4. Frédéric Mesnard, Sébastien Hoarau
    Contrôle dynamique de la résolution pour les programmes logiques avec contraintes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1995, pp:259-273 [Conf]
  5. Sébastien Hoarau, Frédéric Mesnard
    Inferring and Compiling Termination for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:240-254 [Conf]
  6. Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel
    cTI: Bottom-Up Termination Inference for Logic Programs. [Citation Graph (0, 0)][DBLP]
    15. WLP, 2000, pp:123-134 [Conf]
  7. Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard
    CLP(chi) for Automatically Proving Program Properties. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:37, n:1-3, pp:77-93 [Journal]

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