Liste extraite de HAL

>

Revues Internationales

[1] Matthieu Dreher, Jessica Prevoteau-Jonquet, Mikael Trellet, Marc Piuzzi, Marc Baaden, Bruno Raffin, Nicolas Férey, Sophie Robert, and Sébastien Limet. ExaViz: a Flexible Framework to Analyse, Steer and Interact with Molecular Dynamics Simulations. Faraday Discussions of the Chemical Society, 05 2014. [ DOI | http ]
[2] Hiep-Thuan Do, Sébastien Limet, and Emmanuel Melin. A scalable parallel minimum spanning tree algorithm for catchment basin delimitation in large digital elevation models. Concurrency and Computation: Practice and Experience, 25(10):1394-1409, 2013. [ DOI | http ]
[3] Sébastien Limet and Gernot Salzer. Tree tuple languages from the logic programming point of view. Journal of Automated Reasoning, 37(4):323-349, 2006. [ http ]
[4] Sébastien Limet and 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. [ http ]
[5] Sébastien Limet and Gernot Salzer. Manipulating tree tuple languages by transforming logic programs. Electronic Notes in Computer Science, 86:15 pages, 2003. [ http ]
[6] Sébastien Limet and Pierre Réty. E-unification by means of tree tuple synchronized grammars. Discrete Mathematics and Theoretical Computer Science, 1(1):69-98, 1997. [ http ]

Conférences Internationales avec comité de lecture et actes

