Noah Abou El Wafa

According to our database¹, Noah Abou El Wafa authored at least 3 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Complete Game Logic with Sabotage.

[BibT_eX]

[DOI]

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041).

[BibT_eX]

[DOI]

Dagstuhl Reports, January, 2023

2022

First-Order Game Logic and Modal Mu-Calculus.

[BibT_eX]

[DOI]

CoRR, 2022