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

Franck Seynhaeve

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

2005
7EEMatthieu Basseur, Franck Seynhaeve, El-Ghazali Talbi: Path Relinking in Pareto Multi-objective Genetic Algorithms. EMO 2005: 120-134
2001
6EEFranck Seynhaeve: Set constraints and topology. Inf. Process. Lett. 80(3): 145-150 (2001)
5EEFranck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen: Grid structures and undecidable constraint theories. Theor. Comput. Sci. 258(1-2): 453-490 (2001)
1999
4EEFranck Seynhaeve, Sophie Tison, Marc Tommasi: Homomorphisms and Concurrent Term Rewriting. FCT 1999: 475-487
3 Bruno Bogaert, Franck Seynhaeve, Sophie Tison: The Recognizability Problem for Tree Automata with Comparisons between Brothers. FoSSaCS 1999: 150-164
2EEAnne-Cécile Caron, Franck Seynhaeve, Sophie Tison, Marc Tommasi: Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting. RTA 1999: 103-117
1997
1 Franck Seynhaeve, Marc Tommasi, Ralf Treinen: Grid Structure and Undecidable Constraint Theories. TAPSOFT 1997: 357-368

Coauthor Index

1Matthieu Basseur [7]
2Bruno Bogaert [3]
3Anne-Cécile Caron [2]
4El-Ghazali Talbi [7]
5Sophie Tison [2] [3] [4] [5]
6Marc Tommasi [1] [2] [4] [5]
7Ralf Treinen [1] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)