Aarti Gupta

Psychiatric Ethics in Late-Life Patients

٢٠١٩

Transparency in Global Environmental Governance

٢٠١٤

SAT-Based Scalable Formal Verification Solutions

٢٠٠٧

Computer Aided Verification

٢٠٠٨