Vincent Filou

Statistics

Publications

Citations

H-Index

Active since

2009

Affiliations

Laboratoire Bordelais de Recherche en Informatique(Current)

Vincent Filou is an author at Laboratoire Bordelais de Recherche en Informatique specializing in distributed computing, computing, and theory of computation.

Publications per year

2009–2011

Publications

Tasks, types and tactics for local computation systems

Pierre Castéran, Vincent Filou · HAL (Le Centre pour la Communication Scientifique Directe) · 2011 · 16 citations

Computing, Computer Science, Distributed Systems +14

Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant

Pierre Castéran, Vincent Filou, Mohamed Mosbah · HAL (Le Centre pour la Communication Scientifique Directe) · 2009 · 10 citations

Computing, Computer Engineering, Computer Science +12

1–2 of 2