Axel Haddad

MaRDI QIDQ520342zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7577581 (Why is no real title available?) (available as arXiv preprint)	2022-08-30	Paper
scientific article; zbMATH DE number 7577581 (Why is no real title available?)	2022-08-30	Paper
IO vs OI in higher-order recursion schemes	2021-03-17	Paper
IO vs OI in higher-order recursion schemes (available as arXiv preprint)	2021-03-17	Paper
To reach or not to reach? Efficient algorithms for total-payoff games (available as arXiv preprint)	2017-09-12	Paper
Simple priced timed games are not that simple (available as arXiv preprint)	2017-07-13	Paper
Quantitative games under failures (available as arXiv preprint)	2017-07-13	Paper
Erratum for “Randomization in Automata on Infinite Trees” ACM Transactions on Computational Logic	2017-07-12	Paper
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games Acta Informatica	2017-04-03	Paper
Model checking and functional program transformations	2017-02-21	Paper
Simple strategies for Banach-Mazur games and sets of probability 1 Information and Computation	2015-12-07	Paper
Randomization in automata on infinite trees ACM Transactions on Computational Logic	2015-09-17	Paper

Research outcomes over time

This page was built for person: Axel Haddad