 | 2011 |
|---|
| 24 |       | Sébastien Limet,
Sophie Robert,
Ahmed Turki:
Coherence and Performance for Interactive Scientific Visualization Applications.
Software Composition 2011: 149-164 |
| 23 | | Hélène Coullon,
A. Latapie,
Sébastien Limet,
Emmanuel Melin,
D. Pierre,
Sophie Robert,
X. Thomas:
Calculs parallèles pour le traitement des gros volumes de données liées aux risques environnementaux.
Ingénierie des Systèmes d'Information 16(3): 31-54 (2011) |
| 22 | | Hiep-Thuan Do,
Sébastien Limet,
Emmanuel Melin:
Parallel Computing Flow Accumulation in Large Digital Elevation Models.
Procedia CS 4: 2277-2286 (2011) |
| 2010 |
|---|
| 21 | | Hélène Coullon,
Sébastien Limet,
Emmanuel Melin:
A simple framework to generate parallel application for geospatial processing.
COM.Geo 2010 |
| 20 | | Hiep-Thuan Do,
Sébastien Limet,
Emmanuel Melin:
Parallel computing of catchment basins of rivers in large digital elevation models.
HPCS 2010: 39-47 |
| 2009 |
|---|
| 19 | | Hiep-Thuan Do,
Sébastien Limet,
Emmanuel Melin:
Parallel Computing of Catchment Basins in Large Digital Elevation Model.
HPCA (China) 2009: 133-138 |
| 2008 |
|---|
| 18 | | Sébastien Limet,
Sophie Robert:
FlowVR-VRPN: first experiments of a VRPN/FlowVR coupling.
VRST 2008: 251-252 |
| 17 | | 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 | | Sébastien Limet,
Pierre Pillot:
Deciding Satisfiability of Positive Second Order Joinability Formulae.
LPAR 2006: 15-29 |
| 15 | | 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 | | 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 | | 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 | | Sébastien Limet,
Gernot Salzer:
Proving Properties of Term Rewrite Systems via Logic Programs.
RTA 2004: 170-184 |
| 2003 |
|---|
| 9 | | Sébastien Limet,
Gernot Salzer:
Manipulating Tree Tuple Languages by Transforming Logic Programs.
Electr. Notes Theor. Comput. Sci. 86(1): 76-90 (2003) |
| 2001 |
|---|
| 8 | | Sébastien Limet,
Pierre Réty,
Helmut Seidl:
Weakly Regular Relations and Applications.
RTA 2001: 185-200 |
| 1999 |
|---|
| 7 | | 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 | | Sébastien Limet,
Frédéric Saubion:
A General Framework for R-Unification Problems.
PLILP/ALP 1998: 266-281 |
| 5 | | 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 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page