Concepedia

Rémi Brochenin

RB

Statistics

Publications

2

Citations

85

H-Index

2

Active since

2009

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire Spécification et Vérification

Rémi Brochenin is an author at Centre National de la Recherche Scientifique specializing in humanities, spirituality, and engineering.

Top concepts

Publications per year

2009–2012

2

Publications

2

On the almighty wand

Rémi Brochenin, Stéphane Demri, Étienne Lozes · Information and Computation · 2012 · 65 citations · Full text

, , +2

Reasoning about sequences of memory states

Rémi Brochenin, Stéphane Demri, Étienne Lozes · Annals of Pure and Applied Logic · 2009 · 20 citations · Full text

, , +5

Rows per page

1–2 of 2