- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j7 |      | Alexandre Blondin Massé, Srecko Brlek, Sébastien Labbé: A parallelogram tile fills the plane by translation in at most two distinct ways. Discrete Applied Mathematics 160(7-8): 1011-1018 (2012) |
| 2011 | ||
| j6 | | Alexandre Blondin Massé, Srecko Brlek, Ariane Garon, Sébastien Labbé: Equations on palindromes and circular words. Theor. Comput. Sci. 412(27): 2922-2930 (2011) |
| j5 | | Alexandre Blondin Massé, Srecko Brlek, Ariane Garon, Sébastien Labbé: Two infinite families of polyominoes that tile the plane by translation in two distinct ways. Theor. Comput. Sci. 412(36): 4778-4786 (2011) |
| j4 | | Alexandre Blondin Massé, Srecko Brlek, Sébastien Labbé, Laurent Vuillon: Palindromic complexity of codings of rotations. Theor. Comput. Sci. 412(46): 6455-6463 (2011) |
| c8 | | Valérie Berthé, Sébastien Labbé: An Arithmetic and Combinatorial Approach to Three-Dimensional Discrete Lines. DGCI 2011: 47-58 |
| c7 | | Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram: Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. SAFECOMP 2011: 85-98 |
| c6 | | Valérie Berthé, Sébastien Labbé: Uniformly balanced words with linear complexity and prescribed letter frequencies. WORDS 2011: 44-52 |
| 2010 | ||
| c5 | | Sébastien Labbé, Arnaud Sangnier: Formal Verification of Industrial Software with Dynamic Memory Management. PRDC 2010: 77-84 |
| 2009 | ||
| j3 | | Alexandre Blondin Massé, Srecko Brlek, Sébastien Labbé, Laurent Vuillon: Codings of rotations on two intervals are full. Electronic Notes in Discrete Mathematics 34: 289-293 (2009) |
| c4 | | Alexandre Blondin Massé, Srecko Brlek, Ariane Garon, Sébastien Labbé: Christoffel and Fibonacci Tiles. DGCI 2009: 67-78 |
| 2008 | ||
| j2 | | Sébastien Labbé, Jean-Pierre Gallois: Slicing communicating automata specifications: polynomial algorithms for model reduction. Formal Asp. Comput. 20(6): 563-595 (2008) |
| c3 | | Alexandre Blondin Massé, Srecko Brlek, Andrea Frosini, Sébastien Labbé, Simone Rinaldi: Reconstructing words from a fixed palindromic length sequence. IFIP TCS 2008: 101-114 |
| 2007 | ||
| j1 | | Alexandre 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) |
| c2 | | Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet: Slicing Communicating Automata Specifications for Efficient Model Reduction. ASWEC 2007: 191-200 |
| 2006 | ||
| c1 | | Sébastien Labbé, Arnault Lapitre: CARVER: A Slicing Tool for Communicating Automata Specifications. ISoLA 2006: 99-102 |
Colors in the list of coauthors
Last update Sat May 18 08:43:39 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page