Concepedia

Olivier Delande

OD

2

Publications

29

Citations

2

H-Index

2008

Active since

Affiliations

Centre Inria de Saclay(Current)

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

Olivier Delande is an author at Centre Inria de Saclay specializing in mechanism design, formal methods, and engineering.

Top concepts

GamesBusinessEngineeringGame TheoryVerificationFormal MethodsComputer ScienceMechanism DesignAutomated ReasoningFormal Verification

Publications per year

2008–2009

2

Publications

2

Proof and refutation in MALL as a game

Olivier Delande, Dale Miller, Alexis Saurin · Annals of Pure and Applied Logic · 2009 · 16 citations

Engineering, Repeated Game, Automated Reasoning +10

A Neutral Approach to Proof and Refutation in MALL

Olivier Delande, Dale Miller · Proceedings - Symposium on Logic in Computer Science · 2008 · 13 citations

Engineering, Game Theory, Verification +16

Rows per page

1–2 of 2