The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jean-Luc Remy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jean-Luc Remy
    Specifications of Errors in Data Types using Conditional Axioms. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  2. Wadoud Bousdira, Jean-Luc Remy
    Hierarchical Contextual Rewriting with Several Levels. [Citation Graph (0, 0)][DBLP]
    CTRS, 1987, pp:15-30 [Conf]
  3. Wadoud Bousdira, Jean-Luc Remy
    REVEUR4: A Laboratory for Conditional Rewriting. [Citation Graph (0, 0)][DBLP]
    CTRS, 1987, pp:253-257 [Conf]
  4. Wadoud Bousdira, Jean-Luc Remy
    On Sufficient Completeness of Conditional Specifications. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:272-286 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. Hantao Zhang, Jean-Luc Remy
    Contextual Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 1985, pp:46-62 [Conf]
  9. Wadoud Bousdira, Jean-Luc Remy
    REVEUR4: A Laboratory for Conditional Rewriting. [Citation Graph (0, 0)][DBLP]
    STACS, 1987, pp:472-473 [Conf]
  10. Wadoud Bousdira, Jean-Luc Remy
    Hierarchical Contextual Rewriting with Several Levels. [Citation Graph (0, 0)][DBLP]
    STACS, 1988, pp:193-206 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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.004secs, Finished in 0.005secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002