Concepedia

Jean-Luc Rémy

JR

6

Publications

122

Citations

6

H-Index

1983

Active since

Affiliations

Université de Lorraine(Current)

Centre National de la Recherche Scientifique

Laboratoire Lorrain de Recherche en Informatique et ses Applications

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

Top concepts

EngineeringComputer ScienceComputational GeometryComputational ComplexityMathematical ProgrammingGraph TheoryVerificationFormal MethodsImage AnalysisMachine Vision

Publications per year

1983–2005

6

Publications

6

REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types.

Jean-Luc Rémy, Hantao Zhang · 1984 · 32 citations

Formal Specification, Abstract Data Types, Engineering +10

A linear-time algorithm for the generation of trees

Laurent Alonso, Jean-Luc Rémy, René Schott · Algorithmica · 1997 · 29 citations

Mathematical Programming, Tree Language, Engineering +8

Detection of the discrete convexity of polyominoes

Isabelle Debled-Rennesson, Jean-Luc Rémy, Jocelyne Rouyer-Degli · Discrete Applied Mathematics · 2002 · 28 citations

Mathematical Programming, Discrete Geometry, Engineering +5

Church-rosser properties of weakly terminating term rewriting systems

Jean-Pierre Jouannaud, Claude Kirchner, Jean-Luc Rémy · 1983 · 13 citations

Linear segmentation of discrete curves into blurred segments

Isabelle Debled-Rennesson, Jean-Luc Rémy, Jocelyne Rouyer-Degli · Discrete Applied Mathematics · 2005 · 10 citations

Geometric Modeling, Machine Vision, Image Analysis +9

Rows per page

1–5 of 6