2005 |
20 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |