Jean-Yves Marion Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne Albers, Jean-Yves Marion: 26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, February 26-28, 2009, Freiburg, Germany, Proceedings Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2009
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Bonfante, Jean-Yves Marion, Daniel Reynaud-Plantey: A Computability Perspective on Self-Modifying Programs. SEFM 2009: 231-239
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne Albers, Jean-Yves Marion: Preface - 26th International Symposium on Theoretical Aspects of Computer Science. STACS 2009: 0-
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Baillot, Jean-Yves Marion, Simona Ronchi Della Rocca: Guest editorial: Special issue on implicit computational complexity. ACM Trans. Comput. Log. 10(4): (2009)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion, Romain Péchoux: Sup-interpretations, a semantic method for static analysis of program resources. ACM Trans. Comput. Log. 10(4): (2009)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion: Architecture of a morphological malware detector. Journal in Computer Virology 5(3): 263-270 (2009)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion: On tiered small jump operators Logical Methods in Computer Science 5(1): (2009)
2008
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem: Recursion Schemata for NCk. CSL 2008: 49-63
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion, Romain Péchoux: Analyzing the Implicit Computational Complexity of object-oriented programs. FSTTCS 2008: 316-327
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: A logical account of pspace. POPL 2008: 121-131
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion, Romain Péchoux: Characterizations of polynomial complexity classes with a better intensionality. PPDP 2008: 79-88
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion, Romain Péchoux: A Characterization of NCk. TAMC 2008: 136-147
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: Soft Linear Logic and Polynomial Complexity Classes. Electr. Notes Theor. Comput. Sci. 205: 67-87 (2008)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJérôme Besombes, Jean-Yves Marion: Learning discrete categorial grammars from structures. ITA 42(1): 165-182 (2008)
2007
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion: A Classification of Viruses Through Recursion Theorems. CiE 2007: 73-82
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Bonfante, Jean-Yves Marion, Romain Péchoux: Quasi-interpretation Synthesis by Decomposition. ICTAC 2007: 410-424
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion: Predicative Analysis of Feasibility and Diagonalization. TLCA 2007: 290-304
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion, Romain Péchoux: Resource control of object-oriented programs CoRR abs/0706.2293: (2007)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Bonfante, Jean-Yves Marion: On the defence notion CoRR abs/0711.0692: (2007)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Bonfante, Jean-Yves Marion: Foreword. Journal in Computer Virology 3(1): 1-2 (2007)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Bonfante, Jean-Yves Marion: On the defence notion. Journal in Computer Virology 3(4): 247-251 (2007)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJérôme Besombes, Jean-Yves Marion: Learning tree languages from positive examples and membership queries. Theor. Comput. Sci. 382(3): 183-197 (2007)
2006
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem: Towards an Implicit Characterization of NCk. CSL 2006: 212-224
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion, Romain Péchoux: Resource Analysis by Sup-interpretation. FLOPS 2006: 163-176
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Bonfante, Jean-Yves Marion, Romain Péchoux: A Characterization of Alternating Log Time by First Order Functional Programs. LPAR 2006: 90-104
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Bonfante, Jean-Yves Marion: Computers under Attacks! PhiSE 2006
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu: Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. TACAS 2006: 167-181
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion, Romain Péchoux: Quasi-friendly sup-interpretations CoRR abs/cs/0608020: (2006)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion: Implicit complexity over an arbitrary structure: Quantifier alternations. Inf. Comput. 204(2): 210-230 (2006)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion: On Abstract Computer Virology from a Recursion Theoretic Perspective. Journal in Computer Virology 1(3-4): 45-54 (2006)
2005
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion: Toward an Abstract Computer Virology. ICTAC 2005: 579-593
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen: Quasi-interpretations and Small Space Bounds. RTA 2005: 150-164
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion: Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time. J. Log. Comput. 15(1): 41-58 (2005)
2004
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJérôme Besombes, Jean-Yves Marion: Learning Tree Languages from Positive Examples and Membership Queries. ALT 2004: 440-453
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion: Tailoring Recursion to Characterize Non-Deterministic Complexity Classes over Arbitrary Structures. IFIP TCS 2004: 409-422
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJérôme Besombes, Jean-Yves Marion: Learning reversible categorial grammars from structures. Intelligent Information Systems 2004: 181-190
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion: Editorial: Implicit Computational Complexity. Theor. Comput. Sci. 318(1-2): 1 (2004)
2003
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion: Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time. FoSSaCS 2003: 185-199
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion: Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH. Electr. Notes Theor. Comput. Sci. 90(1): (2003)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion: Analysing the implicit complexity of programs. Inf. Comput. 183(1): 2-18 (2003)
2002
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Grigorieff, Jean-Yves Marion: Kolmogorov complexity and non-determinism. Theor. Comput. Sci. 271(1-2): 151-180 (2002)
2001
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion: Actual Arithmetic and Feasibility. CSL 2001: 115-129
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen: On Lexicographic Termination Ordering with Space Bound Certifications. Ershov Memorial Conference 2001: 482-493
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet: Algorithms with polynomial interpretation termination proof. J. Funct. Program. 11(1): 33-53 (2001)
2000
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion, Jean-Yves Moyen: Efficient First Order Functional Program Interpreter with Time Bound Certifications. LPAR 2000: 25-42
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLE. A. Cichon, Jean-Yves Marion: The Light Lexicographic path Ordering CoRR cs.PL/0010008: (2000)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Leivant, Jean-Yves Marion: A characterization of alternating log time by ramified recurrence. Theor. Comput. Sci. 236(1-2): 193-208 (2000)
1999
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion: From Multiple Sequent for Additive Linear Logic to Decision Procedures for Free Lattices. Theor. Comput. Sci. 224(1-2): 157-172 (1999)
1998
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume Bonfante, Adam Cichon, Jean-Yves Marion, Hélène Touzet: Complexity Classes and Rewrite Systems with Polynomial Interpretation. CSL 1998: 372-384
1997
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Yves Marion: Case Study: Additive Linear Logic and Lattices. LFCS 1997: 237-247
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Leivant, Jean-Yves Marion: Predicative Functional Recurrence and Poly-space. TAPSOFT 1997: 369-380
1994
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Leivant, Jean-Yves Marion: Ramified Recurrence and Computational Complexity II: Substitution and Poly-Space. CSL 1994: 486-500
1993
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Leivant, Jean-Yves Marion: Lambda calculus characterizations of poly-time. TLCA 1993: 274-288
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Leivant, Jean-Yves Marion: Lambda Calculus Characterizations of Poly-Time. Fundam. Inform. 19(1/2): 167-184 (1993)

