Philippe Codognet

Publications

197

Citations

H-Index

1988

Active since

Affiliations

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

Université Paris 1 Panthéon-Sorbonne

The University of Tokyo

University of Padua

Sorbonne Université

Philippe Codognet is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and automated reasoning.

ORCID

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsProgram AnalysisFormal VerificationProgramming LanguagesCompilersSemanticsLocal Search

Publications per year

1988–2022

Publications

The GNU Prolog system and its implementation

Daniel Díaz, Philippe Codognet · 2000 · 51 citations · Full text

Abstract interpretation for concurrent logic languages

Christian Codognet, Philippe Codognet, Marc-Michel Corsini · Conference on Logic Programming · 1990 · 38 citations

Engineering, Operational Semantics, Automated Reasoning +6

Computations, abstractions and constraints in logic programs

Philippe Codognet, G. Filé · 2003 · 36 citations

Applied Logic, Engineering, Logic Programs +18

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization

Danny Múnera, Daniel Díaz, Salvador Abreu et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2015 · 27 citations · Full text

Mathematical Programming, Adaptive Search, Engineering +18

Yet Another Intelligent Backtracking Method.

Christian Codognet, Philippe Codognet, Gilberto Filé · International Conference on Lightning Protection · 1988 · 20 citations

Artificial Intelligence, Intelligent Information Processing, Engineering +5

Rows per page

1–5 of 7