Horatiu Cirstea

Statistics

Publications

Citations

391

H-Index

Active since

1998

Affiliations

Laboratoire Lorrain de Recherche en Informatique et ses Applications(Current)

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

Université de Lorraine

Prevention of Organ Failure

Centre Inria de l'Université de Lorraine

Horatiu Cirstea is an author at Laboratoire Lorrain de Recherche en Informatique et ses Applications specializing in computer science, engineering, and formal methods.

ORCID

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningSemanticsFormal VerificationMathematical FoundationsDesignSyntaxGraph Theory

Publications per year

1998–2010

Publications

Pure patterns type systems

Gilles Barthe, Horatiu Cirstea, Claude Kirchner et al. · 2003 · 57 citations · Full text

Matching Power

Horatiu Cirstea, Claude Kirchner, Luigi Liquori · Rewriting Techniques and Applications · 2001 · 45 citations

Engineering, Automated Reasoning, Type Theory +11

Rewrite Strategies in the Rewriting Calculus

Horatiu Cirstea, Claude Kirchner, Luigi Liquori et al. · Electronic Notes in Theoretical Computer Science · 2003 · 41 citations · Full text

Engineering, Semantics, Evaluation Strategy +17

The rewriting calculus - part II

Horatiu Cirstea · Logic Journal of IGPL · 2001 · 37 citations

Rewriting Calculus with(out) Types

Horatiu Cirstea, Claude Kirchner, Luigi Liquori · Electronic Notes in Theoretical Computer Science · 2004 · 26 citations · Full text

1–5 of 15