Publications HAL de Guillaume, Bonfante

2024

Preprints, Working Papers, ...

titre
On graph rewriting systems termination through language theory
auteur
Guillaume Bonfante, Miguel Couceiro
article
2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03629573/file/DMTCS_GraphRewriting%20%282%29.pdf BibTex

2023

Preprints, Working Papers, ...

titre
THE GENUS OF REGULAR LANGUAGES AND DIRECTED GRAPH EMULATORS
auteur
Guillaume Bonfante, Deloup Florian
article
2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04076273/file/main5.pdf BibTex

2021

Conference papers

titre
At the bottom of binary analysis
auteur
Guillaume Bonfante, Alexandre Talon
article
14th International Symposium on Foundations & Practice of Security, Dec 2021, Paris, France. ⟨10.1007/978-3-031-08147-7_21⟩
Accès au texte intégral et bibtex
https://hal.univ-lorraine.fr/hal-03557004/file/short.pdf BibTex

2020

Conference papers

titre
Termination of graph rewriting systems through language theory
auteur
Guillaume Bonfante, Miguel Couceiro
article
ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
Accès au texte intégral et bibtex
https://hal.science/hal-02912877/file/RewritingAalgos_rev.pdf BibTex

Preprints, Working Papers, ...

titre
On termination of Graph Rewriting Systems through language theory
auteur
Guillaume Bonfante, Miguel Couceiro
article
2020
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02478696/file/terminaison.pdf BibTex

2019

Journal articles

titre
DECIDABILITY OF REGULAR LANGUAGE GENUS COMPUTATION
auteur
Guillaume Bonfante, Florian Deloup
article
Mathematical Structures in Computer Science, 2019, 29 (9), pp.1428-1443. ⟨10.1017/S0960129519000057⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03178810/file/GenusLanguage.pdf BibTex

Conference papers

titre
LockerGoga quickly reversed
auteur
Guillaume Bonfante, Corentin Jannier, Jean-Yves Marion, Fabrice Sabatier
article
MALCON 2019 14th International Conference on Malicious and Unwanted Software, Oct 2019, Nantucket, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03178806/file/lockergoga.pdf BibTex

2018

Journal articles

titre
Non-size increasing Graph Rewriting for Natural Language Processing
auteur
Guillaume Bonfante, Bruno Guillaume
article
Mathematical Structures in Computer Science, 2018, 28 (08), pp.1451 - 1484. ⟨10.1017/S0960129518000178⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00921038/file/grew.pdf BibTex
titre
The genus of regular languages
auteur
Guillaume Bonfante, Florian Deloup
article
Mathematical Structures in Computer Science, 2018, 28 (1), pp.14-44. ⟨10.1017/S0960129516000037⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03178814/file/genus_final.pdf BibTex

Books

titre
Application de la réécriture de graphes au traitement automatique des langues
auteur
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
article
ISTE editions, 1, pp.242, 2018, Série Logique, linguistique et informatique, Christian Rétoré, 9781784054762
Accès au bibtex
BibTex
titre
Application of Graph Rewriting to Natural Language Processing
auteur
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
article
ISTE Wiley, 1, pp.272, 2018, Logic, Linguistics and Computer Science Set, Christian Rétoré, 1786300966
Accès au bibtex
BibTex

2017

Conference papers

titre
A construction of a self-modifiying language with a formal correction proof
auteur
Guillaume Bonfante, Hubert Godfroy, Jean-Yves Marion
article
2017 12th International Conference on Malicious and Unwanted Software (MALWARE), Oct 2017, Fajardo, United States. pp.99-106, ⟨10.1109/MALWARE.2017.8323962⟩
Accès au bibtex
BibTex

2016

Journal articles

titre
Two function algebras defining functions in NC k boolean circuits
auteur
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
article
Information and Computation, 2016, ⟨10.1016/j.ic.2015.12.009⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01113342/file/nc.pdf BibTex

Conference papers

titre
Function classification for the retro-engineering of malwares
auteur
Guillaume Bonfante, Julien Oury--Nogues
article
9th International Symposium Foundations and Practice of Security, Oct 2016, Quebec, Canada
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03178819/file/paper.pdf BibTex

Books

