Publications
Talk · Advances in intelligent systems and computing · January 1, 2020
Towards a Broader Acceptance of Formal Verification Tools: The Role of Education
Mansur Khazeev, Manuel Mazzara, Hamna Aslam, Daniel de Carvalho
Teaching and Learning ProgrammingLogic, programming, and type systemsFormal Methods in Verificationformal verificationformal methods adoptiontool usability
More by Manuel Mazzara
- Anchored Rank-Adversarial Fine-Tuning Pretrained Visual Place Recognition ModelsarXiv · 2026
- See the Future, Classify the Present: Stochastic Latent World Modeling for Hyperspectral ImagesarXiv · 2026
- Autoresearch with Coding Agents: Generalizers and Metric-Maximizers on Quran Recitation DataLecture notes in computer science · 2026 · Citations: 1
- What Counts as a Mistake? Annotating Recitation Events in Quran Memorization TranscriptsarXiv · 2026