Assurance for CyberSecurity with Assume-Guarantee Reasoning. - Ali Alfageeh; Siddhartha Bhattacharyya; Samuel J. Perl; Milankumar Patel (UEMCON, 2019)

Formal Trust Architecture for Assuring Trusted Interactions in the Internet of Things. - Milankumar Patel; Siddhartha Bhattacharyya; Ali Alfageeh (UEMCON, 2019)

Student-AI Interaction: A Case Study of CS1 students. - Matin Amoozadeh; Daye Nam; Daniel Prol; Ali Alfageeh; James Prather; Michael Hilton; Sruti Srinivasa Ragavan; Amin Alipour (Koli Calling, 2024)

Breaking the Programming Language Barrier: Multilingual Prompting to Empower Non-Native English Learners. - James Prather; Brent N. Reeves; Paul Denny 001; Juho Leinonen 001; Stephen MacNeil; Andrew Luxton-Reilly; João Orvalho; Amin Alipour; Ali Alfageeh; Thezyrie Amarouche; Bailey Kimmel; Jared Wright; et al. (CoRR, 2024)

From Prompts to Propositions: A Logic-Based Lens on Student-LLM Interactions. - Ali Alfageeh; Sadegh AlMahdi Kazemi Zarkouei; Daye Nam; Daniel Prol; Matin Amoozadeh; Souti Chattopadhyay; James Prather; Paul Denny 001; Juho Leinonen 001; Michael Hilton; Sruti Srinivasa Ragavan; Mohammad Amin Alipour (CoRR, 2025)