Mohamed Faouzi Atig
Scholar

Mohamed Faouzi Atig

Google Scholar ID: KIXvH-8AAAAJ
Uppsala University
Computer Science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,898
 
H-index
30
 
i10-index
58
 
Publications
20
 
Co-authors
4
list available
Contact
No contact links provided.
Publications
3 items
On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
2026
Cited
0
Checking Consistency of Event-driven Traces
2025
Cited
0
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)
2025
Cited
0
Resume (English only)
Co-authors
4 total
Yu-Fang Chen
Yu-Fang Chen
Research Fellow/Professor, Academia Sinica
Peter Habermehl
Peter Habermehl
Professor of Computer Science, IRIF, University Paris Cité
Gennaro Parlato
Gennaro Parlato
Full Professor of Computer Science, University of Molise, Italy
Pierre Ganty
Pierre Ganty
Associate Research Professor, IMDEA Software Institute