Guillaume Biot- Paquerot < Guillaume Bonfante < Guillaume Bosc

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 64.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000099 (2007-06-18)	Guillaume Bonfante ; Matthieu Kaczmarek ; Jean-Yves Marion	A Classification of Viruses through Recursion Theorems
000589 (2006-11-13)	Romain Péchoux ; Jean-Yves Marion ; Guillaume Bonfante	A characterization of Alternating log time by first order functional programs
000592 (2012-04-09)	Guillaume Bonfante ; Virgile Mogbil	A circuit uniformity sharper than DLogTime
000618 (2009-11-25)	Guillaume Bonfante ; Jean-Yves Marion ; Daniel Reynaud	A computability perspective on self-modifying programs
000743 (2000)	Guillaume Bonfante ; François Lamarche	A monotone lambda-calculus: the example of ordinal terms
000958 (1998)	Guillaume Bonfante ; Adam Cichon ; François Lamarche	A semantics and a syntax for ordinal notations and hierarchies
000A42 (2005-09)	Guillaume Bonfante ; Matthieu Kaczmarek ; Jean-Yves Marion	Abstract Detection of Computer Viruses
000C13 (2001)	Guillaume Bonfante ; Adam Cichon ; Jean-Yves Marion ; Helene Touzet	Algorithms with Polynomial Interpretation Termination Proof
000E03 (2008-05-05)	Guillaume Bonfante ; Matthieu Kaczmarek ; Jean-Yves Marion	An implementation of morphological malware detection
000E34 (2013-10-22)	Guillaume Bonfante ; Jean-Yves Marion ; Fabrice Sabatier ; Aurélien Thierry	Analysis and Diversion of Duqu's Driver
000F79 (2009)	Guillaume Bonfante ; Matthieu Kaczmarek ; Jean-Yves Marion	Architecture of a Morphological Malware Detector
001440 (2010-10-10)	Guillaume Bonfante ; Georg Moser	Characterising Space Complexity Classes via Knuth-Bendix Orders
001511 (2015-10-12)	Guillaume Bonfante ; Jose Fernandez ; Jean-Yves Marion ; Benjamin Rouxel ; Fabrice Sabatier ; Aurélien Thierry	CoDisasm: Medium Scale Concatic Disassembly of Self-Modifying Binaries with Overlapping Instructions
001518 (2012-10)	Guillaume Bonfante ; Jean-Yves Marion ; Fabrice Sabatier ; Aurélien Thierry	Code synchronization by morphological analysis
001697 (1999-05)	Guillaume Bonfante	Complexity characterisation of restrictions of KBO
001698 (2000-05)	Guillaume Bonfante	Complexity characterisation of restrictions of KBO
001699 (1998)	Guillaume Bonfante ; Adam Cichon ; Jean-Yves Marion ; Hélène Touzet	Complexity classes and rewrite systems with polynomial interpretation
001700 (2010)	Guillaume Bonfante ; Florian Deloup	Complexity invariance of real interpretations
001701 (2010-06-07)	Guillaume Bonfante ; Florian Deloup	Complexity invariance of real interpretations
001870 (1999)	Guillaume Bonfante ; François Lamarche	Constructing orders by means of inductive definitions
001915 (2007-05-10)	Guillaume Bonfante ; Matthieu Kaczmarek ; Jean-Yves Marion	Control Flow Graphs as Malware Signatures

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Guillaume Bonfante" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Guillaume Bonfante" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Guillaume Bonfante
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022