@inproceedings{mimram:catt,
  author = {Eric Finster and Samuel Mimram},
  title = {{A Type-Theoretical Definition of Weak $\omega$-Categories}},
  booktitle = {2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
  year = {2017},
  pages = {1-12},
  doi = {10.1109/LICS.2017.8005124},
  keywords = {rewriting,conference},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_catt.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_catt_slides.pdf},
  eprint = {1706.02866},
  eprinttype = {arxiv}
}
@inproceedings{malbos_et_al:LIPIcs:2016:5982,
  author = {Philippe Malbos and Samuel Mimram},
  title = {{Homological Computations for Term Rewriting Systems}},
  booktitle = {1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)},
  pages = {27:1–27:17},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-95977-010-1},
  issn = {1868-8969},
  year = {2016},
  volume = {52},
  editor = {Delia Kesner and Brigitte Pientka},
  publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2016/5982},
  urn = {urn:nbn:de:0030-drops-59821},
  doi = {http://dx.doi.org/10.4230/LIPIcs.FSCD.2016.27},
  annote = {Keywords: term rewriting system, Lawvere theory, Tietze equivalence, resolution, homology, convergent pres entation, coherent presentation},
  keywords = {rewriting,conference},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_trs16.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_fscd16_slides.pdf}
}
@inproceedings{catmod,
  author = {Florence Clerc and Samuel Mimram},
  title = {{Presenting a Category Modulo a Rewriting System}},
  booktitle = {26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
  pages = {89–105},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-939897-85-9},
  issn = {1868-8969},
  year = {2015},
  volume = {36},
  editor = {Maribel Fern{\'a}ndez},
  publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2015/5191},
  urn = {urn:nbn:de:0030-drops-51916},
  doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2015.89},
  annote = {Keywords: presentation of a category, quotient category, localization, residuation},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_rta2015.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_rta2015_slides.pdf},
  keywords = {rewriting,conference}
}
@inproceedings{EPTCS183.1,
  author = {Mimram, Samuel},
  year = {2015},
  title = {Presenting Finite Posets},
  editor = {Middeldorp, Aart and Raamsdonk, Femke van},
  booktitle = {{Proceedings 8th International Workshop on}
               Computing with Terms and Graphs,
               {Vienna, Austria, July 13, 2014}},
  series = {Electronic Proceedings in Theoretical Computer Science},
  volume = {183},
  publisher = {Open Publishing Association},
  pages = {1-17},
  doi = {10.4204/EPTCS.183.1},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_popres.pdf},
  keywords = {rewriting,conference}
}
@article{t3rt,
  author = {Samuel Mimram},
  title = {{Towards 3-Dimensional Rewriting Theory}},
  journal = {Logical Methods in Computer Science},
  year = {2014},
  volume = {10},
  number = {1},
  pages = {1–47},
  doi = {http://dx.doi.org/10.2168/LMCS-10(2:1)2014},
  eprint = {1403.4094},
  eprinttype = {arxiv},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_3drt.pdf},
  keywords = {rewriting,journal}
}
@inproceedings{guiraud_et_al:LIPIcs:2013:4064,
  author = {Yves Guiraud and Philippe Malbos and Samuel Mimram},
  title = {{A Homotopical Completion Procedure with Applications to Coherence of Monoids}},
  booktitle = {24th International Conference on Rewriting Techniques and Applications (RTA 2013)},
  pages = {223–238},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-939897-53-8},
  issn = {1868-8969},
  year = {2013},
  volume = {21},
  editor = {Femke van Raamsdonk},
  publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2013/4064},
  urn = {urn:nbn:de:0030-drops-40649},
  doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2013.223},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_kbs.pdf},
  keywords = {rewriting,conference}
}
@article{MSC:7984430,
  author = {Samuel Mimram},
  title = {{The Structure of First-Order Causality (extended version)}},
  journal = {Mathematical Structures in Computer Science},
  volume = {21},
  issue = {01},
  optmonth = {2},
  year = {2011},
  issn = {1469-8072},
  pages = {65–110},
  numpages = {46},
  doi = {10.1017/S0960129510000459},
  url = {http://journals.cambridge.org/article_S0960129510000459},
  eprint = {1101.4813},
  eprinttype = {arxiv},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_first_order_causality_long.pdf},
  keywords = {rewriting,journal}
}
@inproceedings{mimram:LIPIcs:2010:2655,
  author = {Samuel Mimram},
  title = {{Computing Critical Pairs in 2-Dimensional Rewriting Systems}},
  booktitle = {Proceedings of the 21st International Conference on Rewriting Techniques and Applications},
  pages = {227–242},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-939897-18-7},
  issn = {1868-8969},
  year = {2010},
  volume = {6},
  editor = {Christopher Lynch},
  publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2010/2655},
  urn = {urn:nbn:de:0030-drops-26552},
  doi = {http://dx.doi.org/10.4230/LIPIcs.RTA.2010.227},
  eprint = {1004.3135},
  eprinttype = {arxiv},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_rta10.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_rta10_slides.pdf},
  keywords = {rewriting,conference}
}
@inproceedings{5230577,
  author = {Samuel Mimram},
  booktitle = {Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on},
  title = {{The Structure of First-Order Causality}},
  year = {2009},
  pages = {212–221},
  doi = {10.1109/LICS.2009.19},
  issn = {1043-6871},
  eprint = {0908.3994},
  eprinttype = {arxiv},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_lics09.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_lics09_slides.pdf},
  keywords = {rewriting,conference}
}
@unpublished{mimram:cohmonpres,
  author = {Pierre-Louis Curien and Samuel Mimram},
  title = {{Coherent Presentations of Monoidal Categories}},
  note = {Sumbitted},
  year = {2016},
  keywords = {submitted,rewriting},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_monprescoh.pdf}
}
@unpublished{r2dcp,
  author = {Samuel Mimram},
  title = {{Representing 2-Dimensional Critical Pairs}},
  note = {Unpublished manuscript},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_repr2d.pdf},
  year = {2013},
  keywords = {rewriting}
}