bibliographer - Axel Haddad

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

One-Clock Priced Timed Games with Negative Weights Thomas Brihaye Gilles Geeraerts Axel Haddad Engel Lefaucheux Benjamin Monmege [github]

One-Clock Priced Timed Games with Negative Weights Thomas Brihaye Gilles Geeraerts Axel Haddad Engel Lefaucheux Benjamin Monmege [github]

Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games Thomas Brihaye Gilles Geeraerts Axel Haddad Benjamin Monmege [github]

Erratum for Randomization in Automata on Infinite Trees Arnaud Carayol Axel Haddad Olivier Serre [github]

Simple Priced Timed Games are not That Simple Thomas Brihaye Gilles Geeraerts Axel Haddad Engel Lefaucheux Benjamin Monmege [github]

Quantitative Games under Failures Thomas Brihaye Gilles Geeraerts Axel Haddad Benjamin Monmege Guillermo A. Pérez Gabriel Renault [github]

Model Checking and Functional Program Transformations Axel Haddad [github]

Model Checking and Functional Program Transformations Axel Haddad [github]

Shape-Preserving Transformations of Higher-Order Recursion Schemes Axel Haddad [github]

IO vs OI in Higher-Order Recursion Schemes Axel Haddad [github]

Randomization in Automata on Infinite Trees Arnaud Carayol Axel Haddad Olivier Serre [github]

Library Size: 13G (11 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]