Articles dans des revues avec comité de lecture
  1. «Calculs parallèles pour le traitement des gros volumes de données liées aux risques environnementaux.», Coullon, Hélène; Latapie, Audrey; Limet, Sébastien; Melin, Emmanuel; Pierre, Daniel; Robert, Sophie; Thomas, Xavier, Ingénierie des Systèmes d'Information (ISI), nationale (2011) 16 3 31-54

  2. «Tree tuple languages from the logic programming point of view», Limet, Sébastien; Salzer, Gernot, Journal of Automated Reasoning, internationale (2006) 37 4 323-349

  3. «Basic rewriting via logic programming, with an application to the reachability problem», Limet, Sébastien; Salzer, Gernot, Journal of Automata, Languages and Combinatorics, internationale (2006) 11 1 107--142

  4. «Manipulating tree tuple languages by transforming logic programs», Limet, Sébastien; Salzer, Gernot, Electronic Notes in Computer Science, (2003) 86 15 pages

  5. «E-Unification by Means of Tree Tuple Synchronized Grammars», Limet, Sébastien; Réty, Pierre, Discrete Mathematics and Theoretical Computer Science, internationale (1997) 1 69-98

Communications avec actes
  1. «Controlling an iteration-wise coherence in dataflow», Limet, Sébastien; Robert, Sophie; Turki, Ahmed, procedings of the 8th International Symposium on Formal Aspects of Component Software, internationale (2012) 1-15 Springer LNCS FACS

  2. «Parallel Computing Flow Accumulation in Large Digital Elevation Models», Do, Hiep-Thuan; Limet, Sébastien; Melin, Emmanuel, The 11th International Conference on Computational Science (ICCS 2011), internationale (2011) 4 2277-2286 The 11th International Conference on Computational Science (ICCS 2011)

  3. «Construction automatique d'applications de visualisation scientifique interactives sous contraintes de cohérence», Limet, Sébastien; Robert, Sophie; Turki, Ahmed, Actes de la conférence francophone sur les architectures logicielles, nationale (2011) 20-30 CAL 2011

  4. «Coherence and Performance for Interactive Scientific Visualisation Applications», Limet, Sébastien; Robert, Sophie; Turki, Ahmed, Software Composition: 10th International Symposium, internationale (2011) 6708 149-164 Springer LNCS Software Composition: 10th International Symposium, SC 2011

  5. «Parallel Computing of Catchment Basin of Rivers in Large Digital Elevation Model», Do, Hiep-Thuan; Limet, Sébastien; Melin, Emmanuel, HPCS 2010 Proceedings, internationale (2010) - The 2010 International Conference on High Performance Computing & Simulation

  6. «Parallel Computing of Catchment Basins in Large Digital Elevation Model», Do, Hiep-Thuan; Limet, Sébastien; Melin, Emmanuel, Second International Conference on High Performance Computing and Applications, internationale (2010) 5938 133-138 Springer Lecture Notes in Computer Science HPCA2009

  7. «A Simple Framework to Generate Parallel Application for Geospatial Processing», Hélène, Coullon; Limet, Sébastien; Melin, Emmanuel, internationale (2010) ACM Geo.Com 2010

  8. «FlowVR-SciViz: a component-based framework for interactive scientific visualization», Limet, Sébastien; Robert, Sophie; Turki, Ahmed, internationale (2009) 1--9 ACM CBHPC '09

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

  10. «FlowVR-VRPN: first experiments of a VRPN/FlowVR coupling», Limet, Sébastien; Robert, Sophie, internationale (2008) 251-252 VRST

  11. «Deciding Satisfiability of Positive Second Order Joinability Formulae», Limet, Sébastien; Pillot, Pierre, Proceedings of the 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR06), internationale (2006) 4246 15-29 Springer Verlag LNCS 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR06)

  12. «Solving First Order Formulae of Pseudo-Regular Theory», Limet, Sébastien; Pillot, Pierre, Proceedings of the 2nd International Colloquium of Theoretical Aspects of Computing (ICTAC05), internationale (2005) 3722 110-124 Springer Verlag LNCS 2nd International Colloquium of Theoretical Aspects of Computing (ICTAC05)

  13. «Flowvr: a middleware for large scale virtual reality applications», Allard, Jérémie; Gouranton, Valérie; Lecointre, Loïc; Limet, Sébastien; Melin, Emmanuel; Raffin, Bruno; Robert, Sophie, Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, (2004) 497-505 Springer Lecture Notes in Computer Science 3149

  14. «Tree tuple languages as logic programs, and applications», Limet, Sébastien, Proceedings of the International Workshop on Security Analysis of Systems: Formalism and Tools (SASYFT'2004), (2004) 1-17 LIFO Université d'Orléans

  15. «Basic rewriting via logic programming, with an application to the reachability problem», Limet, Sébastien; Salzer, Gernot, Proceedings of the 15th Conference on Rewriting Techniques and Applications (RTA 04), internationale (2004) 3091 170-184 Springer Verlag LNCS 15th Conference on Rewriting Techniques and Applications (RTA 04)

  16. «A scalable cluster-based parallel simplification framework for height fileds», Melin, Emmanuel; Gouranton, Valérie; Limet, Sébastien; Madougou, Souley, Proceedings Parallel Graphics and Visualization'04, (2004) 59-65 ACM SIGGRAPH EuroGraphics

Communications sans actes
  1. «Integrating Heterogeneous Simulation Codes in FlowVR Interactive Applications», Limet, Sébastien; Robert, Sophie; Turki, Ahmed, () Joint Virtual Reality Conference 2009