dblp.uni-trier.dewww.uni-trier.de

Jean-Luc Remy Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
20EEIsabelle 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)
18EEIsabelle 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
17EEIsabelle 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)
15EELaurent 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
11EEWadoud 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
8EEWadoud Bousdira, Jean-Luc Remy: REVEUR4: A Laboratory for Conditional Rewriting. STACS 1987: 472-473
1985
7EEHantao 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)

Coauthor Index

1Laurent Alonso [15] [16]
2Wadoud Bousdira [8] [9] [10] [11] [12]
3Manfred Broy [1]
4Isabelle Debled-Rennesson [17] [18] [19] [20]
5Jean-Pierre Finance [1]
6Jean-Pierre Jouannaud [3]
7Hélène Kirchner [3]
8Marisa Navarro [13]
9Fernando Orejas [13]
10Alain Quéré [1]
11Jocelyne Rouyer-Degli [17] [18] [19] [20]
12Michaël Rusinowitch [14]
13René Schott [15] [16]
14Martin Wirsing [1]
15Hantao Zhang [5] [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)