Edit Profile (opens in new tab) Marion, Jean-Yves Co-Author Distance Author ID: marion.jean-yves Published as: Marion, Jean-Yves; Marion, J.-Y.; Marion, J. Y. more...less External Links: MGP Documents Indexed: 64 Publications since 1983, including 1 Additional arXiv Preprint 11 Contributions as Editor Co-Authors: 31 Co-Authors with 47 Joint Publications 653 Co-Co-Authors all top 5 Co-Authors 24 single-authored 12 Bonfante, Guillaume 11 Péchoux, Romain 5 Bournez, Olivier 5 Cucker, Felipe 5 de Naurois, Paulin Jacobé 5 Leivant, Daniel M. 4 Hainry, Emmanuel 4 Moyen, Jean-Yves 4 Ronchi Della Rocca, Simona 3 Besombes, Jérôme 3 Gaboardi, Marco 3 Kahle, Reinhard 3 Kapron, Bruce M. 3 Oitavem, Isabel 2 Albers, Susanne 2 Cichon, Adam 2 Garcia-Alfaro, Joaquin 2 Kaczmarek, Matthieu 2 Schwentick, Thomas 2 Touzet, Hélène 1 Baillot, Patrick 1 Danger, Jean-Luc 1 Debbabi, Mourad 1 Fontaine, Pascal 1 Grigorieff, Serge 1 Heyer, Herbert 1 Heywood, Nur Zincir 1 Imine, Abdessamad 1 Karwowski, Witold 1 Logrippo, Luigi 1 Merz, Stephan 1 Nieto, Leonor Prensa 1 Robart, Thierry P. 1 Tiu, Alwen Fernanto 1 Valavane, K. all top 5 Serials 5 Theoretical Computer Science 4 Information and Computation 3 ACM Transactions on Computational Logic 2 Journal of Functional Analysis 2 Publicacions Matemàtiques 2 Theory of Computing Systems 2 Lecture Notes in Computer Science 2 Logical Methods in Computer Science 2 LIPIcs – Leibniz International Proceedings in Informatics 1 Bulletin of the Australian Mathematical Society 1 Annales Polonici Mathematici 1 Mathematische Zeitschrift 1 Annales Societatis Mathematicae Polonae. Series IV 1 International Journal of Mathematics 1 Journal of Logic and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Expositiones Mathematicae 1 Georgian Mathematical Journal 1 Journal of Functional Programming 1 Methods of Functional Analysis and Topology 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 RAIRO. Theoretical Informatics and Applications 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 53 Computer science (68-XX) 24 Mathematical logic and foundations (03-XX) 12 Global analysis, analysis on manifolds (58-XX) 11 General and overarching topics; collections (00-XX) 11 Topological groups, Lie groups (22-XX) 4 Functional analysis (46-XX) 4 Differential geometry (53-XX) 4 Quantum theory (81-XX) 3 Information and communication theory, circuits (94-XX) 2 Nonassociative rings and algebras (17-XX) 2 Measure and integration (28-XX) 2 Operator theory (47-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Potential theory (31-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 51 Publications have been cited 252 times in 142 Documents Cited by ▼ Year ▼ Ramified recurrence and computational complexity. II: Substitution and poly-space. Zbl 1044.03526 Leivant, Daniel; Marion, Jean-Yves 30 1995 Expressiveness + automation + soundness: Towards combining SMT solvers and interactive proof assistants. Zbl 1180.68240 Fontaine, Pascal; Marion, Jean-Yves; Merz, Stephan; Nieto, Leonor Prensa; Tiu, Alwen 24 2006 Algorithms with polynomial interpretation termination proof. Zbl 0987.68042 Bonfante, G.; Cichon, A.; Marion, J.-Y.; Touzet, H. 23 2001 Quasi-interpretations. A way to control resources. Zbl 1230.68077 Bonfante, G.; Marion, J.-Y.; Moyen, J.-Y. 21 2011 Lambda calculus characterizations of poly-time. Zbl 0781.68059 Leivant, Daniel; Marion, Jean-Yves 19 1993 Analysing the implicit complexity of programs. Zbl 1054.68073 Marion, J. Y. 13 2003 On lexicographic termination ordering with space bound certifications. Zbl 1073.68561 Bonfante, Guillaume; Marion, Jean-Yves; Moyen, Jean-Yves 10 2001 Efficient first order functional program interpreter with time bound certifications. Zbl 0988.68043 Marion, Jean-Yves; Moyen, J.-Y. 9 2000 Lambda calculus characterizations of poly-time. Zbl 0788.68051 Leivant, Daniel; Marion, Jean-Yves 9 1993 Computability over an arbitrary structure. Sequential and parallel polynomial time. Zbl 1029.68056 Bournez, Olivier; Cucker, Felipe; de Naurois, Paulin Jacobé; Marion, Jean-Yves 9 2003 Resource analysis by sup-interpretation. Zbl 1185.68226 Marion, Jean-Yves; Péchoux, Romain 8 2006 A logical account of PSPACE. Zbl 1295.68116 Gaboardi, Marco; Marion, Jean-Yves; Della Rocca, Simona Ronchi 7 2008 Sup-interpretations, a semantic method for static analysis of program resources. Zbl 1351.68061 Marion, Jean-Yves; Péchoux, Romain 6 2009 Type-based complexity analysis for fork processes. Zbl 1260.68097 Hainry, Emmanuel; Marion, Jean-Yves; Péchoux, Romain 6 2013 Complexity classes and rewrite systems with polynomial interpretation. Zbl 0934.03052 Bonfante, G.; Cichon, A.; Marion, J. Y.; Touzet, H. 5 1999 Quasi-interpretations and small space bounds. Zbl 1078.68041 Bonfante, Guillaume; Marion, Jean-Yves; Moyen, Jean-Yves 5 2005 Towards an implicit characterization of NC\(^{k}\). Zbl 1225.68091 Bonfante, G.; Kahle, R.; Marion, J.-Y.; Oitavem, I. 5 2006 Learning tree languages from positive examples and membership queries. Zbl 1127.68043 Besombes, Jérôme; Marion, Jean-Yves 4 2007 An implicit characterization of PSPACE. Zbl 1351.68107 Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona 4 2012 Quasi-interpretation synthesis by decomposition. An application to higher-order programs. Zbl 1147.68431 Bonfante, Guillaume; Marion, Jean-Yves; Péchoux, Romain 4 2007 Evolving graph-structures and their implicit computational complexity. Zbl 1334.68048 Leivant, Daniel; Marion, Jean-Yves 4 2013 A characterization of alternating log time by first order functional programs. Zbl 1138.68357 Bonfante, Guillaume; Marion, Jean-Yves; Péchoux, Romain 3 2006 Implicit complexity over an arbitrary structure: sequential and parallel polynomial time. Zbl 1077.03021 Bournez, Olivier; Cucker, Felipe; Jacobé de Naurois, Paulin; Marion, Jean-Yves 3 2005 Guest editorial: Special issue on implicit computational complexity. Zbl 1351.00038 3 2009 Recursion schemata for NC\(^{k }\). Zbl 1157.03019 Bonfante, Guillaume; Kahle, Reinhard; Marion, Jean-Yves; Oitavem, Isabel 3 2008 From Turing machines to computer viruses. Zbl 1328.68066 Marion, Jean-Yves 3 2012 A tier-based typed programming language characterizing feasible functionals. Zbl 07299494 Hainry, Emmanuel; Kapron, Bruce M.; Marion, Jean-Yves; Péchoux, Romain 3 2020 Generalized energy representations for current groups. Zbl 0521.58018 Marion, Jean 2 1983 STACS 2009. 26th international symposium on theoretical aspects of computer science, Freiburg, Germany, February 26–28, 2009. Zbl 1213.68019 2 2009 Regular Fréchet-Lie groups of invertible elements in some inverse limits of unital involutive Banach algebras. Zbl 0989.46039 Marion, Jean; Robart, Thierry 2 1995 Implicit complexity over an arbitrary structure: Quantifier alternations. Zbl 1093.68041 Bournez, Olivier; Cucker, Felipe; de Naurois, Paulin Jacobé; Marion, Jean-Yves 2 2006 Predicative analysis of feasibility and diagonalization. Zbl 1215.03055 Marion, Jean-Yves 2 2007 On tiered small jump operators. Zbl 1160.03019 Marion, Jean-Yves 2 2009 On the closability of some positive definite symmetric differential forms on \(C_ 0^{\infty}(\Omega)\). Zbl 0572.58006 Karwowski, W.; Marion, J. 2 1985 Energy machineries on a manifold; application to the construction of new energy representations of gauge groups. Zbl 0713.53062 Marion, J. 2 1990 Two function algebras defining functions in \(\mathsf{NC}^k\) Boolean circuits. Zbl 1339.68096 Bonfante, Guillaume; Kahle, Reinhard; Marion, Jean-Yves; Oitavem, Isabel 2 2016 Soft linear logic and polynomial complexity classes. Zbl 1277.03027 Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona 2 2008 Complexity information flow in a multi-threaded imperative language. Zbl 1405.68145 Marion, Jean-Yves; Péchoux, Romain 2 2014 A characterization of NC\(^{k }\) by first order functional programs. Zbl 1139.68332 Marion, Jean-Yves; Péchoux, Romain 1 2008 From multiple sequent for additive linear logic to decision procedures for free lattices. Zbl 0933.03080 Marion, Jean-Yves 1 1999 Construction of quasi invariant probability measures on some current groups of continuous sections of a bundle of compact semisimple Lie groups. Zbl 0823.60008 Marion, Jean 1 1991 Wiener functionals on spaces of Lie algebra valued 1-currents, and unitary representations of current groups. Zbl 0838.22006 Marion, Jean 1 1989 G-distributions et G-intégrales multiplicatives sur une variété. Zbl 0565.58010 Marion, J. 1 1983 Learning tree languages from positive examples and membership queries. Zbl 1110.68390 Besombes, Jérôme; Marion, Jean-Yves 1 2004 Cylindrical representations of some infinite dimensional nuclear Lie groups. Zbl 0763.22014 Marion, Jean 1 1992 Energy representations of infinite dimensional gauge groups in noncommutative geometry. Zbl 0827.58002 Marion, Jean 1 1994 A classification of viruses through recursion theorems. Zbl 1151.68364 Bonfante, Guillaume; Kaczmarek, Matthieu; Marion, Jean-Yves 1 2007 Actual arithmetic and feasibility. Zbl 1005.68039 Marion, Jean-Yves 1 2001 Primitive recursion in the abstract. Zbl 1435.68064 Leivant, Daniel; Marion, Jean-Yves 1 2020 Safe recursion over an arbitrary structure: PAR, PH and DPH. Zbl 1261.68058 Bournez, Olivier; Cucker, Felipe; De Naurois, Paulin Jacobé; Marion, Jean-Yves 1 2003 A tier-based typed programming language characterizing feasible functionals. Zbl 07566046 Hainry, Emmanuel; Kapron, Bruce M.; Marion, Jean-Yves; Péchoux, Romain 1 2022 A tier-based typed programming language characterizing feasible functionals. Zbl 07566046 Hainry, Emmanuel; Kapron, Bruce M.; Marion, Jean-Yves; Péchoux, Romain 1 2022 A tier-based typed programming language characterizing feasible functionals. Zbl 07299494 Hainry, Emmanuel; Kapron, Bruce M.; Marion, Jean-Yves; Péchoux, Romain 3 2020 Primitive recursion in the abstract. Zbl 1435.68064 Leivant, Daniel; Marion, Jean-Yves 1 2020 Two function algebras defining functions in \(\mathsf{NC}^k\) Boolean circuits. Zbl 1339.68096 Bonfante, Guillaume; Kahle, Reinhard; Marion, Jean-Yves; Oitavem, Isabel 2 2016 Complexity information flow in a multi-threaded imperative language. Zbl 1405.68145 Marion, Jean-Yves; Péchoux, Romain 2 2014 Type-based complexity analysis for fork processes. Zbl 1260.68097 Hainry, Emmanuel; Marion, Jean-Yves; Péchoux, Romain 6 2013 Evolving graph-structures and their implicit computational complexity. Zbl 1334.68048 Leivant, Daniel; Marion, Jean-Yves 4 2013 An implicit characterization of PSPACE. Zbl 1351.68107 Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona 4 2012 From Turing machines to computer viruses. Zbl 1328.68066 Marion, Jean-Yves 3 2012 Quasi-interpretations. A way to control resources. Zbl 1230.68077 Bonfante, G.; Marion, J.-Y.; Moyen, J.-Y. 21 2011 Sup-interpretations, a semantic method for static analysis of program resources. Zbl 1351.68061 Marion, Jean-Yves; Péchoux, Romain 6 2009 Guest editorial: Special issue on implicit computational complexity. Zbl 1351.00038 3 2009 STACS 2009. 26th international symposium on theoretical aspects of computer science, Freiburg, Germany, February 26–28, 2009. Zbl 1213.68019 2 2009 On tiered small jump operators. Zbl 1160.03019 Marion, Jean-Yves 2 2009 A logical account of PSPACE. Zbl 1295.68116 Gaboardi, Marco; Marion, Jean-Yves; Della Rocca, Simona Ronchi 7 2008 Recursion schemata for NC\(^{k }\). Zbl 1157.03019 Bonfante, Guillaume; Kahle, Reinhard; Marion, Jean-Yves; Oitavem, Isabel 3 2008 Soft linear logic and polynomial complexity classes. Zbl 1277.03027 Gaboardi, Marco; Marion, Jean-Yves; Ronchi Della Rocca, Simona 2 2008 A characterization of NC\(^{k }\) by first order functional programs. Zbl 1139.68332 Marion, Jean-Yves; Péchoux, Romain 1 2008 Learning tree languages from positive examples and membership queries. Zbl 1127.68043 Besombes, Jérôme; Marion, Jean-Yves 4 2007 Quasi-interpretation synthesis by decomposition. An application to higher-order programs. Zbl 1147.68431 Bonfante, Guillaume; Marion, Jean-Yves; Péchoux, Romain 4 2007 Predicative analysis of feasibility and diagonalization. Zbl 1215.03055 Marion, Jean-Yves 2 2007 A classification of viruses through recursion theorems. Zbl 1151.68364 Bonfante, Guillaume; Kaczmarek, Matthieu; Marion, Jean-Yves 1 2007 Expressiveness + automation + soundness: Towards combining SMT solvers and interactive proof assistants. Zbl 1180.68240 Fontaine, Pascal; Marion, Jean-Yves; Merz, Stephan; Nieto, Leonor Prensa; Tiu, Alwen 24 2006 Resource analysis by sup-interpretation. Zbl 1185.68226 Marion, Jean-Yves; Péchoux, Romain 8 2006 Towards an implicit characterization of NC\(^{k}\). Zbl 1225.68091 Bonfante, G.; Kahle, R.; Marion, J.-Y.; Oitavem, I. 5 2006 A characterization of alternating log time by first order functional programs. Zbl 1138.68357 Bonfante, Guillaume; Marion, Jean-Yves; Péchoux, Romain 3 2006 Implicit complexity over an arbitrary structure: Quantifier alternations. Zbl 1093.68041 Bournez, Olivier; Cucker, Felipe; de Naurois, Paulin Jacobé; Marion, Jean-Yves 2 2006 Quasi-interpretations and small space bounds. Zbl 1078.68041 Bonfante, Guillaume; Marion, Jean-Yves; Moyen, Jean-Yves 5 2005 Implicit complexity over an arbitrary structure: sequential and parallel polynomial time. Zbl 1077.03021 Bournez, Olivier; Cucker, Felipe; Jacobé de Naurois, Paulin; Marion, Jean-Yves 3 2005 Learning tree languages from positive examples and membership queries. Zbl 1110.68390 Besombes, Jérôme; Marion, Jean-Yves 1 2004 Analysing the implicit complexity of programs. Zbl 1054.68073 Marion, J. Y. 13 2003 Computability over an arbitrary structure. Sequential and parallel polynomial time. Zbl 1029.68056 Bournez, Olivier; Cucker, Felipe; de Naurois, Paulin Jacobé; Marion, Jean-Yves 9 2003 Safe recursion over an arbitrary structure: PAR, PH and DPH. Zbl 1261.68058 Bournez, Olivier; Cucker, Felipe; De Naurois, Paulin Jacobé; Marion, Jean-Yves 1 2003 Algorithms with polynomial interpretation termination proof. Zbl 0987.68042 Bonfante, G.; Cichon, A.; Marion, J.-Y.; Touzet, H. 23 2001 On lexicographic termination ordering with space bound certifications. Zbl 1073.68561 Bonfante, Guillaume; Marion, Jean-Yves; Moyen, Jean-Yves 10 2001 Actual arithmetic and feasibility. Zbl 1005.68039 Marion, Jean-Yves 1 2001 Efficient first order functional program interpreter with time bound certifications. Zbl 0988.68043 Marion, Jean-Yves; Moyen, J.-Y. 9 2000 Complexity classes and rewrite systems with polynomial interpretation. Zbl 0934.03052 Bonfante, G.; Cichon, A.; Marion, J. Y.; Touzet, H. 5 1999 From multiple sequent for additive linear logic to decision procedures for free lattices. Zbl 0933.03080 Marion, Jean-Yves 1 1999 Ramified recurrence and computational complexity. II: Substitution and poly-space. Zbl 1044.03526 Leivant, Daniel; Marion, Jean-Yves 30 1995 Regular Fréchet-Lie groups of invertible elements in some inverse limits of unital involutive Banach algebras. Zbl 0989.46039 Marion, Jean; Robart, Thierry 2 1995 Energy representations of infinite dimensional gauge groups in noncommutative geometry. Zbl 0827.58002 Marion, Jean 1 1994 Lambda calculus characterizations of poly-time. Zbl 0781.68059 Leivant, Daniel; Marion, Jean-Yves 19 1993 Lambda calculus characterizations of poly-time. Zbl 0788.68051 Leivant, Daniel; Marion, Jean-Yves 9 1993 Cylindrical representations of some infinite dimensional nuclear Lie groups. Zbl 0763.22014 Marion, Jean 1 1992 Construction of quasi invariant probability measures on some current groups of continuous sections of a bundle of compact semisimple Lie groups. Zbl 0823.60008 Marion, Jean 1 1991 Energy machineries on a manifold; application to the construction of new energy representations of gauge groups. Zbl 0713.53062 Marion, J. 2 1990 Wiener functionals on spaces of Lie algebra valued 1-currents, and unitary representations of current groups. Zbl 0838.22006 Marion, Jean 1 1989 On the closability of some positive definite symmetric differential forms on \(C_ 0^{\infty}(\Omega)\). Zbl 0572.58006 Karwowski, W.; Marion, J. 2 1985 Generalized energy representations for current groups. Zbl 0521.58018 Marion, Jean 2 1983 G-distributions et G-intégrales multiplicatives sur une variété. Zbl 0565.58010 Marion, J. 1 1983 all cited Publications top 5 cited Publications all top 5 Cited by 198 Authors 10 Marion, Jean-Yves 9 Baillot, Patrick 8 Dal Lago, Ugo 8 Péchoux, Romain 7 Moser, Georg 6 Avanzini, Martin 6 Bonfante, Guillaume 6 Hainry, Emmanuel 5 Bournez, Olivier 5 Leivant, Daniel M. 4 Amjad, Hasan 4 Böhme, Sascha 4 Eguchi, Naohi 4 Lucas, Salvador 4 Oitavem, Isabel 3 Blanchette, Jasmin Christian 3 Cucker, Felipe 3 Gaboardi, Marco 3 Ghyselen, Alexis 3 Kapron, Bruce M. 3 Middeldorp, Aart 3 Niggl, Karl-Heinz 3 Redmond, Brian F. 3 Tinelli, Cesare 2 Albert, Elvira 2 Amadio, Roberto M. 2 Arenas, Puri 2 Asperti, Andrea 2 Aubert, Clément 2 Bagnol, Marc 2 Barbosa, Haniel 2 Barrett, Clark W. 2 Bellantoni, Stephen J. 2 Bhaskar, Siddharth 2 Caporaso, Salvatore 2 Cockett, J. Robin B. 2 de Naurois, Paulin Jacobé 2 Emmes, Fabian 2 Fernau, Henning 2 Fontaine, Pascal 2 Gaßner, Christine 2 Genaim, Samir 2 Geser, Alfons 2 Giesl, Jürgen 2 Girard, Jean-Yves 2 Hofmann, Martin 2 Hoyrup, Mathieu 2 Kahle, Reinhard 2 Kop, Cynthia 2 Mazza, Damiano 2 Moskal, Michał 2 Moyen, Jean-Yves 2 Noschinski, Lars 2 Ohlebusch, Enno 2 Paulson, Lawrence Charles 2 Puebla, Germán 2 Reynolds, Andrew 2 Ronchi Della Rocca, Simona 2 Schnabl, Andreas 2 Schwichtenberg, Helmut 2 Simonsen, Jakob Grue 2 Weber, Tjark 2 Xirotiri, Olga 2 Zantema, Hans 1 Abramsky, Samson 1 Angione, Claudio 1 Armand, Michaël 1 Barsotti, Damián 1 Barthe, Gilles 1 Besson, Frédéric 1 Björklund, Johanna 1 Blanc, Manon 1 Blanqui, Frédéric 1 Bodlaender, Hans L. 1 Boker, Udi 1 Bonacina, Maria Paola 1 Boudol, Gérard 1 Boussinot, Frédéric 1 Brunel, Aloïs 1 Bruttomesso, Roberto 1 Bürgisser, Peter 1 Burrell, Mike 1 Carapezza, G. 1 Castellani, Ilaria 1 Chihani, Zakaria 1 Chrząszcz, Jacek 1 Clote, Peter G. 1 Contejean, Evelyne 1 Cooper, Stuart Barry 1 Cornilleau, Pierre-Emmanuel 1 Costanza, J. 1 Covino, Emanuele 1 Dal Zilio, Silvano 1 Daylight, Edgar G. 1 De Benedetti, Erika 1 de Naurois, Jacobé Paulin 1 De Oliveira, Diego Caminha B. 1 Déharbe, David 1 Deloup, Florian L. 1 Demangeon, Romain ...and 98 more Authors all top 5 Cited in 27 Serials 19 Theoretical Computer Science 17 Information and Computation 13 Journal of Automated Reasoning 4 Annals of Pure and Applied Logic 4 MSCS. Mathematical Structures in Computer Science 4 Logical Methods in Computer Science 3 Mathematical Logic Quarterly (MLQ) 2 Information Processing Letters 2 Formal Aspects of Computing 2 Formal Methods in System Design 2 Journal of Functional Programming 1 Applied Mathematics and Computation 1 Colloquium Mathematicum 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Applicable Algebra in Engineering, Communication and Computing 1 Computational Complexity 1 Theory of Computing Systems 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 RAIRO. Theoretical Informatics and Applications 1 The Journal of Logic and Algebraic Programming 1 Foundations of Computational Mathematics 1 Journal of Applied Mathematics 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 Computability 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 10 Fields 129 Computer science (68-XX) 61 Mathematical logic and foundations (03-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Category theory; homological algebra (18-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Algebraic geometry (14-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) Citations by Year