Pierre Deransart

Publications

378

Citations

H-Index

1983

Active since

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 engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceLogic ProgrammingFormal VerificationSyntaxGrammarSemanticsVerification

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

Syntax, Engineering, Automated Reasoning +8

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

Applied Logic, Computational Logic, Contraint Logic Programs +10

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

Constraint Solving, Engineering, Constraint Satisfaction +12

Proof methods of declarative properties of definite programs

Pierre Deransart · Theoretical Computer Science · 1993 · 49 citations

Engineering, Automated Reasoning, Proof Complexity +7

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

Partial Correctness, Syntax, Engineering +13

Rows per page

1–5 of 10