Axel Haddad

Publications

Citations

H-Index

2013

Active since

Affiliations

Laboratoire d'Informatique Algorithmique: Fondements et Applications(Current)

Laboratoire d'Informatique Gaspard-Monge

Centre National de la Recherche Scientifique

Axel Haddad is an author at Laboratoire d'Informatique Algorithmique: Fondements et Applications specializing in engineering, computer science, and mathematical programming.

Top concepts

EngineeringComputer ScienceGamesEntropyBusinessGame TheoryLinguisticsProbabilityFormal MethodsMechanism Design

Publications per year

2013–2016

Publications

Randomization in Automata on Infinite Trees

Arnaud Carayol, Axel Haddad, Olivier Serre · ACM Transactions on Computational Logic · 2014 · 18 citations · Full text

Tree Language, Engineering, Entropy +15

Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games

Thomas Brihaye, Gilles Geeraerts, Axel Haddad et al. · Acta Informatica · 2016 · 17 citations

Mathematical Programming, Min-cost Reachability Games, Differential Game +15

Model Checking and Functional Program Transformations

Axel Haddad · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013 · 13 citations · Full text

Rows per page

1–3 of 3