Publicationss

Publications HAL de jean-yves marion

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
Journal of Information and Computation, Elsevier, 2016
typdoc
Journal articles
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01113342/file/nc.pdf BibTex

Preprints, Working Papers, …

titre
Abstract Self Modifying Machines
auteur
Hubert Godfroy, Jean-Yves Marion
article
2016
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01390838/file/lola.pdf BibTex
titre
A theory of reflexive computation based on soft intuitionistic logic
auteur
Hubert Godfroy, Jean-Yves Marion
article
2016
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01394263/file/SilSC.pdf BibTex

2015

Conference papers

titre
Gorille sniffs code similarities, the case study of Qwerty versus Regin
auteur
Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier
article
Fernando Colon Osorio. Malware Conference, Oct 2015, Fajardo, Puerto Rico. IEEE, pp.8
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/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>
typdoc
Conference papers
DOI
DOI : 10.1145/2810103.2813627
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01257908/file/codisasm.pdf 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. Springer, 8930, pp.16, 2014
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Complexity Information Flow in a Multi-threaded Imperative Language
auteur
Jean-Yves Marion, Romain Péchoux
article
T. V. Gopal; Manindra Agrawal; Angsheng Li; S. Barry Cooper. TAMC 2014, Apr 2014, Chennai, India. Springer, pp.124 – 140, 2014, Theory and Applications of Models of Computation. <10.1007/978-3-319-06089-7_9>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-319-06089-7_9
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01084043/file/hulotte.pdf BibTex

Directions of work or proceedings

titre
Foundations and practice of security : 6th international symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, revised selected papers
auteur
Jean-Luc Danger, Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, Nur Zincir Heywood
article
8352, Springer, pp.444, 2014, Lecture Notes in Computer Science, 978-3-319-05302-8
typdoc
Directions of work or proceedings
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. IEEE, 2013
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00925517/file/malware2013.pdf BibTex
titre
Evolving graph-structures and their implicit computational complexity
auteur
Daniel Leivant, Jean-Yves Marion
article
ICALP, Jul 2013, RIGA, Latvia. SPRINGER, 7966, pp.349-360, 2013, LNCS; Automata, Languages, and Programming – 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings,Part II
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00939484/file/LeivantMarion.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. 2013
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00925184/file/SSTIC2013-Duqu-contre-Duqu-papier.pdf BibTex
titre
Type-based complexity analysis for fork processes
auteur
Emmanuel Hainry, Jean-Yves Marion, Romain Péchoux
article
Pfenning, Frank. 16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Mar 2013, Rome, Italy. Springer, 7794, pp.305-320, 2013, Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures – 16th International Conference, FOSSACS 2013. <10.1007/978-3-642-37075-5_20>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-642-37075-5_20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00755450/file/fossacs.pdf BibTex

Reports

titre
Implicit Computational Complexity and Applications: Resource Control, Security, Real-Number Computation
auteur
Akitoshi Kawamura, Jean-Yves Marion, David Nowak
article
[Technical Report] 2013-13, National Institute of Informatics. 2013, pp.16
typdoc
Reports
Accès au bibtex
BibTex
titre
Behavior Analysis of Malicious Code by Weighted Behavior Abstraction
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article
[Research Report] 2013
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00803412/file/pondere-hal.pdf BibTex

2012

Journal articles

titre
Les Mac résistent-ils mieux aux virus que les PC ?
auteur
Jean-Yves Marion
article
Pour la science, Paris : E. Belin, 2012
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Code synchronization by morphological analysis
auteur
Guillaume Bonfante, Jean-Yves Marion, Fabrice Sabatier, Aurélien Thierry
article
7th International Conference on Malicious and Unwanted Software (Malware 2012), IEEE Xplore, 2012
typdoc
Journal articles
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00764286/file/malware2012.pdf BibTex
titre
Viruses in Turing’s Garden
auteur
Jean-Yves Marion
article
ERCIM News, ERCIM, 2012, 2012 (91), <http://ercim-news.ercim.eu/en91/special/viruses-in-turings-garden>
typdoc
Journal articles
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00762918/file/ErcimVirus.pdf BibTex
titre
From Turing machines to computer viruses
auteur
Jean-Yves Marion
article
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Royal Society, The, 2012, 370 (1971), pp.3319-3339. <10.1098/rsta.2011.0332>
typdoc
Journal articles
DOI
DOI : 10.1098/rsta.2011.0332
Accès au bibtex
BibTex
titre
Theoretical Aspects of Computer Science
auteur
Jean-Yves Marion, Thomas Schwentick
article
Theory of Computing Systems, Springer Verlag, 2012, 51 (2), pp.123-124
typdoc
Journal articles
Accès au bibtex
BibTex
titre
An Implicit Characterization of PSPACE
auteur
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (2), pp.Article 18. <10.1145/2159531.2159540>
typdoc
Journal articles
DOI
DOI : 10.1145/2159531.2159540
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00591868/file/main.pdf BibTex

