Distributed Deadlock Handling for Resource Allocation in Smart Spaces. - Rehan Abdul Aziz; Tomi Janhunen; Vesa Luukkala (NEW2AN, 2011)

Stable model semantics for founded bounds. - Rehan Abdul Aziz; Geoffrey Chu; Peter J. Stuckey (Theory Pract. Log. Program., 2013)

Bound Founded Answer Set Programming. - Rehan Abdul Aziz (CoRR, 2014)

Grounding Bound Founded Answer Set Programs. - Rehan Abdul Aziz; Geoffrey Chu; Peter James Stuckey (CoRR, 2014)

Stable Model Counting and Its Application in Probabilistic Logic Programming. - Rehan Abdul Aziz; Geoffrey Chu; Christian J. Muise; Peter James Stuckey (AAAI, 2015)

#∃SAT: Projected Model Counting. - Rehan Abdul Aziz; Geoffrey Chu; Christian J. Muise; Peter J. Stuckey (SAT, 2015)

Projected Model Counting. - Rehan Abdul Aziz; Geoffrey Chu; Christian J. Muise; Peter J. Stuckey (CoRR, 2015)

Answer set programming: founded bounds and model counting. - Rehan Abdul Aziz (2015)