@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}
}
@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}
}