Static Analysis Under Non-Deterministic Program Assumptions. - Abdullah H. Rasheed (CoRR, 2026)

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice. - Abdullah H. Rasheed; Vijay K. Garg (CoRR, 2026)