Marcello La Rosa

Available identifiers

zbMath Open la-rosa.marcelloMaRDI QIDQ903486

List of research outcomes

Publication	Date of Publication	Type
Automated Repair of Process Models Using Non-local Constraints	2022-09-01	Paper
Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory	2022-02-01	Paper
Untanglings: a novel approach to analyzing concurrent systems	2016-01-06	Paper
The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems	2014-07-08	Paper
Preserving correctness during business process model configuration	2010-05-28	Paper

Research outcomes over time

This page was built for person: Marcello La Rosa