Conference papers

titre
Aligot: cryptographic function identification in obfuscated binary programs
auteur
Joan Calvet, José Fernandez, Jean-Yves Marion
article
ACM Conference on Computer and Communications Security, Oct 2012, Raleigh, United States. pp.169-182, 2012
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00762924/file/fp008-calvet.pdf BibTex
titre
Abstraction-based Malware Analysis Using Rewriting and Model Checking
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article
Sara Foresti and MotiYung and Fabio Martinelli. ESORICS – 17th European Symposium on Research in Computer Security – 2012, Sep 2012, Pisa, Italy. Springer, 7459, pp.806-823, 2012, Lecture Notes in Computer Science; Computer Security – ESORICS 2012. <10.1007/978-3-642-33167-1>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-642-33167-1
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00762252/file/esorics-definitif.pdf BibTex

Reports

titre
Complexity Information Flow in a Multi-threaded Imperative Language
auteur
Jean-Yves Marion, Romain Péchoux
article
[Research Report] 2012, pp.16
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00684026/file/hulotte.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, Elsevier, 2011, 412 (25), pp.2776-2796. <10.1016/j.tcs.2011.02.007>
typdoc
Journal articles
DOI
DOI : 10.1016/j.tcs.2011.02.007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00591862/file/tcs.pdf BibTex
titre
Informatique et société : Un laboratoire de haute sécurité en informatique : entretien avec Jean-Yves Marion
auteur
Jean-Yves Marion
article
Les Cahiers de l’INRIA – La Recherche, INRIA, 2011, Les 10 découvertes de l’année
typdoc
Journal articles
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00591075/file/Un_laboratoire_de_haute_sA_curite_en_informatique.pdf BibTex

Conference papers

titre
A type system for complexity flow analysis
auteur
Jean-Yves Marion
article
Twenty-Sixth Annual IEEE Symposium on Logic in Computer Science – LICS 2011, Jun 2011, Toronto, Canada. ACM, 2011
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00591853/file/effraie.pdf BibTex

Reports

titre
Behavior Analysis of Malware by Rewriting-based Abstraction – Extended Version
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article
[Research Report] 2011
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00594396/file/fmcad-extended.pdf BibTex

2010

Journal articles

titre
À propos de la virologie informatique
auteur
Jean-Yves Marion, Joanna Jongwane
article
Interstices, INRIA, 2010
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Boulevard du cybercrime
auteur
Jean-Yves Marion, Matthieu Kaczmarek
article
Dossier Pour la Science, Dossier pour la Science, 2010, pp.78-85
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
The case for in-the-lab botnet experimentation: creating and taking down a 3000-node botnet
auteur
Joan Calvet, Carlton R. Davis, José M. Fernandez, Jean-Yves Marion, Pier-Luc St-Onge, Wadie Guizani, Pierre-Marc Bureau, Somayaji Anil
article
Annual Computer Security Applications Conference, Dec 2010, Austin, Texas, United States. 2010
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536706/file/article_acsac04v3.pdf BibTex
titre
Behavior Abstraction in Malware Analysis
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article
Grigore Rosu, Oleg Sokolsky. 1st International Conference on Runtime Verification, Nov 2010, St. Julians, Malta. Springer-Verlag, 6418, pp.168-182, 2010, Lecture Notes in Computer Science; Runtime Verification
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Large-scale Malware Experiments: Why, How, and So What?
auteur
Joan Calvet, José M. Fernandez, Pierre-Marc Bureau, Jean-Yves Marion
article
Virus Bulletin 2010, Sep 2010, Vancouver, Canada. pp.241–247, 2010
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Isolated virtualised clusters: testbeds for high-risk security experimentation and training
auteur
Joan Calvet, Carlton Davis, José M. Fernandez, Wadie Guizani, Matthieu Kaczmarek, Jean-Yves Marion, Pier-Luc St-Onge
article
3rd Workshop on Cyber Security Experimentation and Test (CSET ’10), Aug 2010, Washington DC, United States. 2010
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536712/file/article5.pdf BibTex
titre
Analyse de Programmes par Traçage
auteur
Wadie Guizani, Jean-Yves Marion, Daniel Reynaud
article
8ème Symposium sur la Sécurité des Technologies de l’Information et des Communications – SSTIC 2010, Jun 2010, Rennes, France. pp.125-138, 2010
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00549418/file/document_actes.pdf BibTex

