BibTeX records: Guillaume Bonfante

download as .bib file

@inproceedings{DBLP:conf/fps/BonfanteI22,
  author       = {Guillaume Bonfante and
                  Anuyan Ithayakumar},
  editor       = {Guy{-}Vincent Jourdan and
                  Laurent Mounier and
                  Carlisle M. Adams and
                  Florence S{\`{e}}des and
                  Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
  title        = {Where is the Virtual Machine Within Cpython?},
  booktitle    = {Foundations and Practice of Security - 15th International Symposium,
                  {FPS} 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13877},
  pages        = {175--191},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-30122-3\_11},
  doi          = {10.1007/978-3-031-30122-3\_11},
  timestamp    = {Sat, 27 May 2023 15:23:45 +0200},
  biburl       = {https://dblp.org/rec/conf/fps/BonfanteI22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/BonfanteT21,
  author       = {Guillaume Bonfante and
                  Alexandre Talon},
  editor       = {Esma A{\"{\i}}meur and
                  Maryline Laurent and
                  Reda Yaich and
                  Beno{\^{\i}}t Dupont and
                  Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
  title        = {At the Bottom of Binary Analysis: Instructions},
  booktitle    = {Foundations and Practice of Security - 14th International Symposium,
                  {FPS} 2021, Paris, France, December 7-10, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13291},
  pages        = {311--320},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-08147-7\_21},
  doi          = {10.1007/978-3-031-08147-7\_21},
  timestamp    = {Wed, 22 Jun 2022 11:18:14 +0200},
  biburl       = {https://dblp.org/rec/conf/fps/BonfanteT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-05735,
  author       = {Guillaume Bonfante and
                  Florian L. Deloup},
  title        = {The decidability of the genus of regular languages and directed emulators},
  journal      = {CoRR},
  volume       = {abs/2109.05735},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.05735},
  eprinttype    = {arXiv},
  eprint       = {2109.05735},
  timestamp    = {Tue, 21 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-05735.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/algos/BonfanteC20,
  author       = {Guillaume Bonfante and
                  Miguel Couceiro},
  editor       = {Miguel Couceiro and
                  Pierre Monnin and
                  Amedeo Napoli},
  title        = {Termination of graph rewriting systems through language theory},
  booktitle    = {Proceedings of the First International Conference "Algebras, graphs
                  and ordered sets", {ALGOS} 2020, Online (originally planned in Nancy,
                  France), August 26-28, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2925},
  pages        = {87--99},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2925/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:18 +0100},
  biburl       = {https://dblp.org/rec/conf/algos/BonfanteC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BonfanteD19,
  author       = {Guillaume Bonfante and
                  Florian L. Deloup},
  title        = {Decidability of regular language genus computation},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {29},
  number       = {9},
  pages        = {1428--1443},
  year         = {2019},
  url          = {https://doi.org/10.1017/S0960129519000057},
  doi          = {10.1017/S0960129519000057},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/BonfanteD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fps/2018,
  editor       = {Nur Zincir{-}Heywood and
                  Guillaume Bonfante and
                  Mourad Debbabi and
                  Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
  title        = {Foundations and Practice of Security - 11th International Symposium,
                  {FPS} 2018, Montreal, QC, Canada, November 13-15, 2018, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11358},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-18419-3},
  doi          = {10.1007/978-3-030-18419-3},
  isbn         = {978-3-030-18418-6},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fps/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BonfanteD18,
  author       = {Guillaume Bonfante and
                  Florian L. Deloup},
  title        = {The genus of regular languages},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {28},
  number       = {1},
  pages        = {14--44},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0960129516000037},
  doi          = {10.1017/S0960129516000037},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/BonfanteD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BonfanteG18,
  author       = {Guillaume Bonfante and
                  Bruno Guillaume},
  title        = {Non-size increasing graph rewriting for natural language processing},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {28},
  number       = {8},
  pages        = {1451--1484},
  year         = {2018},
  url          = {https://doi.org/10.1017/S0960129518000178},
  doi          = {10.1017/S0960129518000178},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/BonfanteG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/malware/BonfanteGM17,
  author       = {Guillaume Bonfante and
                  Hubert Godfroy and
                  Jean{-}Yves Marion},
  title        = {A construction of a self-modifiying language with a formal correction
                  proof},
  booktitle    = {12th International Conference on Malicious and Unwanted Software,
                  {MALWARE} 2017, Fajardo, PR, USA, October 11-14, 2017},
  pages        = {99--106},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/MALWARE.2017.8323962},
  doi          = {10.1109/MALWARE.2017.8323962},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/malware/BonfanteGM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BonfanteM17,
  editor       = {Guillaume Bonfante and
                  Georg Moser},
  title        = {Proceedings 8th Workshop on Developments in Implicit Computational
                  Complexity and 5th Workshop on Foundational and Practical Aspects
                  of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April
                  22-23, 2017},
  series       = {{EPTCS}},
  volume       = {248},
  year         = {2017},
  url          = {http://arxiv.org/abs/1704.05169},
  timestamp    = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BonfanteM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BonfanteKMO16,
  author       = {Guillaume Bonfante and
                  Reinhard Kahle and
                  Jean{-}Yves Marion and
                  Isabel Oitavem},
  title        = {Two function algebras defining functions in NC\({}^{\mbox{k}}\) boolean
                  circuits},
  journal      = {Inf. Comput.},
  volume       = {248},
  pages        = {82--103},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ic.2015.12.009},
  doi          = {10.1016/J.IC.2015.12.009},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BonfanteKMO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/BonfanteN16,
  author       = {Guillaume Bonfante and
                  Julien Oury Nogues},
  editor       = {Fr{\'{e}}d{\'{e}}ric Cuppens and
                  Lingyu Wang and
                  Nora Cuppens{-}Boulahia and
                  Nadia Tawbi and
                  Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
  title        = {Function Classification for the Retro-Engineering of Malwares},
  booktitle    = {Foundations and Practice of Security - 9th International Symposium,
                  {FPS} 2016, Qu{\'{e}}bec City, QC, Canada, October 24-25, 2016,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10128},
  pages        = {241--255},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-51966-1\_16},
  doi          = {10.1007/978-3-319-51966-1\_16},
  timestamp    = {Sun, 02 Oct 2022 16:01:32 +0200},
  biburl       = {https://dblp.org/rec/conf/fps/BonfanteN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fps/2015,
  editor       = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
                  Evangelos Kranakis and
                  Guillaume Bonfante},
  title        = {Foundations and Practice of Security - 8th International Symposium,
                  {FPS} 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9482},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-30303-1},
  doi          = {10.1007/978-3-319-30303-1},
  isbn         = {978-3-319-30302-4},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fps/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/AntoineBM16,
  author       = {Philippe Antoine and
                  Guillaume Bonfante and
                  Jean{-}Yves Marion},
  title        = {Gorille: Efficient and Relevant Software Comparisons},
  journal      = {{ERCIM} News},
  volume       = {2016},
  number       = {106},
  year         = {2016},
  url          = {http://ercim-news.ercim.eu/en106/special/gorille-efficient-and-relevant-software-comparisons},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/AntoineBM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LagoB15,
  author       = {Ugo Dal Lago and
                  Guillaume Bonfante},
  title        = {Developments in Implicit Complexity {(DICE} 2012)},
  journal      = {Theor. Comput. Sci.},
  volume       = {585},
  pages        = {1--2},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.03.001},
  doi          = {10.1016/J.TCS.2015.03.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LagoB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonfanteDH15,
  author       = {Guillaume Bonfante and
                  Florian L. Deloup and
                  Antoine Henrot},
  title        = {Real or natural number interpretation and their effect on complexity},
  journal      = {Theor. Comput. Sci.},
  volume       = {585},
  pages        = {25--40},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.03.004},
  doi          = {10.1016/J.TCS.2015.03.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BonfanteDH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BonfanteFMRST15,
  author       = {Guillaume Bonfante and
                  Jos{\'{e}} M. Fernandez and
                  Jean{-}Yves Marion and
                  Benjamin Rouxel and
                  Fabrice Sabatier and
                  Aur{\'{e}}lien Thierry},
  editor       = {Indrajit Ray and
                  Ninghui Li and
                  Christopher Kruegel},
  title        = {CoDisasm: Medium Scale Concatic Disassembly of Self-Modifying Binaries
                  with Overlapping Instructions},
  booktitle    = {Proceedings of the 22nd {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, Denver, CO, USA, October 12-16, 2015},
  pages        = {745--756},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2810103.2813627},
  doi          = {10.1145/2810103.2813627},
  timestamp    = {Tue, 10 Nov 2020 19:58:09 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/BonfanteFMRST15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BonfanteEGH15,
  author       = {Guillaume Bonfante and
                  Mohamed El{-}Aqqad and
                  Benjamin Greenbaum and
                  Mathieu Hoyrup},
  editor       = {Arnold Beckmann and
                  Victor Mitrana and
                  Mariya Ivanova Soskova},
  title        = {Immune Systems in Computer Virology},
  booktitle    = {Evolving Computability - 11th Conference on Computability in Europe,
                  CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9136},
  pages        = {127--136},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-20028-6\_13},
  doi          = {10.1007/978-3-319-20028-6\_13},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BonfanteEGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/malware/BonfanteMS15,
  author       = {Guillaume Bonfante and
                  Jean{-}Yves Marion and
                  Fabrice Sabatier},
  title        = {Gorille sniffs code similarities, the case study of qwerty versus
                  regin},
  booktitle    = {10th International Conference on Malicious and Unwanted Software,
                  {MALWARE} 2015, Fajardo, PR, USA, October 20-22, 2015},
  pages        = {82--89},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/MALWARE.2015.7413688},
  doi          = {10.1109/MALWARE.2015.7413688},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/malware/BonfanteMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonfanteD15,
  author       = {Guillaume Bonfante and
                  Florian L. Deloup},
  title        = {Decidability of regular language genus computation},
  journal      = {CoRR},
  volume       = {abs/1511.09405},
  year         = {2015},
  url          = {http://arxiv.org/abs/1511.09405},
  eprinttype    = {arXiv},
  eprint       = {1511.09405},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BonfanteD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/BonfanteMT14,
  author       = {Guillaume Bonfante and
                  Jean{-}Yves Marion and
                  Thanh Dinh Ta},
  editor       = {Fr{\'{e}}d{\'{e}}ric Cuppens and
                  Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
                  Nur Zincir{-}Heywood and
                  Philip W. L. Fong},
  title        = {Malware Message Classification by Dynamic Analysis},
  booktitle    = {Foundations and Practice of Security - 7th International Symposium,
                  {FPS} 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8930},
  pages        = {112--128},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-17040-4\_8},
  doi          = {10.1007/978-3-319-17040-4\_8},
  timestamp    = {Fri, 08 Dec 2023 07:53:07 +0100},
  biburl       = {https://dblp.org/rec/conf/fps/BonfanteMT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonfanteMST14,
  author       = {Guillaume Bonfante and
                  Jean{-}Yves Marion and
                  Fabrice Sabatier and
                  Aur{\'{e}}lien Thierry},
  title        = {Analysis and Diversion of Duqu's Driver},
  journal      = {CoRR},
  volume       = {abs/1401.6120},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.6120},
  eprinttype    = {arXiv},
  eprint       = {1401.6120},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BonfanteMST14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/malware/BonfanteMST13,
  author       = {Guillaume Bonfante and
                  Jean{-}Yves Marion and
                  Fabrice Sabatier and
                  Aur{\'{e}}lien Thierry},
  title        = {Analysis and diversion of Duqu's driver},
  booktitle    = {8th International Conference on Malicious and Unwanted Software: "The
                  Americas", {MALWARE} 2013, Fajardo, PR, USA, October 22-24, 2013},
  pages        = {109--115},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/MALWARE.2013.6703692},
  doi          = {10.1109/MALWARE.2013.6703692},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/malware/BonfanteMST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1302-6334,
  author       = {Guillaume Bonfante and
                  Bruno Guillaume},
  editor       = {Rachid Echahed and
                  Detlef Plump},
  title        = {Non-simplifying Graph Rewriting Termination},
  booktitle    = {Proceedings 7th International Workshop on Computing with Terms and
                  Graphs, {TERMGRAPH} 2013, Rome, Italy, 23th March 2013},
  series       = {{EPTCS}},
  volume       = {110},
  pages        = {4--16},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.110.3},
  doi          = {10.4204/EPTCS.110.3},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6334.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-4981,
  author       = {Guillaume Bonfante and
                  Florian L. Deloup},
  title        = {The genus of regular languages},
  journal      = {CoRR},
  volume       = {abs/1301.4981},
  year         = {2013},
  url          = {http://arxiv.org/abs/1301.4981},
  eprinttype    = {arXiv},
  eprint       = {1301.4981},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-4981.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/malware/BonfanteMST12,
  author       = {Guillaume Bonfante and
                  Jean{-}Yves Marion and
                  Fabrice Sabatier and
                  Aur{\'{e}}lien Thierry},
  title        = {Code synchronization by morphological analysis},
  booktitle    = {7th International Conference on Malicious and Unwanted Software, {MALWARE}
                  2012, Fajardo, PR, USA, October 16-18, 2012},
  pages        = {112--119},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/MALWARE.2012.6461016},
  doi          = {10.1109/MALWARE.2012.6461016},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/malware/BonfanteMST12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taln/GuillaumeBMMP12,
  author       = {Bruno Guillaume and
                  Guillaume Bonfante and
                  Paul Masson and
                  Mathieu Morey and
                  Guy Perrier},
  editor       = {Laurent Besacier and
                  Herv{\'{e}} Blanchon and
                  Gilles S{\'{e}}rasset},
  title        = {Grew : un outil de r{\'{e}}{\'{e}}criture de graphes pour
                  le {TAL} (Grew: a Graph Rewriting Tool for {NLP)} [in French]},
  booktitle    = {Proceedings of the Joint Conference {JEP-TALN-RECITAL} 2012, volume
                  5: Software Demonstrations, Grenoble, France, June 4-8, 2012},
  pages        = {1--2},
  publisher    = {{ATALA/AFCP}},
  year         = {2012},
  url          = {https://aclanthology.org/F12-5001/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taln/GuillaumeBMMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Bonfante11,
  author       = {Guillaume Bonfante},
  title        = {Complexit{\'{e}} implicite des calculs : interpr{\'{e}}tation
                  de programmes. (Implicit computational complexity : program interpretations)},
  year         = {2011},
  url          = {https://tel.archives-ouvertes.fr/tel-00656766},
  timestamp    = {Fri, 29 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/hal/Bonfante11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonfanteMM11,
  author       = {Guillaume Bonfante and
                  Jean{-}Yves Marion and
                  Jean{-}Yves Moyen},
  title        = {Quasi-interpretations a way to control resources},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {25},
  pages        = {2776--2796},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2011.02.007},
  doi          = {10.1016/J.TCS.2011.02.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BonfanteMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcs/BonfanteGMP11,
  author       = {Guillaume Bonfante and
                  Bruno Guillaume and
                  Mathieu Morey and
                  Guy Perrier},
  editor       = {Johan Bos and
                  Stephen Pulman},
  title        = {Modular Graph Rewriting to Compute Semantics},
  booktitle    = {Proceedings of the Ninth International Conference on Computational
                  Semantics, {IWCS} 2011, January 12-14, 2011, Oxford, {UK}},
  publisher    = {The Association for Computer Linguistics},
  year         = {2011},
  url          = {https://aclanthology.org/W11-0108/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwcs/BonfanteGMP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soict/Bonfante11,
  author       = {Guillaume Bonfante},
  editor       = {Huynh Quyet Thang and
                  Dinh Khang Tran},
  title        = {Course of value distinguishes the intentionality of programming languages},
  booktitle    = {Proceedings of the 2011 Symposium on Information and Communication
                  Technology, SoICT 2011, Hanoi, Viet Nam, October 13-14, 2011},
  pages        = {189--198},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2069216.2069253},
  doi          = {10.1145/2069216.2069253},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/soict/Bonfante11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taln/BonfanteGMP11,
  author       = {Guillaume Bonfante and
                  Bruno Guillaume and
                  Mathieu Morey and
                  Guy Perrier},
  editor       = {Mathieu Lafourcade and
                  Violaine Prince},
  title        = {Enrichissement de structures en d{\'{e}}pendances par r{\'{e}}{\'{e}}criture
                  de graphes (Dependency structure enrichment using graph rewriting)},
  booktitle    = {Actes de la 18e conf{\'{e}}rence sur le Traitement Automatique
                  des Langues Naturelles. Articles longs, {TALN} 2011, Montpellier,
                  France, June 2011},
  pages        = {317--328},
  publisher    = {{ATALA}},
  year         = {2011},
  url          = {https://aclanthology.org/2011.jeptalnrecital-long.28/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taln/BonfanteGMP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BonfanteM10,
  author       = {Guillaume Bonfante and
                  Georg Moser},
  editor       = {Christian G. Ferm{\"{u}}ller and
                  Andrei Voronkov},
  title        = {Characterising Space Complexity Classes via Knuth-Bendix Orders},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
                  International Conference, LPAR-17, Yogyakarta, Indonesia, October
                  10-15, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6397},
  pages        = {142--156},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16242-8\_11},
  doi          = {10.1007/978-3-642-16242-8\_11},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BonfanteM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taln/BonfanteGMP10,
  author       = {Guillaume Bonfante and
                  Bruno Guillaume and
                  Mathieu Morey and
                  Guy Perrier},
  editor       = {Philippe Langlais and
                  Michel Gagnon},
  title        = {R{\'{e}}{\'{e}}criture de graphes de d{\'{e}}pendances
                  pour l'interface syntaxe-s{\'{e}}mantique},
  booktitle    = {Actes de la 17e conf{\'{e}}rence sur le Traitement Automatique
                  des Langues Naturelles. Articles longs, {TALN} 2010, Montr{\'{e}}al,
                  Canada, July 2010},
  pages        = {331--340},
  publisher    = {{ATALA}},
  year         = {2010},
  url          = {https://aclanthology.org/2010.jeptalnrecital-long.34/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/taln/BonfanteGMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/BonfanteD10,
  author       = {Guillaume Bonfante and
                  Florian L. Deloup},
  editor       = {Jan Kratochv{\'{\i}}l and
                  Angsheng Li and
                  Jir{\'{\i}} Fiala and
                  Petr Kolman},
  title        = {Complexity Invariance of Real Interpretations},
  booktitle    = {Theory and Applications of Models of Computation, 7th Annual Conference,
                  {TAMC} 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6108},
  pages        = {139--150},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13562-0\_14},
  doi          = {10.1007/978-3-642-13562-0\_14},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tamc/BonfanteD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1005-0519,
  author       = {Guillaume Bonfante},
  editor       = {Patrick Baillot},
  title        = {Observation of implicit complexity by non confluence},
  booktitle    = {Proceedings International Workshop on Developments in Implicit Computational
                  complExity, {DICE} 2010, Paphos, Cyprus, 27-28th March 2010},
  series       = {{EPTCS}},
  volume       = {23},
  pages        = {15--29},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.23.2},
  doi          = {10.4204/EPTCS.23.2},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1005-0519.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701032,
  author       = {Guillaume Bonfante and
                  Yves Guiraud},
  title        = {Programs as polygraphs: computability and complexity},
  volume       = {5},
  number       = {2},
  year         = {2009},
  url          = {http://arxiv.org/abs/cs/0701032},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701032.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/virology/BonfanteKM09,
  author       = {Guillaume Bonfante and
                  Matthieu Kaczmarek and
                  Jean{-}Yves Marion},
  title        = {Architecture of a morphological malware detector},
  journal      = {J. Comput. Virol.},
  volume       = {5},
  number       = {3},
  pages        = {263--270},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11416-008-0102-4},
  doi          = {10.1007/S11416-008-0102-4},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/virology/BonfanteKM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpt/BonfanteGM09,
  author       = {Guillaume Bonfante and
                  Bruno Guillaume and
                  Mathieu Morey},
  title        = {Dependency Constraints for Lexical Disambiguation},
  booktitle    = {Proceedings of the 11th International Workshop on Parsing Technologies
                  (IWPT-2009), 7-9 October 2009, Paris, France},
  pages        = {242--253},
  publisher    = {The Association for Computational Linguistics},
  year         = {2009},
  url          = {https://aclanthology.org/W09-3840/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwpt/BonfanteGM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BonfanteMR09,
  author       = {Guillaume Bonfante and
                  Jean{-}Yves Marion and
                  Daniel Reynaud{-}Plantey},
  editor       = {Dang Van Hung and
                  Padmanabhan Krishnan},
  title        = {A Computability Perspective on Self-Modifying Programs},
  booktitle    = {Seventh {IEEE} International Conference on Software Engineering and
                  Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
  pages        = {231--239},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/SEFM.2009.25},
  doi          = {10.1109/SEFM.2009.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/BonfanteMR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BonfanteKMO08,
  author       = {Guillaume Bonfante and
                  Reinhard Kahle and
                  Jean{-}Yves Marion and
                  Isabel Oitavem},
  editor       = {Michael Kaminski and
                  Simone Martini},
  title        = {Recursion Schemata for NCk},
  booktitle    = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th
                  Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
                  2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5213},
  pages        = {49--63},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87531-4\_6},
  doi          = {10.1007/978-3-540-87531-4\_6},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/BonfanteKMO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/malware/BonfanteKM08,
  author       = {Guillaume Bonfante and
                  Matthieu Kaczmarek and
                  Jean{-}Yves Marion},
  title        = {Morphological detection of malware},
  booktitle    = {3rd International Conference on Malicious and Unwanted Software, {MALWARE}
                  2008, Alexandria, Virginia, USA, October 7-8, 2008},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/MALWARE.2008.4690851},
  doi          = {10.1109/MALWARE.2008.4690851},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/malware/BonfanteKM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/virology/BonfanteM07,
  author       = {Guillaume Bonfante and
                  Jean{-}Yves Marion},
  title        = {Foreword},
  journal      = {J. Comput. Virol.},
  volume       = {3},
  number       = {1},
  pages        = {1--2},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11416-007-0038-0},
  doi          = {10.1007/S11416-007-0038-0},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/virology/BonfanteM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BonfanteKM07,
  author       = {Guillaume Bonfante and
                  Matthieu Kaczmarek and
                  Jean{-}Yves Marion},
  editor       = {S. Barry Cooper and
                  Benedikt L{\"{o}}we and
                  Andrea Sorbi},
  title        = {A Classification of Viruses Through Recursion Theorems},
  booktitle    = {Computation and Logic in the Real World, Third Conference on Computability
                  in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4497},
  pages        = {73--82},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73001-9\_8},
  doi          = {10.1007/978-3-540-73001-9\_8},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/BonfanteKM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BonfanteMP07,
  author       = {Guillaume Bonfante and
                  Jean{-}Yves Marion and
                  Romain P{\'{e}}choux},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Quasi-interpretation Synthesis by Decomposition},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {410--424},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_28},
  doi          = {10.1007/978-3-540-75292-9\_28},
  timestamp    = {Fri, 17 Feb 2023 09:02:01 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/BonfanteMP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonfanteG08,
  author       = {Guillaume Bonfante and
                  Yves Guiraud},
  editor       = {Ian Mackie and
                  Detlef Plump},
  title        = {Intensional Properties of Polygraphs},
  booktitle    = {Proceedings of the Fourth International Workshop on Computing with
                  Terms and Graphs, TERMGRAPH@ETAPS 2007, Braga, Portugal, March 31,
                  2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {203},
  number       = {1},
  pages        = {65--77},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.03.034},
  doi          = {10.1016/J.ENTCS.2008.03.034},
  timestamp    = {Mon, 13 Feb 2023 11:34:10 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BonfanteG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0703007,
  author       = {Guillaume Bonfante and
                  Yves Guiraud},
  title        = {Intensional properties of polygraphs},
  journal      = {CoRR},
  volume       = {abs/cs/0703007},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0703007},
  eprinttype    = {arXiv},
  eprint       = {cs/0703007},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0703007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/virology/BonfanteKM06,
  author       = {Guillaume Bonfante and
                  Matthieu Kaczmarek and
                  Jean{-}Yves Marion},
  title        = {On Abstract Computer Virology from a Recursion Theoretic Perspective},
  journal      = {J. Comput. Virol.},
  volume       = {1},
  number       = {3-4},
  pages        = {45--54},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11416-005-0007-4},
  doi          = {10.1007/S11416-005-0007-4},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/virology/BonfanteKM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Bonfante06,
  author       = {Guillaume Bonfante},
  editor       = {Michael Johnson and
                  Varmo Vene},
  title        = {Some Programming Languages for Logspace and Ptime},
  booktitle    = {Algebraic Methodology and Software Technology, 11th International
                  Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4019},
  pages        = {66--80},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11784180\_8},
  doi          = {10.1007/11784180\_8},
  timestamp    = {Sun, 25 Oct 2020 23:16:26 +0100},
  biburl       = {https://dblp.org/rec/conf/amast/Bonfante06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BonfanteKMO06,
  author       = {Guillaume Bonfante and
                  Reinhard Kahle and
                  Jean{-}Yves Marion and
                  Isabel Oitavem},
  editor       = {Zolt{\'{a}}n {\'{E}}sik},
  title        = {Towards an Implicit Characterization of \emph{NC}\({}^{\mbox{\emph{k}}}\)},
  booktitle    = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th
                  Annual Conference of the EACSL, Szeged, Hungary, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4207},
  pages        = {212--224},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11874683\_14},
  doi          = {10.1007/11874683\_14},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/BonfanteKMO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BonfanteMP06,
  author       = {Guillaume Bonfante and
                  Jean{-}Yves Marion and
                  Romain P{\'{e}}choux},
  editor       = {Miki Hermann and
                  Andrei Voronkov},
  title        = {A Characterization of Alternating Log Time by First Order Functional
                  Programs},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
                  International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
                  13-17, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4246},
  pages        = {90--104},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11916277\_7},
  doi          = {10.1007/11916277\_7},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BonfanteMP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BonfanteRP06,
  author       = {Guillaume Bonfante and
                  Joseph Le Roux and
                  Guy Perrier},
  editor       = {Oscar H. Ibarra and
                  Hsu{-}Chun Yen},
  title        = {Lexical Disambiguation with Polarities and Automata},
  booktitle    = {Implementation and Application of Automata, 11th International Conference,
                  {CIAA} 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4094},
  pages        = {283--284},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11812128\_30},
  doi          = {10.1007/11812128\_30},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/BonfanteRP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BonfanteKM05,
  author       = {Guillaume Bonfante and
                  Matthieu Kaczmarek and
                  Jean{-}Yves Marion},
  editor       = {Dang Van Hung and
                  Martin Wirsing},
  title        = {Toward an Abstract Computer Virology},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
                  Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3722},
  pages        = {579--593},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560647\_38},
  doi          = {10.1007/11560647\_38},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/BonfanteKM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BonfanteMM05,
  author       = {Guillaume Bonfante and
                  Jean{-}Yves Marion and
                  Jean{-}Yves Moyen},
  editor       = {J{\"{u}}rgen Giesl},
  title        = {Quasi-interpretations and Small Space Bounds},
  booktitle    = {Term Rewriting and Applications, 16th International Conference, {RTA}
                  2005, Nara, Japan, April 19-21, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3467},
  pages        = {150--164},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-32033-3\_12},
  doi          = {10.1007/978-3-540-32033-3\_12},
  timestamp    = {Wed, 25 Sep 2019 18:23:35 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BonfanteMM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/BonfanteGP04,
  author       = {Guillaume Bonfante and
                  Bruno Guillaume and
                  Guy Perrier},
  title        = {Polarization and abstraction of grammatical formalisms as methods
                  for lexical disambiguation},
  booktitle    = {{COLING} 2004, 20th International Conference on Computational Linguistics,
                  Proceedings of the Conference, 23-27 August 2004, Geneva, Switzerland},
  year         = {2004},
  url          = {https://aclanthology.org/C04-1044/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coling/BonfanteGP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BonfanteCMT01,
  author       = {Guillaume Bonfante and
                  Adam Cichon and
                  Jean{-}Yves Marion and
                  H{\'{e}}l{\`{e}}ne Touzet},
  title        = {Algorithms with polynomial interpretation termination proof},
  journal      = {J. Funct. Program.},
  volume       = {11},
  number       = {1},
  pages        = {33--53},
  year         = {2001},
  url          = {https://doi.org/10.1017/s0956796800003877},
  doi          = {10.1017/S0956796800003877},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BonfanteCMT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BonfanteMM01,
  author       = {Guillaume Bonfante and
                  Jean{-}Yves Marion and
                  Jean{-}Yves Moyen},
  editor       = {Dines Bj{\o}rner and
                  Manfred Broy and
                  Alexandre V. Zamulin},
  title        = {On Lexicographic Termination Ordering with Space Bound Certifications},
  booktitle    = {Perspectives of System Informatics, 4th International Andrei Ershov
                  Memorial Conference, {PSI} 2001, Akademgorodok, Novosibirsk, Russia,
                  July 2-6, 2001, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2244},
  pages        = {482--493},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45575-2\_46},
  doi          = {10.1007/3-540-45575-2\_46},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/BonfanteMM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonfanteG01,
  author       = {Guillaume Bonfante and
                  Philippe de Groote},
  editor       = {Lawrence S. Moss and
                  Richard T. Oehrle},
  title        = {Stochastic Lambek Categorial Grammars},
  booktitle    = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar
                  {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL}
                  2001, Helsinki, Finland, August 10-12, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {53},
  pages        = {34--40},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(05)82572-1},
  doi          = {10.1016/S1571-0661(05)82572-1},
  timestamp    = {Wed, 30 Nov 2022 11:51:56 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BonfanteG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Bonfante00,
  author       = {Guillaume Bonfante},
  title        = {Constructions d'ordres, analyse de la complexit{\'{e}}},
  school       = {National Polytechnic Institute of Lorraine, Nancy, France},
  year         = {2000},
  url          = {https://tel.archives-ouvertes.fr/tel-01750475},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Bonfante00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BonfanteCMT98,
  author       = {Guillaume Bonfante and
                  Adam Cichon and
                  Jean{-}Yves Marion and
                  H{\'{e}}l{\`{e}}ne Touzet},
  editor       = {Georg Gottlob and
                  Etienne Grandjean and
                  Katrin Seyr},
  title        = {Complexity Classes and Rewrite Systems with Polynomial Interpretation},
  booktitle    = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
                  Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1584},
  pages        = {372--384},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/10703163\_25},
  doi          = {10.1007/10703163\_25},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/BonfanteCMT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics