Jean-Luc Rémy - Concepedia

Author

Jean-Luc Rémy

Also Known As

CTRS 1992 Pont-à-Mousson, J Rémy, J. L. Remy, J. L. Rémy, J.-L. Rémy, J.L. Remy, J.L. Rémy, J.P.P. Rémy, JEAN-LUC REMY, Jean-Luc Remy

Publications

411

Citations

H-Index

Concepts

All Affiliations

Jean-Luc Rémy is an author at Université de Lorraine specializing in engineering, mathematical programming, and computational complexity.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	99
2	Computer Science	2	2	61
3	Natural Sciences	1	1	10
4	Combinatorial Optimization	1	1	29
5	Computer Vision	1	1	10

Jean-Luc Rémy

Publications

122

Citations

H-Index

Page 1

	Year	Citations
REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. Jean-Luc Rémy, Hantao Zhang Formal SpecificationAbstract Data TypesEngineeringAutomated ReasoningVerification	1984	32
A linear-time algorithm for the generation of trees Laurent Alonso, Jean-Luc Rémy, René Schott Algorithmica Mathematical ProgrammingTree LanguageEngineeringGraph TheoryAlgorithm Design	1997	29
Detection of the discrete convexity of polyominoes Isabelle Debled-Rennesson, Jean-Luc Rémy, Jocelyne Rouyer-Degli Discrete Applied Mathematics Mathematical ProgrammingDiscrete GeometryEngineeringComputational ComplexityExtremal Combinatorics	2002	28
Church-rosser properties of weakly terminating term rewriting systems Jean-Pierre Jouannaud, Claude Kirchner, Jean-Luc Rémy	1983	13
Linear segmentation of discrete curves into blurred segments Isabelle Debled-Rennesson, Jean-Luc Rémy, Jocelyne Rouyer-Degli Discrete Applied Mathematics Geometric ModelingMachine VisionImage AnalysisEngineeringNatural Sciences	2005	10
Segmentation of Discrete Curves into Fuzzy Segments Isabelle Debled-Rennesson, Jean-Luc Rémy, Jocelyne Rouyer-Degli HAL (Le Centre pour la Communication Scientifique Directe)	2003	10

Page 1