Publications


HAL  arXiv  SemanticsScholar  CCSB  DBLP  Google  Scopus  Orcid

Drafts

Journals

As editor

Invited publications

Conferences

Theses

Lecture notes

Formal proofs

(Links below give the definitions and statements only. Download CoLoR to see the the proofs.)

Other publications


Statcounter W3C Validator Last updated on 5 January 2022. Come back to main page.