Jean-Luc Rémy

Publication Activity (10 Years)

Years Active: 1979-2010
Publications (10 Years): 0

Publications

Nicolas Bedaride, Eric Domenjoud, Damien Jamet, Jean-Luc Rémy
On the number of balanced words of given length and height over a two letter alphabet. Discret. Math. Theor. Comput. Sci. 12 (3) (2010)
Y.-F. S. Pétermann, Jean-Luc Rémy
On the Cohen-Olivier algorithm for computing ζ(s): Error analysis in the real case for an arbitrary precision. Adv. Appl. Math. 38 (1) (2007)
Isabelle Debled-Rennesson, Jean-Luc Rémy, Jocelyne Rouyer-Degli
Linear segmentation of discrete curves into blurred segments. Discret. Appl. Math. 151 (1-3) (2005)
Isabelle Debled-Rennesson, Jean-Luc Rémy, Jocelyne Rouyer-Degli
Detection of the discrete convexity of polyominoes. Discret. Appl. Math. 125 (1) (2003)
Isabelle Debled-Rennesson, Jean-Luc Rémy, Jocelyne Rouyer-Degli
Segmentation of Discrete Curves into Fuzzy Segments. Electron. Notes Discret. Math. 12 (2003)
Y.-F. S. Pétermann, Jean-Luc Rémy, Ilan Vardi
Discrete Derivatives of Sequences. Adv. Appl. Math. 27 (Issues) (2001)
Isabelle Debled-Rennesson, Jean-Luc Rémy, Jocelyne Rouyer-Degli
Detection of the Discrete Convexity of Polyominoes. DGCI (2000)
Laurent Alonso, Jean-Luc Rémy, René Schott
A Linear-Time Algorithm for the Generation of Trees. Algorithmica 17 (2) (1997)
Laurent Alonso, Jean-Luc Rémy, René Schott
Uniform Generation of a Schröder Tree. Inf. Process. Lett. 64 (6) (1997)
Marisa Navarro, Fernando Orejas, Jean-Luc Rémy
Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications. Acta Informatica 30 (2) (1993)
Wadoud Bousdira, Jean-Luc Rémy
On Sufficient Completeness of Conditional Specifications. CTRS (1990)
Wadoud Bousdira, Jean-Luc Rémy
Hierarchical Contextual Rewriting with Several Levels. STACS (1988)
Wadoud Bousdira, Jean-Luc Rémy
REVEUR4: A Laboratory for Conditional Rewriting. STACS (1987)
Wadoud Bousdira, Jean-Luc Rémy
Hierarchical Contextual Rewriting with Several Levels. CTRS (1987)
Wadoud Bousdira, Jean-Luc Rémy
REVEUR4: A Laboratory for Conditional Rewriting. CTRS (1987)
Jean-Luc Rémy
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. 19 (2) (1985)
Hantao Zhang, Jean-Luc Rémy
Contextual Rewriting. RTA (1985)
Jean-Luc Rémy, Hantao Zhang
REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. ECAI (1984)
Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Rémy
Church-Rosser Properties of Weakly Terminating Term Rewriting Systems. IJCAI (1983)
Jean-Luc Rémy
Specifications of Errors in Data Types using Conditional Axioms. ADT (1983)
Jean-Luc Rémy, Paulo A. S. Veloso
Comparing data type specifications via their normal forms. Int. J. Parallel Program. 11 (3) (1982)
Jean-Luc Rémy, Paulo A. S. Veloso
An economical method for comparing data type specifications. ACM SIGPLAN Notices 16 (5) (1981)
Jean-Luc Rémy
Construction, Évaluation et Amélioration Systématiques de Structures de Données. RAIRO Theor. Informatics Appl. 14 (1) (1980)
Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Rémy
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence. Inf. Process. Lett. 8 (5) (1979)