Coauthor Index

1Susanne Albers [52] [54]
2Patrick Baillot [51]
3Jérôme Besombes [19] [21] [33] [41]
4Anne Bonfante [29] [34] [36]
5Guillaume Bonfante [6] [11] [12] [23] [24] [25] [30] [32] [35] [39] [40] [47] [49] [53]
6Olivier Bournez [16] [17] [20] [22] [26]
7Adam Cichon [6] [11]
8E. A. Cichon [9]
9Felipe Cucker [16] [17] [20] [22] [26]
10Pascal Fontaine [28]
11Marco Gaboardi [42] [45]
12Serge Grigorieff [14]
13Matthieu Kaczmarek [24] [25] [40] [49]
14Reinhard Kahle [32] [47]
15Daniel Leivant [1] [2] [3] [4] [8]
16Stephan Merz [28]
17Jean-Yves Moyen [10] [12] [23]
18Paulin Jacobé de Naurois [16] [17] [20] [22] [26]
19Leonor Prensa Nieto [28]
20Isabel Oitavem [32] [47]
21Romain Péchoux [27] [30] [31] [37] [39] [43] [44] [46] [50]
22Daniel Reynaud-Plantey [53]
23Simona Ronchi Della Rocca [42] [45] [51]
24Alwen Tiu (Alwen Fernanto Tiu) [28]
25Hélène Touzet [6] [11]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)