Publications
Talk · Advances in intelligent systems and computing · March 15, 2019
Teaching Programming and Design-by-Contract
Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, Joo‐Yong Lee, Sergey Masyagin
Teaching and Learning ProgrammingLogic, programming, and type systemsEducational Robotics and Engineeringprogramming educationdesign by contractcorrect-by-construction
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