Reto Weber

Orcid: 0000-0002-3358-6461

According to our database¹, Reto Weber authored at least 4 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Do AI models help produce verified bug fixes?

[BibT_eX]

[DOI]

CoRR, July, 2025

Programming Really Is Simple Mathematics.

[BibT_eX]

[DOI]

Bertrand Meyer

Reto Weber

CoRR, February, 2025

Loop unrolling: formal definition and application to testing.

[BibT_eX]

[DOI]

Li Huang

Bertrand Meyer

Reto Weber

CoRR, February, 2025

2020

Artificial Intelligence in Maritime Navigation: A Human Factors Perspective.

[BibT_eX]

[DOI]

Proceedings of the Advances in Human Aspects of Transportation, 2020

Reto Weber

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...