Publications


HAL  arXiv  SemanticsScholar  CCSB  DBLP  AMiner  CiteSeer  Google  Scopus

Drafts

Journals

Invited publications

Conferences

Theses

Lecture notes

Formal proofs (see CoLoR)

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

Other publications


Statcounter W3C Validator Last updated on 16 May 2018. Come back to main page.