titre
Foundations and practice of security : 8th international symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015 : revised selected papers
auteur
Joaquin Garcia-Alfaro, Evangelos Kranakis, Guillaume Bonfante
article
Springer International Publishing, 9482, pp.323, 2016, Lecture Notes in Computer Science, Lecture Notes in Computer Science, 978-3-319-30302-4
Accès au bibtex
BibTex

2015

Journal articles

titre
Real or natural numbers interpretations and their effect on complexity
auteur
Guillaume Bonfante, Florian Deloup, Antoine Henrot
article
Theoretical Computer Science, 2015, 585, pp.25-40. ⟨10.1016/j.tcs.2015.03.004⟩
Accès au bibtex
BibTex

Conference papers

titre
Gorille sniffs code similarities, the case study of Qwerty versus Regin
auteur
Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier
article
Malware Conference, Oct 2015, Fajardo, Puerto Rico. pp.8
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01263123/file/malware2015.pdf BibTex
titre
CoDisasm: Medium Scale Concatic Disassembly of Self-Modifying Binaries with Overlapping Instructions
auteur
Guillaume Bonfante, Jose Fernandez, Jean-Yves Marion, Benjamin Rouxel, Fabrice Sabatier, Aurélien Thierry
article
22nd ACM Conference on Computer and Communications Security, Oct 2015, Denver, United States. ⟨10.1145/2810103.2813627⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01257908/file/codisasm.pdf BibTex
titre
Immune Systems in Computer Virology
auteur
Guillaume Bonfante, Mohamed El-Aqqad, Benjamin Greenbaum, Mathieu Hoyrup
article
Computability in Europe 2015, Jun 2015, Bucharest, Romania. pp.10, ⟨10.1007/978-3-319-20028-6_13⟩
Accès au bibtex
BibTex

2014

Conference papers

titre
Malware Message Classification by Dynamic Analysis
auteur
Guillaume Bonfante, Jean-Yves Marion, Thanh Dinh Ta
article
The 7th International Symposium on Foundations and Practice of Security, Nov 2014, Montreal, Canada. pp.16
Accès au bibtex
BibTex

Book sections

titre
Supertagging with Constraints
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
article
Philippe Blache; Henning Christiansen; Verónica Dahl; Denys Duchier; Jørgen Villadsen. Constraint and Language, Cambridge Scholar Publishing, pp.253-297, 2014
Accès au bibtex
BibTex

2013

Conference papers

titre
Analysis and Diversion of Duqu's Driver
auteur
Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier, Aurélien Thierry
article
Malware 2013 - 8th International Conference on Malicious and Unwanted Software, Oct 2013, Fajardo, Puerto Rico
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00925517/file/malware2013.pdf BibTex
titre
Duqu contre Duqu : Analyse et détournement du driver de Duqu
auteur
Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier, Aurélien Thierry
article
SSTIC - Symposium sur la sécurité des technologies de l'information et des communications, Jun 2013, Rennes, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00925184/file/SSTIC2013-Duqu-contre-Duqu-papier.pdf BibTex
titre
Non-simplifying Graph Rewriting Termination
auteur
Guillaume Bonfante, Bruno Guillaume
article
TERMGRAPH, Mar 2013, Rome, Italy. pp.4-16
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00921053/file/termgraph.pdf BibTex

2012

Conference papers

