Publications


HAL  arXiv  SemanticsScholar  CCSB  DBLP  AMiner  CiteSeer  Google  Scopus  Microsoft

New drafts

Journals

Invited publications

Conferences

Theses

Lecture notes

Formal proofs (see CoLoR)

Other publications


Statcounter W3C Validator Last updated on 20 April 2017. Come back to main page.