Blaise Genest (INRIA - Irisa)
Identifiers
- name variant Blaise Genest (INRIA - Irisa) 0.60 · backfill
Papers (2)
- Asynchronous Games over Tree Architectures cs.FL · 2012 · author #1
- Verifying Recursive Active Documents with Positive Data Tree Rewriting cs.DB · 2010 · author #1
Mentions
Frequent Coauthors
- Anca Muscholl (LaBRI) 2 shared papers
- Hugo Gimbert (LaBRI) 1 shared papers
- Igor Walukiewicz (LaBRI) 1 shared papers
- Zhilin Wu (LaBRI) 1 shared papers