Concepedia

Jean-Yves Marion

JM

Statistics

Publications

35

Citations

1.3K

H-Index

20

Active since

1993

Affiliations

Université de Lorraine(Current)

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Laboratoire d'Intégration des Systèmes et des Technologies

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Centre National de la Recherche Scientifique

Jean-Yves Marion is an author at Université de Lorraine specializing in computing, computer science, and theory of computation.

Publications per year

1993–2021

35

Publications

35

26th International Symposium on Theoretical Aspects of Computer Science (STACS)

Susanne Albers, Jean-Yves Marion · HAL (Le Centre pour la Communication Scientifique Directe) · 2009 · 172 citations · Full text

Computing, Computer Science, Mathematics +16

Lambda Calculus Characterizations of Poly-Time

Daniël Leivant, Jean-Yves Marion · Fundamenta Informaticae · 1993 · 116 citations

Computing, Computer Science, Algebra +16

Algorithms with polynomial interpretation termination proof

G. Bonfante, Adam Cichon, Jean-Yves Marion et al. · Journal of Functional Programming · 2001 · 72 citations · Full text

Computing, Computer Science, Mathematics +16

Joan Vivancos Calvet, José M. Fernandez, Jean-Yves Marion · 2012 · 71 citations

Computing, Computer Science, Cybersecurity +13

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis

Robin David, Sébastien Bardin, Thanh Dinh Ta et al. · 2016 · 65 citations

Computing, Computer Science, Formal Methods +15

1–5 of 35