Concepedia

Blaise Genest

BG

Statistics

Publications

14

Citations

388

H-Index

12

Active since

2002

Affiliations

Centre National de la Recherche Scientifique(Current)

Institut de Recherche en Informatique et Systèmes Aléatoires

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

Université Paris Cité

Laboratoire Bordelais de Recherche en Informatique

Blaise Genest is an author at Centre National de la Recherche Scientifique specializing in computer science, computing, and finite-state machines.

Publications per year

2002–2024

14

Publications

14

A Kleene theorem and model checking algorithms for existentially bounded communicating automata

Blaise Genest, Dietrich Kuske, Anca Muscholl · Information and Computation · 2006 · 70 citations

Computing, Computer Science, Mathematics +14

Infinite-state high-level MSCs: Model-checking and realizability

Blaise Genest, Anca Muscholl, Helmut Seidl et al. · Journal of Computer and System Sciences · 2005 · 51 citations

Engineering, Computer Engineering, Computer Science +11

Qualitative Determinacy and Decidability of Stochastic Games with Signals

Nathalie Bertrand, Blaise Genest, Hugo Gimbert · 2009 · 45 citations · Full text

Computing, Computer Science, Mathematics +13

On communicating automata with bounded channels

Blaise Genest, Dietrich Kuske, Anca Muscholl · Qucosa (Saxon State and University Library Dresden) · 2007 · 44 citations · Full text

Computing, Computer Science, Formal Methods +4

Your data is not perfect: Towards cross-domain out-of-distribution detection in class-imbalanced data

Xiang Fang, Arvind Easwaran, Blaise Genest et al. · Expert Systems with Applications · 2024 · 36 citations · Full text

Computing, Data Science, Data Analytics +13

1–5 of 14