Book sections

titre
Décidabilité et Complexité
auteur
Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
article
Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
typdoc
Book sections
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00549416/file/Chapitre_DecidabiliteComplexite.pdf BibTex
titre
Décidabilité et Complexité
auteur
Olivier Bournez, Gilles Dowek, Rémi Gilleron, Serge Grigorieff, Jean-Yves Marion, Simon Perdrix, Sophie Tison
article
IA Handbook, Cépaduès, pp.1-63, 2010
typdoc
Book sections
Accès au bibtex
BibTex

Documents associated with scientific events

titre
27th International Symposium on Theoretical Aspects of Computer Science (STACS)
auteur
Jean-Yves Marion, Thomas Schwentick
article
Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, LIPIcs. 27th International Symposium on Theoretical Aspects of Computer Science – STACS 2010, Mar 2010, Nancy, France
typdoc
Documents associated with scientific events
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00549415/file/Foreword.pdf BibTex

Reports

titre
Abstraction by Term Rewriting for Malware Behavior Analysis – Extended Version
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article
[Research Report] 2010
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00547884/file/article-extended.pdf BibTex

Preprints, Working Papers, …

titre
Behavior Abstraction in Malware Analysis – Extended Version
auteur
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article
2010
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00509486/file/rv-HAL-V2.pdf BibTex

2009

Journal articles

titre
On tiered small jump operators
auteur
Jean-Yves Marion
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2009, 5 (1), pp.1-19
typdoc
Journal articles
Accès au bibtex
https://arxiv.org/pdf/0903.2410 BibTex
titre
Architecture of a Morphological Malware Detector
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Journal in Computer Virology, Springer Verlag, 2009, 5 (3), pp.263-270. <10.1007/s11416-008-0102-4>
typdoc
Journal articles
DOI
DOI : 10.1007/s11416-008-0102-4
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00330022/file/flowgraph.pdf BibTex
titre
Sup-interpretations, a semantic method for static analysis of program resources
auteur
Jean-Yves Marion, Romain Péchoux
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2009, 10 (4), 30 p
typdoc
Journal articles
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00446057/file/333pechoux.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. 2009
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00433472/file/automodificateur.pdf BibTex
titre
Dynamic Binary Instrumentation for Deobfuscation and Unpacking
auteur
Daniel Reynaud, Jean-Yves Marion
article
IN-DEPTH SECURITY CONFERENCE 2009 EUROPE, Nov 2009, Vienne, Austria. 2009
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Server-Side Dynamic Code Analysis
auteur
Wadie Guizani, Jean-Yves Marion, Daniel Reynaud
article
4th International Conference on Malicious and Unwanted Software – Malware 2009, Oct 2009, Montréal, Canada. IEEE, pp.55-62, 2009
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00425554/file/Server-Side_Dynamic_Code_Analysis.pdf BibTex
titre
On behavioral detection
auteur
Philippe Beaucamps, Jean-Yves Marion
article
18th EICAR Annual Conference 2009, May 2009, Berlin, Germany. 2009
typdoc
Conference papers
Accès au bibtex
BibTex
titre
On the use of Internet Voting on Compromised Computers
auteur
Philippe Beaucamps, Daniel Reynaud-Plantey, Jean-Yves Marion
article
4th International conference on i-Warfare & Security – ICIW 2009, Mar 2009, Cape Town, South Africa. 2009
typdoc
Conference papers
Accès au bibtex
BibTex
titre
On the Impact of Malware on Internet Voting
auteur
Philippe Beaucamps, Eric Filiol, Jean-Yves Marion, Daniel Reynaud
article
1st Luxembourg Day on Security and Reliability, Feb 2009, Luxembourg, Luxembourg. 2009
typdoc
Conference papers
Accès au bibtex
BibTex

