An Attempt of Integration of LSE Narrowing and Directed Narrowing. - Sébastien Limet; Pierre Réty (UNIF, 1995)

Conditional Directed Narrowing. - Sébastien Limet; Pierre Réty (AMAST, 1996)

On Partial Validation of Logic Programs. - Sébastien Limet; Frédéric Saubion (AMAST, 1997)

E-unification by means of tree tuple synchronized grammars. - Sébastien Limet; Pierre Réty (Discret. Math. Theor. Comput. Sci., 1997)

A General Framework for R-Unification Problems. - Sébastien Limet; Frédéric Saubion (PLILP/ALP, 1998)

Solving Disequations Modulo Some Class of Rewrite Systems. - Sébastien Limet; Pierre Réty (RTA, 1998)

A New Result about the Decidability of the Existential One-Step Rewriting Theory. - Sébastien Limet; Pierre Réty (RTA, 1999)

Weakly Regular Relations and Applications. - Sébastien Limet; Pierre Réty; Helmut Seidl (RTA, 2001)

Manipulating Tree Tuple Languages by Transforming Logic Programs. - Sébastien Limet; Gernot Salzer (FTP, 2003)

A Scalable Cluster-based Parallel Simplifi cation Framework for Height Fields. - Valérie Gouranton; Sébastien Limet; Souley Madougou; Emmanuel Melin (EGPGV, 2004)

FlowVR: A Middleware for Large Scale Virtual Reality Applications. - Jérémie Allard; Valérie Gouranton; Loïck Lecointre; Sébastien Limet; Bruno Raffin; Sophie Robert 001 (Euro-Par, 2004)

Proving Properties of Term Rewrite Systems via Logic Programs. - Sébastien Limet; Gernot Salzer (RTA, 2004)

Solving First Order Formulae of Pseudo-Regular Theory. - Sébastien Limet; Pierre Pillot (ICTAC, 2005)

Deciding Satisfiability of Positive Second Order Joinability Formulae. - Sébastien Limet; Pierre Pillot (LPAR, 2006)

Basic Rewriting via Logic Programming, with an Application to the Reachability Problem. - Sébastien Limet; Gernot Salzer (J. Autom. Lang. Comb., 2006)

Tree Tuple Languages from the Logic Programming Point of View. - Sébastien Limet; Gernot Salzer (J. Autom. Reason., 2006)

Parallel LOD for static and dynamic generic geo-referenced data. - Simon Arvaux; Joeffrey Legaux; Sébastien Limet; Emmanuel Melin; Sophie Robert 001 (VRST, 2008)

FlowVR-VRPN: first experiments of a VRPN/FlowVR coupling. - Sébastien Limet; Sophie Robert 001 (VRST, 2008)

Parallel Computing of Catchment Basins in Large Digital Elevation Model. - Hiep-Thuan Do; Sébastien Limet; Emmanuel Melin (HPCA (China), 2009)

A simple framework to generate parallel application for geospatial processing. - Hélène Coullon; Sébastien Limet; Emmanuel Melin (COM.Geo, 2010)

Parallel computing of catchment basins of rivers in large digital elevation models. - Hiep-Thuan Do; Sébastien Limet; Emmanuel Melin (HPCS, 2010)

Construction automatique d'applications de visualisation scientifique interactive fortement cohérentes. - Sébastien Limet; Sophie Robert 001; Ahmed Turki (CAL, 2011)

Controlling an Iteration-Wise Coherence in Dataflow. - Sébastien Limet; Sophie Robert 001; Ahmed Turki (FACS, 2011)

Coherence and Performance for Interactive Scientific Visualization Applications. - Sébastien Limet; Sophie Robert 001; Ahmed Turki (SC@TOOLS, 2011)

Calculs parallèles pour le traitement des gros volumes de données liées aux risques environnementaux. - Hélène Coullon; Audrey Latapie; Sébastien Limet; Emmanuel Melin; Daniel Pierre; Sophie Robert 001; Xavier Thomas (Ingénierie des Systèmes d Inf., 2011)

Parallel Computing Flow Accumulation in Large Digital Elevation Models. - Hiep-Thuan Do; Sébastien Limet; Emmanuel Melin (ICCS, 2011)

Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives. - Abderrahim Ait Wakrime; Sébastien Limet; Sophie Robert 001 (CAL, 2012)

High level languages for efficient parallel programming. - Sébastien Limet (HPCS, 2012)

Interactive Molecular Dynamics: Scaling up to Large Systems. - Matthieu Dreher; Marc Piuzzi; Ahmed Turki; Matthieu Chavent; Marc Baaden; Nicolas Férey; Sébastien Limet; Bruno Raffin; Sophie Robert 001 (ICCS, 2013)

Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGIS. - Hélène Coullon; Minh-Hoang Le; Sébastien Limet (ICCS, 2013)