[1] Hélène Coullon, Jose-Maria Fullana, Pierre-Yves Lagrée, Sébastien Limet, and Xiaofei Wang. Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS. In ICCS 2014, International Conference on Computational Science, Cairns, Australie, 06 2014. [ http ]
[2] Sébastien Limet, Millian Poquet, and Sophie Robert. Modulight : A Framework for Efficient Dynamic Interactive Scientific Visualization. In ICCS, International Conference on computational Science, page 1, Cairns, France, 2014. [ http ]
[3] Hélène Coullon and Sébastien Limet. Algorithmic skeleton library for scientific simulations : SkelGIS. In IEEE, editor, HPCS 2013, Proceedings of the 2013 International Conference on High Performance Computing & Simulation (HPCS 2013), page 429, Helsinki, Finlande, 07 2013. [ http ]
[4] Hélène Coullon, Sébastien Limet, and Hoang Le Minh. Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGIS. In Elsevier, editor, ICCS, Proceedings of the International Conference on Computational Science, ICCS 2013, Barcelona, Spain, 5-7 June, 2013, volume 18 of Procedia Computer Science, pages 591-600, Barcelone, Espagne, 06 2013. Elsevier. [ DOI | http ]
[5] Matthieu Dreher, Marc Piuzzi, Turki Ahmed, Chavent Matthieu, Marc Baaden, Nicolas Férey, Sébastien Limet, Bruno Raffin, and Sophie Robert. Interactive Molecular Dynamics: Scaling up to Large Systems. In International Conference on Computational Science, ICCS 2013, Barcelone, Espagne, 06 2013. Elsevier. [ http ]
[6] Sébastien Limet, Sophie Robert, and Ahmed Turki. Controlling an iteration-wise coherence in dataflow. In FACS, procedings of the 8th International Symposium on Formal Aspects of Component Software, LNCS, pages 1-15, Oslo, Norvège, 2012. Springer. [ http ]
[7] Sébastien Limet, Sophie Robert, and Ahmed Turki. Coherence and Performance for Interactive Scientific Visualisation Applications. In Software Composition: 10th International Symposium, SC 2011, Software Composition: 10th International Symposium, volume 6708 of LNCS, pages 149-164, Zurich, Suisse, 2011. Springer. [ http ]
[8] Hiep-Thuan Do, Sébastien Limet, and Emmanuel Melin. Parallel Computing Flow Accumulation in Large Digital Elevation Models. In The 11th International Conference on Computational Science (ICCS 2011), volume 4, pages 2277-2286, Singapour, Singapour, 2011. [ DOI | http ]
[9] Hiep-Thuan Do, Sébastien Limet, and Emmanuel Melin. Parallel Computing of Catchment Basin of Rivers in Large Digital Elevation Model. In The 2010 International Conference on High Performance Computing & Simulation, HPCS 2010 Proceedings, Caen, France, 06 2010. [ http ]
[10] Hélène Coullon, Sébastien Limet, and Emmanuel Melin. A simple framework to generate parallel application for geospatial processing. In COM.Geo 2010, Proceedings of the 1st International Conference and Exhibition on Computing for Geospatial Research & Application, ACM International Conference Proceeding Series, Washington, États-Unis, 2010. ACM. [ http ]
[11] Hiep-Thuan Do, Sébastien Limet, and Emmanuel Melin. Parallel Computing of Catchment Basins in Large Digital Elevation Model. In HPCA2009, Second International Conference on High Performance Computing and Applications, volume 5938 of Lecture Notes in Computer Science, pages 133-138. Springer, 2010. [ http ]
[12] Sébastien Limet, Sophie Robert, and Ahmed Turki. FlowVR-SciViz: a component-based framework for interactive scientific visualization. In CBHPC '09, pages 1-9, New York, NY, USA, États-Unis, 2009. ACM. [ DOI | http ]
[13] Sébastien Limet and Pierre Pillot. Deciding Satisfiability of Positive Second Order Joinability Formulae. In 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR06), Proceedings of the 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR06), volume 4246 of LNCS, pages 15-29. Springer Verlag, 2006. [ http ]
[14] Sébastien Limet and Pierre Pillot. Solving First Order Formulae of Pseudo-Regular Theory. In 2nd International Colloquium of Theoretical Aspects of Computing (ICTAC05), Proceedings of the 2nd International Colloquium of Theoretical Aspects of Computing (ICTAC05), volume 3722 of LNCS, pages 110-124. Springer Verlag, 2005. [ http ]
[15] Sébastien Limet. Tree tuple languages as logic programs, and applications. In Proceedings of the International Workshop on Security Analysis of Systems: Formalism and Tools (SASYFT'2004), pages 1-17. LIFO Université d'Orléans, 2004. [ http ]
[16] Sébastien Limet and Gernot Salzer. Basic rewriting via logic programming, with an application to the reachability problem. In 15th Conference on Rewriting Techniques and Applications (RTA 04), Proceedings of the 15th Conference on Rewriting Techniques and Applications (RTA 04), volume 3091 of LNCS, pages 170-184, Aachen, Allemagne, 2004. Springer Verlag. [ http ]
[17] Emmanuel Melin, Valérie Gouranton, Sébastien Limet, and Souley Madougou. A scalable cluster-based parallel simplification framework for height fileds. In EuroGraphics, editor, Proceedings Parallel Graphics and Visualization'04, pages 59-65. ACM SIGGRAPH, 2004. [ http ]
[18] Jérémie Allard, Valérie Gouranton, Loïc Lecointre, Sébastien Limet, Emmanuel Melin, Bruno Raffin, and Sophie Robert. Flowvr: a middleware for large scale virtual reality applications. In Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Lecture Notes in Computer Science 3149, pages 497-505. Springer, 2004. [ http ]
[19] Sébastien Limet, Pierre Réty, and Helmut Seidl. Weakly Regular Relations and Applications. In RTA 2001, 12th International Conference on Rewriting Techniques and Applications, volume 2051, pages 185-200, Utrecht, Pays-Bas, 2001. [ http ]
[20] Sébastien Limet and Pierre Réty. A New Result about the Decidability of the Existential One-Step Rewriting Theory. In RTA 99, 10th International Conference on Rewriting Techniques and Applications, volume 1631 of LNCS, pages 118-132, Trento, Italie, 1999. Springer. [ http ]
[21] Sébastien Limet and Frédéric Saubion. A General Framework for R-Unification Problems. In PILP/ALP, 10th International Symposium on Principles of Declarative Programming, LNCS, pages 266-281, Pisa, Italie, 1998. Springer. [ http ]
[22] Sébastien Limet and Pierre Réty. Solving Disequations Modulo Some Class of Rewrite Systems. In RTA 1998, 9th International Conference on Rewriting Techniques and Applications, LNCS, pages 121-135, Tsukuba, Japon, 1998. Springer. [ http ]
[23] Sébastien Limet and Frédéric Saubion. On Partial Validation of Logic Programs. In AMAST 1997, 6th International Conference on Algebraic Methodology and Software Technology, LNCS, pages 365-379, Sidney, Australie, 1997. Springer. [ http ]
[24] Sébastien Limet and Pierre Réty. E-Unification by Means of Tree Tuple Synchronized Grammars. In TAPSOFT 1997, 7th International Joint Conference CAAP/FASE, volume 1214 of LNCS, pages 429-440, Lille, France, 1997. Springer. [ http ]
[25] Sébastien Limet and Pierre Réty. Conditional Directed Narrowing. In 5th International Conference on Algebraic Methodology and Software Technology, AMAST 96, volume 1101 of LNCS, pages 637-640, Munich, Allemagne, 1996. Springer. [ http ]

Revues Nationales

[1] Abderrahim Ait Wakrime, Sébastien Limet, and Sophie Robert. Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives. REVUE DES NOUVELLES TECHNOLOGIES DE L'INFORMATION, page 1, 2014. [ http ]
[2] Sébastien Limet, Sophie Robert, and Ahmed Turki. Construction automatique d'applications de visualisation scientifique interactive fortement cohérentes. REVUE DES NOUVELLES TECHNOLOGIES DE L'INFORMATION, RNTI-L-6:49-72, 2012. [ http ]
[3] Hélène Coullon, Audrey Latapie, Sébastien Limet, Emmanuel Melin, Daniel Pierre, Sophie Robert, and Xavier 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. [ DOI | http ]

Conférences Nationales avec comité de lecture et actes

[1] Sébastien Limet, Millian Poquet, and Sophie Robert. Modulight : un framework efficace pour la visualisation scientifique interactive dynamique. In Compas, Conférence en Parallélisme, Architecture et Systèmes, page 1, Neuchâtel, Suisse, 2014. [ http ]
[2] Abderrahim Ait Wakrime, Sébastien Limet, and Sophie Robert. Modélisation des applications de visualisation scientifique interactives. In CAL 2013, Actes de la conférence francophone sur les architectures logicielles, page 1, Toulouse, France, 05 2013. [ http ]
[3] Sébastien Limet, Sophie Robert, and Ahmed Turki. Construction automatique d'applications de visualisation scientifique interactives sous contraintes de cohérence. In CAL 2011, Actes de la conférence francophone sur les architectures logicielles, pages 20-30, Lille, France, 2011. [ http ]

Posters

[1] Sébastien Limet, Sophie Robert, and Ahmed Turki. Integrating Heterogeneous Simulation Codes in FlowVR Interactive Applications, 12 2009. Joint Virtual Reality Conference 2009. [ http ]
[2] Simon Arvaux, Joeffrey Legaux, Sébastien Limet, Emmanuel Melin, and Sophie Robert. Parallel LOD for static and dynamic generic geo-referenced data. In VRST, pages 301-302, Bordeaux, France, 2008. [ http ]
[3] Sébastien Limet and Sophie Robert. FlowVR-VRPN: first experiments of a VRPN/FlowVR coupling. In VRST, pages 251-252, Bordeaux, France, 2008. [ http ]

Communications orales sans actes

[1] Hélène Coullon, Sébastien Limet, and Hoang Le Minh. Performances de la Librairie de Squelettes Algorithmiques SkelGIS, 01 2013. ComPAS 2013. [ http ]
[2] Hélène Coullon and Sébastien Limet. Une librairie de squelettes algorithmiques par blocs sur structure de données 2D, 06 2012. CIEL 2012. [ http ]

Conférences Invitées

[1] Sébastien Limet. High level languages for efficient parallel programming., 2012. [ DOI | http ]