Skip to content

Ahmad Omar

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

2017–2026

Best venue rank

A*

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2026ACLSLR: Automated Synthesis for Scalable Logical Reasoning.Lukas Helff, Ahmad Omar, Felix Friedrich, Antonia Wst, Hikaru Shindo, Rupert Mitchell, Tim Woydt, Patrick Schramowski, Wolfgang Stammer, Kristian Kersting
2021ICISSWiP: A Distributed Approach for Statistical Disclosure Control Technologies.Afshin Amighi, Mortaza S. Bargh, Ahmad Omar
2017CaiSEInvestigating the Under-Usage of Code Decomposition and Reuse Among High School Students: The Case of Functions.Ahmad Omar, Irit Hadar, Uri Leron