Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Guillaume Bonfante
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.