Noé Weeks

According to our database, Noé Weeks authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Proven Runtime Guarantees for How the MOEA/D: Computes the Pareto Front from the Subproblem Solutions.

Benjamin Doerr, Martin S. Krejca, Noé Weeks

Proceedings of the Parallel Problem Solving from Nature - PPSN XVIII, 2024

2022

Sound Automation of Magic Wands (extended version).

Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Alexander J. Summers, Peter Müller

CoRR, 2022

Sound Automation of Magic Wands.

Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Peter Müller, Alexander J. Summers

Proceedings of the Computer Aided Verification - 34th International Conference, 2022