Publications
Talk · Communications in computer and information science · January 1, 2015
A Timed Semantics of Workflows
Marcello M. Bersani, Salvatore Distefano, Luca Ferrucci, Manuel Mazzara
Formal Methods in VerificationBusiness Process Modeling and AnalysisPetri Nets in System Modelingformal semanticstemporal logicmodel checking
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