Hybrid Automata in Systems Biology: How Far Can We Go? - Dario Campagna; Carla Piazza (FBTC@ICALP, 2008)

Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). - Dario Campagna; Christian De Rosa; Agostino Dovier; Angelo Montanari; Carla Piazza (Fundam. Informaticae, 2010)

Hybrid automata, reachability, and Systems Biology. - Dario Campagna; Carla Piazza (Theor. Comput. Sci., 2010)

ProdProc - Product and Production Process Modeling and Configuration. - Dario Campagna; Andrea Formisano 001 (CILC, 2011)

A Graphical Framework for Supporting Mass Customization. - Dario Campagna (Configuration Workshop, 2011)

Approximating Constraint Propagation in Datalog - Dario Campagna; Beata Sarna-Starosta; Tom Schrijvers (CoRR, 2011)

Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. - Dario Campagna; Beata Sarna-Starosta; Tom Schrijvers (PADL, 2012)

Product and Production Process Modeling and Configuration. - Dario Campagna; Andrea Formisano 001 (Fundam. Informaticae, 2013)

Enhancing BPMN 2.0 Support for Service Interaction Patterns. - Dario Campagna; Carlos Kavka; Luka Onesti (ICSOFT EA, 2014)

BPMN 2.0 and the Service Interaction Patterns: Can We Support Them All? - Dario Campagna; Carlos Kavka; Luka Onesti (ICSOFT (Selected Papers), 2014)

Leveraging the BPMN standard to govern engineering processes in a collaborative environment. - Dario Campagna; Stefano Costanzo; Carlos Kavka; Alessandro Turco; Carlo Poloni (ISSE, 2015)

Exploiting Web Technologies to Connect Business Process Management and Engineering. - Dario Campagna; Stefano Costanzo; Carlos Kavka; Alessandro Turco (ICSOFT-EA, 2016)

Solving time-dependent coupled systems through FMI co-simulation and BPMN process orchestration. - Dario Campagna; Carlos Kavka; Alessandro Turco; Besian Pogace; Carlo Poloni (ISSE, 2016)

Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems. - Benedetto Intrigila; Giuseppe Della Penna; Andrea D'Ambrogio; Dario Campagna; Malina Grigore (Comput., 2023)