Concepedia

Frédéric Blanqui

FB

Statistics

Publications

8

Citations

225

H-Index

8

Active since

2002

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Laboratoire de Recherche en Informatique

Nagoya University

Université Paris-Sud

Frédéric Blanqui is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, computer science, and term rewriting.

ORCID

Publications per year

2002–2020

8

Publications

8

Inductive-data-type systems

Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada · Theoretical Computer Science · 2002 · 64 citations · Full text

CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates

Frédéric Blanqui, Adam Koprowski · Mathematical Structures in Computer Science · 2011 · 46 citations · Full text

, , +14

CoLoR : a Coq library on rewriting and termination

Frédéric Blanqui, Solange Coupet-Grimal, William Delobel et al. · TU/e Research Portal (Eindhoven University of Technology) · 2006 · 38 citations · Full text

, , +13

Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems

Keiichirou Kusakari, Isogai Yasuo, Masahiko Sakai et al. · IEICE Transactions on Information and Systems · 2009 · 24 citations · Full text

, , +16

Argument Filterings and Usable Rules in Higher-order Rewrite Systems

Sho Suzuki, Keiichirou Kusakari, Frédéric Blanqui · IPSJ Online Transactions · 2011 · 17 citations · Full text

, , +14

1–5 of 8