Documents associated with scientific events

titre
26th International Symposium on Theoretical Aspects of Computer Science (STACS)
auteur
Susanne Albers, Jean-Yves Marion
article
Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, Germany, LIPIcs. STACS – 2009, Feb 2009, FREIBURG, Germany. 090001, pp.1-7, 2009, Dagstuhl Seminar Proceedings
typdoc
Documents associated with scientific events
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00434332/file/09001.SWM.1858.pdf BibTex

Reports

titre
Surfing Code Waves
auteur
Jean-Yves Marion, Daniel Reynaud
article
[Research Report] 2009
typdoc
Reports
Accès au bibtex
BibTex

2008

Journal articles

titre
Soft Linear Logic and Polynomial Complexity Classes
auteur
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2008, 205 (6), pp.67-87. <10.1016/j.entcs.2008.03.066>
typdoc
Journal articles
DOI
DOI : 10.1016/j.entcs.2008.03.066
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00342320/file/GaboardiMarionRonchi08lsfa.pdf BibTex
titre
Learning discrete categorial grammars from structures
auteur
Jérôme Besombes, Jean-Yves Marion
article
RAIRO – Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2008, 42 (1), pp.165-182. <10.1051/ita:2007055>
typdoc
Journal articles
DOI
DOI : 10.1051/ita:2007055
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00342331/file/BesombesMarion.pdf BibTex

Conference papers

titre
Analyzing the Implicit Computational Complexity of object-oriented programs
auteur
Jean-Yves Marion, Romain Péchoux
article
R. Hariharan, M. Mukund, V. Vinay. Annual Conference on Foundations of Software Technology and Theoretical Computer Science – FSTTCS 2008, Dec 2008, Bangalore, India. Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License: Creative Commons-NC-ND, 2008
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00332550/file/paper28.pdf BibTex
titre
Morphological Detection of Malware
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
International Conference on Malicious and Unwanted Software, Oct 2008, Alexendria VA, United States. IEEE, 2008, MALWARE 2008
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00330021/file/flowgraph.pdf BibTex
titre
Recursion Schemata for NCk
auteur
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem
article
Michael Kaminski and Simone Martini. 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, Sep 2008, Bertinoro, Italy. Springer, 5213, pp.49-63, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-87531-4_6>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-540-87531-4_6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00342366/file/CSL08BKMO.pdf BibTex
titre
Characterizations of Polynomial Complexity Classes with a Better Intensionality
auteur
Jean-Yves Marion, Romain Péchoux
article
Proceedings of the 10th international ACM SIGPLAN conference on Principles and Practice of Declarative Programming – PPDP 2008, Jul 2008, Valencia, Spain. ACM, pp.79-88, 2008, <10.1145/1389449.1389460>
typdoc
Conference papers
DOI
DOI : 10.1145/1389449.1389460
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00332389/file/ppdp09-pechoux.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, 2008
typdoc
Conference papers
Accès au bibtex
BibTex
titre
A Characterization of NCk by First Order Functional Programs
auteur
Jean-Yves Marion, Romain Péchoux
article
Manindra Agrawal, Dingzhu Du, Zhenhua Duan and Angsheng Li. 5th International Conference on Theory and Applications of Models of Computation – TAMC 2008, Apr 2008, Xian, China. Springer Berlin / Heidelberg, 4978, pp.136-147, 2008, Lecture Notes in Computer Science; Theory and Applications of Models of Computation. <10.1007/978-3-540-79228-4>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-540-79228-4
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00332390/file/paper69.pdf BibTex
titre
A Logical Account of PSPACE
auteur
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
article
Symposium on Principles of Programming Languages – POPL’08, Jan 2008, San Francisco, United States. ACM, 43 (1), pp.121-131, 2008, ACM SIGPLAN Notices
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00342323/file/poplGMR.pdf BibTex
titre
Obfuscation by Interpretation
auteur
Daniel Reynaud, Jean-Yves Marion
article
3rd International Workshop on the Theory of Computer Viruses – TCV 08, 2008, Nancy, France. 2008
typdoc
Conference papers
Accès au bibtex
BibTex

