Search the dblp DataBase

Publications of Author

1. Sébastien Limet, Pierre Réty
   Conditional Directed Narrowing. [Citation Graph (0, 0)][DBLP]
   AMAST, 1996, pp:637-640 [Conf]
   
2. Sébastien Limet, Frédéric Saubion
   On Partial Validation of Logic Programs. [Citation Graph (0, 0)][DBLP]
   AMAST, 1997, pp:365-379 [Conf]
   
3. Valérie Gouranton, Sébastien Limet, Souley Madougou, Emmanuel Melin
   A Scalable Cluster-based Parallel Simplifi cation Framework for Height Fields. [Citation Graph (0, 0)][DBLP]
   EGPGV, 2004, pp:59-65 [Conf]
   
4. Jérémie Allard, Valérie Gouranton, Loïck Lecointre, Sébastien Limet, Bruno Raffin, Sophie Robert
   FlowVR: A Middleware for Large Scale Virtual Reality Applications. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 2004, pp:497-505 [Conf]
   
5. Sébastien Limet, Pierre Pillot
   Solving First Order Formulae of Pseudo-Regular Theory. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2005, pp:110-124 [Conf]
   
6. Sébastien Limet, Pierre Pillot
   Deciding Satisfiability of Positive Second Order Joinability Formulae. [Citation Graph (0, 0)][DBLP]
   LPAR, 2006, pp:15-29 [Conf]
   
7. Sébastien Limet, Frédéric Saubion
   A General Framework for R-Unification Problems. [Citation Graph (0, 0)][DBLP]
   PLILP/ALP, 1998, pp:266-281 [Conf]
   
8. Sébastien Limet, Pierre Réty
   Solving Disequations Modulo Some Class of Rewrite Systems. [Citation Graph (0, 0)][DBLP]
   RTA, 1998, pp:121-135 [Conf]
   
9. Sébastien Limet, Pierre Réty
   A New Result about the Decidability of the Existential One-Step Rewriting Theory. [Citation Graph (0, 0)][DBLP]
   RTA, 1999, pp:118-132 [Conf]
   
10. Sébastien Limet, Pierre Réty, Helmut Seidl
    Weakly Regular Relations and Applications. [Citation Graph (0, 0)][DBLP]
    RTA, 2001, pp:185-200 [Conf]
    
11. Sébastien Limet, Gernot Salzer
    Proving Properties of Term Rewrite Systems via Logic Programs. [Citation Graph (0, 0)][DBLP]
    RTA, 2004, pp:170-184 [Conf]
    
12. Sébastien Limet, Pierre Réty
    E-Unification by Means of Tree Tuple Synchronized Grammars. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:429-440 [Conf]
    
13. Sébastien Limet, Pierre Réty
    E-unification by means of tree tuple synchronized grammars. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics & Theoretical Computer Science, 1997, v:1, n:1, pp:69-98 [Journal]
    
14. Sébastien Limet, Gernot Salzer
    Manipulating Tree Tuple Languages by Transforming Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
    
15. Sébastien Limet, Gernot Salzer
    Tree Tuple Languages from the Logic Programming Point of View. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:4, pp:323-349 [Journal]
    
16. 
    Parallel LOD for static and dynamic generic geo-referenced data. [Citation Graph (, )][DBLP]
    
    
17. 
    FlowVR-VRPN: first experiments of a VRPN/FlowVR coupling. [Citation Graph (, )][DBLP]
    
    
18. 
    Parallel Computing of Catchment Basins in Large Digital Elevation Model. [Citation Graph (, )][DBLP]
    
    
19. 
    A simple framework to generate parallel application for geospatial processing. [Citation Graph (, )][DBLP]
    
    
20. 
    Parallel computing of catchment basins of rivers in large digital elevation models. [Citation Graph (, )][DBLP]