Dario Campagna

Orcid: 0000-0002-6389-7201

According to our database1, Dario Campagna authored at least 15 papers between 2008 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
A Design-Oriented Process Mining Framework for Railway Operations.
Inf., 2026

2023
Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems.
Comput., August, 2023

2016
Solving time-dependent coupled systems through FMI co-simulation and BPMN process orchestration.
Proceedings of the IEEE International Symposium on Systems Engineering, 2016

Exploiting Web Technologies to Connect Business Process Management and Engineering.
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

2015
Leveraging the BPMN standard to govern engineering processes in a collaborative environment.
Proceedings of the IEEE International Symposium on Systems Engineering, 2015

2014
BPMN 2.0 and the Service Interaction Patterns: Can We Support Them All?
Proceedings of the Software Technologies - 9th International Joint Conference, 2014

Enhancing BPMN 2.0 Support for Service Interaction Patterns.
Proceedings of the ICSOFT-EA 2014, 2014

2013
Product and Production Process Modeling and Configuration.
Fundam. Informaticae, 2013

2012
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation.
Proceedings of the Practical Aspects of Declarative Languages, 2012

2011
Approximating Constraint Propagation in Datalog
CoRR, 2011

A Graphical Framework for Supporting Mass Customization.
Proceedings of the IJCAI 2011 Workshop on Configuration, Barcelona, Spain, July 16, 2011, 2011

ProdProc - Product and Production Process Modeling and Configuration.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010
Hybrid automata, reachability, and Systems Biology.
Theor. Comput. Sci., 2010

Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD).
Fundam. Informaticae, 2010

2008
Hybrid Automata in Systems Biology: How Far Can We Go?
Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008


  Loading...