Bruno Courcelle (LaBRI)

Identifiers

• name variant Bruno Courcelle (LaBRI) 0.60 · backfill

Papers (5)

1. Fly-automata for checking MSO 2 graph properties cs.LO · 2015 · author #1
2. Fly-automata, model-checking and recognizability cs.LO · 2014 · author #1
3. Computations by fly-automata beyond monadic second-order logic cs.LO · 2013 · author #1
4. A multivariate interlace polynomial cs.LO · 2007 · author #1
5. The recognizability of sets of graphs is a robust property cs.LO · 2006 · author #1

Mentions

• 1511.08605 #1 · backfill · confidence 0.70 Bruno Courcelle (LaBRI)
• 1409.5368 #1 · backfill · confidence 0.70 Bruno Courcelle (LaBRI)
• 1305.7120 #1 · backfill · confidence 0.70 Bruno Courcelle (LaBRI)

Frequent Coauthors

• Ir\`ene A. Durand (LaBRI) 1 shared papers
• Ir\`ene Durand 1 shared papers
• Pascal Weil (LaBRI) 1 shared papers