Concepedia

Christian Codognet

CC

2

Publications

58

Citations

2

H-Index

1988

Active since

Christian Codognet is an author specializing in automated reasoning, engineering, and artificial intelligence.

Top concepts

EngineeringAutomated ReasoningSemanticsFormal MethodsComputer ScienceFormal VerificationIntelligent SystemsArtificial Intelligence

Publications per year

1988–1990

2

Publications

2

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

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–2 of 2