Jean-Luc Rémy

According to our database1, Jean-Luc Rémy authored at least 21 papers between 1979 and 2010.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
On the number of balanced words of given length and height over a two letter alphabet.
Discret. Math. Theor. Comput. Sci., 2010

2007
On the Cohen-Olivier algorithm for computing ζ(s): Error analysis in the real case for an arbitrary precision.
Adv. Appl. Math., 2007

2005
Linear segmentation of discrete curves into blurred segments.
Discret. Appl. Math., 2005

2003
Segmentation of Discrete Curves into Fuzzy Segments.
Electron. Notes Discret. Math., 2003

Detection of the discrete convexity of polyominoes.
Discret. Appl. Math., 2003

2001
Discrete Derivatives of Sequences.
Adv. Appl. Math., 2001

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 Informatica, 1993

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

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.
RAIRO Theor. Informatics Appl., 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.
Proceedings of the Advances in Artificial Intelligence, 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.
Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982
Comparing data type specifications via their normal forms.
Int. J. Parallel Program., 1982

1981
An economical method for comparing data type specifications.
ACM SIGPLAN Notices, 1981

1980
Construction, Évaluation et Amélioration Systématiques de Structures de Données.
RAIRO Theor. Informatics Appl., 1980

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


  Loading...