titre
Code synchronization by morphological analysis
auteur
Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier, Aurélien Thierry
article
MALWARE 2012 - 7th International Conference on Malicious and Unwanted Software, Oct 2012, Fajardo, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00764286/file/malware2012.pdf BibTex
titre
Grew : un outil de réécriture de graphes pour le TAL
auteur
Bruno Guillaume, Guillaume Bonfante, Paul Masson, Mathieu Morey, Guy Perrier
article
12ième Conférence annuelle sur le Traitement Automatique des Langues (TALN'12), ATALA, Jun 2012, Grenoble, France. pp.1-2
Accès au bibtex
BibTex

Reports

titre
A circuit uniformity sharper than DLogTime
auteur
Guillaume Bonfante, Virgile Mogbil
article
2012
Accès au texte intégral et bibtex
https://hal.science/hal-00701420/file/unif_preprintLIPN12.pdf BibTex

2011

Journal articles

titre
Quasi-interpretations a way to control resources
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
article
Theoretical Computer Science, 2011, 412 (25), pp.2776-2796. ⟨10.1016/j.tcs.2011.02.007⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00591862/file/tcs.pdf BibTex

Conference papers

titre
Course of value distinguishes the intentionality of programming languages
auteur
Guillaume Bonfante
article
2nd International Symposium on Information and Communication Technology - SoICT 2011, Oct 2011, Hanoi, Vietnam
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00642731/file/89bonfante.pdf BibTex
titre
Enrichissement de structures en dépendances par réécriture de graphes
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
article
Traitement Automatique des Langues Naturelles (TALN), Jun 2011, Montpellier, France
Accès au bibtex
BibTex
titre
Modular Graph Rewriting to Compute Semantics
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
article
9th International Conference on Computational Semantics - IWCS 2011, Jan 2011, Oxford, United Kingdom. pp.65--74
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00579244/file/iwcs.pdf BibTex

Habilitation à diriger des recherches

titre
Complexité implicite des calculs : interprétation de programmes
auteur
Guillaume Bonfante
article
Complexité [cs.CC]. Institut National Polytechnique de Lorraine - INPL, 2011
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00656766/file/hdr.pdf BibTex

2010

Conference papers

titre
Characterising Space Complexity Classes via Knuth-Bendix Orders
auteur
Guillaume Bonfante, Georg Moser
article
17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR-17, Oct 2010, Yogyakarta, Indonesia. pp.142--156
Accès au bibtex
BibTex
titre
Réécriture de graphes de dépendances pour l'interface syntaxe-sémantique
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey, Guy Perrier
article
Traitement Automatique des Langues Naturelles - TALN 2010, Jul 2010, Montréal, Canada
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00526437/file/dspbc.pdf BibTex
titre
Complexity invariance of real interpretations
auteur
Guillaume Bonfante, Florian Deloup
article
7th Annual Conference on Theory and Applications of Models of Computation - TAMC 2010, Jun 2010, Prague, Czech Republic. pp.139-150, ⟨10.1007/978-3-642-13562-0⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00535784/file/final.pdf BibTex
titre
Observation of implicit complexity by non confluence
auteur
Guillaume Bonfante
article
International Workshop on Developments in Implicit Computational complExity - DICE 2010, Mar 2010, Paphos, Cyprus
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00535539/file/dice.pdf BibTex

Book sections

titre
Complexity invariance of real interpretations
auteur
Guillaume Bonfante, Florian Deloup
article
Theory and applications of models of computation, Springer, p. 139-150, 2010, Lecture Notes in Computer Science, vol. 6108, ⟨10.1007/978-3-642-13562-0_14⟩
Accès au bibtex
BibTex

2009

Journal articles

titre
Polygraphic programs and polynomial-time functions
auteur
Guillaume Bonfante, Yves Guiraud
article
Logical Methods in Computer Science, 2009, 5 (2:14), pp.1-37. ⟨10.2168/LMCS-5(2:14)2009⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00122932/file/polypoly.pdf BibTex
titre
Architecture of a Morphological Malware Detector
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Journal in Computer Virology, 2009, 5 (3), pp.263-270. ⟨10.1007/s11416-008-0102-4⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00330022/file/flowgraph.pdf BibTex

Conference papers

titre
A computability perspective on self-modifying programs
auteur
Guillaume Bonfante, Jean-Yves Marion, Daniel Reynaud
article
7th IEEE International Conference on Software Engineering and Formal Methods - SEFM 2009, Nov 2009, Hanoi, Vietnam
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00433472/file/automodificateur.pdf BibTex
titre
Polynomials over the reals are safe for program interpretations
auteur
Guillaume Bonfante, Florian Deloup, Antoine Henrot
article
FOPARA 2009, Nov 2009, Eindhoven, European Union
Accès au texte intégral et bibtex
https://hal.science/hal-00594663/file/FOPARAB.pdf BibTex
titre
Dependency Constraints for Lexical Disambiguation
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey
article
11th International Conference on Parsing Technologies - IWPT'09, Oct 2009, Paris, France. pp.242-253
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00440795/file/IWPT_dependency_constraints_for_LD.pdf BibTex
titre
Word Order Constraints for Lexical Disambiguation of Interaction Grammars
auteur
Guillaume Bonfante, Bruno Guillaume, Mathieu Morey
article
Workshop on Parsing with Categorial Grammars - ESSLLI, Jul 2009, Bordeaux, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00440785/file/PCG_word_order_constraints_for_LD.pdf BibTex

2008

Conference papers

titre
Morphological Detection of Malware
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
International Conference on Malicious and Unwanted Software, Fernando C. Colon Osorio, Oct 2008, Alexendria VA, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00330021/file/flowgraph.pdf BibTex
titre
Recursion Schemata for NCk
auteur
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
article
22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, Sep 2008, Bertinoro, Italy. pp.49-63, ⟨10.1007/978-3-540-87531-4_6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00342366/file/CSL08BKMO.pdf BibTex
titre
An implementation of morphological malware detection
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
EICAR, May 2008, Laval, France. pp.49--62
Accès au bibtex
BibTex

2007

Journal articles

titre
Foreword of WTCV 06
auteur
Guillaume Bonfante, Jean-Yves Marion
article
Journal in Computer Virology, 2007, 3 (1), pp.1-2. ⟨10.1007/s11416-007-0038-0⟩
Accès au bibtex
BibTex

Conference papers

titre
Control Flow to Detect Malware
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Inter-Regional Workshop on Rigorous System Development and Analysis 2007, Pascal Fontaine; Stephan Merz, Oct 2007, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00176241/file/IRWRSDA.pdf BibTex
titre
Quasi-interpretation Synthesis by Decomposition : An application to higher-order programs
auteur
Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux
article
ICTAC, Sep 2007, Macao, China
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00130920/file/modu.pdf BibTex
titre
INtersection Optimization is NP-Complete
auteur
Guillaume Bonfante, Joseph Le Roux
article
Sixth International Workshop on Finite-State Methods and Natural Language Processing - FSMNLP 2007, Sep 2007, Postdam, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00185232/file/intersection.pdf BibTex
titre
A Classification of Viruses through Recursion Theorems
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Computability in Europe, Jun 2007, Sienna, Italy. pp.73-82, ⟨10.1007/978-3-540-73001-9_8⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00175301/file/bonfante.a_classification_of_computer_viruses_through_recursion_theorems.pdf BibTex
titre
Control Flow Graphs as Malware Signatures
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
International Workshop on the Theory of Computer Viruses, Matthieu Kaczmarek; Guillaume Bonfante, May 2007, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00176235/file/tcv07b.pdf BibTex
titre
Intensional properties of polygraphs
auteur
Guillaume Bonfante, Yves Guiraud
article
4th International Workshop on Computing with Terms and Graphs - TERMGRAPH 2007, Mar 2007, Braga, Portugal. ⟨10.1016/j.entcs.2008.03.034⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00129391/file/termgraph.pdf BibTex

Other publications

titre
Intersection Optimization is NP Complete
auteur
Guillaume Bonfante, Joseph Le Roux
article
2007
Accès au texte intégral et bibtex
https://hal.science/hal-00146671/file/intersection.pdf BibTex

Reports

titre
Monotone interpretations
auteur
Guillaume Bonfante
article
[Research Report] 2007, pp.9
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00145060/file/bqi.pdf BibTex

2006

Journal articles

titre
On Abstract Computer Virology from a Recursion-theoretic Perspective
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Journal in Computer Virology, 2006, 1 (3-4), pp.45--54. ⟨10.1007/s11416-005-0007-4⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00115199/file/jcv06.pdf BibTex

Conference papers

titre
A characterization of Alternating log time by first order functional programs
auteur
Romain Péchoux, Jean-Yves Marion, Guillaume Bonfante
article
13th International Conference on Logic for Programming Artificial Intelligence and Reasoning - LPAR-13, Nov 2006, Phnom Penh/Cambodia
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00110014/file/44.pdf BibTex
titre
Lexical disambiguation with polarities and automata
auteur
Joseph Le Roux, Guillaume Bonfante, Guy Perrier
article
11th International Conference on Implementation and Application of Automata - CIAA 2006, Aug 2006, Taipei/Taiwan
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00113369/file/CIAA071.pdf BibTex
titre
Some programming languages for LOGSPACE and PTIME
auteur
Guillaume Bonfante
article
11th International Conference on Algebraic Methodology and Software Technology - AMAST'06, Jul 2006, Kuresaare/Estonie
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00105744/file/bonfante.pdf BibTex

2005

Conference papers

titre
Toward an abstract computer virology
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Second International Colloquium on Theoretical Aspects of Computing - ICTAC 2005, Oct 2005, Hanoï/Vietnam, pp.579-593, ⟨10.1007/11560647_38⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00115208/file/ictac05.pdf BibTex
titre
Abstract Detection of Computer Viruses
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Third Workshop on Applied Semantics - APPSEM'05, Sep 2005, Frauenchiemsee, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00115368/file/APPSEM05.pdf BibTex
titre
Synthesis of Quasi-interpretations
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen, Romain Péchoux
article
Seventh International Workshop on Logic and Computational Complexity - LCC 2005, Jun 2005, Chicago/USA
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00000660/file/LCC05.pdf BibTex

Reports

titre
Quasi-interpretations and small space bounds
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
article
[Research Report] 2005, pp.19
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00001234/file/A05-R-007.pdf BibTex
titre
Quasi-interpretation: a way to control ressources
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
article
[Intern report] 2005, pp.35
Accès au bibtex
BibTex

2004

Conference papers

titre
Polarization and abstraction of grammatical formalisms as methods for lexical disambiguation
auteur
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
article
20th Conference on Computational Linguistics - CoLing'2004, 2004, Genève, Suisse, pp.303-309
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00099886/file/A04-R-260.pdf BibTex
titre
On complexity analysis by quasi-interpretation
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
article
2nd Appsem II workshop - APPSEM'04, 2004, Tallinn, Estonia, pp.85-95
Accès au bibtex
BibTex

2003

Journal articles

titre
Analyse syntaxique électrostatique
auteur
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
article
Revue TAL : traitement automatique des langues, 2003, 44 (3), pp.93-120
Accès au bibtex
BibTex

2001

Journal articles

titre
Algorithms with Polynomial Interpretation Termination Proof
auteur
Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Helene Touzet
article
Journal of Functional Programming, 2001, 11 (1), pp.33-53
Accès au bibtex
BibTex

Conference papers

titre
Stochastic Lambek Categorial Grammars
auteur
Guillaume Bonfante, Philippe de Groote
article
Formal Grammars and Mathematics of Langage Conference - FGMOl'01, Lawrence Moss, 2001, Helsinki, Finland, 9 p
Accès au bibtex
BibTex
titre
On lexicographic termination ordering with space bound certifications
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
article
International Andrei Ershov Memorial Conference - PSI'01, 2001, Novosibirsk, Russia, pp.482-493
Accès au bibtex
BibTex

Reports

titre
A model of a dependent linear calculus
auteur
Guillaume Bonfante, François Lamarche, Thomas Streicher
article
[Intern report] A01-R-262 || bonfante01c, 2001, 13 p
Accès au bibtex
BibTex

2000

Conference papers

titre
Complexity characterisation of restrictions of KBO
auteur
Guillaume Bonfante
article
Implicit computational complexity, J.Y. Marion, May 2000, Santa Barbara, US, pp.12
Accès au bibtex
BibTex

Reports

titre
A monotone lambda-calculus: the example of ordinal terms
auteur
Guillaume Bonfante, François Lamarche
article
[Intern report] A00-R-180 || bonfante00a, 2000, 15 p
Accès au bibtex
BibTex

Theses

titre
Constructions d'ordres, analyse de la complexité
auteur
Guillaume Bonfante
article
Informatique [cs]. Institut National Polytechnique de Lorraine, 2000. Français. ⟨NNT : 2000INPL102N⟩
Accès au texte intégral et bibtex
https://hal.univ-lorraine.fr/tel-01750475/file/INPL_T_2000_BONFANTE_G.pdf BibTex

1999

Reports

titre
Constructing orders by means of inductive definitions
auteur
Guillaume Bonfante, François Lamarche
article
[Intern report] 99-R-035 || bonfante99a, 1999, 15 p
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00098791/file/99-R-035.pdf BibTex

1998

Conference papers

titre
Complexity classes and rewrite systems with polynomial interpretation
auteur
Guillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet
article
CSl'98, 1998, Brno, République Tchèque, pp.372-384
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00098689/file/98-R-060.pdf BibTex

Reports

titre
A semantics and a syntax for ordinal notations and hierarchies
auteur
Guillaume Bonfante, Adam Cichon, François Lamarche
article
[Intern report] 98-R-070 || bonfante98b, 1998, 33 p
Accès au bibtex
BibTex