Serre, Olivier, 19..-....
Serre, Olivier
Olivier Serre Ph.D. Université Paris Diderot - Paris 7 2004
VIAF ID: 203978901 (Personal)
Permalink: http://viaf.org/viaf/203978901
Preferred Forms
5xx's: Related Names (1)
- 511 2 _ ‡a Institut des sciences de l’information et de leurs interactions (France)
Works
Title | Sources |
---|---|
Contribution à l'étude des jeux sur des graphes de processus à pile | |
Contribution to the theory of tile languages. | |
Contributions to arithmetic complexity and compression | |
décodeuses du numérique | |
Du problème de sous mot de Post et de la complexité des canaux non fiables. | |
Graphes monotones pour jeux de parité et à paiement moyen. | |
Langages ε-sûrs et caractérisations des langages d'ordres supérieurs | |
Mealy machines, (semi-)automaton groups, decision problems and random generation. | |
Monotonic graphs for parity and mean-payoff games | |
Multi-agent games properties. | |
On Post's embedding problem and the complexity of lossy channels | |
Propriétés de jeux multi-agents | |
Pushdown games. | |
Semantics of linear logic and higher-order model-checking | |
Sémantique de la logique linéaire et model-checking d'ordre supérieur. | |
Stratégies randomisées dans les jeux concurrents | |
Théorie des jeux en informatique | |
Transformations de schémas de récursion d'ordre supérieur respectant la structure. | |
Е-safe languages and characterizations of higher order languages. |