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

Irène Durand Vis

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

*2009
16EEIrène Durand, Aart Middeldorp: On the Complexity of Deciding Call-by-Need CoRR abs/0901.0869: (2009)
15EEIrène Durand, Géraud Sénizergues: Bottom-up rewriting for words and terms CoRR abs/0903.2554: (2009)
2007
14EEIrène Durand, Géraud Sénizergues: Bottom-Up Rewriting Is Inverse Recognizability Preserving. RTA 2007: 107-121
2005
13EEIrène Durand: A Tool for Term Rewrite Systems and Tree Automata. Electr. Notes Theor. Comput. Sci. 124(2): 29-49 (2005)
12EEIrène Durand, Aart Middeldorp: Decidable call-by-need computations in term rewriting. Inf. Comput. 196(2): 95-126 (2005)
2002
11EEIrène Durand: Autowrite: A Tool for Checking Properties of Term Rewriting Systems. RTA 2002: 371-375
2001
10EEIrène Durand, Aart Middeldorp: On the Modularity of Deciding Call-by-Need. FoSSaCS 2001: 199-213
1997
9EEIrène Durand, Aart Middeldorp: Decidable Call by Need Computations in term Rewriting (Extended Abstract). CADE 1997: 4-18
1994
8 Irène Durand, Bruno Salinier: Constructor Equivalent Term Rewriting Systems are Strongly Sequential: A Direct Proof. Inf. Process. Lett. 52(3): 137-145 (1994)
7 Irène Durand: Bounded, Strongly Sequential and Forward-Branching Term Rewriting Systems. J. Symb. Comput. 18(4): 319-352 (1994)
1993
6 Irène Durand, Bruno Salinier: Constructor Equivalent Term Rewriting Systems. Inf. Process. Lett. 47(3): 131-137 (1993)
1991
5 Irène Durand, David Sherman, Robert Strandh: Partial Evaluation of an Intermediate Language for Equational Programs. JTASPEFT/WSA 1991: 98-106
4 David Sherman, Robert Strandh, Irène Durand: Optimization of Equational Programs Using Partial Evaluation. PEPM 1991: 72-82
1987
3EEChristian Percebois, Ivan Futó, Irène Durand, C. Simon, B. Bonhoure: Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph. TAPSOFT, Vol.2 1987: 126-139
1986
2 Christian Percebois, Ivan Futó, Irène Durand, C. Simon, B. Bonhoure: Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski. SPLT 1986: 553-570
1985
1 Christian Percebois, Irène Durand, C. Simon: COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog. SPLT 1985

Coauthor Index

1B. Bonhoure [2] [3]
2Ivan Futó [2] [3]
3Aart Middeldorp [9] [10] [12] [16]
4Christian Percebois [1] [2] [3]
5Bruno Salinier [6] [8]
6Géraud Sénizergues [14] [15]
7David Sherman [4] [5]
8C. Simon [1] [2] [3]
9Robert Strandh [4] [5]

Colors in the list of coauthors

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