Jean-Luc Remy

According to our database1, Jean-Luc Remy
  • authored at least 21 papers between 1979 and 2010.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
On the number of balanced words of given length and height over a two letter alphabet.
Discrete Mathematics & Theoretical Computer Science, 2010

2005
Linear segmentation of discrete curves into blurred segments.
Discrete Applied Mathematics, 2005

2003
Segmentation of Discrete Curves into Fuzzy Segments.
Electronic Notes in Discrete Mathematics, 2003

Detection of the discrete convexity of polyominoes.
Discrete Applied Mathematics, 2003

2000
Detection of the Discrete Convexity of Polyominoes.
Proceedings of the Discrete Geometry for Computer Imagery, 9th International Conference, 2000

1997
Uniform Generation of a Schröder Tree.
Inf. Process. Lett., 1997

A Linear-Time Algorithm for the Generation of Trees.
Algorithmica, 1997

1993
Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications.
Acta Inf., 1993

1990
On Sufficient Completeness of Conditional Specifications.
Proceedings of the Conditional and Typed Rewriting Systems, 1990

1988
Hierarchical Contextual Rewriting with Several Levels.
Proceedings of the STACS 88, 1988

1987
REVEUR4: A Laboratory for Conditional Rewriting.
Proceedings of the STACS 87, 1987

REVEUR4: A Laboratory for Conditional Rewriting.
Proceedings of the Conditional Term Rewriting Systems, 1987

Hierarchical Contextual Rewriting with Several Levels.
Proceedings of the Conditional Term Rewriting Systems, 1987

1985
Un Procédé Itératif de Dénombrement D'arbres Binaires et Son Application A Leur Génération Aléatoire.
ITA, 1985

Contextual Rewriting.
Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985

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

1983
Church-Rosser Properties of Weakly Terminating Term Rewriting Systems.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Specifications of Errors in Data Types using Conditional Axioms.
ADT, 1983

1982
Comparing data type specifications via their normal forms.
International Journal of Parallel Programming, 1982

1980
Construction, Évaluation et Amélioration Systématiques de Structures de Données.
ITA, 1980

1979
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.
Inf. Process. Lett., 1979


  Loading...