|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 11 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Blondin Massé, Srecko Brlek, Sébastien Labbé, Laurent Vuillon |
Palindromic complexity of codings of rotations. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Blondin Massé, Srecko Brlek, Ariane Garon, Sébastien Labbé |
Equations on palindromes and circular words. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Valérie Berthé, Sébastien Labbé |
Uniformly balanced words with linear complexity and prescribed letter frequencies |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Valérie Berthé, Sébastien Labbé |
An Arithmetic and Combinatorial Approach to Three-Dimensional Discrete Lines. |
DGCI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Labbé, Arnaud Sangnier |
Formal Verification of Industrial Software with Dynamic Memory Management. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Blondin Massé, Srecko Brlek, Sébastien Labbé, Laurent Vuillon |
Codings of rotations on two intervals are full. |
Electronic Notes in Discrete Mathematics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Blondin Massé, Srecko Brlek, Ariane Garon, Sébastien Labbé |
Christoffel and Fibonacci Tiles. |
DGCI |
2009 |
DBLP DOI BibTeX RDF |
Christoffel word, tiling, Polyomino, Fibonacci sequence |
| 1 | Sébastien Labbé, Jean-Pierre Gallois |
Slicing communicating automata specifications: polynomial algorithms for model reduction. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Communicating automata, Specifications, Static analysis, Slicing, Dataflow analysis, Model reduction, Polynomial algorithms |
| 1 | Alexandre Blondin Massé, Srecko Brlek, Andrea Frosini, Sébastien Labbé, Simone Rinaldi |
Reconstructing words from a fixed palindromic length sequence. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
Palindromic complexity, lacunas, reconstruction, defect |
| 1 | Alexandre Blondin Massé, Srecko Brlek, Amy Glen, Sébastien Labbé |
On the Critical Exponent of Generalized Thue-Morse Words. |
Discrete Mathematics & Theoretical Computer Science |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet |
Slicing Communicating Automata Specifications for Efficient Model Reduction. |
ASWEC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Labbé, Arnault Lapitre |
CARVER: A Slicing Tool for Communicating Automata Specifications. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")