Jean-Luc Remy

Nicolas Bedaride, Eric Domenjoud, Damien Jamet, Jean-Luc Remy: On the number of balanced words of given length and height over a two letter alphabet. Discrete Mathematics & Theoretical Computer Science 12(3): 41-62 (2010)

Isabelle Debled-Rennesson, Jean-Luc Remy, Jocelyne Rouyer-Degli: Linear segmentation of discrete curves into blurred segments. Discrete Applied Mathematics 151(1-3): 122-137 (2005)

Isabelle Debled-Rennesson, Jean-Luc Remy, Jocelyne Rouyer-Degli: Detection of the discrete convexity of polyominoes. Discrete Applied Mathematics 125(1): 115-133 (2003)

Isabelle Debled-Rennesson, Jean-Luc Remy, Jocelyne Rouyer-Degli: Segmentation of Discrete Curves into Fuzzy Segments. Electronic Notes in Discrete Mathematics 12: 372-383 (2003)

Isabelle Debled-Rennesson, Jean-Luc Remy, Jocelyne Rouyer-Degli: Detection of the Discrete Convexity of Polyominoes. DGCI 2000: 491-504

Laurent Alonso, Jean-Luc Remy, René Schott: A Linear-Time Algorithm for the Generation of Trees. Algorithmica 17(2): 162-183 (1997)

Laurent Alonso, Jean-Luc Remy, René Schott: Uniform Generation of a Schröder Tree. Inf. Process. Lett. 64(6): 305-308 (1997)

Marisa Navarro, Fernando Orejas, Jean-Luc Remy: Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications. Acta Inf. 30(2): 147-180 (1993)

Michaël Rusinowitch, Jean-Luc Remy (Eds.): Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings. Lecture Notes in Computer Science 656, Springer 1993, isbn 3-540-56393-8

Wadoud Bousdira, Jean-Luc Remy: On Sufficient Completeness of Conditional Specifications. CTRS 1990: 272-286

Wadoud Bousdira, Jean-Luc Remy: Hierarchical Contextual Rewriting with Several Levels. STACS 1988: 193-206

Wadoud Bousdira, Jean-Luc Remy: Hierarchical Contextual Rewriting with Several Levels. CTRS 1987: 15-30

Wadoud Bousdira, Jean-Luc Remy: REVEUR4: A Laboratory for Conditional Rewriting. CTRS 1987: 253-257

Wadoud Bousdira, Jean-Luc Remy: REVEUR4: A Laboratory for Conditional Rewriting. STACS 1987: 472-473

Jean-Luc Remy: Un Procédé Itératif de Dénombrement D'arbres Binaires et Son Application A Leur Génération Aléatoire. ITA 19(2): 179-195 (1985)

Hantao Zhang, Jean-Luc Remy: Contextual Rewriting. RTA 1985: 46-62

Jean-Luc Remy, Hantao Zhang: REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. ECAI 1984: 373-382

Jean-Luc Remy: Specifications of Errors in Data Types using Conditional Axioms. ADT 1983

Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Remy: Church-Rosser Properties of Weakly Terminating Term Rewriting Systems. IJCAI 1983: 909-915

Jean-Luc Remy, Paulo A. S. Veloso: Comparing data type specifications via their normal forms. International Journal of Parallel Programming 11(3): 141-153 (1982)

Jean-Luc Remy: Construction, Évaluation et Amélioration Systématiques de Structures de Données. ITA 14(1): 83-118 (1980)

Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Remy: Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence. Inf. Process. Lett. 8(5): 224-229 (1979)