Jacopo Mauro

Available identifiers

Publication	Date of Publication	Type
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies	2024-03-14	Paper
Self-reconfiguring microservices	2021-05-20	Paper
On the expressiveness of synchronization in component deployment	2021-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q4967159	2019-07-03	Paper
SUNNY-CP and the MiniZinc challenge	2018-02-20	Paper
Automatic application deployment in the cloud: from practice to theory and back (invited paper)	2017-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q2974797	2017-04-11	Paper
Portfolio approaches for constraint optimization problems	2016-05-04	Paper
Why CP portfolio solvers are (under)utilized? Issues and challenges	2016-02-05	Paper
On the Complexity of Reconfiguration in Systems with Legacy Components	2015-09-16	Paper
Aeolus: a component model for the cloud	2014-11-28	Paper
SUNNY: a lazy portfolio approach for constraint solving	2014-11-25	Paper
Constraints meet concurrency	2014-04-01	Paper
The expressive power of CHR with priorities	2013-12-19	Paper
Component reconfiguration in the presence of conflicts	2013-08-07	Paper
An empirical evaluation of portfolios approaches for solving CSPs	2013-06-04	Paper
Decidability properties for fragments of CHR	2010-08-19	Paper

This page was built for person: Jacopo Mauro