Yanis Sellami
Orcid: 0009-0006-8833-3863
According to our database1,
Yanis Sellami
authored at least 4 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
0
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., January, 2024
2020
Abductive reasoning modulo theories and an application to program verification. (Raisonnement abductif modulo des théories et application à la vérification de programmes).
PhD thesis, 2020
2019
Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019
2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018