Jean-Yves Horgel < Jean-Yves Marion < Jean-Yves Moyen

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000007 (2012)	Jean-Yves Marion	Viruses in Turing's Garden
000096 (2008-04-26)	Jean-Yves Marion ; Romain Péchoux	A Characterization of NCk by First Order Functional Programs
000099 (2007-06-18)	Guillaume Bonfante ; Matthieu Kaczmarek ; Jean-Yves Marion	A Classification of Viruses through Recursion Theorems
000283 (2008-01-10)	Marco Gaboardi ; Jean-Yves Marion ; Simona Ronchi Della Rocca	A Logical Account of PSPACE
000589 (2006-11-13)	Romain Péchoux ; Jean-Yves Marion ; Guillaume Bonfante	A characterization of Alternating log time by first order functional programs
000590 (2000)	Daniel Leivant ; Jean-Yves Marion	A characterization of alternating log time by ramified recurrence
000591 (2007)	Jean-Yves Marion ; Romain Péchoux	A characterization of polynomial complexity classes using dependency pairs
000618 (2009-11-25)	Guillaume Bonfante ; Jean-Yves Marion ; Daniel Reynaud	A computability perspective on self-modifying programs
000840 (2000)	Jean-Yves Marion	A proof theoretic approach to feasible computation
000998 (2011-06-21)	Jean-Yves Marion	A type system for complexity flow analysis
000A42 (2005-09)	Guillaume Bonfante ; Matthieu Kaczmarek ; Jean-Yves Marion	Abstract Detection of Computer Viruses
000A50 (2010-12-17)	Philippe Beaucamps ; Isabelle Gnaedig ; Jean-Yves Marion	Abstraction by Term Rewriting for Malware Behavior Analysis - Extended Version
000A51 (2012-09-10)	Philippe Beaucamps ; Isabelle Gnaedig ; Jean-Yves Marion	Abstraction-based Malware Analysis Using Rewriting and Model Checking
000A99 (2001)	Jean-Yves Marion	Actual arithmetic and feasibility
000C13 (2001)	Guillaume Bonfante ; Adam Cichon ; Jean-Yves Marion ; Helene Touzet	Algorithms with Polynomial Interpretation Termination Proof
000C15 (2012-10-24)	Joan Calvet ; José Fernandez ; Jean-Yves Marion	Aligot: cryptographic function identification in obfuscated binary programs
000D09 (2012)	Marco Gaboardi ; Jean-Yves Marion ; Simona Ronchi Della Rocca	An Implicit Characterization of PSPACE
000E02 (1998)	Jean-Yves Marion	An hierarchy of terminating algorithms with semantic interpretation termination proofs
000E03 (2008-05-05)	Guillaume Bonfante ; Matthieu Kaczmarek ; Jean-Yves Marion	An implementation of morphological malware detection
000E32 (2003)	Jean-Yves Marion	Analysing the implicit complexity of programs
000E34 (2013-10-22)	Guillaume Bonfante ; Jean-Yves Marion ; Fabrice Sabatier ; Aurélien Thierry	Analysis and Diversion of Duqu's Driver

---

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 "Jean-Yves Marion" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Jean-Yves Marion" \
         | 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é=    Jean-Yves Marion
}}

---

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