Jean-Luc Rémy

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

On the number of balanced words of given length and height over a two letter alphabet.

Nicolas Bedaride, Eric Domenjoud, Damien Jamet, Jean-Luc Rémy

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.

Y.-F. S. Pétermann, Jean-Luc Rémy

Adv. Appl. Math., 2007

2005

Linear segmentation of discrete curves into blurred segments.

Isabelle Debled-Rennesson, Jean-Luc Rémy, Jocelyne Rouyer-Degli

Discret. Appl. Math., 2005

2003

Segmentation of Discrete Curves into Fuzzy Segments.

Isabelle Debled-Rennesson, Jean-Luc Rémy, Jocelyne Rouyer-Degli

Electron. Notes Discret. Math., 2003

Detection of the discrete convexity of polyominoes.

Isabelle Debled-Rennesson, Jean-Luc Rémy, Jocelyne Rouyer-Degli

Discret. Appl. Math., 2003

2001

Discrete Derivatives of Sequences.

Y.-F. S. Pétermann, Jean-Luc Rémy, Ilan Vardi

Adv. Appl. Math., 2001

1997

Uniform Generation of a Schröder Tree.

Laurent Alonso, Jean-Luc Rémy, René Schott

Inf. Process. Lett., 1997

A Linear-Time Algorithm for the Generation of Trees.

Laurent Alonso, Jean-Luc Rémy, René Schott

Algorithmica, 1997

1993

Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications.

Marisa Navarro, Fernando Orejas, Jean-Luc Rémy

Acta Informatica, 1993

1990

On Sufficient Completeness of Conditional Specifications.

Wadoud Bousdira, Jean-Luc Rémy

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1988

Hierarchical Contextual Rewriting with Several Levels.

Wadoud Bousdira, Jean-Luc Rémy

Proceedings of the STACS 88, 1988

1987

REVEUR4: A Laboratory for Conditional Rewriting.

Wadoud Bousdira, Jean-Luc Rémy

Proceedings of the STACS 87, 1987

1985

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

Jean-Luc Rémy

RAIRO Theor. Informatics Appl., 1985

Contextual Rewriting.

Hantao Zhang, Jean-Luc Rémy

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.

Jean-Luc Rémy, Hantao Zhang

Proceedings of the Advances in Artificial Intelligence, 1984

1983

Church-Rosser Properties of Weakly Terminating Term Rewriting Systems.

Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Rémy

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Specifications of Errors in Data Types using Conditional Axioms.

Jean-Luc Rémy

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

Comparing data type specifications via their normal forms.

Jean-Luc Rémy, Paulo A. S. Veloso

Int. J. Parallel Program., 1982

1981

An economical method for comparing data type specifications.

Jean-Luc Rémy, Paulo A. S. Veloso

ACM SIGPLAN Notices, 1981

1980

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

Jean-Luc Rémy

RAIRO Theor. Informatics Appl., 1980

1979

Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.

Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Rémy

Inf. Process. Lett., 1979