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

Sébastien Labbé Vis

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

*2009
6EEAlexandre Blondin Massé, Srecko Brlek, Ariane Garon, Sébastien Labbé: Christoffel and Fibonacci Tiles. DGCI 2009: 67-78
2008
5EEAlexandre Blondin Massé, Srecko Brlek, Andrea Frosini, Sébastien Labbé, Simone Rinaldi: Reconstructing words from a fixed palindromic length sequence. IFIP TCS 2008: 101-114
4EESébastien Labbé, Jean-Pierre Gallois: Slicing communicating automata specifications: polynomial algorithms for model reduction. Formal Asp. Comput. 20(6): 563-595 (2008)
2007
3EESébastien Labbé, Jean-Pierre Gallois, Marc Pouzet: Slicing Communicating Automata Specifications for Efficient Model Reduction. ASWEC 2007: 191-200
2EEAlexandre Blondin Massé, Srecko Brlek, Amy Glen, Sébastien Labbé: On the Critical Exponent of Generalized Thue-Morse Words. Discrete Mathematics & Theoretical Computer Science 9(1): (2007)
2006
1EESébastien Labbé, Arnault Lapitre: CARVER: A Slicing Tool for Communicating Automata Specifications. ISoLA 2006: 99-102

Coauthor Index

1Srecko Brlek [2] [5] [6]
2Andrea Frosini [5]
3Jean-Pierre Gallois [3] [4]
4Ariane Garon [6]
5Amy Glen [2]
6Arnault Lapitre [1]
7Alexandre Blondin Massé [2] [5] [6]
8Marc Pouzet [3]
9Simone Rinaldi [5]

Colors in the list of coauthors

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