We stand with Ukraine  

Éléanore Meyer

Orcid: 0000-0003-1038-4944

According to our database1, Éléanore Meyer authored at least 4 papers between 2023 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Targeting Completeness: Automated Complexity Analysis of Integer Programs.
[BibTeX]
[DOI]
Nils Lommen
,
Éléanore Meyer
,
Jürgen Giesl
CoRR, 2024

Control-Flow Refinement for Probabilistic Programs in KoAT.
[BibTeX]
[DOI]
Nils Lommen
,
Éléanore Meyer
,
Jürgen Giesl
CoRR, 2024

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) - (Short Paper).
[BibTeX]
[DOI]
Nils Lommen
,
Éléanore Meyer
,
Jürgen Giesl
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023
Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version).
[BibTeX]
[DOI]
Nils Lommen
,
Eleanore Meyer
,
Jürgen Giesl
CoRR, 2023


  Loading...