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