| 2008 |
|---|
| 18 | EE | Sébastien Limet,
Sophie Robert:
FlowVR-VRPN: first experiments of a VRPN/FlowVR coupling.
VRST 2008: 251-252 |
| 17 | EE | Simon Arvaux,
Joeffrey Legaux,
Sébastien Limet,
Emmanuel Melin,
Sophie Robert:
Parallel LOD for static and dynamic generic geo-referenced data.
VRST 2008: 301-302 |
| 2006 |
|---|
| 16 | EE | Sébastien Limet,
Pierre Pillot:
Deciding Satisfiability of Positive Second Order Joinability Formulae.
LPAR 2006: 15-29 |
| 15 | EE | Sébastien Limet,
Gernot Salzer:
Tree Tuple Languages from the Logic Programming Point of View.
J. Autom. Reasoning 37(4): 323-349 (2006) |
| 14 | | Sébastien Limet,
Gernot Salzer:
Basic Rewriting via Logic Programming, with an Application to the Reachability Problem.
Journal of Automata, Languages and Combinatorics 11(1): 107-142 (2006) |
| 2005 |
|---|
| 13 | EE | Sébastien Limet,
Pierre Pillot:
Solving First Order Formulae of Pseudo-Regular Theory.
ICTAC 2005: 110-124 |
| 2004 |
|---|
| 12 | | Valérie Gouranton,
Sébastien Limet,
Souley Madougou,
Emmanuel Melin:
A Scalable Cluster-based Parallel Simplifi cation Framework for Height Fields.
EGPGV 2004: 59-65 |
| 11 | EE | 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.
Euro-Par 2004: 497-505 |
| 10 | EE | Sébastien Limet,
Gernot Salzer:
Proving Properties of Term Rewrite Systems via Logic Programs.
RTA 2004: 170-184 |
| 2003 |
|---|
| 9 | EE | Sébastien Limet,
Gernot Salzer:
Manipulating Tree Tuple Languages by Transforming Logic Programs.
Electr. Notes Theor. Comput. Sci. 86(1): (2003) |
| 2001 |
|---|
| 8 | EE | Sébastien Limet,
Pierre Réty,
Helmut Seidl:
Weakly Regular Relations and Applications.
RTA 2001: 185-200 |
| 1999 |
|---|
| 7 | EE | Sébastien Limet,
Pierre Réty:
A New Result about the Decidability of the Existential One-Step Rewriting Theory.
RTA 1999: 118-132 |
| 1998 |
|---|
| 6 | EE | Sébastien Limet,
Frédéric Saubion:
A General Framework for R-Unification Problems.
PLILP/ALP 1998: 266-281 |
| 5 | EE | Sébastien Limet,
Pierre Réty:
Solving Disequations Modulo Some Class of Rewrite Systems.
RTA 1998: 121-135 |
| 1997 |
|---|
| 4 | | Sébastien Limet,
Frédéric Saubion:
On Partial Validation of Logic Programs.
AMAST 1997: 365-379 |
| 3 | | Sébastien Limet,
Pierre Réty:
E-Unification by Means of Tree Tuple Synchronized Grammars.
TAPSOFT 1997: 429-440 |
| 2 | EE | Sébastien Limet,
Pierre Réty:
E-unification by means of tree tuple synchronized grammars.
Discrete Mathematics & Theoretical Computer Science 1(1): 69-98 (1997) |
| 1996 |
|---|
| 1 | | Sébastien Limet,
Pierre Réty:
Conditional Directed Narrowing.
AMAST 1996: 637-640 |