Algorithmic skeleton library for scientific simulations: SkelGIS. - Hélène Coullon; Sébastien Limet (HPCS, 2013)

A scalable parallel minimum spanning tree algorithm for catchment basin delimitation in large digital elevation models. - Hiep-Thuan Do; Sébastien Limet; Emmanuel Melin (Concurr. Comput. Pract. Exp., 2013)

Implementation and Performance Analysis of SkelGIS for Network Mesh-Based Simulations. - Hélène Coullon; Sébastien Limet (Euro-Par, 2014)

Place-Liveness of ComSA Applications. - Abderrahim Ait Wakrime; Sébastien Limet; Sophie Robert 001 (FACS, 2014)

Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS. - Hélène Coullon; Jose-Maria Fullana; Pierre-Yves Lagrée; Sébastien Limet; Xiaofei Wang (ICCS, 2014)

Modulight: A Framework for Efficient Dynamic Interactive Scientific Visualization. - Sébastien Limet; Millian Poquet; Sophie Robert 001 (ICCS, 2014)

On the fly reconfiguration of interactive scientific visualization applications. - Abderrahim Ait Wakrime; Sébastien Limet; Sophie Robert 001 (HPCS, 2015)

High-performance computing: to boldly go where no human has gone before. - Sébastien Limet; Waleed W. Smari; Luca Spalazzi (Concurr. Comput. Pract. Exp., 2015)

The SIPSim implicit parallelism model and the SkelGIS library. - Hélène Coullon; Sébastien Limet (Concurr. Comput. Pract. Exp., 2016)

Efficient Implicit Parallel Patterns for Geographic Information System. - Kevin Bourgeois; Sophie Robert 001; Sébastien Limet; Victor Essayan (ICCS, 2017)

An Hierarchical Labeling Technique for Interactive Computation of Watersheds. - Kevin Bourgeois; Sophie Robert 001; Sébastien Limet; Victor Essayan (HPCS, 2017)

GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences. - Kevin Bourgeois; Sophie Robert 001; Sébastien Limet; Victor Essayan (ICCS (3), 2018)

Performance Analysis of SIMD Vectorization of High-Order Finite-Element Kernels. - Gauthier Sornet; Sylvain Jubertie; Fabrice Dupros; Florent De Martin; Sébastien Limet (HPCS, 2018)

Data-Layout Reorganization for an Efficient Intra-Node Assembly of a Spectral Finite-Element Method. - Gauthier Sornet; Sylvain Jubertie; Fabrice Dupros; Florent De Martin; Philippe Thierry; Sébastien Limet (PDP, 2018)

HPC & Co strike back: Where are distributed paradigms heading toward? - Sébastien Limet; Alessio Merlo; Luca Spalazzi (Concurr. Comput. Pract. Exp., 2018)

Efficient and Systematic Partitioning of Large and Deep Neural Networks for Parallelization. - Haoran Wang; Chong Li 003; Thibaut Tachon; Hongxing Wang; Sheng Yang; Sébastien Limet; Sophie Robert 001 (Euro-Par, 2021)

Towards a Scalable Set Similarity Join Using MapReduce and LSH. - Sébastien Rivault; Mostafa Bamha; Sébastien Limet; Sophie Robert 001 (ICCS (1), 2022)

A Scalable Similarity Join Algorithm Based on MapReduce and LSH. - Sébastien Rivault; Mostafa Bamha; Sébastien Limet; Sophie Robert 001 (Int. J. Parallel Program., 2022)

SMSG: Profiling-Free Parallelism Modeling for Distributed Training of DNN. - Haoran Wang; Thibaut Tachon; Chong Li 003; Sophie Robert 001; Sébastien Limet (Int. J. Parallel Program., 2023)

LSH SimilarityJoin Pattern in FastFlow. - Nicolò Tonci; Sébastien Rivault; Mostafa Bamha; Sophie Robert 001; Sébastien Limet; Massimo Torquati (Int. J. Parallel Program., 2024)

BioSkel - Towards a Framework for OMICS Applications. - Valentin Beauvais; Clémence Couton; Nicolò Tonci; Sébastien Limet; Lucile Mollet; Thierry Prazuck; Sophie Robert 001 (ICCS (Workshops 1), 2025)

Parallelizing RNA-Seq Analysis with BioSkel: A FastFlow Based Prototype. - Valentin Beauvais; Nicolò Tonci; Sophie Robert 001; Sébastien Limet (Int. J. Parallel Program., 2025)