2007

Journal articles

titre
On the defence notion
auteur
Anne Bonfante, Jean-Yves Marion
article
Journal in Computer Virology, Springer Verlag, 2007, 3 (4), pp.247-251. <10.1007/s11416-007-0058-9>
typdoc
Journal articles
DOI
DOI : 10.1007/s11416-007-0058-9
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00184985/file/bmg.pdf BibTex
titre
Learning tree languages from positive examples and membership queries
auteur
Jérôme Besombes, Jean-Yves Marion
article
Theoretical Computer Science, Elsevier, 2007, 382 (3), pp.183-197
typdoc
Journal articles
Accès au bibtex
BibTex
titre
La virologie informatique – les virus, ennemis utiles
auteur
Eric Filiol, Jean-Yves Marion
article
Pour la science, Paris : E. Belin, 2007, pp.60-64
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Foreword of WTCV 06
auteur
Guillaume Bonfante, Jean-Yves Marion
article
Journal in Computer Virology, Springer Verlag, 2007, 3 (1), pp.1-2. <10.1007/s11416-007-0038-0>
typdoc
Journal articles
DOI
DOI : 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, Oct 2007, Nancy, France. 2007
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/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. Springer, 2007, LNCS
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00130920/file/modu.pdf BibTex
titre
Resource control of object-oriented programs
auteur
Jean-Yves Marion, Romain Péchoux
article
The International Workshop on Logic and Computational Complexity – LCC 2007, Jul 2007, Wroclaw/Poland, Poland. 2007
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00155288/file/objet.pdf BibTex
titre
Predicative Analysis of Feasibility and Diagonalization
auteur
Jean-Yves Marion
article
Simona Ronchi Della Rocca. Typed Lambda Calculi and Applications, 8th International Conference – TLCA 2007, Jun 2007, Paris, France. Springer, 4583, pp.290-304, 2007, Lecture Notes in Computer Science
typdoc
Conference papers
Accès au bibtex
BibTex
titre
A Classification of Viruses through Recursion Theorems
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
S. Barry Cooper and Benedikt Löwe and Andrea Sorbi. Computability in Europe, Jun 2007, Sienna, Italy. Springer, 4497, pp.73-82, 2007, Lecture Notes in Computer Science; Computation and Logic in the Real World, Third Conference on Computability in Europe. <10.1007/978-3-540-73001-9_8>
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-540-73001-9_8
Accès au texte intégral et bibtex
https://hal.inria.fr/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
Eric Filiol and Jean-Yves Marion and Guillaume Bonfante. International Workshop on the Theory of Computer Viruses, May 2007, Nancy, France. 2007, TCV’07
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00176235/file/tcv07b.pdf BibTex

Reports

titre
A characterization of polynomial complexity classes using dependency pairs
auteur
Jean-Yves Marion, Romain Péchoux
article
[Research Report] 2007, pp.12
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00155287/file/dependency.pdf BibTex

2006

Journal articles

