Concepedia

Christophe Ringeissen

CR

16

Publications

798

Citations

13

H-Index

1994

Active since

Affiliations

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

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Centre Inria de l'Université de Lorraine

Centre National de la Recherche Scientifique

Université de Lorraine

Christophe Ringeissen is an author at Institut national de recherche en sciences et technologies du numérique specializing in automated reasoning, formal methods, and engineering.

ORCID

Top concepts

Publications per year

1994–2019

16

Publications

16

An Overview of ELAN

Peter Borovanský, Claude Kirchner, Pierre‐Etienne Moreau et al. · Electronic Notes in Theoretical Computer Science · 1998 · 397 citations · Full text

, , +24

REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS

Peter Borovanský, Claude Kirchner, Christophe Ringeissen · International Journal of Foundations of Computer Science · 2001 · 99 citations · Full text

, , +17

Unions of non-disjoint theories and combinations of satisfiability procedures

Cesare Tinelli, Christophe Ringeissen · Theoretical Computer Science · 2002 · 67 citations

, , +4

Combining Symbolic Constraint Solvers on Algebraic Domains

Christophe Ringeissen · Journal of Symbolic Computation · 1994 · 40 citations

, , +4

Timed Specification For Web Services Compatibility Analysis

Nawal Guermouche, Olivier Perrin, Christophe Ringeissen · Electronic Notes in Theoretical Computer Science · 2008 · 36 citations · Full text

, , +17

Rows per page

1–5 of 16