@misc{mimram:hdr,
  author = {Samuel Mimram},
  title = {{Geometric Models of Concurrent Computations}},
  school = {Université Paris Diderot – Paris 7},
  year = {2016},
  month = {09},
  notes = {Habilitation à diriger des recherches},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_hdr.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_hdr_slides.pdf},
  keywords = {thesis},
  hal_id = {tel-01783442},
  hal = {http://hal.science/tel-01783442}
}

@phdthesis{mimram:phd,
  author = {Samuel Mimram},
  title = {{Sémantique des jeux asynchrones et réécriture 2-dimensionnelle}},
  school = {Équipe Preuves Programmes Systèmes (PPS), Université Paris~7},
  year = {2009},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_these.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_these_soutenance.pdf},
  keywords = {thesis},
  hal = {http://hal.science/tel-00338643}
}