titre
Les paradoxes de la défense virale : Le cas bradley
auteur
Jean-Yves Marion, Anne Bonfante
article
MISC – Le journal de la sécurité informatique, Lavoisier, 2006, 28, pp.4-7
typdoc
Journal articles
Accès au bibtex
BibTex
titre
On Abstract Computer Virology from a Recursion-theoretic Perspective
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Journal in Computer Virology, Springer Verlag, 2006, 1 (3-4), pp.45–54. <10.1007/s11416-005-0007-4>
typdoc
Journal articles
DOI
DOI : 10.1007/s11416-005-0007-4
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00115199/file/jcv06.pdf BibTex
titre
Implicit Complexity over an Arbitrary Structure: Quantifier Alternations
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
Information and Computation, Elsevier, 2006, 204 (2), pp.210–230
typdoc
Journal articles
Accès au bibtex
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, Springer, 2006, Logic for Programming, Artificial Intelligence, and Reasoning
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00110014/file/44.pdf BibTex
titre
Quasi-friendly sup-interpretations
auteur
Jean-Yves Marion, Romain Péchoux
article
8th International Workshop on Logic and Computational Complexity – LCC 2006 – LICS affiliated Workshop, Aug 2006, Seattle/Etats-Unis, 2006
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00110245/file/lcc2006.pdf BibTex
titre
Resource analysis by sup-interpretation
auteur
Jean-Yves Marion, Romain Péchoux
article
Masami Hagiya, Philip Wadler. Eighth International Symposium on Functional and Logic Programming – FLOPS 2006, Apr 2006, Fuji Susono, Japan. Springer Berlin / Heidelberg, 3945, pp.163–176, 2006, Lecture Notes in Computer Science; Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings. <10.1007/11737414_12>
typdoc
Conference papers
DOI
DOI : 10.1007/11737414_12
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000661/file/fullpaper.pdf BibTex
titre
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants
auteur
Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Tiu
article
Holger Hermanns and Jens Palsberg. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems – TACAS’06, Mar 2006, Vienna/Austria, Springer, 3920, pp.167-181, 2006, Lecture Notes in Computer Science; Tools and Algorithms for the Construction and Analysis of Systems. <10.1007/11691372_11>
typdoc
Conference papers
DOI
DOI : 10.1007/11691372_11
Accès au bibtex
BibTex

Documents associated with scientific events

titre
Special issue on implicit computational complexity
auteur
Patrick Baillot, Jean-Yves Marion, Simona Ronchi Della Rocca
article
ACM Trans. Comput. Log. (10)4. Workshop on Implicit Computational Complexity – Geometry of Computation (GEOCAL’06), Feb 2006, Marseille, France. 10 (4), 2 p., 2009, <10.1145/1555746.1555747>
typdoc
Documents associated with scientific events
DOI
DOI : 10.1145/1555746.1555747
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00434330/file/IntroTOCL.pdf BibTex

Preprints, Working Papers, …

titre
Heap-size analysis for assembly programs
auteur
Jean-Yves Marion, Jean-Yves Moyen
article
2006
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00067838/file/main.pdf BibTex

2005

Journal articles

titre
Implicit Complexity Over an Arbitrary Structure: Sequential and Parallel Polynomial Time.
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
Journal of Logic and Computation, Oxford University Press (OUP), 2005, 15 (1), pp.41–58
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
Toward an abstract computer virology
auteur
Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
article
Dang Van Hung and Martin Wirsing. Second International Colloquium on Theoretical Aspects of Computing – ICTAC 2005, Oct 2005, Hanoï/Vietnam, Springer, 3722, pp.579-593, 2005, Lecture Notes in Computer Science; ICTAC’05. <10.1007/11560647_38>
typdoc
Conference papers
DOI
DOI : 10.1007/11560647_38
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00115208/file/ictac05.pdf BibTex
titre
Logical Characterizations of $P_\mathcal{K}$ and $NP_\mathcal{K}$ Over an Arbitrary Structure $K$
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
3rd APPSEM II Workshop – APPSEM’05, Sep 2005, Frauenchiemsee/Germany, 2005
typdoc
Conference papers
Accès au bibtex
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. 2005
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/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, 2005
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000660/file/LCC05.pdf BibTex

Reports

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

2004

Journal articles

