default search action

combined dblp search
author search
venue search
publication search

ask others

Timothée Haudebourg

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
  - details & citations
- export record
  dblp key:
  - phd/hal/Haudebourg20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Haudebourg20
Timothée Haudebourg:
Automatic verification of higher-order functional programs using regular tree languages. (Vérification automatique de programmes fonctionnels d'ordre supérieur à l'aide de languages réguliers d'arbres). University of Rennes 1, France, 2020
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/HaudebourgGJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/HaudebourgGJ20
Timothée Haudebourg, Thomas Genet, Thomas P. Jensen:
Regular language type inference with term rewriting. Proc. ACM Program. Lang. 4(ICFP): 112:1-112:29 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/GenetHJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/GenetHJ18
Thomas Genet, Timothée Haudebourg, Thomas P. Jensen:
Verifying Higher-Order Functions with Tree Automata. FoSSaCS 2018: 565-582
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/GenetGHC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/GenetGHC18
Thomas Genet, Tristan Gillard, Timothée Haudebourg, Sébastien Lê Cong:
Extending Timbuk to Verify Functional Programs. WRLA@ETAPS 2018: 153-163
2017
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cnsm/OrgerieAHQRPL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cnsm/OrgerieAHQRPL17
Anne-Cécile Orgerie, Betsegaw Lemma Amersho, Timothée Haudebourg, Martin Quinson, Myriana Rifai, Dino Lopez Pacheco, Laurent Lefèvre:
Simulation toolbox for studying energy consumption in wired networks. CNSM 2017: 1-5
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ica3pp/HaudebourgO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ica3pp/HaudebourgO17
Timothée Haudebourg, Anne-Cécile Orgerie:
On the Energy Efficiency of Sleeping and Rate Adaptation for Network Devices. ICA3PP 2017: 132-146

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.