 | 2010 |
|---|
| 21 |       | 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) |
| 2005 |
|---|
| 20 | | 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) |
| 2003 |
|---|
| 19 | | Isabelle Debled-Rennesson,
Jean-Luc Remy,
Jocelyne Rouyer-Degli:
Detection of the discrete convexity of polyominoes.
Discrete Applied Mathematics 125(1): 115-133 (2003) |
| 18 | | 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) |
| 2000 |
|---|
| 17 | | Isabelle Debled-Rennesson,
Jean-Luc Remy,
Jocelyne Rouyer-Degli:
Detection of the Discrete Convexity of Polyominoes.
DGCI 2000: 491-504 |
| 1997 |
|---|
| 16 | | Laurent Alonso,
Jean-Luc Remy,
René Schott:
A Linear-Time Algorithm for the Generation of Trees.
Algorithmica 17(2): 162-183 (1997) |
| 15 | | Laurent Alonso,
Jean-Luc Remy,
René Schott:
Uniform Generation of a Schröder Tree.
Inf. Process. Lett. 64(6): 305-308 (1997) |
| 1993 |
|---|
| 14 |  | Michaël Rusinowitch,
Jean-Luc Remy:
Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings
Springer 1993 |
| 13 | | 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) |
| 1990 |
|---|
| 12 | | Wadoud Bousdira,
Jean-Luc Remy:
On Sufficient Completeness of Conditional Specifications.
CTRS 1990: 272-286 |
| 1988 |
|---|
| 11 | | Wadoud Bousdira,
Jean-Luc Remy:
Hierarchical Contextual Rewriting with Several Levels.
STACS 1988: 193-206 |
| 1987 |
|---|
| 10 | | Wadoud Bousdira,
Jean-Luc Remy:
Hierarchical Contextual Rewriting with Several Levels.
CTRS 1987: 15-30 |
| 9 | | Wadoud Bousdira,
Jean-Luc Remy:
REVEUR4: A Laboratory for Conditional Rewriting.
CTRS 1987: 253-257 |
| 8 | | Wadoud Bousdira,
Jean-Luc Remy:
REVEUR4: A Laboratory for Conditional Rewriting.
STACS 1987: 472-473 |
| 1985 |
|---|
| 7 | | Hantao Zhang,
Jean-Luc Remy:
Contextual Rewriting.
RTA 1985: 46-62 |
| 6 | | 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) |
| 1984 |
|---|
| 5 | | Jean-Luc Remy,
Hantao Zhang:
REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types.
ECAI 1984: 373-382 |
| 1983 |
|---|
| 4 | | Jean-Luc Remy:
Specifications of Errors in Data Types using Conditional Axioms.
ADT 1983 |
| 3 | | Jean-Pierre Jouannaud,
Hélène Kirchner,
Jean-Luc Remy:
Church-Rosser Properties of Weakly Terminating Term Rewriting Systems.
IJCAI 1983: 909-915 |
| 1980 |
|---|
| 2 | | Jean-Luc Remy:
Construction, Évaluation et Amélioration Systématiques de Structures de Données.
ITA 14(1): 83-118 (1980) |
| 1979 |
|---|
| 1 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page