titre
Editorial : Implicit Computational Complexity (ICC)
auteur
Jean-Yves Marion
article
Theoretical Computer Science, Elsevier, 2004, 318 (1-2), pp.1
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
3rd IFIP International Conference on Theoretical Computer Science – TCS’2004, Aug 2004, Toulouse, France, Kluwer Academic Press, 14 p, 2004
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over Arbitrary Structures
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
In 2nd APPSEM II Workshop – APPSEM’04, Apr 2004, Tallinn/Estonia, 2004
typdoc
Conference papers
Accès au bibtex
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, 2004
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Apprentissage des grammaires catégorielles à partir de structures
auteur
Jérôme Besombes, Jean-Yves Marion
article
Conférence Francophone d’Apprentissage – CAp’2004, 2004, Montpellier, France, Presse universitaire de Grenoble, pp.315-330, 2004
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Learning Dependency Languages from a Teacher
auteur
Jérôme Besombes, Jean-Yves Marion
article
9th conference on Formal Grammar, 2004, Nancy, France, 7 p, 2004
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Learning Tree Languages from Positive Examples and Membership Queries
auteur
Jérôme Besombes, Jean-Yves Marion
article
Shai Ben-David and John Case and Akira Maruoka. 15th international conference on Algorithmic Learning Theory – ALT’2004, 2004, Padova, Italy, Springer, 3244, pp.440-453, 2004, Lecture notes in Artificial Intelligence
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Learning Reversible Categorial Grammars from Structures
auteur
Jérôme Besombes, Jean-Yves Marion
article
Categorial Grammars, 2004, Montpellier, France, 10 p, 2004
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Resource Analysis by Quasi-Interpretations
auteur
Jean-Yves Marion
article
Sixth International Workshop on Logic and Computational Complexity, 2004, Turku, Finlande, 95 p., 2004
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Learning regular trees with queries
auteur
Jérôme Besombes, Jean-Yves Marion
article
Mieczyslaw A. Klopotek and Slawomir T. Wierzchon and Krzsztof Trojanowski. Intelligent Information Processing and Web Mining, Proceedings of the International IIS: IIPWM’04, 2004, Zakopane, Pologne, Springer, pp.181-190, 2004, Advances in Soft Computing
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
Implicit Complexity over an Arbitrary Structure: Quantifier Alternations
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
[Intern report] A04-R-300 || bournez04e, 2004, 23 p
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107811/file/A04-R-300.pdf BibTex

2003

Journal articles

titre
Apprentissage des langages réguliers d’arbres et applications
auteur
Jérôme Besombes, Jean-Yves Marion
article
Traitement automatique de langues, 2003, 44 (1), pp.121-153
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Analysing the implicit complexity of programs
auteur
Jean-Yves Marion
article
Information and Computation, Elsevier, 2003, 183, pp.2-18
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
Apprentissage des langages réguliers d’arbres à l’aide d’un expert
auteur
Jérôme Besombes, Jean-Yves Marion
article
Conférence d’Apprentissage – CAP’2003, Jul 2003, Laval, France, 16 p, 2003
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
Fifth International Workshop on Implicit Computational Complexity – ICC’2003, Jun 2003, Ottawa, Canada, 90/1 (1), 13 p, 2003, Electronic Notes in Computer Science
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time
auteur
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion
article
Andrew D. Gordon. Foundations of Software Science and Computation Structures – FOSSACS’03, Apr 2003, Warsaw, Poland, Springer, 2620, pp.185-199, 2003, Lecture Notes in Computer Science
typdoc
Conference papers
Accès au bibtex
BibTex
titre
The QSL platform at LORIA
auteur
Mohamed El Habib, Claude Kirchner, Hélène Kirchner, Jean-Yves Marion, Stephan Merz
article
First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p, 2003
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099497/file/A03-R-539.pdf BibTex

Reports

titre
Termination and resource analysis of assembly programs by Petri nets
auteur
Jean-Yves Marion, Jean-Yves Moyen
article
[Research Report] A03-R-348 || marion03a, 2003, 13 p
typdoc
Reports
Accès au bibtex
BibTex

2002

Journal articles

