Personal information

No personal information available

Activities

Collapse all

Employment (1)

Université de Bordeaux: Talence, Aquitaine, FR

1979-01-01 to present | Researcher (LABRI)
Employment
Source: Self-asserted source
Bruno COURCELLE

Works (8)

On regular trees defined from unfoldings and coverings

Information and Computation
2025-03 | Journal article
DOI: 10.1016/j.ic.2025.105278
Contributors: Bruno Courcelle
Source: check_circle
Crossref

Induced betweenness in order-theoretic trees

Discrete Mathematics & Theoretical Computer Science
2022-09-17 | Journal article
DOI: 10.46298/dmtcs.7288
Contributors: Bruno Courcelle
Source: check_circle
Crossref

On quasi-planar graphs: Clique-width and logical description

Discrete Applied Mathematics
2020-05 | Journal article
DOI: 10.1016/j.dam.2018.07.022
Contributors: Bruno Courcelle
Source: check_circle
Crossref

From tree-decompositions to clique-width terms

Discrete Applied Mathematics
2018-10 | Journal article
DOI: 10.1016/j.dam.2017.04.040
Contributors: Bruno Courcelle
Source: check_circle
Crossref

Fly-automata for checking MSO2 graph properties

Discrete Applied Mathematics
2018-08 | Journal article
DOI: 10.1016/j.dam.2016.10.018
Contributors: Bruno Courcelle
Source: check_circle
Crossref

A Cold Cup of Coffee

Inference: International Review of Science
2017-04-07 | Journal article
DOI: 10.37282/991819.17.17
Contributors: Bruno Courcelle
Source: check_circle
Crossref

Several notions of rank-width for countable graphs

Journal of Combinatorial Theory, Series B
2017-03 | Journal article
DOI: 10.1016/j.jctb.2016.12.002
Contributors: Bruno Courcelle
Source: check_circle
Crossref

Computations by fly-automata beyond monadic second-order logic

Theoretical Computer Science
2016-03 | Journal article
DOI: 10.1016/j.tcs.2015.12.026
Contributors: Bruno Courcelle; Irène Durand
Source: check_circle
Crossref
How many people are using ORCID?