Samuel Humeau

Affiliations:
  • École Normale Supérieure de Lyon, Lyon, France


According to our database1, Samuel Humeau authored at least 3 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2022
2023
2024
2025
0
1
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach.
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024
A Finite Presentation of Graphs of Treewidth at Most Three.
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2022
Codensity Games for Bisimilarity.
New Gener. Comput., 2022


  Loading...