titre
Kolmogorov complexity and non-determinism
auteur
Serge Grigorieff, Jean-Yves Marion
article
Theoretical Computer Science, Elsevier, 2002, 271 (1-2), pp.151-180
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
Safe Recursion and Calculus over an Arbitrary Structure
auteur
Olivier Bournez, Paulin De Naurois, Jean-Yves Marion
article
Implicit Computational Complexity – ICC’2002, Jul 2002, Copenhagen, Denmark, 12 p, 2002
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
Learning regular tree languages with positive samples and queries
auteur
Jérôme Besombes, Jean-Yves Marion
article
[Intern report] A02-R-201 || besombes02a, 2002, 10 p
typdoc
Reports
Accès au bibtex
BibTex
titre
Safe Recursion over an Arbitrary Structure: Deterministic Polynomial Time
auteur
Olivier Bournez, Paulin De Naurois, Jean-Yves Marion
article
[Intern report] A02-R-322 || bournez02d, 2002, 24 p
typdoc
Reports
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, Cambridge University Press (CUP), 2001, 11 (1), pp.33-53
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
Identification reversible dependency tree languages
auteur
Jérôme Besombes, Jean-Yves Marion
article
3rd Learning Language in Logic (LLL) Workshop, Sep 2001, Strasbourg, France, 12 p, 2001
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Actual arithmetic and feasibility
auteur
Jean-Yves Marion
article
L. Fribourg. International Workshop on Computer Science Logic – CSl’2001, 2001, Paris, France, Springer, 2142, pp.115–129, 2001, Lecture notes in Computer Science
typdoc
Conference papers
Accès au bibtex
BibTex
titre
On lexicographic termination ordering with space bound certifications
auteur
Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
article
D. Bjorner, M. Broy, A. Zamulin. International Andrei Ershov Memorial Conference – PSI’01, 2001, Novosibirsk, Russia, Springer, 2244, pp.482-493, 2001, Lecture notes in Computer Science
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
Une théorie informative de l’apprentissage
auteur
Jérôme Besombes, Jean-Yves Marion
article
[Interne] A01-R-014 || besombes01a, 2001, 7 p
typdoc
Reports
Accès au bibtex
BibTex

2000

Journal articles

titre
A characterization of alternating log time by ramified recurrence
auteur
Daniel Leivant, Jean-Yves Marion
article
Theoretical Computer Science, Elsevier, 2000, 236 (1-2), pp.192-208
typdoc
Journal articles
Accès au bibtex
BibTex
titre
Ramified Recurrence and Computational Complexity IV : Predicative Functionals and Poly-Space
auteur
Daniel Leivant, Jean-Yves Marion
article
Information and Computation, Elsevier, 2000, 12 p
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
Efficient first order functional program interpreter with time bound certifications
auteur
Jean-Yves Marion, Jean-Yves Moyen
article
M. Parigot & A. Voronkov. International Conference on Logic Programming & Automated Reasoning – LPAR’2000, Nov 2000, Reunion Island, France, Springer-Verlag, 1955, pp.25-42, 2000, Lecture Notes in Computer Science
typdoc
Conference papers
Accès au bibtex
BibTex
titre
The Light Lexicographic path Ordering
auteur
Adam Cichon, Jean-Yves Marion
article
Workshop RULE’2000, Sep 2000, Montréal, Canada, 17 p, 2000
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
A proof theoretic approach to feasible computation
auteur
Jean-Yves Marion
article
[Interne] A00-R-375 || marion00d, 2000, 17 p
typdoc
Reports
Accès au bibtex
BibTex

1999

Journal articles

titre
From multiple sequent for Additive Linear Logic to decision procedures for Free Lattices
auteur
Jean-Yves Marion
article
Theoretical Computer Science, Elsevier, 1999, 224 (1-2), pp.157-172
typdoc
Journal articles
Accès au bibtex
BibTex

Reports

titre
Light Multiset path ordering and Ptime – Two is better than one
auteur
Jean-Yves Marion
article
[Intern report] 99-R-106 || marion99b, 1999, 19 p
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098750/file/99-R-106.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
Gottlob, Georg and Etienne, Grand and katrin, Seyr. CSl’98, 1998, Brno, République Tchèque, Springer, 1584, pp.372-384, 1998, Lecture Notes in Computer Science
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098689/file/98-R-060.pdf BibTex

Reports

titre
An hierarchy of terminating algorithms with semantic interpretation termination proofs
auteur
Jean-Yves Marion
article
[Intern report] 98-R-273 || marion98a, 1998, 17 p
typdoc
Reports
Accès au bibtex
BibTex
titre
Kolmogorov complexity and non-determinism
auteur
Serge Grigorieff, Jean-Yves Marion
article
[Intern report] 98-R-274 || grigorieff98a, 1998, 11 p
typdoc
Reports
Accès au bibtex
BibTex