Pierre Deransart

Statistics

Publications

Citations

379

H-Index

Active since

1983

Affiliations

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

Pierre Deransart is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and formal methods.

Publications per year

1983–2000

Publications

Relating logic programs and attribute grammars

Pierre Deransart, Jan Małuszyński · The Journal of Logic Programming · 1985 · 106 citations · Full text

Computing, Computer Science, Formal Methods +10

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs

Francisco Bueno, Pierre Deransart, Włodzimierz Drabent et al. · 1997 · 64 citations

Computing, Computer Science, Knowledge Representation +13

On the role of semantic approximations in validation and diagnosis of constraint logic programs

Francisco Bueno Carrillo, Pierre Deransart, Wlodek Drabent et al. · International Colloquium on Automata, Languages and Programming · 1997 · 60 citations

Computing, Computer Science, Knowledge Representation +13

Proof methods of declarative properties of definite programs

Pierre Deransart · Theoretical Computer Science · 1993 · 49 citations · Full text

Computing, Computer Science, Formal Methods +12

Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming

Bruno Courcelle, Pierre Deransart · Information and Computation · 1988 · 27 citations

Computing, Computer Science, Formal Methods +11

1–5 of 10