George Zakhour

Orcid: 0009-0000-5042-1207

According to our database¹, George Zakhour authored at least 5 papers between 2023 and 2025.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., January, 2025

Dis/Equality Graphs.

[BibT_eX]

[DOI]

George Zakhour

Pascal Weisenburger

Jahrim Gabriele Cesario

Guido Salvaneschi

Proc. ACM Program. Lang., 2025

2024

Automated Verification of Fundamental Algebraic Laws.

[BibT_eX]

[DOI]

George Zakhour

Pascal Weisenburger

Guido Salvaneschi

Proc. ACM Program. Lang., 2024

2023

Type-Safe Dynamic Placement with First-Class Placed Values.

[BibT_eX]

[DOI]

George Zakhour

Pascal Weisenburger

Guido Salvaneschi

Proc. ACM Program. Lang., October, 2023

Type-Checking CRDT Convergence.

[BibT_eX]

[DOI]

George Zakhour

Pascal Weisenburger

Guido Salvaneschi

Proc. ACM Program. Lang., 2023

George Zakhour

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...