Search the dblp DataBase
Sébastien Hoarau: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - 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] - 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] - 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] - 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] - 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] - 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.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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002