Search the dblp DataBase
Jean-Luc Remy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Jean-Luc Remy
Specifications of Errors in Data Types using Conditional Axioms. [Citation Graph (0, 0)][DBLP]
ADT, 1983, pp:- [Conf] - Wadoud Bousdira, Jean-Luc Remy
Hierarchical Contextual Rewriting with Several Levels. [Citation Graph (0, 0)][DBLP]
CTRS, 1987, pp:15-30 [Conf] - Wadoud Bousdira, Jean-Luc Remy
REVEUR4: A Laboratory for Conditional Rewriting. [Citation Graph (0, 0)][DBLP]
CTRS, 1987, pp:253-257 [Conf] - Wadoud Bousdira, Jean-Luc Remy
On Sufficient Completeness of Conditional Specifications. [Citation Graph (0, 0)][DBLP]
CTRS, 1990, pp:272-286 [Conf] - Isabelle Debled-Rennesson, Jean-Luc Remy, Jocelyne Rouyer-Degli
Detection of the Discrete Convexity of Polyominoes. [Citation Graph (0, 0)][DBLP]
DGCI, 2000, pp:491-504 [Conf] - Jean-Luc Remy, Hantao Zhang
REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
ECAI, 1984, pp:373-382 [Conf] - Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Remy
Church-Rosser Properties of Weakly Terminating Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
IJCAI, 1983, pp:909-915 [Conf] - Hantao Zhang, Jean-Luc Remy
Contextual Rewriting. [Citation Graph (0, 0)][DBLP]
RTA, 1985, pp:46-62 [Conf] - Wadoud Bousdira, Jean-Luc Remy
REVEUR4: A Laboratory for Conditional Rewriting. [Citation Graph (0, 0)][DBLP]
STACS, 1987, pp:472-473 [Conf] - Wadoud Bousdira, Jean-Luc Remy
Hierarchical Contextual Rewriting with Several Levels. [Citation Graph (0, 0)][DBLP]
STACS, 1988, pp:193-206 [Conf] - Marisa Navarro, Fernando Orejas, Jean-Luc Remy
Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications. [Citation Graph (0, 0)][DBLP]
Acta Inf., 1993, v:30, n:2, pp:147-180 [Journal] - Laurent Alonso, Jean-Luc Remy, René Schott
A Linear-Time Algorithm for the Generation of Trees. [Citation Graph (0, 0)][DBLP]
Algorithmica, 1997, v:17, n:2, pp:162-183 [Journal] - Isabelle Debled-Rennesson, Jean-Luc Remy, Jocelyne Rouyer-Degli
Detection of the discrete convexity of polyominoes. [Citation Graph (0, 0)][DBLP]
Discrete Applied Mathematics, 2003, v:125, n:1, pp:115-133 [Journal] - Isabelle Debled-Rennesson, Jean-Luc Remy, Jocelyne Rouyer-Degli
Linear segmentation of discrete curves into blurred segments. [Citation Graph (0, 0)][DBLP]
Discrete Applied Mathematics, 2005, v:151, n:1-3, pp:122-137 [Journal] - Laurent Alonso, Jean-Luc Remy, René Schott
Uniform Generation of a Schröder Tree. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1997, v:64, n:6, pp:305-308 [Journal] - 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. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1979, v:8, n:5, pp:224-229 [Journal] - Jean-Luc Remy
Construction, Évaluation et Amélioration Systématiques de Structures de Données. [Citation Graph (0, 0)][DBLP]
ITA, 1980, v:14, n:1, pp:83-118 [Journal] - Jean-Luc Remy
Un Procédé Itératif de Dénombrement D'arbres Binaires et Son Application A Leur Génération Aléatoire. [Citation Graph (0, 0)][DBLP]
ITA, 1985, v:19, n:2, pp:179-195 [Journal]
Search in 0.002secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002