×
Author ID: marion.jean-yves Recent zbMATH articles by "Marion, Jean-Yves"
Published as: Marion, Jean-Yves; Marion, J.-Y.; Marion, J. Y.
External Links: MGP

Publications by Year

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 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

Citations by Year